Monday, April 14, 2014

First EATCS Young Researcher School on Automata, Logic and Games


In the year 2013, the European Association for Theoretical Computer Science (EATCS) established a series of Young Researcher Schools on TCS topics. The first such school is devoted Automata, Logic and Games, and it will be held in Telc, Czech Republic, from July 27 to August 1, 2014.
The programme consists of five Basic Tutorials (four hours each) devoted to fundamental subjects, and eight Advanced Lectures (2 hours each) focussed on recent results and specific topics.

Basic Tutorials
---------------

- Probabilistic Model-Checking
  Christel Baier (Dresden)

- Logic and Databases
  Phokion G. Kolaitis (Santa Cruz)

- Games and Synthesis
  Nir Piterman (Leicester)

- Logic and Automata
  Wolfgang Thomas (Aachen)

- Timed Automata
  Wang Yi (Uppsala)


Advanced Lectures
-----------------

- The Unbounding Quantifier
  Mikolaj Bojanczyk (Warsaw)

- Robustness in Timed Systems
  Patricia Bouyer-Decitre (Cachan)

- A Logic-Based Approach to Cloud Computing
  Jan Van den Bussche (Hasselt)

- Regular Automata and Monadic Theory
  Didier Caucal (Paris)

- Stochastic model checking - A continuous time perspective
  Holger Hermanns (Saarbruecken)

- Synthesis of Recursive Programs
  Martin Lange (Kassel)

- Infinite-State Probabilistic Systems
  Richard Mayr (Edinburgh)

- Prophetic Automata
  Thomas Wilke (Kiel)
See  http://eatcs-school.fi.muni.cz/  for further details.

No comments: