News

• The registration fee must be paid to the following account:
  (You can pay from any branch of Melli Bank in Iran.)
  
  Account No.: 2172149001004
  Account Holder: Institute for Research in Fundamental Sciences
  Bank: Melli Bank
  Branch: Niavaran Street, Tehran
  
  
• Registration deadline: December 20, 2015  December 25, 2015
  
  
• Jan Rutten's paper "Universal coalgebra: a theory of systems" is announced to be the second top cited papers of journal of Theoretical Computer Science in 40 years (see here). For more recommended literature for the school please check Invited Lecturers section.
  
  
• Programme is available.
  
  

About

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. The school will cover topics from Model Checking, Process Algebra, Logic, Concurrency Theory and Quantum Computing. Our goal is to demonstrate the importance of foundations and its connection to the design and rigorous analysis of computer systems. The level of lectures will be suitable for graduate students, young researchers and also experts from other fields of computer science who intend to establish interdisciplinary links with formal methods (You can find more information about lectures here). This event proceeds by the IPM Formal Methods Day .