Participants and talks

Algorithmic Model Theory 2012

Faried Abu Zaid, Aachen, All omega-automatic integral domains are finite
Isolde Adler, Frankfurt, On the planar disjoint paths problem
Vince Bárány, Warsaw
Christoph Berkholz, Berlin, Lower bounds for existential k-pebble games
Joachim Bremer, Frankfurt
Christoph Dittmann, Berlin
Viktor Engelmann, Berlin
Jörg Flum, Freiburg, On the ordered conjecture
Dominik D. Freydenberger, Frankfurt, Descriptive generalization of subregular languages