133 <LI> Talk (with Berghofer) at TPHOLs (18 - 21 August, Montreal, Canada) |
133 <LI> Talk (with Berghofer) at TPHOLs (18 - 21 August, Montreal, Canada) |
134 <LI> <A HREF="http://isabelle.in.tum.de/nominal/activities/nominal-ijcar08/">Nominal Isabelle</A> |
134 <LI> <A HREF="http://isabelle.in.tum.de/nominal/activities/nominal-ijcar08/">Nominal Isabelle</A> |
135 at <A HREF="http://www.ijcar.org/2008/" target="_top">IJCAR'08</A> tutorial |
135 at <A HREF="http://www.ijcar.org/2008/" target="_top">IJCAR'08</A> tutorial |
136 (11 August, Sydney) |
136 (11 August, Sydney) |
137 <LI> A course on Nominal Isabelle at the |
137 <LI> A course on Nominal Isabelle at the |
138 <A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/">Oregon Summer School |
138 <A HREF="http://www.cs.uoregon.edu/Research/summerschool/summer08/">Oregon Summer School |
139 on Logic and Theorem Proving in Programming Languages</A> (22 - 30 July, Eugene, 4h, |
139 on Logic and Theorem Proving in Programming Languages</A> (22 - 30 July, Eugene, 4h, |
140 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon1.pdf">Slides 1</A>], |
140 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon1.pdf">Slides 1</A>], |
141 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon2.pdf">Slides 2</A>], |
141 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon2.pdf">Slides 2</A>], |
142 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon3.pdf">Slides 3</A>], |
142 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon3.pdf">Slides 3</A>], |
143 [<A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/video/July25Lect3.wmv">Video 1</A>], |
143 [<A HREF="http://www.cs.uoregon.edu/Research/summerschool/summer08/video/July25Lect3.wmv">Video 1</A>], |
144 [<A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/video/July26Lect2.wmv">Video 2</A>], |
144 [<A HREF="http://www.cs.uoregon.edu/Research/summerschool/summer08/video/July26Lect2.wmv">Video 2</A>], |
145 [<A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/video/July24Lect1.wmv">Video 3</A>]) |
145 [<A HREF="http://www.cs.uoregon.edu/Research/summerschool/summer08/video/July24Lect1.wmv">Video 3</A>]) |
146 <LI> Talk at RTA (15 - 17 July, Hagenberg, Austria) |
146 <LI> Talk at RTA (15 - 17 July, Hagenberg, Austria) |
147 <LI> Talk at LICS (24 - 27 June, Pittsburgh) |
147 <LI> Talk at LICS (24 - 27 June, Pittsburgh) |
148 <LI> Talk in Swansea (1 April, hosts: Prof. Roger Hindley, Dr Ulrich Berger) |
148 <LI> Talk in Swansea (1 April, hosts: Prof. Roger Hindley, Dr Ulrich Berger) |
149 <LI> Poster at TTVSI (25 - 26 March, London) |
149 <LI> Poster at TTVSI (25 - 26 March, London) |
150 <LI> Talk at the CANS meeting (10 March, King's College London) |
150 <LI> Talk at the CANS meeting (10 March, King's College London) |