The Australian National University
LSS Home | CECS Home | ANU Home | Search ANU | HORUS | Staff Home
Logic Summer School
ANU College of Engineering and Computer Science   
Logic Summer School
LSS Home
About LSS
Brochure
Location
Contact
Search LSS
Admin Login
Program
Program Outline
Course Description
Timetable
Course Notes and Slides
Registration
Fees and Registration
Registration Form
Scholarships
Accommodation
Important Dates
VISA Information
Social Program
Social Events
LSS Photos
Local Information
About CSL
About RSISE - CECS
About ANU
About NICTA
Campus Maps
About Canberra
Canberra's Weather

Timetable Week 1 (7-11 December 2009)

Monday Tuesday Wednesday Thursday Friday
0900 - 1000 Fundamentals of
Metalogic 		Fundamentals of
Metalogic 		Introduction to
Modal Logic 		Introduction to
Modal Logic 		Introduction to
Modal Logic
1020 - 1120 Fundamentals of
Metalogic 		Fundamentals of
Metalogic 		Introduction to
Modal Logic 		Introduction to
Modal Logic 		Introduction to
Modal Logic
1130 - 1230 Practical session
(Logic for Fun) 		Practical session
(Logic for Fun) 		Practical session
(Logic for Fun) 		Practical session
(Logic for Fun) 		Practical session
(Logic for Fun)
1400 - 1500 Computability and
Incompleteness 		Computability and
Incompleteness 		Computability and
Incompleteness 		Computability and
Incompleteness 		Computability and
Incompleteness
1520 - 1620 Fundamentals of
Metalogic 		Overview of
Automated Reasoning 		Overview of
Automated Reasoning 		Overview of
Automated Reasoning 		OPEN SESSION
1630 - 1730 Fundamentals of
Metalogic 		Overview of
Automated Reasoning 		Overview of
Automated Reasoning 		Overview of
Automated Reasoning 		OPEN SESSION
Tea/coffee breaks at 10:00 and 15:00 each day

Timetable Week 2 (14-18 December 2009)

Monday Tuesday Wednesday Thursday Friday
0900 - 1000 Logic and
Complexity 		Logic and
Complexity 		Logic and
Complexity 		Logic and
Complexity 		Logic and
Complexity
1020 - 1120 Answer Set
Programming 		Answer Set
Programming 		Answer Set
Programming 		Answer Set
Programming 		Answer Set
Programming
1130 - 1230 Reasoning in
Discrete Event Systems 		Reasoning in
Discrete Event Systems 		Reasoning in
Discrete Event Systems 		Reasoning in
Discrete Event Systems 		Reasoning in
Discrete Event Systems
1400 - 1500 Programming in
Higher-Order Logic 		Programming in
Higher-Order Logic 		Programming in
Higher-Order Logic 		Programming in
Higher-Order Logic 		Programming in
Higher-Order Logic
1520 - 1620 Nonclassical Logic Nonclassical Logic Nonclassical Logic Nonclassical Logic Nonclassical Logic
1630 - 1730 Nonclassical Logic Nonclassical Logic Nonclassical Logic Nonclassical Logic Nonclassical Logic
Tea/coffee breaks at 10:00 and 15:00 each day
Please direct all enquiries for this website to: JavaScript must be enabled to display this email address.
Page authorised by: Head of Department, CSL
Updated: 23 November, 2009.
The Australian National University
CRICOS Provider Number 00120C — ABN: 522 34063906