Christian Urban

diff -r f329c1f3b365 -r 60f6cd4991ad teaching.html --- a/teaching.html Sat Oct 22 10:43:10 2011 +0100 +++ b/teaching.html Sat Oct 22 10:51:58 2011 +0100 @@ -2,7 +2,7 @@ Christian Urban - + Links
-Home
-Publications
-Teaching
-Recent Talks
+Home
+Publications
+Teaching
+Recent Talks
My Research Group

Handy Information
-People in Logic
-Programming Languages
-Miscellaneous +People in Logic
+Programming Languages
+Miscellaneous

@@ -90,14 +90,14 @@

Types course at the University of Cambridge (Mondays, Wednesdays and Fridays at 10 o'clock in Lecture Theater 2, starting 8th October) -[Lec 1] -[Lec 2] -[Lec 3] -[Lec 4] -[Lec 5] -[Lec 6] -[Lec 7] -[Lec 8] +[Lec 1] +[Lec 2] +[Lec 3] +[Lec 4] +[Lec 5] +[Lec 6] +[Lec 7] +[Lec 8]
two-day Isabelle/Isar tutorial at the University Paris Sud with Markus Wenzel

@@ -110,18 +110,18 @@

Summer

a course on Isabelle Programming at the University of Science and Technology in Nanjing (24 hours) - [Lec 1] - [Lec 2] - [Lec 3] - [Lec 4] - [Lec 5] - [Lec 6] - [Lec 7] - [Lec 8] - [Lec 9] - [Lec 10] - [Lec 11] - [Lec 12] + [Lec 1] + [Lec 2] + [Lec 3] + [Lec 4] + [Lec 5] + [Lec 6] + [Lec 7] + [Lec 8] + [Lec 9] + [Lec 10] + [Lec 11] + [Lec 12]

@@ -140,7 +140,7 @@

Autumn

a course in Princeton on -Isabelle, Binders and SOS +Isabelle, Binders and SOS for students and members of the PL group (8h)

@@ -153,14 +153,14 @@

Sommersemester

Semantics of Programming Languages +
Semantics of Programming Languages (28h)
a course on Nominal Isabelle at the Oregon Summer School on Logic and Theorem Proving in Programming Languages (4h) -[Slides 1] -[Slides 2] -[Slides 3] +[Slides 1] +[Slides 2] +[Slides 3] [Video 1] [Video 2] [Video 3] @@ -175,18 +175,18 @@
Wintersemester
- Types course at the TU Munich (21h, slides of - [Lec 1] - [Lec 2] - [Lec 3] - [Lec 4] - [Lec 5, - Ho 5] - [Lec 6] - [Lec 7] - [Lec 8] - [Lec 9] - [Lec 10] - [Lec 11]) + [Lec 1] + [Lec 2] + [Lec 3] + [Lec 4] + [Lec 5, + Ho 5] + [Lec 6] + [Lec 7] + [Lec 8] + [Lec 9] + [Lec 10] + [Lec 11])
@@ -202,23 +202,23 @@
- Scheme course at the LMU (4h)
- a course on nominal datatypes at the University of Pennsylvania (6.5h, slides of - [Lec 1] - [Lec 2] - [Lec 3] - [Lec 4])
- Theory-Minicourse on nominal datatypes in Cambridge (4h, slides of - [Lec 1] - [Lec 2] - [Lec 3] - [Lec 4])
- Club2-course on the nominal datatype package at the TU Munich (5h, slides of - [Lec 1] - [Lec 2] - [Lec 3] - [Lec 4] - [Lec 5])
@@ -234,16 +234,16 @@
Sommersemester
A course on my nominal work at the LMU (10h) (slides of - [Lec 1] - [Lec 2] - [Lec 3] - [Lec 4] - [Lec 5] - [Lec 6] - [Lec 7] - [Lec 8] - [Lec 9] - [Lec 10]) + [Lec 1] + [Lec 2] + [Lec 3] + [Lec 4] + [Lec 5] + [Lec 6] + [Lec 7] + [Lec 8] + [Lec 9] + [Lec 10])
@@ -273,11 +273,11 @@
Avanced course on nominal logic at the ESSLLI summerschool in Nancy
(slides of - [Day 1] - [Day 2] - [Day 3] - [Day 4] - [Day 5]) + [Day 1] + [Day 2] + [Day 3] + [Day 4] + [Day 5])
student intern from the ENS Cachan