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 9 of 24 - listing seminars 81 to 90 of a total of 234

prev   |   5  6  7  8  9  10  11  12  13   |   next

bulletDSL Composition for model-based test generation
   Levi Silva Lúcio (CITI)
   14 Oct 2009, Host: Software Systems

bulletPatterns and Operators for Application Development and Execution Control
   Maria Cecília Gomes
   7 Oct 2009, Host: Computer Systems

bulletOf Bugs and Men (and Plugins too)
   Michel Wermelinger (Open University Milton Keynes)
   24 Jul 2009, Host: Software Systems

bulletTypestate Verification for Aliased Objects using Invariant-Carrying Permissions
   Jonathan Aldrich (Carnegie Mellon University)
   14 Jul 2009, Host: Software Systems

bulletSourcerer: Slicing and dicing large amounts of open source code
   Cristina Videira Lopes (University of California, Irvine)
   1 Jul 2009, Host: Software Systems

bulletSemantic-Based and Syntactic-Based Feature Interactions in Aspect-oriented Models
   Gunter Mussbacher (University of Ottawa)
   9 Jun 2009, Host: Software Systems

bulletRepresenting Almost All Local Longest Common Subsequence Values
   Luís Russo
   27 May 2009, Host: Software Systems

bulletIntegrating MATA mechanisms to requirements approaches
   João Araújo
   29 Apr 2009, Host: Software Systems

bulletMulti-threaded Prolog - Recent Developments
   Rui Marques
   15 Apr 2009, Host: Computer Systems

bulletTowards Distributed Software Transactional Memories
   Paolo Romano (INESC Id)
   1 Apr 2009, Host: Computer Systems

prev   |   5  6  7  8  9  10  11  12  13   |   next