Login

Seminars

A Spatial-Epistemic Logic and Tool for Reasoning about Security Protocols

Seminars

2009-12-16 14:00:00

Presenter

Bernardo Toninho,

A Type System for Access Control in an Object-Oriented Language

Seminars

2009-12-16 14:30:00

Presenter

Ankica Barisic,

Problems and prospects for formal proofs

Seminars

2009-12-09 14:00:00

Presenter

Jesse Alama,

Unifying Memory and Database Transactions

Seminars

2009-12-02 14:00:00

Presenter

Ricardo Dias,

Searching for the Mechanisms of Cognition

Seminars

2009-11-25 14:00:00

Presenter

Clark Glymour,

Towards a service-oriented parallel programming model

Seminars

2009-11-18 14:00:00

Presenter

Hervé Paulino,

rrrrr

Seminars

2009-11-13 15:30:00

Presenter

Agostinho Monteiro,

Learning Attack Sequences and Pre- and Post-Conditions for Attack Graphs

Seminars

2009-11-11 13:30:00

Presenter

Choh Man Teng,

A Note on Sparse Anti-Monge Matrices

Seminars

2009-11-04 14:00:00

Presenter

Ankica Barisic,

Advanced Code Coverage Analysis Using Substring Holes

Seminars

2009-10-28 14:00:00

Presenter

Eitan Farchi,