Talks

(subscribe: list, rss feed, calendar feed)
Feb
8

Maria Gorinova

Termination proving

Jan
12

Martin Suda

Resolution-based Methods for Linear Temporal Reasoning

Dec
10

Sayan Mitra

Automating invariant and progress proofs for distributed systems

Oct
12

Bertrand Meyer

A Theory of Programs

Oct
6

Miroslav Truszczynski

Abstract Perspectives on Modularity in Knowledge Representation

Sep
22

Piero Bonatti

DL^N: a utilitarian nonmonotonic description logic

News

National Research Network Rigorous Systems Engineering – PhD and Postdoc Positions

The RiSE Network is looking for several postdocs and PhD students in formal methods, systems engineering and related fields such as programming languages and distributed systems.

Formal Methods in Systems Enginnering Group: Ten PhD and PostDoc positions

The Formal Methods in Systems Engineering Group at Vienna University of Technology offers 10 PhD/PostDoc positions.