Every Thursday, at 15:45. Room is announced for each colloquium -- When at another day or time, the date in the table below is bold.
Almost all group colloquia are public, and especially ST students and students who do their master project within FMT are heartily invited.
Staff-only group colloquia are indicated like this.
Group colloquia with a special topic are indicated like this.
Cancelled group colloquia are indicated like this.

<< 2010 >>

Past Presentations

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