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








Home



Invited Lecturers



Organizers



Programme



Registration



Visa



Contact Us



SPONSOR:


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

Day 1: January 11, 2016
8:15 - 9 Registration
9 - 10:30 Measurement Calculus
Elham Kashefi, The University of Edinburgh
10:30 - 11 Coffee Break
11 - 12:30 Measurement Calculus (Continue)
Elham Kashefi, The University of Edinburgh
12:30 - 14:30 Lunch
14:30 - 16 Measurement Calculus (Continue)
Elham Kashefi, The University of Edinburgh
16 - 16:30 Coffee Break
16:30 - 18 Measurement Calculus (Continue)
Elham Kashefi, The University of Edinburgh
Day 2: January 12, 2016
9 - 10:30 The Spirit of Multicore Computing
Wan Fokkink, VU University Amsterdam
10:30 - 11 Coffee Break
11 - 12:30 The Spirit of Multicore Computing (Continue)
Wan Fokkink, VU University Amsterdam
12:30 - 14:30 Lunch
14:30 - 16 The Spirit of Multicore Computing (Continue)
Wan Fokkink, VU University Amsterdam
16 - 16:30 Coffee Break
16:30 - 18 The Spirit of Multicore Computing (Continue)
Wan Fokkink, VU University Amsterdam
Day 3: January 13, 2016
9 - 10:30 Concrete coalgebra: an introduction by examples
Jan Rutten, Radboud University Nijmegen/CWI
10:30 - 11 Coffee Break
11 - 12:30 Concrete coalgebra: an introduction by examples (Continue)
Jan Rutten, Radboud University Nijmegen/CWI
12:30 - 14:30 Lunch
14:30 - 16 Concrete coalgebra: an introduction by examples (Continue)
Jan Rutten, Radboud University Nijmegen/CWI
16 - 16:30 Coffee Break
16:30 - 18 Concrete coalgebra: an introduction by examples (Continue)
Jan Rutten, Radboud University Nijmegen/CWI
Day 4: January 14, 2016
9 - 10:30 Model-Based System Design
Joseph Sifakis, EPFL & Verimag/CNRS
10:30 - 11 Coffee Break
11 - 12:30 Model-Based System Design (Continue)
Joseph Sifakis, EPFL & Verimag/CNRS
12:30 - 14:30 Lunch
14:30 - 16 Model-Based System Design (Continue)
Joseph Sifakis, EPFL & Verimag/CNRS
16 - 16:30 Coffee Break
16:30 - 18 Model-Based System Design (Continue)
Joseph Sifakis, EPFL & Verimag/CNRS
Day 5: January 15, 2016
9 - 10:30 Engineering of Highly Concurrent Systems
Sung-Shik Jongmans, Open University/Radboud University the Netherlands
10:30 - 11 Coffee Break
11 - 12:30 Engineering of Highly Concurrent Systems (Continue)
Sung-Shik Jongmans, Open University/Radboud University the Netherlands
12:30 - 14:30 Lunch
14:30 - 16 Engineering of Highly Concurrent Systems (Continue)
Sung-Shik Jongmans, Open University/Radboud University the Netherlands
16 - 16:30 Coffee Break
16:30 - 18 Engineering of Highly Concurrent Systems (Continue)
Sung-Shik Jongmans, Open University/Radboud University the Netherlands

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