[Caml-list] CFP: Winter School on Formal Methods

[Sung-Shik Jongmans <S.S.T.Q.Jongmans@cwi.nl>]

****************************************************************

                     CALL FOR PARTICIPATION


           The First IPM Advanced School on Computing:
   Formal Methods for Design and Analysis of Computer Systems   

                Tehran, Iran, 11-15 January 2016

                  http://cs.ipm.ac.ir/asoc2016


                          PRECEDED BY


                The First IPM Formal Methods Day

                 Tehran, Iran, 10 January, 2016 

                   http://cs.ipm.ac.ir/fmd2016

****************************************************************

ABSTRACT:

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. This
event proceeds by the IPM Formal Methods Day
(http://cs.ipm.ac.ir/fmd2016).

PROGRAM:

 * Joseph Sifakis: "Model-Based System Design"
   EPFL & Verimag/CNRS
   [Turing Award winner of 2007]

 * Wan Fokkink: "The Spirit of Multicore Computing"
   VU University Amsterdam 

 * Jan Rutten: "Concrete coalgebra: an introduction by examples"
   Radboud University Nijmegen/CWI 

 * Farhad Arbab: "Engineering of Highly Concurrent Systems"
   Leiden University/CWI

 * Elham Kashefi: "Measurement Calculus"
   The University of Edinburgh 

For a detailed program and information about the lecturers,
please visit:

 * http://cs.ipm.ac.ir/asoc2016/Programme.aspx
 * http://cs.ipm.ac.ir/asoc2016/InvitedLecturers.aspx

ACCOMMODATION:

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.

FEE:

 * Regular:  400 EUR
 * Students: 200 EUR

REGISTRATION:

 * http://cs.ipm.ac.ir/asoc2016/Registration.aspx

 * Registration deadline: 20 December, 2015.

 * The participation in the school is subject to success in the
   selection process of the IPM School of Computer Science,
   based on academic merits of the applicants. All selected
   applicants will be notified via email by 25 December.

ORGANIZERS:

 * Farhad Arbab, Leiden University/CWI
 * Ebrahim Ardeshir-Larijani, IPM

CONTACT:

 * E-mail:  asc@ipm.ir
 * 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