ILLC Summer 2013 Course
Temporal Logic

General Information

Meeting Dates:June 3 - July 5, 2013
General Meeting Times:Tuesday and Thursday 14:00-16:00 sharp
Exceptions to Meeting Times:Thursday, June 6, 10:00-12:00 sharp
Meeting Location:First two weeks in F2.02 (in Science Park 107)
Instructors:Bryan Renne and Joshua Sack

If you are interested in taking this course, please contact the instructors by email.

Bryan Renne:(bryan AT renne DOT org)
Joshua Sack:(J.H.Sack AT uva DOT nl)

Here are some important links.

  • project description: [here]
  • syllabus with tentative course outline and suggested reading: [here]
  • howework assignments: [here]
  • project report requirements: [here]

This general information will be updated as more information becomes available.