I was asked to produce this for internal bureaucratic reasons, but I post it on the web as general Public Relations. Thank you (again) to my colleagues for the opportunity to do all this stuff.
Talks
- Automating first-order logic [ps] [pdf]
- Second CANS meeting; King's College London, UK; December 6.
-
- One-and-a-halfth-order logic [ps] [pdf]
- University of Utrecht's Institute for Logic, Language, and Computation, the Netherlands; colloquium on mathematical logic; December 2.
- Nominal Logic and FM techniques: reasoning about binding without pain [ps] [pdf]
-
Brouwer Institute in Radboud University in Nijmegen, the Netherlands; Foundations Group seminar; November 29.
- Queen Mary and Westfield College, UK; Logic and Semantics Group's Joint Theory semainar; December 7. (Under the name Fraenkel-Mostowski Techniques: a NEW model of freshness and abstraction.)
- Theoretical Computer Science department of the Vrije Universiteit Amsterdam, the Netherlands; December 12.
- Queen Mary and Westfield College, UK; Logic and Semantics Group's Joint Theory semainar; December 7. (Under the name Fraenkel-Mostowski Techniques: a NEW model of freshness and abstraction.)
- a-logic [ps] [pdf]
- University of Amsterdam, the Netherlands; Logic Tea; November 22.
- Nominal algebraic specifications [ps] [pdf]
-
London South Bank University, UK; November 8.
- University College London, UK; November 9.
- Nominal terms with a hierarchy of variables [ps] [pdf]
- TU Eindhoven, the Netherlands; 31 October.
- Nominal Rewriting. Or ... talking about functions, without functions [ps] [pdf]
- Tel-Aviv University, Israel; 6 October.
- Nominal Rewriting [ps] [pdf]
- Leicester University, UK; 9 August.
- a-logic, the lambda-calculus, and internalising meta using names and binding [ps] [pdf]
- LMU Munich, Germany; 26 July.
- Restart: a natural rule [ps] [pdf]
- London South Bank University, UK; 25 July.
- A NEW calculus of contexts [ps] [pdf]
- PPDP'05, Lisbon, Portugal; 10 July.
- Extended Nominal Rewriting: two models of binding [ps] [pdf]
- PPDP'05, Lisbon, Portugal; 10 July.
- Extended Nominal Rewriting: two models of binding [ps] [pdf]
- LIX, Ecole Polytechnique, France; 24 May.
- Is there a quick way to get names and binding in some nominal sense up and running in Isabelle/HOL polymorphically on the type-class `type', without having to rewrite the whole thing from scratch — yes or no? [ps] [pdf]
- JAIST, Ishikawa, Japan; April.
- Aspects of Nominal Rewriting [ps] [pdf]
-
CWI, Amsterdam, the Netherlands; 2 March.
- TU/e, Eindhoven, the Netherlands; 3 March.
- A NEW calculus of contexts [ps] [pdf]
-
INRIA Rocquencourt, Paris, France; 21 February.
- PPS, Paris, France; 22 February.
Visits
In 2005 I had the great pleasure to be invited to visit these institutions, and to present papers at these conferences:-
King's College London, UK.
- University of Utrecht, the Netherlands.
- Radboud University in Nijmegen, the Netherlands.
- Queen Mary and Westfield College, UK.
- Vrije Universiteit Amsterdam, the Netherlands.
- University of Amsterdam, the Netherlands.
- London South Bank University, UK (twice).
- University College London, UK.
- TU Eindhoven, the Netherlands (twice).
- Tel-Aviv University, Israel.
- Leicester University, UK.
- LMU Munich, Germany.
- PPDP'05, Lisbon, Portugal.
- Ecole Polytechnique, France.
- JAIST, Ishikawa, Japan.
- CWI, Amsterdam, the Netherlands.
- TU/e, Eindhoven, the Netherlands.
- INRIA Rocquencourt, Paris, France.
- PPS, Paris, France.
- University of Utrecht, the Netherlands.
Refereed conference papers published
- SOS for higher-order processes [ps] [pdf]
- CONCUR'05
- A NEW calculus of contexts [ps] [pdf]
- PPDP'05
- Nominal Rewriting with Name Generation: abstraction vs. locality [ps] [pdf]
- PPDP'05
Refereed journal papers published
- a-logic [ps] [pdf]
- In We will show them!.
- Some Formal Considerations on Gabbay's Restart Rule in Natural Deduction and Goal-Directed Reasoning [ps] [pdf]
- In We will show them!.
Editorial activities
I'm not on any programme committees but I was asked to referee papers for the following conferences, workshops, and journals:-
Journal of Logic and Computation (twice)
- Mathematical Structures in Computer Science
- POPL'06
- If there are more, please remind me.
- Mathematical Structures in Computer Science
People
I have had to do with at least the following colleagues:-
Maribel Fernandez
- Jan Friso Groote
- Antonino Salibra
- Hans Zantema
- Aad Mathijssen
- MohammadReza Mousavi
- Giulio Manzonetto
- Rene Vestergaard
- Joe Wells
- Martin Hofmann
- Iman Poernomo
- Ruth Kempson
- Michael Gabbay (Not listed on DBLP is his book on logic; available in the Heriot-Watt University library at class number 511.3GAB.)
- Dov Gabbay
- Jan Friso Groote