Mondsee 2014
From PUMA Graduiertenkolleg
Contents
General Information
The PUMA workshop 2014 takes place in Mondsee (near Salzburg https://goo.gl/maps/lVxPd) from 29th (Monday) September to 3rd (Friday) October. The meeting takes place together with RiSE.
Venue
Hotel
The workshop is organized at the Schloss Mondsee. It is located at Schlosshof 1a, 5310 Mondsee, Austria.
Getting there from Munich
- Train from München Hbf. to Salzburg Hbf. (e.g. EC 217, on 29th Sep 2014 at 10:18 from platform 13, arrival time 12:00, or pick yourself a later connection here)
- Bus 140 from Salzburg Hbf. (Südtiroler Platz) to Mondsee Busterminal (Franz-Kreutzberger-Straße) (e.g. on 29th Sep 2014 at 12:40, arrival time 13:33)
- A shared Bayern-Ticket is a cheaper alternative to the above EC train. However, longer travel times must be taken into account. People interested in a Bayern-Ticket should organize themselves.
Getting back to Munich
- Bus 140 from Mondsee Busterminal (Franz-Kreutzberger-Straße) to Salzburg Hbf. (Südtiroler Platz) (e.g. on 3rd Oct 2014 at 19:36, arrival time 20:24)
- Train from Salzburg Hbf. to München Hbf. (e.g. RJ 68, on 3rd Oct 2014 at 20:56, arrival time 22:26)
Program
File:PUMA RiSE Workshop 2014 Program.pdf
File:PUMA RiSE Workshop 2014 Abstracts.pdf
Participants
Participants from PUMA
Name | Presentation Title | |
Professors | Matthias Althoff | |
Martin Hofmann | Logical Relations and Nondeterminism | |
Tobias Nipkow | Amortized Complexity Verified | |
Helmut Seidl | ||
Associated | Julian Brunner | Implementation and Verification of Partial Order Reduction for On-The-Fly Model Checking |
Gordon Cichon | Formal Semantics of Synchronous Transfer Architecture | |
Julian Kranz | ||
Michael Luttenberger | ||
Ulrich Schöpp | ||
Students | Stephan Barth | Minimization Beyond Myhill–Nerode |
Sabine Bauer | The Decision Problem for Linear List Constraints | |
Manuel Eberl | A Verified Compiler for Probability Density Functions | |
Stefan Schulze Frielinghaus | Inter-procedural Herbrand Equalities | |
Philipp Hoffmann | Negotiations as a Concurrency Primitive | |
Fabian Immler | Formal Verification of ODE-Solvers | |
Bogdan Mihaila | Sendmail Crackaddr—Static Analysis Strikes Back | |
Christian Müller | Universal Information-Flow for Self-Composed Programs | |
Christian Neukirchen | Computation of Winning Strategies for μ-Calculus by Fixpoint Iteration | |
Albert Rizaldi | Action-based Stochastic Logics for Markov Automata | |
Christoph-Simon Senjak | A Verified Implementation of the Deflate Compression Standard | |
Salomon Sickert | Deterministic ω-Automata for LTL-Fragments: A Mechanically Verified Construction | |
Dmitriy Traytel | Derivatives of Logical Formulas |
Participants from RiSE
- Martin Aigner
- Ezio Bartocci
- Armin Biere
- Roderick Bloem
- Krishnendu Chatterjee
- Martin Chmelík
- Jessica Davies
- Ioan Dragan
- Uwe Egly
- Andreas Fröhlich
- Matthias Függer
- Mirco Giacobbe
- Radu Grosu
- Ashutosh Gupta
- Andreas Haas
- Tom Henzinger
- Christoph Kirsch
- Igor Konnov
- Bettina Könighofer
- Robert Könighofer
- Bernhard Kragl
- Jan Kretinsky
- Florian Lonsing
- Johannes Oetsch
- Jan Otop
- Andreas Pavlogiannis
- Roopsha Samanta
- Ulrich Schmid
- Martina Seidl
- Ana Sokolova
- Thorsten Tarrach
- Helmut Veith
- Magdalena Widl
- Florian Zuleger