LRA+ABS Forum - Seminar Methoden der Verifikation

LaTeX Symbole (1 reply)

Alexander Schulz — Sun, 24 Jun 2007 14:23:10 +0200

Hallo zusammen,

ich bin auf der Suche nach folgenden Symbolen:
- CTL Operator "eventually" (rhombus)
- CTL Operator "always" (quadrat)
- weiter finde ich keine Passende Schriftart / Symbol ür das spezielle U (until) und w(steht fürn einzelloperator) in meinen CTL Formeln.

Wäre schön wenn mir jemand weiterhelfen könnte

Gruß Alex.

===============
Nachtrag: 24.06.07
Die 2 CTL Operatoren hab ich gefunden, vielleicht sucht sie noch jemand:
eventually: \diamondsuit
und always: \square

Fristen (1 reply)

Ralf Wimmer — Mon, 09 Jul 2007 15:42:32 +0200

Hallo *,

ich möchte euch an die folgenden näherrückenden Termine erinnern:

(1) Abgabe der Ausarbeitung am 26. Juni 2007 bis 23:59 Uhr MESZ. Es wird _keine_ Verlängerung dieser Frist geben.

(2) Anmeldefrist des Prüfungsamtes für alle Lehrveranstaltungen ist am 29.06.2007.

Gruß,
RAlf.

Termin für die Blockveranstaltung (no replies)

Ralf Wimmer — Wed, 25 Apr 2007 14:51:16 +0200

Hallo *,

aufgrund eines Konfliktes mit einem anderen Seminar wurde die Blockveranstaltung für das Seminar "Methoden der Verifikation" auf den

26. / 27. Juli 2007

verschoben. Alle anderen Termine bleiben unverändert.

Gruß,
Ralf.

Hinweise zu Seminarvorträgen allgemein (no replies)

Ralf Wimmer — Thu, 19 Apr 2007 15:33:00 +0200

Es gibt im Netz einige (mehr oder weniger) gute Tipps, wie man einen ordentlichen Seminarvortrag halten kann, z. B.

[i12www.ira.uka.de]
[www.st.cs.uni-sb.de]
[www-pu.informatik.uni-tuebingen.de]
[pauli.uni-muenster.de]
[www.informatik.uni-freiburg.de]

Vielleicht hilft's ja was ...

Gruß,
Ralf.

Eröffnung des Forums (no replies)

Ralf Wimmer — Tue, 17 Apr 2007 15:39:36 +0200

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 , .

Gruß,
Ralf.