On August 29th 2014 IMT will sponsor a seminar series featuring candidates for the Assistant Professor position in Systems Modeling and Analysis.
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 Cappella Guinigi in the San Francesco Complex, Piazza San Francesco, 19.
| Nome | Da | A | Università | Titolo Presentazione | Luogo |
|---|---|---|---|---|---|
| Hugo Filipe Mendes Torres Vieira | 11:00 | 12:00 | Universidade de Lisboa | Conversation Types | |
| Paolo Arcaini | 12:00 | 13:00 | Università degli Studi di Bergamo | Test generation for sequential nets of Abstract State Machines with information passing | |
| Max Tschaikowski | 15:00 | 16:00 | University of Southampton | Exact Fluid Lumpability for Markovian Process Algebra | |
| Claudio Antares Mezzina | 16:00 | 17:00 | Fondazione Bruno Kessler | Concurrent Flexible Reversibility |