2010

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.

<< 2010 >>

Past Presentations

DateSpeakerTitle
Dec 28, 2010Cancelled; Reason: Christmas Holiday
Dec 21, 2010Cancelled; Reason: Christmas Holiday
Dec 14, 2010Aleks KissingerGraph Rewriting and Monoidal Theories
Dec 07, 2010Cancelled; Reason: Onderwijsseminar
Dec 01, 2010Marieke HuismanVerification of Concurrent Java Programs
Nov 23, 2010Jeroen KetemaVerification of xUML Models
Nov 16, 2010Elzbieta KrepskaDistributed Processing of Large-Scale Graphs
Nov 09, 2010Maarten de MolCHARTER Project Update
Nov 04, 2010Wolfgang AhrendtCompositional Verification of Distributed Objects with Asynchronous Method Calls
Oct 26, 2010Gijs KantVerification of Complex Hierarchical Systems (VOCHS) Project
Oct 19, 2010Jaco van de PolEquational Logic Examples: Soundness and (In)Completeness
Oct 12, 2010Arash JalaliIncremental Pattern Matching in GROOVE: Further Extensions
Oct 05, 2010Markus Müller-OlmLock-Join-Sensitive Analysis of Recursive Programs with Thread-Creation
Sep 28, 2010Cancelled; Reason: ICGT/SPIN
Sep 21, 2010Rom LangerakOn (Writing) NWO Project Proposals
Sep 14, 2010Eduardo ZambonNeighbourhood Abstraction in GROOVE
Sep 07, 2010Marieke HuismanCVPP: A Tool Set for Compositional Verification of Control-Flow Safety Properties
Aug 31, 2010Minh Tri NgoVerification of Noninterference