GdI Seminar & Advanced Reading Club: "Formalised Logic and the Interactive Proof Checker Coq"

Dozentinnen/Dozenten:

Michael Mendler, Martin Sticht

Angaben:

[s]

Termine:

Di, 16:00 - 18:00, F21/061

GdI-CaC-M: Theorie verteilter Systeme [GdI-CaC-M]

Dozent/in:

Michael Mendler

Angaben:

[v/ü], 4 SWS

Termine:

Fr, 8:30 - 10:00, FMA/119
Fr, 12:00 - 14:00, F21/381
Einzeltermin am 25.6.2012, 12:00 - 14:00, F21/380
Einzeltermin am 25.6.2012, 14:00 - 16:00, KÄ7/01/112
Start of Classes: Friday, 27.4.2012, 12:15 hrs in F381