| Home \ Seminars @ CITI | Login |
[ 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.
Subscribe to the CITI seminars rss feed to get information about forthcoming seminars.| 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 SoftwareGilles Perrouin (Université du Luxembourg)
27 Jan 2010, Host: Software Systems
A Document Descriptor Extractor Based on Relevant ExpressionsJoaquim Ferreira da Silva
20 Jan 2010, Host: MultiModal Systems
Model-Driven Engineering at work: Multi-Paradigm ModellingHans Vangheluwe (School of Computer Science, McGill University)
13 Jan 2010, Host: Software Systems
Wearable and tangible interfaces as catalysts of embodiment in pervasive gamesTiago Martins (CITI)
6 Jan 2010, Host: MultiModal Systems
A Type System for Access Control in an Object-Oriented LanguageMário Pires
16 Dec 2009, Host: Software Systems
A Spatial-Epistemic Logic and Tool for Reasoning about Security ProtocolsBernardo Toninho
16 Dec 2009, Host: Software Systems
Unifying Memory and Database TransactionsRicardo Dias
2 Dec 2009, Host: Computer Systems
Towards a service-oriented parallel programming modelHervé Paulino
18 Nov 2009, Host: Computer Systems
A Note on Sparse Anti-Monge MatricesLuís Russo
4 Nov 2009, Host: Software Systems
Advanced Code Coverage Analysis Using Substring HolesEitan Farchi (IBM Research Labs at Haifa)
28 Oct 2009, Host: Computer Systems