The First IPM Advanced School on Computing: Formal Methods for Design and Analysis of Computer Systems
This advanced school brings together experts from different areas of formal methods to present state of the art in formal methods and logical reasoning techniques in design and analysis of computer systems.
Read more...