|
1 <?xml version="1.0" encoding="utf-8"?> |
|
2 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> |
|
3 <html> |
|
4 <head> |
|
5 <title>The Nominal Datatype Package</title> |
|
6 <script type="text/javascript" src="striper.js"></script> |
|
7 <link rel="stylesheet" href="nominal.css"> |
|
8 </head> |
|
9 <body onload="striper('ul','striped','li','first,second')"> |
|
10 <h1>Our Old Activities</h1> |
|
11 |
|
12 <h2>Past</h2> |
|
13 |
|
14 <h2>2013</h2> |
|
15 <ul class="striped"> |
|
16 <li> Larry Paulson visits the SMAL group (16 July, hosts: Prof. Maribel Fernandez and Christian Urban) |
|
17 <li> Christian is at ITP (Rennes, 23 - 26 July) |
|
18 <li> Visit by Xingyuan Zhang from the PLA University in Nanjing (27 July - 5 August) |
|
19 <li> Christian is at the Dagstuhl Workshop on Nominal Computation Theory (13 - 16 October) |
|
20 </ul> |
|
21 |
|
22 <h2>2013</h2> |
|
23 <ul class="striped"> |
|
24 <li> Christian is at POPL (Rome, 23 - 25 January) |
|
25 <li> Christian is at NASA Langley (10 - 21 June, hosts: Dr Cesar Munoz and Dr Mahyar Malekpour) |
|
26 <li> Visit by Michael Norrish from NICTA (19 - 22 July) |
|
27 </ul> |
|
28 |
|
29 <h3>2012</h3> |
|
30 <ul class="striped"> |
|
31 <li> Chunhan Wu joins the Nominal Group at King's (25 June) |
|
32 <li> Christian gives a talk at the Nominal Sets Meet Automata Theory Workshop (Warsaw, 9 - 10 February) |
|
33 </ul> |
|
34 |
|
35 <h3>2011</h3> |
|
36 <ul class="striped"> |
|
37 <li> Christian gives a talk at Nominal Workshop in Leicester (23 November, host: Dr Roy Crole) |
|
38 <li> Christian will give a talk at ITP 2011 (22 - 25 August) |
|
39 <li> Alwen Tiu from the Australian National University visits the Nominal Group (19 August) |
|
40 <li> Christian gives a talk at ITU (15 August, host: Prof. Lars Birkedal) |
|
41 <li> Christian gives a talk at ESOP 2011 (26 - 30 March) |
|
42 <li> Cezary gives a talk at ACM SAC 2011 (21 - 24 March, Taipei) |
|
43 <li> Christian gives a talk at Uppsala University (3 March, host: Prof. Joachim Parrow) |
|
44 <li> Palle Raabjerg from Uppsala University visits the Nominal Group (2 February - 2 March) |
|
45 <li> There will be a one-day <A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/nominal-popl11/">tutorial</A> about Nominal Isabelle at POPL 2011 |
|
46 </ul> |
|
47 |
|
48 <h3>2010</h3> |
|
49 <ul class="striped"> |
|
50 <li> Isabelle/Isar tutorial at University Paris Sud (22 - 23 November, host: Dr Markus Wenzel) |
|
51 <li> Christian gives a talk at the University of Sussex (3 November, host: Dr Martin Berger) |
|
52 <li> Christian gives an invited talk at WMM'10 (Baltimore, 25 September) |
|
53 <li> Christian gives a talk at the Jiao Tong University (20 September, host: Prof. Kenny Zhu) |
|
54 <li> Christian gives a course on Isabelle programming at the University of Nanjing |
|
55 (host: Prof. Xingyuan Zhang, 1st - 31st August) |
|
56 <li> Christian gives an invited talk at UNIF'10 (Edinburgh, 14 July) |
|
57 <li> Talk at ITP (Edinburgh, 11 - 14 July) |
|
58 <li> Larry Paulson and Christian organise the <A href="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/idw10/idw.html">Isabelle Developers Workshop</A> (Cambridge, 17 - 18 June) |
|
59 <li> Christian gives a talk in the Automated Reasoning Group in Cambridge (8 June) |
|
60 <li> Cezary will leave us to take up a research fellowship in Japan. Congratulations! (31 May) |
|
61 <li> Christian gives a talk in the Isabelle group (28 May) |
|
62 <li> Christian is on the thesis committee of Clement Houtmann (Nancy, 12 March) |
|
63 <li> Christian gives a talk in the Automated Reasoning Group in Cambridge (16 February) |
|
64 <li> POPL (20th - 22nd January) |
|
65 </ul> |
|
66 |
|
67 <h3>2009</h3> |
|
68 <ul class="striped"> |
|
69 <li> Schloss Dagstuhl Seminar (4th - 9th October) |
|
70 <li> Christian is PC-chair of the <A HREF="http://www.seas.upenn.edu/~sweirich/wmm/wmm09.html" target="_top">Workshop on Mechanizing Metatheory</A> |
|
71 <li> Jeremy Dawson from the Australian National University visits the Nominal Group (13 - 26 August) |
|
72 <li> Yongjian Li from the Chinese Academy of Sciences in Beijing visits the Nominal Group (13 - 25 August) |
|
73 <li> Randy Pollack from the University of Edinburgh visits the Nominal Group (17 - 21 August) |
|
74 <li> Christian is PC co-chair of TPHOLs (17 - 20 August) |
|
75 <li> Christian organises the <A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/tphols09/idw.html"> |
|
76 Isabelle Developers Workshop</A> co-located with TPHOLs (13 - 15 August) |
|
77 <li> Cezary Kaliszyk joins the Nominal Group |
|
78 <li> Christian visist Prof. T.H. Tse at Hong Kong University (24 - 30 June) |
|
79 <li> Christian gives an Isabelle <A HREF="activities/cas09">course</A> at the Chinese |
|
80 Academy of Sciences in Beijing (May/June, hosts: Prof. Huimin Lin and Prof. Yongjian Li) |
|
81 <li> Christian gives a talk at Tsinghua University (22 May, host: Prof. Jean-Pierre Jouannaud) |
|
82 <li> Christian gives a talk in Darmstadt (21 April, host: Prof. Helmut Veith) |
|
83 <li> Stefan visits Jesper Bengtson (20 April - 1 May) |
|
84 <li> Christian was at the TAASN'09 workshop as member of the PC (22nd March) |
|
85 <li> Jesper Bengtson visits Stefan (23rd February - 5th March) |
|
86 <li> Christian is at POPL (18th - 24th January) |
|
87 </ul> |
|
88 |
|
89 <h3>2008</h3> |
|
90 <ul class="striped"> |
|
91 <li> Version 0.15 of Nominal Isabelle (22nd December) |
|
92 <li> Christian is a visiting research fellow at Princeton (15th September - 13th December) |
|
93 <LI> Christian gives a |
|
94 <A HREF="http://www.csail.mit.edu/events/eventcalendar/calendar.php?show=event&id=2053">talk</A> |
|
95 at MIT (21th November, hosts Prof. Martin Rinard and Dr Cameron Freer) |
|
96 <LI> Christian gives a talk at NYU (10th November, host Prof. Benjamin Goldberg) |
|
97 <li> Christian gives a talk at the kick-off meeting of the |
|
98 <A HREF="http://puma.in.tum.de/wiki/Doctorate_Program:_PUMA" target="_top">PUMA Doctoral Programme</A> |
|
99 (28 September - 3 October, Spitzingsee) |
|
100 <li> Christian gives an invited talk at LSFA (26th August, Brazil) |
|
101 <li> Stefan gives a talk at at TPHOLs (18 - 21 August, Montreal, Canada) |
|
102 <li> Stefan and Christian give a Nominal Isabelle tutorial at |
|
103 <A HREF="activities/nominal-ijcar08" target="_top">IJCAR'08</A> |
|
104 (11 August, Sydney) |
|
105 <li> Christian gives a course on nominal reasoning techniques at the |
|
106 <A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/">Oregon Programming |
|
107 Languages summer school</A> (22 - 30 July, Eugene, [<A HREF="activities/oregon.html">slides</A>]) |
|
108 <li> Christian gives a talk at RTA (15 - 17 July, Hagenberg, Austria) |
|
109 <li> Christian gives a talk at LICS (24 - 27 June, Pittsburgh) |
|
110 <li> Andreas Abel and Christian organise the LFMTP'08 workshop |
|
111 <li> Christian gives a talk in Swansea (1 April) |
|
112 <li> Christian presents a poster at TTVSI (25 - 26 March, London) |
|
113 <li> Stefan gives a talk at TYPES conference (26 - 29 March, Torino, Italy) |
|
114 <li> Christian gives a talk at the CANS meeting (10 March, King's College London) |
|
115 <li> Christian gives a talk at Imperial College, London (6. March) |
|
116 <li> Matthew Lakin (Ph.D. student of Andy Pitts, Cambridge, 18. - 22. February) |
|
117 visits the nominal group, |
|
118 slides [<A HREF="activities/slides-lakin.pdf" target="_top">pdf</A>] |
|
119 <li> Peter Chapman (Ph.D. student of Roy Dyckhoff, St Andrews) |
|
120 visits the nominal group (11. - 15. February, |
|
121 slides [<A HREF="activities/slides-chapman.pdf" target="_top">pdf</A>]) |
|
122 <li> Christian gives a talk at Yale University, New Haven (24. January) |
|
123 <li> Christian gives a talk at Northeastern University, Boston (22. January) |
|
124 <li> Christian gives two talks at Indiana University, Bloomington (16. and 18. January) |
|
125 <li> Christian has a look what the competition is up to at the POPL workshop on Coq (8. January) |
|
126 <li> Version 0.14 of Nominal Isabelle (7. January) |
|
127 </ul> |
|
128 |
|
129 |
|
130 <h3>2007</h3> |
|
131 <ul class="striped"> |
|
132 <li> Christian gives two talks in Saarbrücken (13. and 14. December) |
|
133 <li> Jesper Bengtson (Ph.D. student of Joachim Parrow, Uppsala) visits the nominal group |
|
134 (1. - 9. December, slides [<A HREF="activities/slides-bengtson.pdf" target="_top">pdf</A>]) |
|
135 <li> James Cheney from LFCS Edinburgh visits the nominal group (29. October - 15. November) |
|
136 <li> Version 0.13 of Nominal Isabelle (12. Oktober) |
|
137 <li> Talk by Christian at WMM'07 (4. October) |
|
138 <li> Randy Pollack from LFCS Edinburgh visits the nominal group (25. - 29. September, slides: |
|
139 [<A HREF="activities/slides-pollack.pdf" target="_top">pdf</A>]) |
|
140 <li> Jeremy Dawson from NICTA Australia visits the nominal group (15. - 25. September) |
|
141 <li> Version 0.12 of Nominal Isabelle (18. September) |
|
142 <li> Michael Norrish form NICTA Australia visits the nominal group (5. - 9. September, slides: |
|
143 [<A HREF="activities/slides-norrish.pdf" target="_top">pdf</A>]) |
|
144 <li> Julien received a lectureship at the University of Strasbourg - the members of the |
|
145 nominal group say congratulation and thanks for the excellent work he has done in |
|
146 the past year (1. September) |
|
147 <li> Temesghen Kahsai from the University of Swansea visits us |
|
148 and tells us about his work on formalising the spi-calculus done |
|
149 under the supervision of Marino Miculan (13. - 16. August) |
|
150 <li> Talk by Christian at LFMTP and CADE; talk by Stefan at the Isabelle |
|
151 Workshop (Bremen, 15. - 20. July) |
|
152 <li> Course by Christian at the |
|
153 <A HREF="http://isr2007.loria.fr/index.php"> International School on Rewriting</A> |
|
154 (Nancy, 2. - 6. July) |
|
155 <li> Version 0.11 of Nominal Isabelle (25. June) |
|
156 <li> Talk by Christian at LFCS (Edinburgh, 29. May) |
|
157 <li> Talks by Stefan and Christian at the Nominal Workshop at ICMS (Edinburgh, 26. - 28. May) |
|
158 <li> Christian was invited researcher at NICTA Canberra and gave a talk |
|
159 (host: Michael Norrish, 5. - 23. May) |
|
160 <li> Talk by Stefan at the TYPES Meeting in Udine (2. - 5. May) |
|
161 <li> Mathilde Arnaud from the ENS Cachan visits the nominal methods group |
|
162 to do an internship (April - August) |
|
163 <li> Version 0.10 of Nominal Isabelle (12. April) |
|
164 <li> Version 0.09 of Nominal Isabelle (22. March) |
|
165 <li> Talk by Julien at the LogiCal/Proval's seminar, Palaiseau, France (20. March) |
|
166 <li> Talk by Christian in St Andrews, UK (13. February) |
|
167 <li> Talk by Julien in the group of |
|
168 <A HREF="http://pauillac.inria.fr/~xleroy/" target="_top">Xavier Leroy</A> |
|
169 (Paris, 9. February) |
|
170 <li> <A HREF="http://homepages.inf.ed.ac.uk/jcheney/" target="_top">James Cheney</A> visits the |
|
171 nominal methods group (5. - 10. February, slides: |
|
172 [<A HREF="activities/slides-cheney.pdf" target="_top">pdf</A>]) |
|
173 <li> Version 0.08 of Nominal Isabelle (18. January) |
|
174 </ul> |
|
175 |
|
176 </body> |
|
177 </html> |
|
178 |
|
179 |
|
180 |