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
Papers
	1. Lorenzo Clemente and Slawomir Lasota: Timed pushdown automata revisited
	2. Mikolaj Bojanczyk, Bartek Klin, Slawomir Lasota, Szymon Torunczyk: Turing machines with atoms