You are viewing an old version of this page. View the current version.

Compare with Current View Page History

« Previous Version 3 Next »

This is the home of the SAT/SMT Solver Summer School 2011 space.

To help you on your way, we've inserted some of our favourite macros on this home page. As you start creating pages, adding news items and commenting you'll see the macros below fill up with all the activity in your space.

Lecturers

Lectures

Time

Sunday 12

Monday 13

Tuesday 14

Wed. 15

Thursday 16

Friday 17

08:30-09:30

 

 

 

 

 

 

09:30-10h00

Coffee break

10:00-11:00

 

 

 

 

 

 

11:15-12:15

 

 

 

 

 

 

14:00-15:00

 

 

 

 

 

 

15:15-16:15

 

 

 

 

 

 

16:15-16:45

Coffee break

16:45-17:45

 

 

 

 

 

 

Recently Updated

Show More Please wait
Navigate space
  • No labels