GandALF 2018: International Symposium on Games, Automata, Logics, and Formal Verification
As mentioned during the last lecture, the conference GandALF (International Symposium on Games, Automata, Logics, and Formal Verification) takes place in Saarbrücken this year, organized by the Reactive Systems Group. The program contains presentations on topics covered by our course, in particular the three invited talks and the sessions on games.
You are cordially invited to participate in the scientific program. As long as there is space in the room (001 in E1 7), just drop by for the talks you are interested in. Please find the program and more information on our web page
This conference is an excellent opportunity to learn about current research on automata theory, logics, and verification. In particular, the three invited speakers are leading experts in these areas you give exciting presentations.