The Second IPM Advanced School on Computing:Theory and Practice of Programming Languages

by Ebrahim Ardeshir-Larijani, July 12, 2017

The second Advanced School on Computing will be held at the school of computer science of Institute for Research in Fundamental Sciences (IPM), from 27 - 31 August 2017, Tehran, Iran. Registration for participation in this international event is open until 10 August 2017.


                     CALL FOR PARTICIPATION 

           The second IPM Advanced School on Computing: 

           Theory and Practice of Programming Languages  


       Institute for Research in Fundamental Sciences (IPM)

                Tehran, Iran, 27-27 August 2017




This advanced school brings together experts from various aspects of theory and practice of programming languages to present the state of the art in programming languages and their applications. The school will cover topics from Social Network Programming, Applied Type Theory, Model Based Testing, Concurrency Theory and Distributed Programming. Our goal is to demonstrate the importance of formal foundations and their connection to the design and implementation of modern programming languages. 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 the field of programming languages.


 * Krzysztof R. Apt, CWI (The Netherlands) and University of Warsaw (Poland): 

"Computing and Reasoning about Social Networks"


 * Mohammad Reza Mousavi, University of Liecester (UK) and Halmstad University (Sweden): 

"Model-Based Testing: From Theory to Practice and Back"

 * Jacob Rehof, University of Dortmund/Fraunhofer ISST (Germany): "Type-Based Synthesis and the Inhabitation Problem" 

 * Farhad Arbab, CWI/Leiden University (The Netherlands):

 "Interaction by Composition" 



For a detailed program and information about the lecturers, 

please visit: 




Participants can stay at the IPM guest house for the duration of 

the school. The IPM guest house is conveniently located in the 

same building as the lectures. 

 * Single room (including breakfast): 60 EUR/night 

 * Double room (including breakfast): 80 EUR/night 

All participants who stay at the IPM guest house can be picked 

up, by someone from IPM who speaks English, from Imam Khomeini 

International Airport (IKA) upon their arrival, by taxi. The 

taxi fee to the IPM guest house is roughly 40 EUR. Similarly, 

all participants can be dropped off at IKA after the school. 


 * Regular:  400 EUR 

 * Students: 200 EUR 



 * Registration deadline: 10 August, 2017. 


 * Farhad Arbab, Leiden University/CWI 

 * Ebrahim Ardeshir-Larijani, IPM 


 * E-mail: 

 * Phone:   +98 21 24509404 

 * Fax:     +98 21 22825454 

 * Address: IPM School of Computer Science 

            Farmanieh Campus, No. 70, Lavasani Av. 

            (next to Kouhe Nour Building) 

            Tehran, Iran