Autoboz

Autobóz is a work camp on automata, logic and games theory. It will take place in Gorce Mountains in Poland, from 13th to 21th August 2016.

Our ,,Hotel''

We plan to stay in Hotel "Pod Jaworzyną". The expected cost will be around 200 EUR, almost All-inclusive ;).

How to get there?

World → Kraków Balice (Krakow Balice) Airport
Kraków (Krakow) Airport → Kraków Główny (Krakow main) railway station (by train)
Kraków Główny (Krakow main) railway station → (Krakow bus station) Kraków Dworzec Autobusowy (walk 5 min)
(Krakow bus station) Kraków Dworzec Autobusowy → Koninki near Poręba Wielka (by bus)

List of people and their preferences

Data update takes around 5 min.

Name and Surname	Email	Scope of interest	Other remarks, questions
Michał Pilipczuk	michal.pilipczuk@gmail.com	anything that has no diagrams
Patrick Totzke	ptotzke@warwick.ac.uk	automata, VASS
Wojtek Czerwiński	wczerwin@mimuw.edu.pl	automata, logic, infinite state systems, separability problems
Eryk Kopczyński	erykk@mimuw.edu.pl	finite model theory, atoms, separability, games
Lorenzo Clemente	clementelorenzo+autobus@gmail.com	automata, atoms, separation problems
Tomek Gogacz	gogo496@gmail.com	logic, database theory
Dominik Wojtczak	d.wojtczak@liv.ac.uk	probabilistic systems, automata, game theory
Michał Skrzypczak	mskrzypczak@mimuw.edu.pl	infinite words and trees, automata, topology	I estimate the chances of attending this Autobóz meeting at 90%
Joost Winter	jwinter@mimuw.edu.pl	general abstract nonsense, hiking, go
Jędrzej Kołodziejski	jedrzejkolodziejski@gmail.com	hypercomputation, automata on various input types, connections between automata and logic
Mahsa Shirmohammadi	mahsa.shirmohammadi@gmail.com	automata, game and hardness proofs ;)
James Worrell	jbw_at_cs.ox.ac.uk
Dorota Celińska	dcelinska@wne.uw.edu.pl	Graph theory and applications