CITI has stopped operations in 2014,
to co-launch NOVA LINCS
THIS SITE IS NOT BEING UPDATED SINCE 2013
[ External Talks & Seminars ]

List of External Talks and Seminars done by CITI Members.
page 8 of 23 - listing talks 71 to 80 of a total of 228 | |
Using Separation Logic to Detect Snapshot Isolation Anomalies in Software Transactional Memory Ricardo Dias
[ 26 Jan 2011 ] -
Departmental Seminar
Commutative Replicated Data Types: Principles, Examples and Lessons Nuno Preguiça
[ 24 Nov 2010 ] -
Departmental Seminar
Internet - De curiosidade Científica a Infra-estrutura Crítica - Os Desafios da Escala José Legatheaux Martins
[ 12 Nov 2010 ] -
Keynote
Security Services for Wireless Sensor Networks Henrique João Domingos
[ 13 Oct 2010 ] -
Research Talk
Debugging of Parallel and Distributed Programs (HVC 2010) João Lourenço
[ 6 Oct 2010 ] -
Invited Lecture
Understanding Transactional Memory (HVC 2010) João Lourenço
[ 4 Oct 2010 ] -
Invited Lecture
Domain Analysis. Evaluation Procedures Miguel Goulão
[ 9 Sep 2010 ] -
Summer School Course
Domain Engineering: The Case for DSLs Mauricio Alférez
[ 6 Sep 2010 ] -
Summer School Course
A simple proof system for lock-free concurrency António Ravara
[ 10 Jul 2010 ] -
Research Talk
High-performance computing for Ocean Color {Monte Carlo} simulations Tamito Kajiyama
[ 9 Jun 2010 ] -
Research Talk