PROGRAM FOR MONDAY, JULY 1ST: SESSION VIEW
View: with abstractstalk overview
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
09:30-10:30
Session 1
Invited Talk - Larry Paulson
10:30-11:00
Session
11:00-12:30
Session 2
Contributed Talks
12:30-13:00
Session
14:30-15:30
Session 4
The 13th TPTP Tea Party