+
|
-
+
|
|
-
+
|
-
+
|
-
Isabelle Programming Tutorial (draft of a 200-page tutorial on Isabelle programming)
+Isabelle Programming Tutorial (draft of a 200-page tutorial on Isabelle programming)
@@ -131,7 +131,7 @@
Christine Tasson, I was awarded a
Thoralf Skolem Award, a ten-year
test-of-time award from CADE, for our
- paper
+ paper
on Nominal Techniques in Isabelle/HOL from 2005. This award was given also to Nicolaas de Bruijn and
Nachum Derschowitz, amongst others.
@@ -157,26 +157,26 @@ LSFA'08 (invited speaker), TAASN'09 (member of PC), LSFA'09 (member of PC), -IDW'09 (organiser), +IDW'09 (organiser), WMM'09 (PC chair), -TPHOLs'09 (PC co-chair), +TPHOLs'09 (PC co-chair), Automatheo'10 (member of PC), ITP'10 (member of PC), UNIF'10 (invited speaker), WMM'10 (invited speaker), -IDW'10 (co-organiser), +IDW'10 (co-organiser), CPP'11 (member of PC), RTA'11 (member of PC), LFMTP'11 (member of PC), ITP'14 (member of PC), MKM'15 (member of PC), -ITP'15 (PC co-chair), +ITP'15 (PC co-chair), ITP'16 (member of PC) LSFA'17 (member of PC) ITP'17 (member of PC)
-ITP'15 took place in Nanjing organised
+ITP'15 took place in Nanjing organised
by Xingyuan Zhang and me
@@ -185,7 +185,7 @@ Julien Narboux
If I am not teaching or not doing research, I am sometimes in the lavender - fields of London. + fields of London. @@ -212,7 +212,7 @@ Since 2006 this work is supported by an Emmy-Noether fellowship. -There is a webpage and a +There is a webpage and a mailing list about Nominal Isabelle. It also includes a list of projects that use Nominal Isabelle. Users of Nominal Isabelle had their papers appearing at LICS, POPL, FOSSACS, SOS, TPHOLs, CPP, SEFM, @@ -289,13 +289,13 @@
