SARA 2007 Banner

Whistler, Canada, July 18 - 21, 2007.

SARA is co-located with AAAI '07.

Schedule

Wednesday, July 18

6:30-8:30 Buffet dinner

Thursday, July 19

7-8:30 Breakfast.
8:30 Registration, badge pick-up.
8:45 Opening remarks.
9-10 Invited Talk: Abstraction and Reformulation in the Generation of Constraint Models. Alan Frisch.
10-10:30 Coffee.
10:30-12 Three Talks:
  • Abstraction and Complexity Measures. Lorenza Saitta, Jean-daniel Zucker.
  • Active Learning of Dynamic Bayesian Networks in Markov Decision Processes. Anders Jonsson, Andrew Barto.
  • Reformulating Constraint Satisfaction Problems to Improve Scalability. Kenneth Bayer, Martin Michalowski, Berthe Choueiry, Craig Knoblock.
12-1:30 Lunch.
1:30-3 Three Talks:
  • Boolean Approximation Revisited. Peter Schachte, Harald Sondergaard.
  • Partial Pattern Databases. Kenneth Anderson, Robert Holte, Jonathan Schaeffer.
  • Reformulating global constraints: the Slide and Regular constraints. Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude-Guy Quimper, Toby Walsh.
3-3:30 Coffee and poster set-up.
3:30-4:10 Poster and summary adverts.
4:15-6:30 Posters.
6:30-8:30 Dinner.

Friday, July 20

7:15-8:45 Breakfast.
9-10 Invited Talk: A Framework for Integrating Optimization and Constraint Programming. John Hooker.
10-10:30 Coffee.
10:30-12 Three Talks:
  • A Meta-CSP Model for Optimal Planning. Peter Gregory, Derek Long, Maria Fox.
  • Reformulation for Extensional Reasoning. Timothy Hinrichs, Michael Genesereth.
  • Model-Based Exploration in Continuous State Spaces. Nicholas Jong, Peter Stone.
12-1:30 Lunch.
1:30-2:30 Two Talks:
  • Generating Implied Boolean Constraints via Singleton Consistency. Roman Bartak.
  • CDB-PV: A Constraint Database-Based Program Verifier. Scot Anderson, Peter Revesz.
2:30-6:30 Time off for enjoying Whistler (last gondola up the mountain is 3pm).
6:30-8:30 Dinner.

Saturday, July 21

7:15-8:45 Breakfast.
9-10 Invited Talk: State Abstraction in Real-time Heuristic Search. Vadim Bulitko.
10-10:30 Coffee.
10:30-12:00 Three Talks:
  • Tailoring Solver-independent Constraint Models: A Case Study with Essence' and Minion. Andrea Rendl, Ian P. Gent, Ian Miguel.
  • Boosting MUS Extraction. Santiago Macho-Gonzalez, Pedro Meseguer.
  • Channeling Abstraction. Stijn De Saeger, Atsushi Shimojima.
12-1:30 Lunch.
1:30-2:30 Two Talks:
  • An Analysis of Map-Based Abstraction and Refinement. Nathan Sturtevant, Renee Jansen.
  • Solving Difficult SAT Instances Using Greedy Clique Decomposition. Pavel Surynek.
2:30-2:45 Wrap-up.
3 Coach departs for Hyatt Regency Vancouver.