Autobóz 2017
(Auto camp 2017)
| Name and Surname | Scope of interest | Other remarks, questions | |
| Wojtek Czerwiński | wczerwin@mimuw.edu.pl | automata, logic, infinite state systems, separability problems | |
| Mahsa Shirmohammadi | mahsa.shirmohammadi@gmail.com | stochastic games, quantitative systems, synchronizing automata | |
| Sylvain Schmitz | schmitz@lsv.fr | wqos, separation problems, data nets | |
| Michaël Cadilhac | michael@cadilhac.name | logic, automata, circuits, algebra, verification, transducers | |
| Michał Skrzypczak | mskrzypczak@mimuw.edu.pl | infinite words and trees, automata, topology, unambiguity | |
| Nathanaël Fijalkow | nathanael.fijalkow@gmail.com | logic in cs | |
| Joanna Ochremiak | joanna.ochremiak@gmail.com | logic in cs | |
| Lorenzo Clemente | clementelorenzo@gmail.com | automata, separation problems, timed atoms | |
| Piotrek Hofman | piotrek.hofman (at) gmail.com | automata | Allergy to fishes. |
| Guillermo A. Perez | gperezme@ulb.ac.be | weighted automata and {stochastic, quantitative, partial-observation} games | |
| Dorota Celińska | dcelinska@wne.uw.edu.pl | Graph theory and applications, hyperbolic geometry | |
| Eryk Kopczyński | erykk@mimuw.edu.pl | computation with atoms, finite model theory | |
| Hosein Hasanbeig | grockious@icloud.com | cerny conjecture | Vegetarian diet please |
| Bastien Maubert | bastien.maubert@gmail.com | games, imperfect information, epistemic and strategic logics, automata | |
| Michael Blondin | blondin@in.tum.de | infinite state systems, verification, logic, automata, complexity | Vegan food if possible, vegetarian otherwise please. |
| Bastien Maubert | bastien.maubert@gmail.com | games, imperfect information, epistemic and strategic logics, automata | |
| Dmitry Chistikov | dch@mpi-sws.org | automata, grammars, infinite-state systems, complexity | |
| Filippo Cavallari | filcavallari88@gmail.com | Automata, descriptive set theory | |
| Thomas Zeume | thomas.zeume@tu-dortmund.de | logic in cs | |
| Matthias Niewerth | matthias.niewerth@tu-dortmund.de | automata, logic, databases | |
| Vincent Penelle | penelle@mimuw.edu.pl | infinite graphs, automata, trees, logic | |
| Sebastian Siebertz | Siebertz@mimuw.edu.pl | Graphs, if anyone is interested | I will attend from Monday 17 to Friday 21 at noon. |
| Filip Mazowiecki | F.Mazowiecki@warwick.ac.uk | From 17 till the end |
In front of a shelter on Turbacz.
On the way to Turbacz.
A climbing to the peak.
Theory meets practice.
Paweł, his daughters and Basia.
Bartek and Wojtek are playing in Japanese chess for kids.
Trip to Turbacz.
People are gathering for the campfire.
Christoph and Dmitry in the lecture room.