Talks and Travel Plans

Old

2015

• 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

• 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)