Liebe Teilnehmer am Seminar "Methoden der Verifikation" im SS 2007,

dieses Forum soll den Austausch zwischen den Teilnehmern erleichtern und dabei helfen, Fragen und Probleme zu klären. Es ist ausdrücklich erwünscht, dass sich Leute mit verwandten Themen absprechen und ihre Vorträge bzgl. Notationen und gemeinsamen Inhalten (Definitionen, ...) abstimmen.

Um im Forum Nachrichten hinterlassen zu können, muss man sich anmelden, weil früher unsere Foren ohne die Anmeldepflicht mit Spam überflutet wurden. Die Anmeldung erfolgt über <Log In>, <Not Registered? Click here to register now.>.

Gruß,
Ralf.



Edited 1 time(s). Last edit at 04/17/2007 03:40PM by wimmer.