News

2012.08.29 |

WSAT 2012

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…

CRYPTO'2012 logo.

2012.08.27 |

CTIC at CRYPTO '2012

CTIC members present three papers at prestigious cryptography conference.

2012.08.16 |

The mysteries of logic in a graphic novel and at Katrinebjerg

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.