Informatik-Tagung vom 26. bis 30. August 2019 in Aachen
Vom 26. bis 30. August 2019 findet das „44th International Symposium on Mathematical Foundations of Computer Science“ (MFCS) in Aachen statt.
Diese Konferenz-reihe wird seit 1972 veranstaltet und jetzt erstmals in Deutschland ausgerichtet.
Die RWTH-Professoren Peter Rossmanith vom Lehr- und Forschungsgebiet Theoretische Informatik und Joost-Pieter Katoen vom Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) erwarten 130 Teilnehmende aus 26 Ländern im SuperC der RWTH Aachen, Templergraben 57.
Im Rahmen der Konferenz werden 83 Vorträge gehalten.
Im Mittelpunkt stehen alle Gebiete der theoretischen Informatik, von Graph Algorithmen über Logiken und Automatentheorie bis hin zur Komplexitätstheorie.
Das „Best Paper“ und „Best Student Paper“ werden mit einem Preis der European Association for Theoretical Computer Science (EATCS) ausgezeichnet.
Weitere Informationen unter https://tcs.rwth-aachen.de/mfcs2019/
Kontakt
Univ.-Prof. Dr. rer. nat. Peter Rossmanith
Lehr- und Forschungsgebiet Theoretische Informatik
Telefon 0241/80-21130
E-Mail rossmani@cs.rwth-aachen.de
Media Contact
Weitere Informationen:
http://www.rwth-aachen.deAlle Nachrichten aus der Kategorie: Veranstaltungsnachrichten
Neueste Beiträge
Das Mikrobiom verändert sich dynamisch und begünstigt wichtige Funktionen für den Wirt
Ein interdisziplinäres Forschungsteam des Kieler SFB 1182 untersucht am Beispiel von Fadenwürmern, welche Prozesse die Zusammensetzung des Mikrobioms in Wirtslebewesen steuern. Alle vielzelligen Lebewesen – von den einfachsten tierischen und…
Wasser im Boden – genaue Daten für Landwirtschaft und Klimaforschung
Die PTB präsentiert auf der Woche der Umwelt, wie sich die Bodenfeuchte mithilfe von Neutronenstrahlung messen lässt. Die Bodenfeuchte hat nicht nur Auswirkungen auf die Landwirtschaft, sondern ist als Teil…
Bioreaktor- und Kryotechnologien für bessere Wirkstofftests mit humanen Zellkulturen
Medizinische Wirkstoffforschung… Viele Neuentwicklungen von medizinischen Wirkstoffen scheitern, weil trotz erfolgreicher Labortests mit Zellkulturen starke Nebenwirkungen bei Probanden auftreten. Dies kann passieren, wenn zum Beispiel die verwendeten Zellen aus tierischem…
