Upcoming PresentationsEvery 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, 2017||Tatiana Filatova||Title to be announced|
|Mar 07, 2017||Robbert Krebbers||Iris: a framework for higher-order concurrent separation logic in Coq|
|Mar 14, 2017||Sjoerd Wels||Title to be announced|
|Mar 21, 2017||Lisanne van den Berg||Title to be announced|
|Mar 28, 2017||Peter van Dijk||Title to be announced|
|Apr 11, 2017||Reserved||Design project presentation|
|Apr 18, 2017||Saeed Darabi||Title to be announced|