+Home
+Publications
+Teaching
+Recent Talks
+My Research Group +
+
+ +Handy Information
+People in Logic
+Programming Languages
+Miscellaneous +
+ + +
+
+Talks and Travel Plans
+-
+
- Talk at ITU, Copenhagen (15 August, host: Prof. Lars Birkedal) +
- Talk at ITP'11 (22 - 25 August, Nijmegen) +
Old
+ +2011
+ +-
+
- Talk at Tsinghua (28 April - 8 May, host: Prof. Jean-Pierre Jouannaud) +
- 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 + on Nominal Isabelle at POPL 2011 + (21 January, Austin) +
2010
+-
+
- Isabelle/Isar tutorial at University Paris Sud (22 - 23 November, host: Dr Markus Wenzel) +
- Talk about regular expressions and Myhill-Nerode in Cambridge (9 November) +
- Talk at the University of Sussex (3 November, host: Dr Martin Berger) +
- Invited Talk at WMM'10 (25 September) +
- Talk at the Jiao Tong University (20 September, host: Prof. Kenny Zhu) +
- Course on Isabelle Programming at the University of Nanjing + (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) +
- 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) +
- POPL (20th - 22nd January) +
2009
+-
+
- Schloss Dagstuhl Seminar (4th - 9th October) +
- visit to Dr James Cheney and ICFP & WMM (Edinburgh, 26th August - 5th September) +
- Talk at Tsinghua University (22 May, host: Prof. Jean-Pierre Jouannaud) +
- Isabelle course at the Chinese Academy of Sciences in Beijing (May/June, hosts: Prof. Huimin Lin + and Prof. Yongjian Li) +
- Talk at Darmstadt (21 April, host: Prof. Helmut Veith) +
- TAASN (PC member, 22 March, York) +
- POPL (18th - 24th January) +
2008
+-
+
- Research visit to Princeton University (15th September - 13th December, host: Prof. Andrew Appel) +
- Talk + at MIT (21th November, hosts Prof. Martin Rinard and Dr Cameron Freer) +
- Talk at NYU (10th November, host Prof. Benjamin Goldberg) +
- Kick-off meeting of the + PUMA Doctoral Programme + (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 + 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], + [Video 1], + [Video 2], + [Video 3]) +
- Talk at RTA (15 - 17 July, Hagenberg, Austria) +
- Talk at LICS (24 - 27 June, Pittsburgh) +
- Talk in Swansea (1 April, hosts: Prof. Roger Hindley, Dr Ulrich Berger) +
- Poster at TTVSI (25 - 26 March, London) +
- Talk at the CANS meeting (10 March, King's College London) +
- Talk at Imperial College London (6 March, host: Dr Philippa Gardner) +
- Talk at Yale University (24 January, New Haven, host: Prof. Zhong Shao) +
- Talk at Northeastern University (22 January, Boston, host: Prof. Mitchell Wand) +
- Invited Researcher at the Indiana University (January, Bloomington, host: Prof. Daniel Friedman) +
- POPL (7 - 12 January, San Francisco) +
2007
+-
+
- Talks at the Saarbrücken University (13 - 14 December, host: Prof. Gerd Smolka) +
- Thesis examination of Dragisa Zunic (21. December, Lyon) +
- Talk at Workshop on Mechanizing Metatheory (Freiburg, 1 - 4 October) +
- TPHOLs (Kaiserslautern, 10 - 13 September) +
- Talks at CADE and LFMTP in Bremen (15 - 20 July) +
- Lecture course at the International School on Rewriting in Nancy (2 - 6 July) +
- Talk at LFCS in Edinburgh (29th May, host: Randy Pollack) +
- Talk at ICMS Workshop on Substitution and Naming in Computer Science + (26 - 28 May, Edinburgh) +
- Invited Researcher at the NICTA Institute in Canberra (5 - 24 May, host: Dr Michael Norrish) +
- Talk at St Andrews University (13th February, host: Dr Roy Dyckhoff) +
- CANS-workshop (19th March, London) +
2006
+-
+
- Talk at the CANS-workshop (26th October, host: Prof. Andrew Pitts) +
- Talk in London (1st November, host: Prof. Edmund Robinson) +
- Talk in Amsterdam (15th Setptember, hosts: Prof. Jan Klop and Dr Femke van Raamsdonk) +
- visit to Prof. Henk Barendregt in Nijmegen (26th September) +
- Talk at IJCAR-Conference (16 - 21 August, Seattle) +
- Talk at LFMTP workshop (15th August, Seattle) +
- Meeting of all Emmy-Noether Fellows (21 - 24 July, Potsdam) +
- Talk at the CL&C Workshop (15 July, Venice) +
- Talk at the University of Frankfurt (22 June, host: Prof. Schmidt-Schauss) +
- Nominal-Sets Meeting in Cambridge (26 April) +
- Talk at the Types Workshop in Nottingham (18 - 21 April) +
- Winterhütte vom Lehrstuhl Broy (27 - 29 March) +
- Talk at PoplMark-Workshop (Charleston, South Carolina, 13 - 16 January) +
2005
+-
+
- Talk in Edinburgh (25 January, host: Ian Stark) +
- Talk in Leicester (28 January, host: Neil Ghani) +
- Talk at King's College London (2 February, host: Maribel Fernandez) +
- Talk at RISC in Linz (3 March, host: Bruno Buchberger) +
- Talk at PPS in Paris (8 March, host: Pierre-Louis Curien) +
- Oberwolfach workshop on Proof Theory, Type Theory and Constructive Mathematics + (Germany, 20-26 March 2005) +
- Talk at Arbeitstagung Venedig (28 March - 2 April) +
- Talk at TLCA'05 in Nara (Japan, 21-23 April) +
- Talk at JAIST about Binding (Japan, 24 - 25 April, host: Rene Vestergaard) +
- Talk in Vienna on Cut-Elimination (4 - 6 July, host: Matthias Baaz) +
- Talk at CADE-20 in Tallinn (24 - 27 July) +
- Talk at MERLIN-3 in Tallinn (30 September) +
- Talk at Carnegie Mellon University (11 November, host: Frank Pfenning) +
- Course at University of Pennsylvania (9 - 21 November, hosts: Benjamin Pierce and Steve Zdancewic) +
- Course in Cambridge (5 - 8 December) +
- Talk at the Workshop on Computational Applications of + Nominal Sets in London (CANS, 6 December, hosts: Andrew Pitts and Maribel Fernandez) +
2004
+-
+
- Talk on Binding in Isabelle/HOL (Nijmegen, The Netherlands, 1 - 2 November, host: Henk Barendregt) +
- visit to Prof. Dale Miller in Paris (France, 28 September) +
- Talk (with Jeney) at ICLP in St Malo (France, 5 - 10 September) +
- SOS workshop in London (30 August) +
- Course at ESSLLI 2004 - The 16th European Summer School in
+ Logic, Language and Information
+ Advanced Course on Nominal Reasoning (Nancy, France, 9-20 August)
+
+ Slides of + [Day 1] + [Day 2] + [Day 3] + [Day 4] + [Day 5] + - visit to Dr Claudia Faggian in Padova (Italy, 24 March) +
2003
+-
+
- Talk in Oxford (24 November, host: Luke Ong) +
- Talk in the theory seminar at the University of Kent (13 October, host: Stefan Kahrs) +
- Talk at CSL & KGC 2003 Colloquium (Vienna, Austria, 22 - 30 August) +
- 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]) +
- 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) +
- Talk at LMU (Munich, 20 January, host: Helmut Schwichtenberg) +
2002
+-
+
- Talk at BLC +(Birmingham, 12-14 September) +
- Automath Workshop +(Edinburgh, 10-13 April) +
- Logic & Interaction Weeks +(Marseille, 10 - 23 February) +
2001
+-
+
- Linear Meeting in Bertinoro, Italy (22 - 25 April) +
- 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]) +
- Summer School +Marktoberdorf +(24 July - 5 August) +
2000
+-
+
- Talk in the + Preuves, Programmes et Systèmes Seminar + in Paris (13 January, host: Pierre-Louis Curien) +
- Talk at LAMA in Chambéry, France (31 March) +
- + Talk at the Linear Meeting in Oxford (15 - 18 April) +
- Linear Working Meeting in Tende, France (10 - 14 June) +
- Linear Summer School Azores, Portugal + (30 August - 7 September) +
- APPSEM Summer School Caminha, + Portugal (9 - 15 September) +
- Talk at the AMB Workshop + in München, (21 - 22 December, host: Helmut Schwichtenberg) +
1999
+-
+
- Talk in the Joint Theory Seminar of Imperial and QMW (London, 20 January, host: David Pym) +
- Proof and Computation Workshop in Leeds (12 - 13 February) +
- Talk at the + Typed Lambda Calculi and Applications Conference (TLCA '99) + in L'Aquila, Italy (7 - 9 April) +
- Linear Meeting in Edinburgh (3 - 7 June) +
- Schloss Dagstuhl Seminar: + + Linear Logic and Applications (Germany, 22 - 27 August) +
1998
+-
+
- Talk at the + Linear Logic and Typed Lambda-Calculus Workshop in Marseille (6 - 10 April) +
- Talk at the TABLEAUX'98 Conference in Tilburg, the Netherlands (5 - 8 May) +
- Mathfit Workshop on Concurrency in London (9 - 11 June) +
- Talk in the Theory Seminar in St Andrews (July, host: Roy Dyckhoff) +
- Talk at the Linear Meeting in Tende, France (8 - 11 September) +
- Talk at the AI Dep. in Dresden + (September) +
1997
+-
+
- Talk at the + + Graduate College Meeting held by the University in Dresden + (Reinhartsdorf/Sächsische Schweiz, 17 - 21 February) +
- Summer School + Marktoberdorf on Computational Logic (29 July - 10 August) +
- Problems and Advances in the Semantics of Linear Logic + (Utrecht, the Netherlands, 28 - 29 November) +
1996
+-
+
- ELP'96 in Leipzig (Germany, 28 - 30 March) +
- BCTCS 12 in Canterbury (1 - 4 April) +
- Research visit to the UPenn (Philadelphia, 9 May - 3 June) +
- Meeting with + Dr Gavin Bierman and + Dr Martin Hyland in Cambridge (6 - 7 June) +
- KI'96 in Dresden (17 - 19 September) +
1995
+-
+
- Linear Logic and Applications Meeting in Cambridge (16 - 18 October) +