A summary of my professional activities in 2006.

Talks

Click on the name of the talk to jump to a fuller description. Click on [ps] or [pdf] for a postscript or pdf version of the slides respectively.
Boxology [ps] [pdf]: St Andrew's University, December 19 at 11:00. Thanks to Kevin Hammond.
Nominal Algebra [ps] [pdf]: LMU Institut für Informatik, Munich, December 6 at 16:00. Thanks to Martin Hofmann.
Substitution in Fraenkel-Mostowski sets [ps] [pdf]: Cambridge University Centre for Mathematical Studies, Cameleon meeting, December 2 at 16:00. Thanks to Thomas Forster.
Nominal Logic [ps] [pdf]: University of Bath Computer Science Department, November 13 at 11:15. Thanks to Mark Price and Alessio Guglielmi.
Logic of names and freshness [ps] [pdf]: Dependable Systems Group weekly seminar at Heriot-Watt, October 27 at 14:15.
The lambda-calculus [ps] [pdf]: PGCAP course, Heriot-Watt.
Nominal techniques: evolving the atom [ps] [pdf]: Scottish Theorem Proving, School of computer science, St Andrew's University, October 13.
Incomplete objects using the NEWcc [ps] [pdf]: DREAM workshop, mathematical reasoning group, Edinburgh University, August 31.
Hierarchical nominal rewriting [ps] [pdf]: LFMTP'2006, Seattle, USA, Wednesday 16 August 2006 at 10:30.
One-and-a-halfth-order-logic [ps] [pdf]: PPDP'2006, Venice, Italy, Tuesday 11 July 2006 at 16:30.
Concrete models of nominal algebra substitution [ps] [pdf]: CANS seminar, King's College London, Thursday 22 June 2006 at 3pm. Thanks to Maribel Fernandez.
Concrete models of nominal algebra substitution [ps] [pdf]: CISA/LFCS seminar, Edinburgh University, Tuesday 13 June 2006, at 4pm in room 4.03. Thanks to Lucas Dixon. (See also a revised version.)
Evolved logic: the next step [ps] [pdf]: Programming languages group, Tel-Aviv University, Sunday 28 May at 14:00. Thanks to Mooly Sagiv.
Fraenkel-Mostowski sets and the new model of abstraction [ps] [pdf]: A course in Tel-Aviv University, Sunday 28 May at 12:00.
A NEW calculus of contexts [ps] [pdf]: A course in Tel-Aviv University, Sunday 14 May at 12:00. See also gabbay:newcc.
On substitution [ps] [pdf]: A course in Tel-Aviv University, Thursday 11 May. See also gabbay:capasn and gabbay:subaan.
Nominal algebra with applications [ps] [pdf]: A course in Tel-Aviv University, Thursday 4 May at 10:30. Thanks to Nachum Dershowitz.
Presented again in two parts at the Tel-Aviv University computer science departmental seminar at Tuesday 9 May at 10:00 and Tuesday 16 May at 10:00.
See also gabbay:noma for the first half, and gabbay:onaah for the second.
Nominal: an overview [ps] [pdf]: Departmental Seminar, Universidad Politecnica de Madrid, March 31. Thanks to Manuel Hermenegildo, Juan-Jose Moreno, and Jim Lipton.
Functional programming and unification with meta-variables [ps] [pdf]: Babel group , Universidad Politecnica de Madrid, March 31. Thanks to Julio Marino.
A concrete model of linearity and separation [ps] [pdf]: Scottish Theorem Proving Meeting, Heriot-Watt University, March 17. Thanks to Andrew Ireland.
Presented again at the Babel group , Universidad Politecnica de Madrid on March 28. Thanks to Julio Marino.
Is substitution an abstract notion? [ps] [pdf]: Departmental colloquium, King's College London, March 13. Thanks to Iman Poernomo.
Separation [ps] [pdf]: Departmental seminar, Heriot-Watt, March 6. Thanks to Lilia Georgieva.
A NEW semantics of substitution [ps] [pdf]: Slides by myself, presented by two students Andrea Marin and Samuel Rota Bulo. Thanks to their tutor Simonetta Balsamo.
The NEW calculus of contexts, [ps] [pdf]: Scottish Programming Languages Seminar, February 1. Thanks to Edwin Brady.
Nominal techniques and the meta-level [ps] [pdf]: Venice University, January 24. Thanks to Annalisa Bossi.
Nominal Rewriting [ps] [pdf]: Computational logic colloquium, Innsbruck University, January 23. Thanks to Aart Middeldorp and Georg Moser.
The NEW calculus of contexts [ps] [pdf]: Turin workshop on implicit computational complexity, January 19. Thanks to Simona Ronchi della Rocca. (An improved version of my talk at PPDP'05.)
The Frankel-Mostowski model of abstraction applied to name-generation [ps] [pdf]: ULTRA group seminar, Heriot-Watt, January 9. Thanks to Lilia Georgieva.

Visits

In 2006 I had the great pleasure to be invited to visit these institutions, and to present papers at these conferences:

Heriot-Watt University, Scotland (several times).

Turin University, Italy.

Innsbruck University, Austria.

Venice University, Italy.

St. Andrew's University, Scotland (three times).

King's College London, UK (twice).

Universidad Politechnica de Madrid (UPM), Spain (twice).

Tel-Aviv University, Israel (two departmental seminars and a mini-course; thanks to a Royal Society UK grant).

Edinburgh University, Scotland, UK (twice).

PPDP'06, Venice, Italy.

University of Bath, England.

Cambridge University (CAMELEON meeting invited speaker).

LMU Munich, Germany.

LFMTP'06, Seattle, USA (presented on my behalf by James Cheney).

ICTAC'06, Tunis, Tunisia (presented by Aad Mathijssen).

Types'06, Nottingham, UK.

NWPT'06, Reykyavík, Iceland (presented by Aad Mathijssen).

NWPT'06, Reykyavík, Iceland (presented by MohammadReza Mousavi).

Refereed conference papers published

Capture-avoiding Substitution as a Nominal Algebra (in LNCS) [djvu] [djvu (cropped)] [ps] [pdf]: ICTAC 2006.
One-and-a-halfth-order logic [djvu] [djvu (cropped)] [ps] [pdf]: PPDP 2006
Hierarchical nominal rewriting [djvu] [djvu (cropped)] [ps] [pdf]: LFMTP 2006
Curry-style types for nominal terms [djvu] [djvu (cropped)] [ps] [pdf]: TYPES'06.
Nominal SOS [djvu] [djvu (cropped)] [ps] [pdf]: NWPT'06.
Nominal Algebra [djvu] [djvu (cropped)] [ps] [pdf]: NWPT'06

Refereed journal papers published

Nominal rewriting (journal version): In Information and Computation.

Editorial activities

I'm an Editor on the Journal of Logic and Computation. I take papers on rewriting — and anything else.

I have been asked to referee papers for the following conferences, workshops, and/or journals:

LICS'06 (Logic In Computer Science symposium).

LFMTP'06 (International workshop on Logical Frameworks and Meta-Languages).

CSL'06 (Computer Science Logic conference).

TERMGRAPH'2006 (International workshop on Term Graph Rewriting).

MFPS'2006 (Conference on the Mathematical Foundations of Programming Semantics).

FOSSACS'2006 (Foundations of Software Science and Computation Structures).

ICFP'2006 (International Conference on Functional Programming).