Upcoming Presentations

Every Tuesday, at 12:30, in HB 2A -- when at another day, time or location the date in the table below is bold.
Almost all lunch meetings are public, and especially MTV students and students who do their master project within FMT are heartily invited.
Staff-only lunch meetings are indicated like this.
Lunch meetings with a special topic are indicated like this.
Cancelled lunch meetings are indicated like this.

<< Upcoming Presentations

DateSpeakerTitle
Oct 24, 2017Sebastiaan JoostenGraph Saturation for Logic Programming for Graph Transformations for Programming
Oct 31, 2017Maria KechagiaUsing Type Checking to Guard Risky APIs from Runtime Exceptions
Nov 21, 2017Jorge A. PĂ©rezLogical Foundations for Message-Passing Concurrency
Nov 28, 2017Arnd HartmannsEfficient Statistical Model Checking of Probabilistic Timed Automata with Nondeterminism