Universität Bonn

Trimester Program: "Definability, decidability, and computability"


September 1 - December 12, 2025

Organizers: Valentina Harizanov, Philipp Hieronymi,  Jennifer Park,  Florian Pop, Alexandra Shlapentokh 

Description: TBA


Participants

PERSON
AFFILIATION
PERIOD OF STAY
 
 
 
 
 
 
 
 
 

Directions

5 minute walk from Bonn central train station to HIM

Leave the station through the back exit into the street called Quantiusstrasse. Cross at the zebra crossing and turn left. Walk to the corner: the cross-street is the Poppelsdorfer Allee. Cross (careful of traffic from your left) and walk to the right up the Poppelsdorfer Allee, towards the Poppelsdorfer Castle in the distance. At the next intersection, continue straight on up the avenue. HIM is building No. 45 on the left side of Poppelsdorfer Allee behind the wrought iron gate.

The airport shuttle drops you in front of the central train station. Cross at the traffic light nearest you and take the escalator down to the underground passage. Go straight to the end of the passageway until you reach the street (Quantiusstrasse) and follow the directions above.

If you are coming to a Workshop or School, go straight to Poppelsdorfer Allee 45 and sign-in.

If you are coming for a (Junior) Trimester Program, come first to the HIM Administration at Poppelsdorfer Allee 82, diagonally across the street from the Institute proper.


Wird geladen