Program for Sunday, May 26th: Talk View

PROGRAM FOR SUNDAY, MAY 26TH: TALK VIEW

Days:

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

18:00

18:30

19:00

19:30

20:00

20:30

21:00

10:30-11:20

Tanel Tammet

11:20-12:00

Daniel Ranalter, Cezary Kaliszyk

12:00-14:00 Registration

12:30-14:00 Lunch

14:00-14:40

Schulz Stephan

14:40-15:20

Jack McKeown, Geoff Sutcliffe

15:20-16:00

David Fuenmayor, Jack McKeown, Geoff Sutcliffe

16:00-16:30 Break

16:00-18:00 Registration

16:30-18:00 IWIL Panel: Software Architectures for Modern Automated Reasoning Systems - Lessons Learned?

18:00-21:00 Welcome Reception