| 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 12 of 21 - listing seminars 111 to 120 of a total of 208 |
LazyDB: Using Semantic Reordering for Improved Commit RateNuno Preguiça
12 Mar 2007, Host: Computer Systems
cCSP: A process algebra for compensating transactionsCarla Ferreira (Instituto Superior Técnico)
5 Mar 2007, Host: Software Systems
Measuring the Structural Similarity of Semistructured Documents Using EntropySven Helmer (University of London)
2 Mar 2007, Host: Software Systems
On Importance of Bringing Theory to Industry: an experience in W3C CDL working groupKohei Honda (Queen Mary University of London)
27 Feb 2007, Host: Software Systems
Distributed temporal logic for security protocol analysisCarlos Caleiro (Instituto Superior Técnico)
21 Feb 2007, Host: Software Systems
The ProjectIT Initiative and the ProjectIT-Studio, an integrated environment for the development of information systemsAlberto Silva (INESC Id)
13 Feb 2007, Host: Software Systems
A Constraint Programming Approach to Bioinformatics Structural ProblemsPedro Barahona (CENTRIA)
7 Feb 2007, Host: Software Systems
A Formal Approach to Service Component ArchitectureAntónia Lopes
31 Jan 2007, Host: Software Systems
Identification of Document Language in Hard ContextsGabriel Pereira Lopes, Joaquim Ferreira da Silva
24 Jan 2007, Host: MultiModal Systems
Algoritmos distribuídos para encaminhamento multi-ponto em ambiente de grande escala (Parte II)José Legatheaux Martins
17 Jan 2007, Host: Computer Systems