Aktuelles
Informatik-Kolloquium: Prof. Dr. Ute Schmid
Es spricht Frau Prof. Dr. Ute Schmid (Universität Bamberg)
zum Thema "Lernen auf der Wissensebene".
Der Lehrstuhl Programmiersprachen und Compilerbau lädt alle Interessenten
am Freitag, 17.05.2013
um 9:30 Uhr
im Hauptgebäude, Raum 0.17
recht herzlich ein. 
Einladung mit Abstract
Wir laden alle Interessenten herzlich ein zur öffentlichen Aussprache der Bachelorarbeit von Patricia Schulz
am Donnerstag, 21.02.2013 um 09:00 Uhr ins Hauptgebäude im Raum 0.19
Titel: "Analyse der Prüfungsplanung an der BTU Cottbus sowie Entwurf und Implementierung eines constraint-basierten Prüfungsplaners "
Im Rahmen der Arbeit wurde ein constraint-basiertes Werkzeug zur
automatisierten Prüfungsplanung entwickelt. Nach einer Analyse der Daten
und des derzeitigen manuellen Prüfungs-planungsprozesses wurden zunächst
die bei einer Prüfungs-planung einzuhaltenden Constraints identifiziert.
Hieraus wurde ein Planungstool entworfen und mit Hilfe der
Constraint-Bibliothek Choco in der Programmiersprache Java realisiert.
Abschlusspräsentation zum Praktikum "Roboterprogrammierung"
Am Freitag, den 01.02.2013
um 9:15 Uhr
im Hauptgebäude Raum 1.15,
stellen die Projektteams des Praktikums "Roboterprogrammierung" ihre Ergebnisse zur Entwicklung von Software für Lego-Mindstorms-Roboter vor. Zur Aufgabe stand die Kartographierung der Umgebung mit Hilfe des Ultraschallsensors.
Interessenten sind herzlich eingeladen.
Gemeinsames Kolloqium
Der Lehrstuhl Energiewirtschaft und der Lehrstuhl Programmiersprachen und Compilerbau freuen sich,
Herrn PD Dr. Cyrill Stachniss
von der Universität Freiburg
zu einem Vortrag begrüßen zu können:
Titel:
Probabilistische Methoden für die Roboternavigation –
von grundlegenden Problemen zu realen Systemen
Die Veranstaltung findet am Donnerstag, den 14.02.2013
ab 16.00 Uhr s.t. im LG 3A – Raum 324 statt.
Informatik-Kolloquium: Henning Thielemann
Herr Dr. Henning Thielemann spricht zum Thema "Funktionale Musikprogrammierung"
Der Mitmach-Vortrag führt vor, wie man mit der funktionalen Programmiersprache Haskell Klänge und Musik erzeugen kann. Dabei wird gezeigt, wie sich Haskells Bedarfsauswertung (lazy evaluation) vorteilhaft einsetzen lässt.
Der erste Teil des Vortrags gibt eine Einführung in die Signalverarbeitung mit Haskell.
Anschließend können sich alle Zuhörer selbst daran versuchen, ein Geräusch zu
programmieren. Dafür braucht jeder Teilnehmer einen Rechner mit installiertem HaskellÜbersetzer GHC und Audiokonverter SoX.
Im zweiten Teil wird gezeigt, wie man mit Haskell Musik programmiert. Auch hier schließt sich eine Mitmacheinlage an, in der Zuhörer ein Musikstück modifizieren können.
Alle Interessenten sind herzlich eingeladen!
Termin: 10.01.2013
Teil 1 9:15 – 10:45 Uhr – Hauptgebäude Raum 0.19
Teil 2 13:45 – 15:15 Uhr – Hauptgebäude Raum 0.18
Lehrstuhlausflug 2012
Unser diesjähriger Lehrstuhlausflug führte uns am 12. Oktober nach Berlin.
Nach einer Stadtrundfahrt auf dem Wasser und einem tollen Essen im Restaurant Lietzenburg, lernten wir das Schloss Charlottenburg kennen.
Herbstakademie 2012
Am 06.09. fand das Abschlusstreffen und Wettstreit der Roboter im Rahmen des Robotok-Praktikums statt. Mehr Fotos hier
Informatik-Kolloquium: Thomas Hinze
Dr.-Ing. Thomas Hinze, BTU Cottbus, Institut für Informatik, spricht zum Thema:
"Rechnen mit Molekülen: Neue Impulse und Herausforderungen einer jungen biologisch inspirierten Informatikdisziplin" 
Alle Interessenten sind herzlich eingeladen!
Termin: Montag, 09.07.2012 um 10:00 Uhr
Ort: Hauptgebäude der BTU, Raum 2.44
Weitere Informationen: Einladung/Abstract
Informatik-Kolloquium
Dipl.-Inf. Thomas König spricht zum Thema:
"Komplexität von booleschen CSPs mit eingeschränkten Constraint-Sprachen"
am Montag, 02.07.2012 um 9:00 Uhr im Hauptgebäude Raum 2.13
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)
