diff -r ae516c20c5f1 -r 4dac76eb27d9 travelling.html
--- a/travelling.html Sat Jan 28 06:40:19 2017 +0000
+++ b/travelling.html Sat Jan 28 07:17:00 2017 +0000
@@ -2,7 +2,7 @@
Christian Urban
-
+
@@ -29,30 +29,30 @@
ROWSPAN="2">
Links
-Home
-Publications
-Teaching
-Recent Talks
-Nominal Isabelle
+Home
+Publications
+Teaching
+Recent Talks
+Nominal Isabelle
Handy Information
-People in Logic
-Programming Languages
-Miscellaneous
+People in Logic
+Programming Languages
+Miscellaneous
-
+
|
-
+
|
@@ -128,7 +128,7 @@
Talk at ECNU, Shanghai (8 - 28 April, host: Prof. Jifeng He)
Talk at ESOP'11 (26 - 30 March, Saarbrücken)
Talk at Uppsala University (3 March, host: Prof. Joachim Parrow)
- One-day tutorial
+ One-day tutorial
on Nominal Isabelle at POPL 2011
(21 January, Austin)
@@ -144,7 +144,7 @@
(host: Prof. Xingyuan Zhang, 1st - 31st August)
Talk at ITP (Edinburgh, 11 - 14 July)
Invited Talk at UNIF'10 (14 July)
- Larry Paulson and Christian organise the Isabelle Developers Workshop (Cambridge, 17 and 18 June)
+ Larry Paulson and Christian organise the Isabelle Developers Workshop (Cambridge, 17 and 18 June)
Talk in the Automated Reasoning Group in Cambridge (8 June)
On the thesis committee of Clement Houtmann (Nancy, 12 March)
Talk in the Automated Reasoning Group in Cambridge (16 February)
@@ -174,15 +174,15 @@
(28 September - 3 October, Spitzingsee)
Invited Talk at LSFA (26th August, Salvador, Brazil)
Talk (with Berghofer) at TPHOLs (18 - 21 August, Montreal, Canada)
- Nominal Isabelle
+ Nominal Isabelle
at IJCAR'08 tutorial
(11 August, Sydney)
A course on Nominal Isabelle at the
Oregon Summer School
on Logic and Theorem Proving in Programming Languages (22 - 30 July, Eugene, 4h,
- [Slides 1],
- [Slides 2],
- [Slides 3],
+ [Slides 1],
+ [Slides 2],
+ [Slides 3],
[Video 1],
[Video 2],
[Video 3])
@@ -265,11 +265,11 @@
Advanced Course on Nominal Reasoning (Nancy, France, 9-20 August)
Slides of
- [Day 1]
- [Day 2]
- [Day 3]
- [Day 4]
- [Day 5]
+ [Day 1]
+ [Day 2]
+ [Day 3]
+ [Day 4]
+ [Day 5]
visit to Dr Claudia Faggian in Padova (Italy, 24 March)
@@ -281,8 +281,8 @@
Talk (with Cheney) at UNIF 2003 workshop (Valencia, Spain, 7-13 June)
Talk at the festive TeReSe-Bookday
(Amsterdam, the Netherlands, 3 - 6 June, host: Jan Willem Klop, slides
- [ps]
- [pdf])
+ [ps]
+ [pdf])
Talk in Nijmegen (the Netherlands, 14 April, host: Henk Barendregt)
Talk in St Andrews (1 April, host: Roy Dyckhoff)
Talk at Workshop on Proof Theory and Algorithms (Edinburgh, 23 - 29 March)
@@ -305,7 +305,7 @@
Talk at the TLCA 2001
(Krakow, 2 - 5 May)
Talk at the Natural Deduction meeting in Rio de Janeiro (30 June - 7 July,
- slides [ps.gz])
+ slides [ps.gz])
Summer School Marktoberdorf (24 July - 5 August)