Registration

This year, we are working with registration fees instead of posterior invoices. We are planning to other the following booking options:

1. Regular: (ca. 520 EUR) includes everything: The overnight stay (single bedroom) at "Haus der Kirche", the conference costs (breakfast, lunch, dinner), the social dinner.
2. Regular w/o overnight stay (ca. 320 EUR): All of regular but we do not book a room for you. This might be a choice. If you want to come with family and you stay at a different hotel. "Haus der Kirche" only offers double bedrooms.
3. Dinner-only (59 EUR): To enable the participation of our alumni at the social event, we will offer theoption of joining us at the social event.

Registration fees for invited speakers will be covered. The following link allows you to register and pay for registration fee. If you are a KIT-internal participant, please request the registration from Alexander Weigl.

Use this form to provide additional registration information. This includes dietary options, T-shirt sizes, and participation in the hiking trip. This form is editable!  As the T-Shirts need to be ordered and produced, you should give  this information fix until July, 7th.

You can register for as many talks/discussions as you like using the form below.

Until July 7th, you should at least announce your talks with a minimal version: ("Title: tbd" and some keywords in the abstract to find a suitable session).

But we would appreciate even an early announcement. The schedule is tight, so please announce in time. Your entry should be properly finalized until July, 21st with a proper title and abstract so that we can compile the final schedule.

Note the novelty: You can select one of three tracks. As the KeYmaera group joined our symposium, we will split some sessions. Your choices are the common track (KeY+KeYmaera) or KeY/KeYmaera- specific track. The final decision is made by the program board (Enguerrand Prebet and Alexander Weigl).