|
Home » Seminars & Events » Assistant Professor and Post-doctoral Fellow: Job Market Seminars » Modelling and Analysis of Concurrent Systems Job Market Seminars 2012 |
| About IMT | PhD Programs | Research | Library | Faculty | Administration | Campus | Seminars & Events |
Modelling and Analysis of Concurrent Systems Job Market Seminars 2012
- – Research Seminars
- – GII Doctoral School 2012 & InfQ Workshop
- – Past Conferences
-
– Assistant Professor and Post-doctoral Fellow: Job Market Seminars
- - Law and Economics Job Market Seminars 2012
- - Economic History Job Market Seminars 2012
- - Analysis, Control and Optimization of Complex Dynamical Systems Job Market Seminars 2012
- - Modelling and Analysis of Concurrent Systems Job Market Seminars 2012
- - Economics and Innovation Management Job Market Seminars 2012
- - Statistical Physics Job Market Seminars 2012
- - Complex Data and Image Analysis Job Market Seminars II 2011
- - Networking Systems Engineering 2011
- - Global Computing Job Market Seminars 2011
- - Management Science Job Market Seminars 2011
- - Economics Job Market Seminars 2011
- - Complex Data and Image Analysis Job Market Seminars 2011
- - Computer Science Job Market Seminars 2011
- - Computer Science Job Market Seminars 2010
- - Political Science Job Market Seminars 2010
- - Economics Job Market Seminars 2010
- - Economics Job Market Seminars 2009
- - Political Sciences Job Market Seminars 2009
- - Computer Science Job Market Seminars 2009
- - Economics Job Market Seminars 2008
- - Economics Job Market Seminars 2007
- – Open IMT Conferenze Pubbliche
- – Ph.D. Graduation Sessions
- – Inaugural Ceremonies
Assistant Professor Openings
Modelling and Analysis of Concurrent Systems
On January 30th 2012 IMT will sponsor a seminar series featuring job market candidates for the Assistant Professor position in the area of Modelling and Analysis of Concurrent Systems.
Candidates will present recent research papers.
Please find below the agenda of the research seminars open to students and IMT faculty, and to all who would like to attend.
All presentations will take place in the Conference Room of the IMT Main Building, in Piazza San Ponziano 6.
Please click on the paper title to open up the paper PDF.
| January 30th 2012 | |||||
| First name | Last name | From | to | University | presentation Title |
| Guglielmo | De Angelis | 10:00 am | 10:30 am | CNR-ISTI | Is my model right? Let me ask the expert |
| Vasileios | Koutavas | 10:30 am | 11:00 am | Trinity College Dublin | A Testing Theory for a Higher-Order Cryptographic Language? |
| Valerio | Senni | 11:00 am | 11:30 am | Università Degli Studi di Roma "Tor Vergata" | Improving Reachability Analysis of Infinite State Systems by Specialization |
|
IMT ‑ Institutions, Markets, Technologies
Institute for Advanced Studies Lucca |
Piazza S. Ponziano, 6
55100 Lucca |
Tel: +39 0583 4326561
Fax: +39 0583 4326565 |
imtlucca@postecert.it
CF. 92037570469 |
info@imtlucca.it
PI. 02235840465 |
Site Map |