Theory Days of Computer Science
Once in a year, the German-speaking community of Formal Language Theorists comes together.
This year, we want to combine this annual meeting with a workshop where we like to discuss possible future directions of Computer Science curricula with respect to Formal Languages.
Hence, we plan to meet for a whole week in Bonn.
More details on the programme can be found in the pdf documents. A gross outline is as follows.
Monday, 18.09.2017: arrival up to 2pm, then first day of the German Formal Language meeting starts.
Tuesday, 19.09.2017: Second day of the German Formal Language meeting
Wednesday, 20.09.2017: Invited talks, 8:45-11:30; museums and many other things to do in the afternoon
Thursday, 21.09.2017: Workshop "Automata and Formal Languages in future academic curricula"
Friday, 22.09.2017: Workshop "Automata and Formal Languages in future academic curricula" and departure
Technical Report containing short abstracts of the presentations
Deadline for registering a talk at the event(s): August 28th.Deadline for registering with the conference: August 31st.
Interested? registration form / LaTeX-Macros
Please hand back a possible contribution to the German Formal Language meeting prepared with our macros by the end of July. Please register by sending the registration form by mid-August. For both, use the mail address of the Board of the GI-SIG Automata and Formal Languages.