| Home \ Seminars @ CITI | Login |
[ Seminars @ CITI ]
CITI organizes a regular seminar series since its foundation in 1997. Talks at the CITI seminar are usually given by visitors, but also by CITI members and their students.
Subscribe to the CITI seminars rss feed to get information about forthcoming seminars.| page 3 of 24 - listing seminars 21 to 30 of a total of 234 |
ChainReaction: a Causal+ Consistent Datastore based on Chain ReplicationJoão Leitão
20 Nov 2013, Host: Computer Systems
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session TypesNobuko Yoshida (Imperial College of Science and Tecnology)
25 Jul 2013, Host: Software Systems
Cyber-Physical Systems: challenges and directions for researchHans Vangheluwe (School of Computer Science, McGill University)
19 Jul 2013, Host: Software Systems
Fault tolerance: there is no BAllen Clement (Max Planck Institute for Software Systems)
21 Jun 2013, Host: Computer Systems
The Type Discipline of Behavioral SeparationLuis Caires
18 Jun 2013, Host: Software Systems
A General Proof System for Modalities in Concurrent Constraint ProgrammingCarlos Olarte (Universidad Javeriana)
12 Jun 2013, Host: Software Systems
The Challenges of the Coverage Testing applied to Concurrent SoftwarePaulo Souza (Universidade de São Paulo), Simone Souza (Universidade de São Paulo)
3 Jun 2013, Host: Computer Systems
Verifiable WCET by abstract interpretationSimão Melo de Sousa (Universidade da Beira Interior)
8 May 2013, Host: Software Systems
Consistency management in collaborative editingPascal Urso (Université de Lorraine)
20 Mar 2013, Host: Computer Systems
Deadlock-freedom-by-design: Multiparty Asynchronous Global ProgrammingFabrizio Montesi (IT University of Copenhagen)
20 Mar 2013, Host: Software Systems