Specification, analysis and verification of concurrent and distributed systems Job Market Seminar

On November 17th 2017 IMT will sponsor a seminar series featuring candidates for the Assistant Professor position in Systems, Control, and Optimization.

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, Ex-Boccherini Complex, Piazza San Ponziano, 6.

November 17th 2017

Tabella 1: List of Speakers of current Job Market Seminars
Name From To University Presentation Title Location
Letterio Galletta 10:00 10:45 Università  di Pisa A Two-Component Language for Adaptation: Design, Semantics and Program Analysis Conference room (Ex Boccherini)
Saverio Giallorenzo 10:45 11:30 Università  di Bologna Dynamic Choreographies: Theory and Implementation Conference room (Ex Boccherini)
Sasha Rubin 11:30 12:15 Università  di Bologna Complexity of strategic reasoning under partial observability Conference room (Ex Boccherini)