Old
2019
- Curry On and ECOOP (15 - 19 July, London) <-- christian_test.urban@kcl.ac.co -->
- ICFP (19 - 21, August, Berlin)
- Talk at Journeys in Computational Logic: Tributes to Roy Dyckhoff (3 September, London)
- VeTSS Workshop (24 - 25 September, Newton Institute, Cambridge)
- Functional Scala (12 - 13 December, National Gallery, London)
2018
2017
- Big Proof Meeting in Cambridge (Newton Institute, Cambridge, June - August)
2016
- Talk at the University of Kent (22 February, host Dr Scott Owens)
- Talk in SMAL group meeting (9 March, King's)
- Talk at ITP'16 (Nancy)
2015
- S-REPLS 2 (20 November, London)
- ITP (21 - 28 August, Nanjing)
- CADE (4 - 6 August, Berlin)
- Viva examination (7 July, Leicester)
- Talk in Sheffield (29 April, host Dr Georg Struth)
- ETAPS (11 - 18 April, London)
2014
- CREST Workshop (UCL, 24 - 25 March)
- Viva examination of Nik Sultana (Cambridge, 24 June)
- ITP in Vienna (14 - 18 July)
2013
- POPL in Rome (23 - 25 January)
- Visit at NASA Research Center in Langley (10 - 21 June, hosts: Dr Cesar Munoz and Dr Mahyar Malekpour)
- Talk at ITP'13 in Rennes (23 - 26 July)
- Pierre-Louis Curien Meeting in Venice (9 - 12 September)
- Talk in the Theory Seminar at QMUL (host: Dr Nikos Tzevelekos, 3 October)
- Talk at Dagstuhl Workshop on Nominal Computation Theory (13 - 16 October)
- Talk at the Inductive Theorem Proving Workshop (Imperial College, 23 - 24 November)
- Talk at CPP'13 in Melbourne (11 - 13 December)
2012
- Talk at the Nominal Sets Meet Automata Theory Workshop (Warsaw, 9 - 10 February)
- Talk in Edinburgh (21 February, host: Dr James Cheney)
- Talk at ITP'12, Princeton (13 - 15, August)
- Talk at Wessex Theory Seminar at Imperial (29 August, host: Dr Dirk Patinson)
- ICFP (9 - 12 September, Copenhagen)
- Talk in Leicester (7 December, host: Dr Alexander Kurz)
2011
- Talk at Nominal Workshop in Leicester (23 November)
- Talk at Dyckhoff Fest (18 - 19 November)
- Talk at ITP'11 (22 - 25 August, Nijmegen)
- Talk at ITU, Copenhagen (15 August, host: Prof. Lars Birkedal)
- 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
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
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
1999
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)
|