Internationales Symposium GandALF zum ersten Mal in Saarbrücken
Das Symposium deckt ein breites Spektrum an Themen ab, damit sich Theorie und Praxis gegenseitig ergänzen können.
GandALF 2018, das neunte internationale Symposium zu Spielen, Automaten, Logik und Formaler Verifikation, findet vom 26. bis 28. September in Saarbrücken statt. Es ist das erste Mal, dass das Symposium außerhalb von Italien abgehalten wird. Ziel des diesjährigen GandALF-Symposiums ist, Forscher aus Wissenschaft und Industrie zusammenzubringen, die sich aktiv mit Spielen, Automaten, Logik und Formaler Verifikation auseinandersetzen. Das Symposium deckt daher ein breites Spektrum an Themen ab, damit sich Theorie und Praxis gegenseitig ergänzen können.
Weitere Informationen:
https://www.react.uni-saarland.de/gandalf2018/
Die Öffentlichkeitsarbeit am Saarland Informatics Campus wird unterstützt durch das Kompetenzzentrum Informatik Saarland, gefördert aus Mitteln des Europäischen Fonds für regionale Entwicklung (EFRE) und Mitteln der Staatskanzlei Saarland.
