Aarhus University logo
On August 20 to 22 CTIC hosted a workshop on Boolean Satisfiability in Aarhus (WSAT 2012). Leading researchers within the field of Boolean…
CTIC members present three papers at prestigious cryptography conference.
The success of “China Theory Week” continues in Aarhus. In the occasion, graphic novel guru and Goedel Prize winner Professor Christos Papadimitriou…
