ISR 2015 | Program | Posters | Registration | Local Information | Lecture Notes

ISR 2015: Local information

After-School Announcements

If you liked this ISR: spread the word, and send your friends and colleagues to future ISRs (2016 in Sydney, 2017 in the Netherlands - to be confirmed).

In particular, we welcome short statements by participants (both students and lecturers) about this (or past) ISR that could be shown on the call-for-participation web page of future ISRs, and perhaps on the general ISR page. Send by email to J.W., and preferrably include permission to show your name.

One more thing: we also would want to know where you (student and lecturer) heard of ISR, to find out what is the most efficient channel of advertising for future events. (For students: if you were sent here by your supervisor, ask them where they got the information on ISR.)


Registration, lectures and coffee breaks will be in Gutenberg-Bau of HTWK Leipzig, first floor. (Gustav-Freytag-Str. 42, location on OSM, see also HTWK campus map.)

Rooms (all on the same floor)

  • registration and coffee: Gu 114
  • lectures for basic track: Gu 102
  • lectures for advanced track: Gu 115

Lunch is at Campus Bistro of Telekom Hochschule, Gustav-Freytag-Straße 43 (5 min walk), location. There will be a choice of meals, which we ask you to make in advance (there'll be a list at the registration desk).


For exceptions (Monday, Wednesday), see below. Regular daily schedule is:

09:00-10:30 lecture 1
10:30 coffee break
11:00-12:30 lecture 2
12:45 lunch
14:00-15:30 lecture 3
15:30 coffee break
16:00-17:30 lecture 4

Schedule for Monday August 10 (opening day)

  • 8:30 Registration (DNFTBY Poster!)
  • 9:00 Opening,
  • morning lectures 1 and 2 are 15 min late
  • afternoon lectures 3, 4 are are on time

Schedule for Wednesday August 12 (excursion day)

  • no lecture 4
  • 15:45 meeting (in front of lecture building) for people who walk to ...
  • 16:15 meeting (at tram stop Connewitz Kreuz) for people who take tram to ...
  • 16:45 inner city boat tour, meet at Bootshaus Klingerweg 2, location.
  • 18:30 dinner at Restaurant da Vito, Nonnenstraße 11b, location.

We will suggest places to go to in the evenings. Local students will act as guides. We recommend participants and lecturers use the opportunity to spend time together.

Pre-School Announcements

  • Do Not Forget To Bring Your Poster.
  • For the SAT/SMT course by Prof. Zantema, install Yices or Z3 on your computer. It is also possible to work in pairs (2 students, 1 computer).
  • For the PVS course by Prof. Geser, install PVS and the NASA Langley PVS libraries, instructions.
  • WLAN will use Eduroam authentication, check (with your home institution) that you can use this, and tell me (J.W.) ASAP if not.
  • Supplementary material for some of the lectures will be made available (in print or on-line) at the start of the school.


Leipzig has an airport, with an express train (30 min) to Leipzig Central.

Leipzig Central (Hauptbahnhof) is on the German high speed railway network (ICE) and has frequent connections to Berlin (1 hour), Frankfurt (4 hours), Munich (4 hours).

Directions to ISR from Leipzig Central: take tram 9 (direction Markkleeberg West), or 11 (Markkleeberg Ost) to station Connewitz-Kreuz. More info on tram and bus.

Directions to Hotel Alt-Connewitz from Leipzig Airport: take train S5 (direction Altenburg) or S5X (direction Zwickau) to station Leipzig-Connewitz, then walk.

NOTE (August 4): tram 11 takes a detour (Umleitung), you can still take it. Tram 10 is replaced by a bus (Schienenersatzverkehr) which you can also take - if you find out where it starts. In any case, go to Connewitz Kreuz.

Tram tickets: generally "Einzelfahrt 4-Fahrtenkarte" (9.60 EUR) seems best. It's one ticket, valid for four rides. Buy at the machine at the tram stop, and stamp inside the tram (once for each ride). There are ticket machines in the trams as well but they don't offer this ticket (just single ride, 2.50 EUR). There are day, week, and group tickets but it's not economical for only two rides a day.


Participants should accommodate themselves. Leipzig has lots of hotels of all price ranges. (More tourist info)

We have reserved some rooms in Hotel Alt-Connewitz at a discounted price (mention "8th ISR" when you contact the hotel). These are double rooms, so you should find someone to share.

ISR 2015, August 10-14, F-IMN, HTWK Leipzig, Germany. | Legal Note (Impressum)