2012.07.31 |

WSAT 2012 coming up - Registration deadline: August 7, 2012

On August 20 to 22 CTIC will have a workshop on Boolean Satisfiability in Aarhus (WSAT 2012). It will be a combination of minicourses and work on open problems. The participants provide open problems, which will be worked on in small groups during the workshop. If you are interested in Boolean Satisfiability and want to do some research in this…

2012.07.31 |

China Theory Week is soon approaching - Registration deadline: August 6, 2012

On August 13-17, 2012 the brightest young stars within the cs theory world will meet at the workshop China Theory Week (CTW 2012). The event provides an opportunity for young PhD students to meet and network. All local Computer Science theorists are encourage to participate in the workshop. Please sign up for the workshop here before August 6,…

2012.07.20 |

CTIC sends 3 participants to summer school in Greece

Peter B. Miltersen, Rasmus Ibsen-Jensen and Jie Zhang attends the Summer School on Algorithmic Game Theory on Samos, Greece.