Automata, Games, and Verification Bernd Finkbeiner


Tell us your team members.

Written: 16.10.2018 14:48 Written By: Felix Klein

We recommend you to participate in the discussion sessions in groups of at most three people. To this end at least one member of the group needs to submit a text file containing the names of all members of the group. Furthermore, also make sure, that all members of the group have a nonempty intersection with respect to their chosen discussion slot preferences.

There is a open submission to upload the group member list.

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