Mondsee 2014

From PUMA Graduiertenkolleg
Jump to navigationJump to search

General Information

The PUMA workshop 2014 takes place in Mondsee (near Salzburg from 29th (Monday) September to 3rd (Friday) October. The meeting takes place together with RiSE.



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)


File:PUMA RiSE Workshop 2014 Program.pdf

File:PUMA RiSE Workshop 2014 Abstracts.pdf


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