CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
  Home  \  Seminars @ CITI Login  
banner bottom
[ Seminars @ CITI ]
Seminars Icon  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.
Seminars RSS Feed Subscribe to the CITI seminars rss feed to get information about forthcoming seminars.

page 4 of 24 - listing seminars 31 to 40 of a total of 234

prev   |   1  2  3  4  5  6  7  8  9   |   next

bulletThe Visual Contract Language
   Nuno Amálio (University of Luxemburg)
   19 Dec 2012, Host: Software Systems

bulletExtracting Relevant and Trustworthy Information from Microblogs
   Krishna Gummadi (Max Planck Institute for Software Systems)
   14 Dec 2012, Host: Computer Systems

bulletStheno, a Real-Time Fault-Tolerant P2P Middleware Platform for Light-Train Systems
   Rolando Martins (Carnegie Mellon University)
   5 Dec 2012, Host: Computer Systems

bulletOn the Use of Multiple Views Interactive Environments on Software Comprehension Activities
   Glauco de Figueiredo Carneiro (Universidade Salvador)
   21 Nov 2012, Host: Software Systems

bulletSingle Operation Multiple Data - Data Parallelism at Subroutine Level
   Hervé Paulino
   31 Oct 2012, Host: Computer Systems

bulletSynthesizing Software Verifiers from Proof Rules
   Nuno Lopes (Instituto Superior Técnico)
   17 Oct 2012, Host: Software Systems

bulletSucint structures to selfindexing text
   Nieves Brisaboa (Universidade da Coruña)
   27 Sep 2012, Host: MultiModal Systems

bulletDigital and biological storage systems - a quantitative comparison
   Tomasz Bilski (Poznań University of Technology)
   26 Sep 2012, Host: Computer Systems

bulletSharing a Sequential Program: Correctness and Concurrency Analysis
   Petr Kuznetsov (Technische Universität Berlin)
   20 Jul 2012, Host: Computer Systems

bulletPractical Abstractions for Dynamic and Parallel Software
   Umut A. Acar (Max Planck Institute for Software Systems)
   12 Jul 2012, Host: Computer Systems

prev   |   1  2  3  4  5  6  7  8  9   |   next