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

Feb 28, 2017Tatiana FilatovaTitle to be announced
Mar 07, 2017Robbert KrebbersIris: a framework for higher-order concurrent separation logic in Coq
Mar 14, 2017Sjoerd WelsTitle to be announced
Mar 21, 2017Lisanne van den BergTitle to be announced
Mar 28, 2017Peter van DijkTitle to be announced
Apr 11, 2017ReservedDesign project presentation
Apr 18, 2017Saeed DarabiTitle to be announced