Schloss Ringberg Seminar: Model Checking and Program Analysis

Organization: Andreas Podelski, Bernhard Steffen, Moshe Vardi

Schloss Ringberg (at Tegernsee, near Munich), February 20-23, 2000.

• Panel on Sunday

• Schedule (in the process of planning)

• List of participants (with home pages)

• Relevant Papers (list built up incrementally)

• Saturday evening in Munich

• Travel
  • How to reach Ringberg Castle (with an explanation of how to find the platforms for the trains to Tegernsee)
  • Train Schedule München-Tegernsee
  • Train Schedule Tegernsee-München
  • For General Queries on Railway Travel
  • Hotels
    (If you send an email to our secretary Frau Hansen she will help you find and reserve a hotel in Munich for the nights before and after the seminar.)

• Schloss Ringberg, photos

• First invitation letter, second