Tu sei qui

Systems Modeling and Analysis Job Market Seminar

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.

NomeDaAUniversitàTitolo PresentazioneLuogo
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