Veranstaltungen im Sommersemester 2012

GdI-GTI-B: Machines and Languages (Grundlagen der Theoretischen Informatik)
6 ECTS, Tuesdays 12-14 ct F384, Thursdays, 14-16hrs F381
Start of Classes: Tuesday 17.4.2012

GdI-CaC-M: Communication and Concurrency (Theorie Verteilter Systeme)
6 ECTS, Fridays, 12-14 ct F381 + 2nd session tba
Start of Classes: Friday, 27th April 2012

GdI-SaV-B: Specification and Verification (Modallogik)
6 ECTS, Wednesdays 10-12 ct F384, Thursdays, 8:30-10:00 hrs, F384
Start of Classes: Wednesday 18.4.2012

GdI Seminar in Advanced Functional Programming:
This seminar builds upon the lecture Functional Programming (NPP-GdI-B), by focusing on a number of more advanced topics in functional programming with Haskell, e.g., monads, functional patterns, user interfaces (e.g. WXHaskell, HQK, etc.), graphics and animation in Haskell (Gloss, SOE, hsSDL, Fran, etc.), sound effects and algorithmic music composition (Haskore, SuperCollider, HasChorus, etc.).
Contact: Stephan Scheele
Dates and Venue: Tuesdays 12-14, F061

GdI Seminar & Advanced Reading Club: "Formalised Logic and the Interactive Proof Checker Coq".
Contact: Michael Mendler, Martin Sticht
Dates and Venue: Wednesdays, 16-18 F061
Start of Seminar: 17.4.2012