Login

Seminars

Introducing Prolog Studio for XSB

Seminars

2014-11-12 14:00:00

Presenter

Miguel Calejo,

Finding kernel concurrency bugs

Seminars

2014-10-29 14:00:00

Towards Sustainable Information Society – Green and Never Die Networks

Seminars

2014-06-26 13:00:00

Presenter

Norio Shiratori,

Reasoning about eventual consistency and replicated data types

Seminars

2014-06-16 13:00:00

Presenter

Alexey Gotsman,

Advances in Noise-based Testing of Concurrent Programs

Seminars

2014-05-28 13:00:00

Presenter

Zdenek Letko,

Video Games: Becoming the Medium of the 21st Century

Seminars

2014-05-13 13:30:00

Presenter

Warren Spector,

BPM in Software Processes

Seminars

2014-05-02 14:00:00

Presenter

Toacy Oliveira,

Space Complexity of Replicated Data Types

Seminars

2014-04-09 14:00:00

Presenter

Marek Zawirski,

Dependent Information Flow Types

Seminars

2014-04-02 13:00:00

Presenter

Luísa Lourenço,

Fixed-parameter tractable reductions to SAT

Seminars

2014-04-01 15:00:00

Presenter

Ronald de Haan,