diff -r 05e5d68c9627 -r f1be8028a4a9 Nominal/activities.html~ --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Nominal/activities.html~ Wed Mar 30 17:27:34 2016 +0100 @@ -0,0 +1,181 @@ + + + + + The Nominal Datatype Package + + + + +

Our Old Activities

+ + +

2013

Larry Paulson visits the SMAL group (16 July, hosts: Prof. Maribel Fernandez and Christian Urban) +
Christian is at ITP (Rennes, 23 - 26 July) +
Visit by Xingyuan Zhang from the PLA University in Nanjing (27 July - 5 August) +
Christian is at the Dagstuhl Workshop on Nominal Computation Theory (13 - 16 October) +

+ +

Past

+ +

2013

Christian is at POPL (Rome, 23 - 25 January) +
Christian is at NASA Langley (10 - 21 June, hosts: Dr Cesar Munoz and Dr Mahyar Malekpour) +
Visit by Michael Norrish from NICTA (19 - 22 July) +

+ +

2012

Chunhan Wu joins the Nominal Group at King's (25 June) +
Christian gives a talk at the Nominal Sets Meet Automata Theory Workshop (Warsaw, 9 - 10 February) +

+ +

2011

Christian gives a talk at Nominal Workshop in Leicester (23 November, host: Dr Roy Crole) +
Christian will give a talk at ITP 2011 (22 - 25 August) +
Alwen Tiu from the Australian National University visits the Nominal Group (19 August) +
Christian gives a talk at ITU (15 August, host: Prof. Lars Birkedal) +
Christian gives a talk at ESOP 2011 (26 - 30 March) +
Cezary gives a talk at ACM SAC 2011 (21 - 24 March, Taipei) +
Christian gives a talk at Uppsala University (3 March, host: Prof. Joachim Parrow) +
Palle Raabjerg from Uppsala University visits the Nominal Group (2 February - 2 March) +
There will be a one-day tutorial about Nominal Isabelle at POPL 2011 +

+ +

2010

Isabelle/Isar tutorial at University Paris Sud (22 - 23 November, host: Dr Markus Wenzel) +
Christian gives a talk at the University of Sussex (3 November, host: Dr Martin Berger) +
Christian gives an invited talk at WMM'10 (Baltimore, 25 September) +
Christian gives a talk at the Jiao Tong University (20 September, host: Prof. Kenny Zhu) +
Christian gives a course on Isabelle programming at the University of Nanjing + (host: Prof. Xingyuan Zhang, 1st - 31st August) +
Christian gives an invited talk at UNIF'10 (Edinburgh, 14 July) +
Talk at ITP (Edinburgh, 11 - 14 July) +
Larry Paulson and Christian organise the Isabelle Developers Workshop (Cambridge, 17 - 18 June) +
Christian gives a talk in the Automated Reasoning Group in Cambridge (8 June) +
Cezary will leave us to take up a research fellowship in Japan. Congratulations! (31 May) +
Christian gives a talk in the Isabelle group (28 May) +
Christian is on the thesis committee of Clement Houtmann (Nancy, 12 March) +
Christian gives a talk in the Automated Reasoning Group in Cambridge (16 February) +
POPL (20th - 22nd January) +

+ +

2009

Schloss Dagstuhl Seminar (4th - 9th October) +
Christian is PC-chair of the Workshop on Mechanizing Metatheory +
Jeremy Dawson from the Australian National University visits the Nominal Group (13 - 26 August) +
Yongjian Li from the Chinese Academy of Sciences in Beijing visits the Nominal Group (13 - 25 August) +
Randy Pollack from the University of Edinburgh visits the Nominal Group (17 - 21 August) +
Christian is PC co-chair of TPHOLs (17 - 20 August) +
Christian organises the + Isabelle Developers Workshop co-located with TPHOLs (13 - 15 August) +
Cezary Kaliszyk joins the Nominal Group +
Christian visist Prof. T.H. Tse at Hong Kong University (24 - 30 June) +
Christian gives an Isabelle course at the Chinese + Academy of Sciences in Beijing (May/June, hosts: Prof. Huimin Lin and Prof. Yongjian Li) +
Christian gives a talk at Tsinghua University (22 May, host: Prof. Jean-Pierre Jouannaud) +
Christian gives a talk in Darmstadt (21 April, host: Prof. Helmut Veith) +
Stefan visits Jesper Bengtson (20 April - 1 May) +
Christian was at the TAASN'09 workshop as member of the PC (22nd March) +
Jesper Bengtson visits Stefan (23rd February - 5th March) +
Christian is at POPL (18th - 24th January) +

+ +

2008

Version 0.15 of Nominal Isabelle (22nd December) +
Christian is a visiting research fellow at Princeton (15th September - 13th December) +
Christian gives a + talk + at MIT (21th November, hosts Prof. Martin Rinard and Dr Cameron Freer) +
Christian gives a talk at NYU (10th November, host Prof. Benjamin Goldberg) +
Christian gives a talk at the kick-off meeting of the + PUMA Doctoral Programme + (28 September - 3 October, Spitzingsee) +
Christian gives an invited talk at LSFA (26th August, Brazil) +
Stefan gives a talk at at TPHOLs (18 - 21 August, Montreal, Canada) +
Stefan and Christian give a Nominal Isabelle tutorial at + IJCAR'08 + (11 August, Sydney) +
Christian gives a course on nominal reasoning techniques at the + Oregon Programming + Languages summer school (22 - 30 July, Eugene, [slides]) +
Christian gives a talk at RTA (15 - 17 July, Hagenberg, Austria) +
Christian gives a talk at LICS (24 - 27 June, Pittsburgh) +
Andreas Abel and Christian organise the LFMTP'08 workshop +
Christian gives a talk in Swansea (1 April) +
Christian presents a poster at TTVSI (25 - 26 March, London) +
Stefan gives a talk at TYPES conference (26 - 29 March, Torino, Italy) +
Christian gives a talk at the CANS meeting (10 March, King's College London) +
Christian gives a talk at Imperial College, London (6. March) +
Matthew Lakin (Ph.D. student of Andy Pitts, Cambridge, 18. - 22. February) + visits the nominal group, + slides [pdf] +
Peter Chapman (Ph.D. student of Roy Dyckhoff, St Andrews) + visits the nominal group (11. - 15. February, + slides [pdf]) +
Christian gives a talk at Yale University, New Haven (24. January) +
Christian gives a talk at Northeastern University, Boston (22. January) +
Christian gives two talks at Indiana University, Bloomington (16. and 18. January) +
Christian has a look what the competition is up to at the POPL workshop on Coq (8. January) +
Version 0.14 of Nominal Isabelle (7. January) +

+ + +

2007

Christian gives two talks in Saarbrücken (13. and 14. December) +
Jesper Bengtson (Ph.D. student of Joachim Parrow, Uppsala) visits the nominal group + (1. - 9. December, slides [pdf]) +
James Cheney from LFCS Edinburgh visits the nominal group (29. October - 15. November) +
Version 0.13 of Nominal Isabelle (12. Oktober) +
Talk by Christian at WMM'07 (4. October) +
Randy Pollack from LFCS Edinburgh visits the nominal group (25. - 29. September, slides: + [pdf]) +
Jeremy Dawson from NICTA Australia visits the nominal group (15. - 25. September) +
Version 0.12 of Nominal Isabelle (18. September) +
Michael Norrish form NICTA Australia visits the nominal group (5. - 9. September, slides: + [pdf]) +
Julien received a lectureship at the University of Strasbourg - the members of the + nominal group say congratulation and thanks for the excellent work he has done in + the past year (1. September) +
Temesghen Kahsai from the University of Swansea visits us + and tells us about his work on formalising the spi-calculus done + under the supervision of Marino Miculan (13. - 16. August) +
Talk by Christian at LFMTP and CADE; talk by Stefan at the Isabelle + Workshop (Bremen, 15. - 20. July) +
Course by Christian at the + International School on Rewriting + (Nancy, 2. - 6. July) +
Version 0.11 of Nominal Isabelle (25. June) +
Talk by Christian at LFCS (Edinburgh, 29. May) +
Talks by Stefan and Christian at the Nominal Workshop at ICMS (Edinburgh, 26. - 28. May) +
Christian was invited researcher at NICTA Canberra and gave a talk + (host: Michael Norrish, 5. - 23. May) +
Talk by Stefan at the TYPES Meeting in Udine (2. - 5. May) +
Mathilde Arnaud from the ENS Cachan visits the nominal methods group + to do an internship (April - August) +
Version 0.10 of Nominal Isabelle (12. April) +
Version 0.09 of Nominal Isabelle (22. March) +
Talk by Julien at the LogiCal/Proval's seminar, Palaiseau, France (20. March) +
Talk by Christian in St Andrews, UK (13. February) +
Talk by Julien in the group of + Xavier Leroy + (Paris, 9. February) +
James Cheney visits the + nominal methods group (5. - 10. February, slides: + [pdf]) +
Version 0.08 of Nominal Isabelle (18. January) +

+ + + + + +