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 1 of 24 - listing seminars 1 to 10 of a total of 234

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

bulletAn Information Flow Monitor for a Core of DOM - Introducing References and Live Primitives
   José Fragoso Santos (INRIA-Sophia Antipolis)
   18 Feb 2015, Host: Computer Systems

bulletDesigning for Partition Tolerance with CRDTs
   Carlos Baquero (Universidade do Minho)
   4 Dec 2014, Host: Computer Systems

bulletModel-Driven Spreadsheets
   Jácome Cunha (Departamento de Informática FCT/UNL)
   26 Nov 2014, Host: Software Systems

bulletCounterfactuals in Logic Programming with Applications to Morality (NOVA-LINCS Seminar)
   Luis Moniz Pereira (Departamento de Informática FCT/UNL), Ari Saptawijaya (Departamento de Informática FCT/UNL)
   19 Nov 2014, Host: MultiModal Systems

bulletFinding kernel concurrency bugs
   Pedro Fonseca (Max Planck Institute for Software Systems)
   29 Oct 2014, Host: Computer Systems

bulletA Human-Centered Requirements Modelling Approach through Cognitive Maps, Model-Driven Engineering and Domain Specific Modelling
   Fernando Wanderley (FCT-UNL)
   16 Jul 2014, Host: Software Systems

bulletIdentifying modularity improvement opportunities in goal-oriented requirements models
   Catarina Gralha Almeida (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa), João Araújo, Miguel Goulão
   2 Jul 2014, Host: Software Systems

bulletTowards Sustainable Information Society – Green and Never Die Networks
   Norio Shiratori (Waseda University)
   26 Jun 2014, Host: Computer Systems

bulletReasoning about eventual consistency and replicated data types
   Alexey Gotsman (IMDEA Software Institute)
   16 Jun 2014, Host: Computer Systems

bulletAdvances in Noise-based Testing of Concurrent Programs
   Zdenek Letko (Brno University of Technology)
   28 May 2014, Host: Computer Systems

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