Login

Seminars

ESP: A Logic of Only-Knowing, Noisy Sensing and Acting

Seminars

2009-10-21 14:00:00

Presenter

Alfredo Gabaldon,

DSL Composition for model-based test generation

Seminars

2009-10-14 14:00:00

Presenter

Ankica Barisic,

Patterns and Operators for Application Development and Execution Control

Seminars

2009-10-07 14:00:00

Presenter

Maria Cecília Gomes,

DNA and Natural Languages: Text Mining

Seminars

2009-10-01 14:00:00

Presenter

Veronica Dahl,

Prediction of RNA Secondary Structure

Seminars

2009-10-01 15:00:00

Presenter

Olivier Perriquet,

Of Bugs and Men (and Plugins too)

Seminars

2009-07-24 14:00:00

Presenter

Michel Wermelinger,

Evolutionary dynamics of collective action

Seminars

2009-07-14 15:00:00

Presenter

Francisco Santos,

Typestate Verification for Aliased Objects using Invariant-Carrying Permissions

Seminars

2009-07-14 14:00:00

Presenter

Jonathan Aldrich,

Sourcerer: Slicing and dicing large amounts of open source code

Seminars

2009-07-01 14:00:00

Presenter

Cristina Videira Lopes,

Extended Argumentation Frameworks

Seminars

2009-06-24 14:00:00

Presenter

Sanjay Modgil,