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

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.
page 8 of 24 - listing seminars 71 to 80 of a total of 234 | |
SESAME - A Model-driven Process for the Test Selection of Small-size Safety-related Embedded Software Gilles Perrouin
(Université du Luxembourg) 27 Jan 2010,
Host: Software Systems
A Document Descriptor Extractor Based on Relevant Expressions Joaquim Ferreira da Silva
20 Jan 2010,
Host: MultiModal Systems
Model-Driven Engineering at work: Multi-Paradigm Modelling Hans Vangheluwe
(School of Computer Science, McGill University) 13 Jan 2010,
Host: Software Systems
Wearable and tangible interfaces as catalysts of embodiment in pervasive games Tiago Martins
(CITI) 6 Jan 2010,
Host: MultiModal Systems
A Type System for Access Control in an Object-Oriented Language Mário Pires
16 Dec 2009,
Host: Software Systems
A Spatial-Epistemic Logic and Tool for Reasoning about Security Protocols Bernardo Toninho
16 Dec 2009,
Host: Software Systems
Unifying Memory and Database Transactions Ricardo Dias
2 Dec 2009,
Host: Computer Systems
Towards a service-oriented parallel programming model Hervé Paulino
18 Nov 2009,
Host: Computer Systems
A Note on Sparse Anti-Monge Matrices Luís Russo
4 Nov 2009,
Host: Software Systems
Advanced Code Coverage Analysis Using Substring Holes Eitan Farchi
(IBM Research Labs at Haifa) 28 Oct 2009,
Host: Computer Systems