2012.08.29 |
On August 20 to 22 CTIC hosted a workshop on Boolean Satisfiability in Aarhus (WSAT 2012). Leading researchers within the field of Boolean Satisfiability, Professors Ramamohan Paturi and Russell Impagliazzo (both University of California) and Lecturer Rahul Santhanam (University of Edinburgh), gave talks on topisc evolving around the connection…
2012.08.27 |
CTIC members present three papers at prestigious cryptography conference.
2012.08.16 |
The success of “China Theory Week” continues in Aarhus. In the occasion, graphic novel guru and Goedel Prize winner Professor Christos Papadimitriou from Berkeley is at Katrinebjerg.