TIME

SUNDAY
MAY 9

MONDAY
MAY 10

TUESDAY
MAY 11

WEDNESDAY
MAY 12

THURSDAY
MAY 13

9:00

  

Opening

Session 4:

Invited Talk:

Session 8:

9:20

Session 1:

Algorithms &

Stephen Cook

Bounded Model

 

Hard Instances

Bounds II

  

Checking

10:15

break

 break break break

10:50

Session 2:

 Session 5: Session 7: Session 9:
SAT Solvers Prop. of Formulae Non-CNF II QBF
     & Non-Boolean    

12:30

 break break break break
 

14:00

 Excursion

14:20

 Invited Talk: Poster & Banquet Poster
  Ken McMillan Overview   Overview
    Session I   Session II

15:20

 break Poster   Poster

15:50

 Session 3: Session I   Session II
  Algorithms &      

16:20

 Bounds I Session 6:  

16:40

 SAT Competition Non-CNF I  
  & QBF Eval.    

18:00

  

19:00

 Reception  
     

21:00

  

00:30