Universität Leipzig    Institut für Informatik    Automaten und Sprachen    Karin Quaas
DFG Graduiertenkolleg QuantLA
Reading Group Automata over Sets with Atoms
The topic of this reading group is 'Automata over Sets with Atoms'. We start reading the (ArXiv version of the) LICS 2015 paper Timed pushdown automata revisited by Lorenzo Clemente and Slawomir Lasota.
When and Where
Wednesdays, 2pm, room A426
1. Lorenzo Clemente and Slawomir Lasota: Timed pushdown automata revisited
2. Mikolaj Bojanczyk, Bartek Klin, Slawomir Lasota, Szymon Torunczyk: Turing machines with atoms