Home | deutsch  | Legals | Sitemap | KIT
Carsten Sinz

Dr. rer. nat. Carsten Sinz

Head of research group
Office Hours:

Friday, 10:00-12:00


Room: 028
Phone: +49 721 608 - 44212
Fax: +49 721 608 - 44211
carsten sinzZui9∂kit edu
http://www.carstensinz.de
Institut für Theoretische Informatik

Am Fasanengarten 5

76131 Karlsruhe


Ausgewählte Aktivitäten

  • Programmkomitee 24th AAAI Conference on Artificial Intelligence (AAAI'10), Juli 2010, Atlanta, USA.
  • Programmkomitee Pragmatics of SAT Workshop (PoS'10), Juli 2010, Edinburgh, Schottland.
  • SAT-Race 2010, Chair
  • Workshop Chair der SAT-Konferenz (SAT'10), Juli 2010, Edinburgh, Schottland
  • Programmkomitee 13th International Conference on Theory and Practice of Satisfiability Testing (SAT'10), Juli 2010, Edinburgh, Schottland.
  • Programmkomitee Workshop on Parallel Satisfiability Solving (WPSS'10), Juni/Juli 2010, Caen, Frankreich.
  • Programmkomitee 17th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA'10), Juni 2010, Bologna, Italien.