| 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 1 of 21 - listing seminars 1 to 10 of a total of 210 |
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
The Visual Contract LanguageNuno Amálio (University of Luxemburg)
19 Dec 2012, Host: Software Systems
Extracting Relevant and Trustworthy Information from MicroblogsKrishna Gummadi (Max Planck Institute for Software Systems)
14 Dec 2012, Host: Computer Systems
Stheno, a Real-Time Fault-Tolerant P2P Middleware Platform for Light-Train SystemsRolando Martins (Carnegie Mellon University)
5 Dec 2012, Host: Computer Systems
On the Use of Multiple Views Interactive Environments on Software Comprehension ActivitiesGlauco de Figueiredo Carneiro (Universidade Salvador)
21 Nov 2012, Host: Software Systems