# HG changeset patch # User Christian Urban # Date 1460317857 -3600 # Node ID c214a2dce02cc2cc08c5aac6a0e285384ebb49d9 # Parent ca3a6f5c88ab70b39bc99313beee0cf6fc4d34df updated diff -r ca3a6f5c88ab -r c214a2dce02c Nominal/activities/oregon.html --- a/Nominal/activities/oregon.html Sun Apr 10 20:46:30 2016 +0100 +++ b/Nominal/activities/oregon.html Sun Apr 10 20:50:57 2016 +0100 @@ -9,9 +9,9 @@

Slides

-Slides 1
-Slides 2
-Slides 3
+Slides 1
+Slides 2
+Slides 3

Example Theories from the Lectures

diff -r ca3a6f5c88ab -r c214a2dce02c index.html --- a/index.html Sun Apr 10 20:46:30 2016 +0100 +++ b/index.html Sun Apr 10 20:50:57 2016 +0100 @@ -111,7 +111,7 @@ here, and full professorships here and -here. +here. I thank all people involved for their efforts.

@@ -150,19 +150,19 @@ Conferences UNIF'06 (member of PC), LFMTP'07 (member of PC), -LFMTP'08 (PC co-chair), +LFMTP'08 (PC co-chair), WMM'08 (member of PC), 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), 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), @@ -204,7 +204,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, @@ -353,7 +353,7 @@

- Last modified: Thu Apr 7 23:23:39 BST 2016 + Last modified: Sun Apr 10 20:47:58 BST 2016 [Validate this page.] diff -r ca3a6f5c88ab -r c214a2dce02c logic.html --- a/logic.html Sun Apr 10 20:46:30 2016 +0100 +++ b/logic.html Sun Apr 10 20:50:57 2016 +0100 @@ -44,7 +44,7 @@ @@ -161,7 +161,7 @@
- +

- Last modified: Thu Apr 7 23:13:38 BST 2016 + Last modified: Sun Apr 10 20:47:09 BST 2016 [Validate this page.] diff -r ca3a6f5c88ab -r c214a2dce02c misc.html --- a/misc.html Sun Apr 10 20:46:30 2016 +0100 +++ b/misc.html Sun Apr 10 20:50:57 2016 +0100 @@ -44,7 +44,7 @@ @@ -116,7 +116,7 @@
- +

- Last modified: Thu Apr 7 23:14:16 BST 2016 + Last modified: Sun Apr 10 20:48:20 BST 2016 [Validate this page.] diff -r ca3a6f5c88ab -r c214a2dce02c programming.html --- a/programming.html Sun Apr 10 20:46:30 2016 +0100 +++ b/programming.html Sun Apr 10 20:50:57 2016 +0100 @@ -44,7 +44,7 @@ @@ -112,7 +112,7 @@
- +

- Last modified: Thu Apr 7 23:14:01 BST 2016 + Last modified: Sun Apr 10 20:48:42 BST 2016 [Validate this page.] diff -r ca3a6f5c88ab -r c214a2dce02c publications.html --- a/publications.html Sun Apr 10 20:46:30 2016 +0100 +++ b/publications.html Sun Apr 10 20:50:57 2016 +0100 @@ -57,7 +57,7 @@ @@ -219,7 +219,7 @@ (with Narboux) In Proceedings of the 3rd Workshop on Logical and Semantic Frameworks with Applications (LFSA'08). Electronic Notes in Theoretical Computer Science, 247, Pages 139-155, 2009. - [pdf]. + [pdf].

Proceedings of Theorem Proving in Higher Order Logics (TPHOLs'09). (with Berghofer, Nipkow and Wenzel) Volume 5674 of Lecture Notes in @@ -241,7 +241,7 @@ 23rd IEEE Symposium on Logic in Computer Science (LICS 2008), IEEE Computer Society, June 2008. Pages 45-56. [pdf] More - information is elsewhere. + information is elsewhere.

Nominal Inversion Principles. (with Berghofer) In Proceedings of 21st International Conference on Theorem Proving in @@ -509,7 +509,7 @@

- +

- Last modified: Sun Apr 10 20:45:14 BST 2016 + Last modified: Sun Apr 10 20:49:18 BST 2016 [Validate this page.] diff -r ca3a6f5c88ab -r c214a2dce02c teaching.html --- a/teaching.html Sun Apr 10 20:46:30 2016 +0100 +++ b/teaching.html Sun Apr 10 20:50:57 2016 +0100 @@ -57,7 +57,7 @@ @@ -257,7 +257,7 @@

Summer

@@ -473,7 +473,7 @@
- +

- Last modified: Thu Apr 7 23:12:15 BST 2016 + Last modified: Sun Apr 10 20:49:47 BST 2016 [Validate this page.]