Traunkirchen 2011
From PUMA Graduiertenkolleg
Contents |
General Information
The PUMA workshop 2011 takes place in Traunkirchen from 3rd (Monday) to 7th (Friday) October. This time the meeting takes place together with ARiSE.
Venue
Hotel
The workshop is organized at the Symposionhotel Post in Traunkirchen.
Traveling
The hotel is located at Ortsplatz 5, Traunstein, Austria.
Participants from PUMA
Professors
- Javier Esparza
- Tobias Nipkow (2.10.-5.10.)
- Andrey Rybalchenko
- Helmut Seidl
- Martin Hofmann (05.10-07.10.)
Students
- Jasmin Blanchette
- Bogdan Mihaila
- Lukas Bulwahn
- Andreas Gaiser
- Robert Grabowski
- Jan Hoffmann
- Aleksandr Karbyshev
- Peter Lammich
- Markus Latte
- Christian Kern
- Máté Kovács
- Dulma Rodriguez
- Andreas Reuss
- Ledesma Garza Ruslán
- Alexander Sepp
- Markus Weissmann
Participants from ARiSE
- Roderick Bloem
- Helmut Veith
- Ivona Brandic
- Igor Konnov
- Yulia Demyanova
- Tom Henzinger
- Laura Kovacs
- Josef Widder
- Christoph Kirsch
- Armin Biere
- Pavol Cerny
- Ioana Jucu
- Florian Zuleger
- Ioan Dragan
- Jakob Zwirchmayr
- Martina Seidl
- Andreas Haas
- Marijn Heule
- Ali Sezgin
- Andreas Holzer
- Ashutosh Gupta
- Annu John
Program
- survey talks by Tobias Nipkow and Martin Hofmann
- excursion
- student talks
- tutorials
Preliminary schedule
The schedule can be found at
