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.
|May 02, 2017||Saeed Darabi||A Verification Technique for Deterministic Parallel Programs|
|May 09, 2017||Ji Qi||Title to be announced|
|Apr 25, 2017||Bugra M. Yildiz||A Model-Derivation Framework for Software Analysis|
|Apr 18, 2017||Reserved||Design project presentation|
|Apr 11, 2017||Design Project||Graph visualisation using logic: Graphter Effects|
|Apr 04, 2017||Ansgar Fehnker||Better than B.A.T.M.A.N.|
|Mar 28, 2017||Peter van Dijk||Simulation of cross-linked RAFT copolymerization processes with Monte Carlo simulations|
|Mar 21, 2017||Lisanne van den Berg||Design and implementation of ICT-based communication systems for victim-offender mediation|
|Mar 14, 2017||Arend Rensink||Data Management at FMT|
|Mar 07, 2017||Robbert Krebbers||Iris: a framework for higher-order concurrent separation logic in Coq|
|Feb 28, 2017||Tatiana Filatova||Decisions, interactions and expectations formation in agent based models of coupled social-ecological systems|
|Feb 07, 2017||Peter Hoefner||Using Process Algebra to Design Better Protocols|
|Jan 31, 2017||Maurice van Keulen||Managing uncertainty in data: The key to effective management of data quality problems|
|Jan 24, 2017||Marcus Gerhold||Passive Learning for Verification|
|Jan 19, 2017||Sean Sedwards (INRIA Rennes)||Lightweight verification methods for nondeterministic probabilistic models based on statistical model checking|
|Jan 17, 2017||Pedro R. D'Argenio||Is your software on dope?: Formal analysis of surreptitiously “enhanced” programs|
|Jan 03, 2017||Cancelled due to holidays||Cancelled: Cancelled; Reason: Holidays|