Reactive Synthesis Swen Jacobs, Martin Zimmermann


GandALF 2018: International Symposium on Games, Automata, Logics, and Formal Verification

Written: 18.09.2018 15:10 Written By: Martin Zimmermann

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.

Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators