Theory Days of Computer Science

Background

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.

Details:

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.

Our sponsors: