Separability Problems
an ICALP workshop
Venue:
The 14th of July, in Warsaw
Program:
Titles to be announced
9:30 - 10:15 Marc Zeitoun
TBA
10:15 - 11:00 Thomas Place
TBA
Coffee Break
11:30 - 12:15 Wojciech Czerwiński
TBA
12:15 - 13:00 Sylvain Schmitz
TBA
Lunch
14:30 - 15:15 Christof Löding
Regular Separability for Well-Matched Complements of Visibly Pushdown Languages
15:15 - 16:00 Georg Zetzsche
Parameterized WQOs, downward closures, and separability problems
Coffee Break
16:30 - 17:15 Thomas Colcombet
Separation of tropical automata
17:15 - 18:00 Moderated session of open problems and discussion