Links
Home
Publications
Teaching
Recent Talks
Nominal Isabelle

Handy Information
People in Logic
Programming Languages
Miscellaneous

Talks and Travel Plans

  • Big Proof Meeting in Cambridge (Newton Institute, June - August)

Old

2016
  • Talk at the University of Kent (22 February, host Dr Scott Owens)
  • Talk in SMAL group meeting (9 March)
  • 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
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)

Last modified: Thu Dec 15 18:35:35 GMT 2011 [Validate this page.]