Neuigkeiten und Termine

	16. August 2018:	Tutoren für Lehrveranstaltung "Formale Systeme" gesucht
	8. Juli 2018:	Open PhD/PostDoc Positions (4 years): Decidability in Logic-Based Knowledge Representation
	26. Juni 2018:	Open PostDoc Position (5 years): Decidability in Logic-Based Knowledge Representation
	24. Januar 2018:	Bewerbungen für das Programm "International MSc Program in Computational Logic" bis 31.05. / 15.07.2018
	27. November 2017:	Sebastian Rudolph erhält ERC Consolidator Grant

Lade …