CITI has stopped operations in 2014,
to co-launch NOVA LINCS
THIS SITE IS NOT BEING UPDATED SINCE 2013
[ 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.
page 3 of 24 - listing seminars 21 to 30 of a total of 234 | |
ChainReaction: a Causal+ Consistent Datastore based on Chain Replication João Leitão
20 Nov 2013,
Host: Computer Systems
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types Nobuko Yoshida
(Imperial College of Science and Tecnology) 25 Jul 2013,
Host: Software Systems
Cyber-Physical Systems: challenges and directions for research Hans Vangheluwe
(School of Computer Science, McGill University) 19 Jul 2013,
Host: Software Systems
Fault tolerance: there is no B Allen Clement
(Max Planck Institute for Software Systems) 21 Jun 2013,
Host: Computer Systems
The Type Discipline of Behavioral Separation Luis Caires
18 Jun 2013,
Host: Software Systems
A General Proof System for Modalities in Concurrent Constraint Programming Carlos Olarte
(Universidad Javeriana) 12 Jun 2013,
Host: Software Systems
The Challenges of the Coverage Testing applied to Concurrent Software Paulo Souza
(Universidade de São Paulo), Simone Souza
(Universidade de São Paulo) 3 Jun 2013,
Host: Computer Systems
Verifiable WCET by abstract interpretation Simão Melo de Sousa
(Universidade da Beira Interior) 8 May 2013,
Host: Software Systems
Consistency management in collaborative editing Pascal Urso
(Université de Lorraine) 20 Mar 2013,
Host: Computer Systems
Deadlock-freedom-by-design: Multiparty Asynchronous Global Programming Fabrizio Montesi
(IT University of Copenhagen) 20 Mar 2013,
Host: Software Systems