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.

<< 2013 >>

Past Presentations

Dec 17, 2013Prof. Dr. Martin LangeModel Checking Equivalence Relations
Dec 10, 2013Marina Zaharieva-StojanovskiVerifying Class Invariants in Concurrent Programs
Dec 03, 2013Mehmet AkşitTwente – Aselsan Research Cooperation
Nov 26, 2013Freark var der BergModel checking LLVM IR using LTSmin
Nov 19, 2013Pedro de Carvalho GomesSound Control Flow Graph Extraction from Incomplete Java Bytecode Programs
Nov 12, 2013Haihan YinRefusing the Debugging Scandal–Dedicated Debugging Technologies for Advanced-dispatching Languages
Nov 05, 2013Alfons LaarmanMulti-Core Model Checking
Oct 29, 2013Cancelled: Title to be announced; Reason: IPA days
Oct 22, 2013Afshin AmighiResource Protection using Atomic operations
Oct 15, 2013Waheed AhmadOptimal Scheduling of Synchronous Dataflow Graphs via Timed Automata
Oct 01, 2013Dr. Christoph BockischAn Adapter-Aware, Non-Intrusive Dependency Injection Framework for Java
Sep 24, 2013prof. Michael GoedickeA General Theory of Software Engineering – or what this might be
Sep 17, 2013Dennis GuckMaintenance behaviour in Dynamic Fault Trees
Sep 16, 2013lya TkachevSpecial: Model-checking of controlled discrete-time Markov processes via finite abstractions
Sep 03, 2013Jaco van de PolCracking the RERS challenge with LTSmin
Jul 09, 2013Stefan BlomHow Do Developers Use APIs? A Case Study in Concurrency
Jul 02, 2013Julien HémonoLearning memory models
Jun 25, 2013Jelmer ter WalJML* specification of selected parts of the Java Collection Framework
Jun 18, 2013Charl de LeurPermission-Based Separation Logic for Scala
Jun 11, 2013Jaco van de PolNested Depth First Search for Timed Automata
Jun 04, 2013Cancelled; Reason: CTIT symposium
May 28, 2013Prof. dr. Michel ChaudronIs Modeling Any Good? Empirical Evidence on Modeling in Software Development
May 21, 2013Paul BonsmaTight Lower and Upper Bounds for the Complexity of Canonical Color Refinement
May 16, 2013Dr. Leen LambersCorrect Model Transformations
May 07, 2013Stefan BlomWitnesses for Software Verification
Apr 23, 2013Steven te BrinkeA Design Method for Modular Energy-Aware Software
Apr 16, 2013Afshin AmighiResource Protection using Atomics: Patterns and Verifications
Apr 04, 2013Mark TimmerConfluence Reduction for Markov Automata
Mar 26, 2013Tom van DijkImproving work-stealing by inventing new work-stealing deques
Mar 19, 2013Cancelled; Reason: ETAPS
Mar 12, 2013Florian ArnoldTime-Dependent Analysis of Attacks with Phase-Type Distributions
Mar 05, 2013Matej MihelčićSpecification and Verification of GPGPU Programs using Permission-Based Separation Logic
Feb 26, 2013Frank KarglThe Challenge of Provable Security of Misbehavior Detection in Cyber-physical Systems
Feb 12, 2013Hajo BroersmaThe NASCENCE project: how to evolve nanomaterials into information processing units
Jan 29, 2013Marieke HuismanA report on VerifyThis@FM2012
Jan 22, 2013Gijs KantPartial Model Checking for Linear Process Specifications
Jan 15, 2013Prof. Shmuel KatzUsable Formal Methods for Aspects and Event Detectors
Jan 01, 2013Cancelled; Reason: Holidays