Login

Seminars

Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types

Seminars

2013-07-25 14:00:00

Presenter

Nobuko Yoshida,

Cyber-Physical Systems: challenges and directions for research

Seminars

2013-07-19 11:00:00

Presenter

Hans Vangheluwe,

Fault tolerance: there is no B

Seminars

2013-06-21 15:30:00

Presenter

Allen Clement,

The Type Discipline of Behavioral Separation

Seminars

2013-06-18 14:00:00

Presenter

Luis Caires,

A General Proof System for Modalities in Concurrent Constraint Programming

Seminars

2013-06-12 14:00:00

Presenter

Carlos Olarte,

The Challenges of the Coverage Testing applied to Concurrent Software

Seminars

2013-06-03 14:00:00

Presenter

Paulo Souza, Simone Souza,

Verifiable WCET by abstract interpretation

Seminars

2013-05-08 15:00:00

Presenter

Simão Melo de Sousa,

Partial Implications in Data Mining and Logic

Seminars

2013-04-17 14:00:00

Presenter

Ankica Barisic,

Deadlock-freedom-by-design: Multiparty Asynchronous Global Programming

Seminars

2013-03-20 11:00:00

Presenter

Fabrizio Montesi,

Consistency management in collaborative editing

Seminars

2013-03-20 14:00:00

Presenter

Pascal Urso,