2017

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.

<< 2017 >>

Upcoming Presentations

DateSpeakerTitle
Jun 27, 2017Lennart BuitQuery Language for the Lighting Domain and its Verification
Jul 04, 2017Jaco van de PolTitle to be announced
Jul 11, 2017Marcus GerholdTitle to be announced

Past Presentations

DateSpeakerTitle
Jun 20, 2017Wytse OortwijnCancelled: Title to be announced; Reason: Too busy with other things
Jun 13, 2017Arnd HartmannsTime- and Reward-Bounded Probabilistic Model Checking Techniques
Jun 06, 2017Mojgan KamaliFormal Analysis of Network Routing Protocols
May 30, 2017Janina TorbeckeOptimizing Programs for Certain Parallel Architectures
May 23, 2017Denis DurbrovOptimizing Programs for Certain Parallel Architectures
May 16, 2017Folmer HeikampGuided Fuzzing of Network Applications Using a Genetic Algorithm
May 09, 2017Ji QiVisualizing software events for program comprehension
May 02, 2017Saeed DarabiA Verification Technique for Deterministic Parallel Programs
Apr 25, 2017Bugra M. YildizA Model-Derivation Framework for Software Analysis
Apr 18, 2017ReservedDesign project presentation
Apr 11, 2017Design ProjectGraph visualisation using logic: Graphter Effects
Apr 04, 2017Ansgar FehnkerBetter than B.A.T.M.A.N.
Mar 28, 2017Peter van DijkSimulation of cross-linked RAFT copolymerization processes with Monte Carlo simulations
Mar 21, 2017Lisanne van den BergDesign and implementation of ICT-based communication systems for victim-offender mediation
Mar 14, 2017Arend RensinkData Management at FMT
Mar 07, 2017Robbert KrebbersIris: a framework for higher-order concurrent separation logic in Coq
Feb 28, 2017Tatiana FilatovaDecisions, interactions and expectations formation in agent based models of coupled social-ecological systems
Feb 07, 2017Peter HoefnerUsing Process Algebra to Design Better Protocols
Jan 31, 2017Maurice van KeulenManaging uncertainty in data: The key to effective management of data quality problems
Jan 24, 2017Marcus GerholdPassive Learning for Verification
Jan 19, 2017Sean Sedwards (INRIA Rennes)Lightweight verification methods for nondeterministic probabilistic models based on statistical model checking
Jan 17, 2017Pedro R. D'ArgenioIs your software on dope?: Formal analysis of surreptitiously “enhanced” programs
Jan 03, 2017Cancelled due to holidaysCancelled: Cancelled; Reason: Holidays