The SFB 1615 "SMART Reactors for Process Engineering of the Future", led by the Technical University of Hamburg, is one of the DFG's newly established Collaborative Research Centres. Congratulations!
Im letzten Jahr begannen die umfangreichen Umbauarbeiten im Hallenbereich des IFPT. Die Arbeiten konnten nun abgeschlossen werden u.a. wurden 4 zusätzliche Büros und ein Aufenthaltsbereich geschaffen, auch die Werkstatt sowie der Seminarraum wurden umgebaut und neu ausgestattet.
A new paper by Barto, Bodor, Kozik, Mottet, and Pinsker will be presented this summer at the Logic In Computer Science (LICS) conference. The paper was one of the few papers receiving a distinction this year.
