equal
deleted
inserted
replaced
126 from 2000 until 2004 I was awarded a Research Fellowship in Cambridge. Before that |
126 from 2000 until 2004 I was awarded a Research Fellowship in Cambridge. Before that |
127 I did my PhD in Cambridge funded by two scholarships from the German Academic Exchange |
127 I did my PhD in Cambridge funded by two scholarships from the German Academic Exchange |
128 Service (<A HREF="http://www.daad.de/index.html">DAAD</A>). |
128 Service (<A HREF="http://www.daad.de/index.html">DAAD</A>). |
129 <P> |
129 <P> |
130 |
130 |
131 <B>Skolem Award</B> Together with |
131 <B>Skolem Award 2015</B> Together with |
132 <A HREF="http://www.pps.univ-paris-diderot.fr/~tasson/">Christine Tasson</A>, I was awarded a |
132 <A HREF="http://www.pps.univ-paris-diderot.fr/~tasson/">Christine Tasson</A>, I was awarded a |
133 <A HREF="http://www.cadeinc.org/SkolemAward.html">Thoralf Skolem Award</A>, a ten-year |
133 <A HREF="http://www.cadeinc.org/SkolemAward.html">Thoralf Skolem Award</A>, a ten-year |
134 test-of-time award from CADE, for our |
134 test-of-time award from CADE, for our |
135 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/nom-cade-05.ps">paper</A> |
135 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/nom-cade-05.ps">paper</A> |
136 on Nominal Techniques in Isabelle/HOL from 2005. |
136 on Nominal Techniques in Isabelle/HOL from 2005. |
195 <A HREF="http://en.wikipedia.org/wiki/Emmy_Noether">Emmy-Noether</A> |
195 <A HREF="http://en.wikipedia.org/wiki/Emmy_Noether">Emmy-Noether</A> |
196 <A HREF="http://www.dfg.de/en/research_funding/programmes/individual/emmy_noether/in_brief/index.html">fellowship</A>. |
196 <A HREF="http://www.dfg.de/en/research_funding/programmes/individual/emmy_noether/in_brief/index.html">fellowship</A>. |
197 There is a <A HREF="http://isabelle.in.tum.de/nominal/">webpage</A> and a |
197 There is a <A HREF="http://isabelle.in.tum.de/nominal/">webpage</A> and a |
198 <A HREF="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/nominal-isabelle">mailing list</A> |
198 <A HREF="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/nominal-isabelle">mailing list</A> |
199 about Nominal Isabelle. It also includes a list of projects that use Nominal Isabelle. |
199 about Nominal Isabelle. It also includes a list of projects that use Nominal Isabelle. |
200 Users of Nominal Isabelle had their papers appearing at LICS, POPL, FOSSACS, SOS, TPHOLs, CPP, SEFM and |
200 Users of Nominal Isabelle had their papers appearing at LICS, POPL, FOSSACS, SOS, TPHOLs, CPP, SEFM, |
|
201 Haskell Symposium and |
201 in the Journal of Automated Reasoning. |
202 in the Journal of Automated Reasoning. |
202 </TD> |
203 </TD> |
203 </TR> |
204 </TR> |
204 |
205 |
205 <TR> |
206 <TR> |
340 </TR> |
341 </TR> |
341 |
342 |
342 |
343 |
343 </TABLE> |
344 </TABLE> |
344 <P> |
345 <P> |
345 <!-- hhmts start --> Last modified: Fri Jul 10 01:50:23 BST 2015 <!-- hhmts end --> |
346 <!-- hhmts start --> Last modified: Tue Jul 28 21:42:19 BST 2015 <!-- hhmts end --> |
346 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
347 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
347 </BODY> |
348 </BODY> |
348 </HTML> |
349 </HTML> |