CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  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 3 of 24 - listing seminars 21 to 30 of a total of 234
order:  

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


bulletChainReaction: a Causal+ Consistent Datastore based on Chain Replication
   João Leitão
   20 Nov 2013, Host: Computer Systems

bulletMultiparty 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

bulletCyber-Physical Systems: challenges and directions for research
   Hans Vangheluwe (School of Computer Science, McGill University)
   19 Jul 2013, Host: Software Systems

bulletFault tolerance: there is no B
   Allen Clement (Max Planck Institute for Software Systems)
   21 Jun 2013, Host: Computer Systems

bulletThe Type Discipline of Behavioral Separation
   Luis Caires
   18 Jun 2013, Host: Software Systems

bulletA General Proof System for Modalities in Concurrent Constraint Programming
   Carlos Olarte (Universidad Javeriana)
   12 Jun 2013, Host: Software Systems

bulletThe 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

bulletVerifiable WCET by abstract interpretation
   Simão Melo de Sousa (Universidade da Beira Interior)
   8 May 2013, Host: Software Systems

bulletConsistency management in collaborative editing
   Pascal Urso (Université de Lorraine)
   20 Mar 2013, Host: Computer Systems

bulletDeadlock-freedom-by-design: Multiparty Asynchronous Global Programming
   Fabrizio Montesi (IT University of Copenhagen)
   20 Mar 2013, Host: Software Systems


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