Committees
♦ |
|
External Ph.D. and Habilitation Committees |
|
|
• |
Uwe Bubeck, "Model-Based Transformations for
Quantified Boolean Formulas," Ph.D. thesis, Computer Science, University
of Paderborn, Paderborn, Germany, September, 2009. |
• |
Alexander Hertel, "Applications of Games
to Propositional Proof Complexity," Ph.D. thesis, Computer Science,
University of Toronto, Toronto, Canada, May, 2008. |
• |
Stefan Porschen, "Structural and Computational
Aspects of Restricted Boolean Formulas," Habilitation thesis, Computer
Science, Universität zu Köln, Köln, Germany, June, 2007. |
• |
Anton Calin-doru, "Structure and Randomness of
Satisfiability," Ph.D. thesis, Computer Science, University of
Alberta, Edmonton, Canada, September, 2005. |
• |
David Mitchell, "The Resolution Complexity of
Constraint Satisfaction," Ph.D. thesis, Computer Science, University of
Toronto, Canada, November, 2001. |
• |
Philippe Luquet, "Partial Horn renaming and
pure literals in CNF data," Ph.D. thesis, Computer Science,
Université de Caen, France, June, 2000. |
• |
Joost Warners, "New Methods for Satisfiability
Problems," Ph.D. thesis, Computer Science, University of Delft,
Delft, The Netherlands, September, 1999. |
• |
Ondřej Čepek,
"Structural Properties and Minimization of Horn Boolean Functions,"
Ph.D. thesis, RUTCOR, Rutgers University, Piscataway, New Jersey, May,
1995. |
|
| |
|
♦ |
|
Technical Program Committees |
|
|
• |
13th International Symposium on the Theory
and Applications of Satisfiability Testing, Edinburgh, Scotland, 2010. |
• |
11th International Symposium on Artificial
Intelligence and Mathematics, Ft. Lauderdale, Florida, January 6-8,
2010. |
• |
12th International Symposium on the Theory
and Applications of Satisfiability Testing, Swansea, Wales,
June 29-July 4, 2009. |
• |
6th workshop on Constraints in Formal
Verification, Grenoble, France, June 26, 2009. |
• |
5th workshop on Constraints in Formal
Verification, Sydney, Australia, August 10-11, 2008. |
• |
11th International Symposium on the Theory
and Applications of Satisfiability Testing, Guangzhou, China,
May 12-15, 2008. |
• |
Workshop on Satisfiability: Assessing the
Progress, U.S. Department of Defense, Maritime Institute, Linthicum,
Maryland, March 3-5, 2008. |
• |
10th International Symposium on the Theory
and Applications of Satisfiability Testing, Lisbon, Portugal,
May 28-31, 2007. |
• |
9th International Symposium on Artificial
Intelligence and Mathematics, Ft. Lauderdale, Florida, January,
2006. |
• |
7th International Symposium on the Theory
and Applications of Satisfiability Testing, Vancouver, Canada,
May 10-13, 2004. |
• |
8th International Symposium on Artificial
Intelligence and Mathematics, Ft. Lauderdale, Florida, January,
2004. |
• |
6th International Symposium on the Theory
and Applications of Satisfiability Testing, Portofino, Italy,
May 5-8, 2003. |
• |
5th International Symposium on the Theory
and Applications of Satisfiability Testing, Cincinnati, Ohio,
May 6-9, 2002. |
• |
7th International Symposium on Artificial
Intelligence and Mathematics, Ft. Lauderdale, Florida, January,
2002. |
• |
3rd Workshop on the Satisfiability Problem,
Renesse, The Netherlands, May, 2000. |
• |
6th International Symposium on Artificial
Intelligence and Mathematics, Ft. Lauderdale, Florida, January,
2000. |
• |
2nd Workshop on the Satisfiability Problem,
Schloß Eringerfeld, Germany, May, 1998. |
• |
5th International Symposium on Artificial
Intelligence and Mathematics, Ft. Lauderdale, Florida, January,
1998. |
• |
Workshop on the Satisfiability Problem,
Siena, Italy, May, 1996. |
• |
Workshop on Boolean Functions, Propositional
Logic and AI Systems, Ulm, W. Germany, Summer, 1989. |
|
| |
|
♦ |
|
Program chair or co-chair |
|
|
• |
11th International Symposium on Artificial
Intelligence and Mathematics, Ft. Lauderdale, Florida, January 6-8,
2010. |
• |
Workshop on Satisfiability: Assessing the
Progress, U.S. Department of Defense, Maritime Institute, Linthicum,
Maryland, March 3-5, 2008. |
• |
5th International Symposium on the Theory
and Applications of Satisfiability Testing, Cincinnati, Ohio,
May 6-9, 2002. |
• |
3rd Workshop on the Satisfiability Problem,
Renesse, The Netherlands, May, 2000. |
• |
2nd Workshop on the Satisfiability Problem,
Schloß Eringerfeld, Germany, May, 1998. |
• |
Workshop on the Satisfiability Problem,
Siena, Italy, May, 1996. |
• |
Workshop on Boolean Functions, Propositional
Logic and AI Systems, Ulm, W. Germany, Summer, 1989. |
|
| |
|
♦ |
|
Steering and Advisory Committees |
|
|
• |
International Symposium on Artificial
Intelligence and Mathematics, Ft. Lauderdale, Florida |
• |
International Symposium on the Theory
and Applications of Satisfiability Testing. |
|
|
|
|