[UAI] CP-AI-OR 2005: Call for Participation

=== Call for Participation / Registration CP-AI-OR 2005 2nd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems

[UAI] Call for Participation: SAT 2005

With apologies for multiple copies: SAT-2005 8th International Conference on Theory and Applications of Satisfiability Testing with 2005 SAT Solver Competition 2005 QBF Solver Evaluation June 19th-23rd 2005 University of St Andrews Conference Centre St Andrews, Scotland. Registration now open: http