Autobóz 2015
(Auto camp 2015)
| Name and Surname | Scope of interest | Other remarks, questions | |
| Wojtek Czerwiński | wczerwin@mimuw.edu.pl | "automata theory, logic, separability, reachability and bisimilarity checking" | |
| Piotrek Hofman | piotrek.hofman@gmail.com | "Automata theory, Petri nets, XML, equivalences" | |
| Amaldev Manuel | devmanuel@gmail.com | "automata theory and logic on words, data words, trees" | |
| Matthias Niewerth | matthias.niewerth@tu-dortmund.de | "automata, xml, logic" | |
| Eryk Kopczyński | erykk@mimuw.edu.pl | "finite model theory, sets with atoms, spectra" | "probability of my attendance is an open problem, which will be solved at the Autobóz" |
| Lorenzo Clemente | clementelorenzo+antispam@gmail.com | "stochastic games, pushdown automata, communicating automata" | |
| Paweł Parys | parys@mimuw.edu.pl | "automata theory (pushdown automata, automata with counters), etc." | Family 2+3 |
| Joanna Ochremiak | ochremiak@mimuw.edu.pl | "sets with atoms, automata, database theory" | |
| Dmitry Chistikov | dch@mpi-sws.org | "automata theory, decision problems" | |
| Tomasz Gogacz | gogo496@gmail.com | "Logic, Database theory" | |
| Szymon Toruńczyk | szymtor@gmail.com | Women | |
| Charles Paperman | charles.paperman@gmail.com | "Logic circuits complexity and finite model theory. Also, cheese and wine. " | |
| Bartek Klin | klin@mimuw.edu.pl | Anything but automata | |
| Michał Pilipczuk | michal.pilipczuk@gmail.com | parametrized complexity | |
| Georg Zetzsche | zetzsche@cs.uni-kl.de | ||
| Christoph Haase | haase@lsv.ens-cachan.fr | "automata theory, arithmetic theories, logic" | |
| Joost Winter | jwinter@mimuw.edu.pl | "weighted automata, monads, bialgebra" |
Theory meets practice.
Paweł, his daughters and Basia.
Bartek and Wojtek are playing in Japanese chess for kids.