Skip navigation

Timetable

Week 1 (5-9 December 2010)

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 Equational logic Equational logic Equational logic Equational logic Equational logic
1400 - 1500 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
1520 - 1620 Fundamentals of
Metalogic 		Fundamentals of
Metalogic 		Overview of
Automated Reasoning 		Overview of
Automated Reasoning 		Overview of
Automated Reasoning
1630 - 1730 Fundamentals of
Metalogic 		Fundamentals of
Metalogic 		Overview of
Automated Reasoning 		Overview of
Automated Reasoning 		Overview of
Automated Reasoning
Tea/coffee breaks at 10:00 and 15:00 each day

Week 2 (12-16 December 2010)

Monday Tuesday Wednesday Thursday Friday
0900 - 1000 Computability and
Incompleteness 		Computability and
Incompleteness 		Computability and
Incompleteness 		Computability and
Incompleteness 		Computability and
Incompleteness
1020 - 1120 Logic-based
Probabilistic
Reasoning 		Logic-based
Probabilistic
Reasoning 		Logic-based
Probabilistic
Reasoning 		Logic-based
Probabilistic
Reasoning 		Logic-based
Probabilistic
Reasoning
1130 - 1230 Practical session
(Computer Lab) 		Practical session
(Computer Lab) 		Practical session
(Computer Lab) 		Practical session
(Computer Lab) 		Practical session
(Computer Lab)
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 Natural Language
Semantics 		Natural Language
Semantics 		Natural Language
Semantics 		Natural Language
Semantics 		Natural Language
Semantics
1630 - 1730 Nonclassical Logic Nonclassical Logic Nonclassical Logic Nonclassical Logic Nonclassical Logic
Tea/coffee breaks at 10:00 and 15:00 each day

Updated:  30 November 2011 / Responsible Officer:  JavaScript must be enabled to display this email address. / Page Contact:  JavaScript must be enabled to display this email address.