| 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 1 of 17 - listing seminars 1 to 10 of a total of 166 |
Leveraging Parallel Nesting in Transactional MemoryJoão Barreto (i) (INESC Id)
10 Mar 2010, Large Scale Distributed Computing Systems
CRDTs: Consistency without concurrency controlNuno Preguiça
24 Feb 2010, Large Scale Distributed Computing Systems
SESAME - A Model-driven Process for the Test Selection of Small-size Safety-related Embedded SoftwareGilles Perrouin (Université du Luxembourg)
27 Jan 2010, Software Engineering
A Document Descriptor Extractor Based on Relevant ExpressionsJoaquim Ferreira da Silva
20 Jan 2010, Human Language Technologies
Model-Driven Engineering at work: Multi-Paradigm ModellingHans Vangheluwe (School of Computer Science, McGill University)
13 Jan 2010, Software Engineering
Wearable and tangible interfaces as catalysts of embodiment in pervasive gamesTiago Martins (CITI)
6 Jan 2010, Media Processing Visualization and Interaction
A Type System for Access Control in an Object-Oriented LanguageMário Pires
16 Dec 2009, Programming Languages and Models
A Spatial-Epistemic Logic and Tool for Reasoning about Security ProtocolsBernardo Toninho
16 Dec 2009, Programming Languages and Models
Unifying Memory and Database TransactionsRicardo Dias
2 Dec 2009, Parallel and Distributed Processing Systems
Towards a service-oriented parallel programming modelHervé Paulino
18 Nov 2009, Parallel and Distributed Processing Systems