Nächster Theorietag: joint workshop in Bochum
The annual Workshop on Logic in Computer Science (Jahrestagung) will take place in Bochum on September 19-20 informatik.rub.de/logic-and-fv/theorietag/
Nächster Theorietag: joint workshop in Bochum
The annual Workshop on Logic in Computer Science (Jahrestagung) will take place in Bochum on September 19-20 informatik.rub.de/logic-and-fv/theorietag/
This time the workshop is a combined event of the GI special interest groups Algorithms, Complexity and Logic.
The workshop is organised by Thomas Zeume.
If you would like to participate, please register via the form cryptpad.fr/form/ by August 20th. If you would like to contribute a talk, please provide title and abstract via the registration form. Continuously updated information for the Theorietag can be found on the webpage informatik.rub.de/logic-and-fv/theorietag/.