Aktuelles
Unsere fleißigen Tutoren im Sommersemester 2012:
Sophie, Patricia, Jacob und Tobias
Wir gratulieren Peter Sauer zum erfolgreichen Abschluß der Masterarbeit.
Die Aussprache fand am 16.04.2012 zum Thema
"Verteilte Nebenläufige Constraint-Programmierung"
statt.
Informatik-Kolloquium
Frau Anna Prenzel (Hochschule Zittau/Görlitz)
hält einen Vortrag zum Thema:
„Gestaltung der Mensch-Computer-Interaktion zur
Entscheidungsunterstützung bei Dispositionsaufgaben“
am Dienstag, den 13.03.2012, 10:30 Uhr
im Hauptgebäude, Raum 2.13
Abschlusspräsentation Roboterpraktikum WS 2012
Am 12.03.2012 fand das Roboterpraktikum seinen Abschluss.
Acht Teams waren mit tollen Ideen, Kreativität und Spaß bei der Sache.
Hier weitere Fotos.
Informatik-Kolloquium
Herr Alexander Bau
Hochschule für Technik, Wirtschaft und Kultur Leipzig
hält einen Vortrag zum Thema:
"Constraint Programmierung via Haskell Programmierung"
Montag, 16.01.2012, 10:30 Uhr
Hauptgebäude, Raum 2.13
KI - Künstliche Intelligenz
Themenband: KI-Programmiersprachen / AI Languages
erscheint im Februar 2012, 
OnlineFirst (Springer Verlag)
Doktorandensymposium
Berlin, 29. Februar 2012
Im Rahmen der SE 2012 (Software-Engineering-Konferenz)
Promovierende junge Wissenschaftlerinnen und Wissenschaftler erhalten von erfahrenen Forscherinnen und Forschern und anderen Doktorandinnen und Doktoranden außerhalb ihrer Forschungsgruppe konstruktive Rückkopplung zu ihren Dissertationsvorhaben.
5. Arbeitstagung Programmiersprachen (ATPS'12)
Berlin, 27. Februar 2012
Die Tagung dient dem Austausch zwischen Forschern, Entwicklern und Anwendern, die sich mit Themen aus dem Bereich der Programmiersprachen beschaeftigen.
Dezember 2011:
Wir gratulieren unserem ehemaligen Mitarbeiter Wolfgang Jeltsch zur erfolgreich absolvierten Disputation!
Thema der Dissertation: "Strongly Typed and Efficient Functional Reactive Programming"
- Petra Hofstedt, Wolfgang Jeltsch, Peter Bachmann, Peter Pepper (TU Berlin)
Erschienen im Juni 2011:
Petra Hofstedt
Multiparadigm Constraint Programming Languages.
ISBN 978-3-642-17330-1. Springer-Verlag. 2011 ( link zum Buch)
