Presentations

How to find algebraic semantics for modal and temporal logics
01.11.2009
Invited tutorial at RelMiCS11/AKA6
An Algebra of Product Families
19.08.2008
Seminar, McMaster University, Hamilton, Canada
Algebraic Calculi for Hybrid Systems
17.08.2008
Seminar, McMaster University, Hamilton, Canada
Featuritis
20.07.2009
Doktoranden- und Diplomanden-Seminar in Sion

Algebraische Kalküle für hybride Systeme
14.12.2008
Kurzvortrag bei der Winterakademie 2008
An Algebra of Hybrid Systems
22.08.2008
SSE's Seminar Series, The University of Queensland, Brisbane, Australia
On Automating the Calculus of Relations
12.08.2008
4th International Joint Conference on Automated Reasoning (IJCAR 2008)
Dann klappt's auch mit den Nachbarn oder: Von ITL zu Nachbarschaftslogik
26.05.2008
Doktoranden- und Diplomanden-Seminar in Sion

Proof Automation in Kleene Algebra
29.06.2007
14. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'07)
Automated Reasoning in Kleene Algebra
18.07.2007
21st Conference on Automated Deduction (CADE-21).
Light-Weight Formal Methods with Heavy-Weight Automation Or One Year in Sheffield is not enough
29.06.2007
VT Seminar. University of Sheffield.
An Algebra of Hybrid Systems
23.02.2007
VT Seminar. University of Sheffield.

Lazy Semiring Neighbours and some Applications
31.08.2006
Relations and Kleene Algebra in Computer Science (RelMiCS/AKA 06).
Omega Algebra, Demonic Refinement Algebra and Commands
31.08.2006
Relations and Kleene Algebra in Computer Science (RelMiCS/AKA 06).
f-generated Kleene Algebra
29.08.2006
Relations and Kleene Algebra in Computer Science (RelMiCS/AKA 06) -- PhD Programme.
Personalisierung mittels Kleene-Algebra (mit Tests)
31.05.2006
Doktoranden- und Diplomanden-Seminar in Sion

Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic
29.11.2005
Fifth International Conference on Integrated Formal Methods (IFM 2005) -- Doctoral Symposium
Algebra of Hybrid Systems
05.10.2005
13. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'05).
An Algebraic Semantics for Duration Calculus
15.08.2005
17th European Summer School in Logic, Language and Information (ESSLLI) -- Student Session
Towards an Algebra of Hybrid Systems
22.09.2005
8th International Conference on Relational Methods in Computer Science (RelMiCS 8).