Home News Events Projects Publications Vacancies Grant Scientific Council Contact Us Top-Tier Conferences


Invited Lecturers





Contact Us


The First IPM Advanced School on Computing:
Formal Methods for Design and Analysis of Computer Systems
11-15 January 2016
Tehran, Iran


  • 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.


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 .


©Copyright 2000, All rights reserved.
School of Computer Science, Institute for Research in Fundamental Sciences (IPM)
Please send your comments or questions to Webmaster.