The Research Institute for Symbolic Computation (RISC) and the Kurt Gödel Research Center (KGRC) co‑organize the Computational Logic Day 2017.

The event takes place on January 13 at the KGRC's lecture room (room 101).

This pages have information on the speakers, the program and a few photos of the event.

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2017-01-19, 18:53.