past

(Not so old) Meetings

CONTEXT'05 July 5-8, 2005, Paris, France. Member of Programme Committee.
Context Representation and Reasoning (CRR'05), Paris, 5th July 05. Member of Programme Committee.
IMLA'05: Workshop associated with LICS'05, June, 30th, 2005, Chicago, Illinois, USA. Organizer with F. Pfenning.
First World Conference and School on Universal Logic 26th March - 3rd April, 2005, Montreux, Switzerland. Invited Speaker.
ESSLLI 2004 - The 16th European Summer School in Logic, Language and Information Course organiser.
Category Theory in Computer Science (CTCS 2004) Member of Programme Committee.
CONTEXT'03 Chairperson of a session on Logics of Context.
Also of Barwise and Situation Semantics, a workshop co-located with Context03, organized by Tim Fernando.
Intuitionistic Modal Logics and Applications (IMLA'02) (Organizer) Workshop at FLoC'02.
Natural Deduction 2001, PUC Rio, June 2001, Invited Speaker, organised by L. C. Pereira.

(Old) Meetings' Organisation

LiCS affiliated Workshop: `Chu Spaces: Theory and Applications', 25 June 2000, Santa Barbara, CA

Vaughan Pratt and I organised the first workshop on Chu Spaces: Theory and Applications. Chu Spaces are mathematical structures that have found recent application to modelling concurrent processes, information flow, foundations of mathematics and also Linear Logic. The workshop was concerned with the theory and applications of Chu Spaces, and other neighbors like the Dialectica-construction and the double-glueing construction. Here's some more information about the Chu Spaces Workshop, including the programme.

Linear Logic and Applications 22-27 August 1999

Eike Ritter, Josef van Genabith and I organised a Dagstuhl seminar on Linear Logic and Applications. More information on the talks given can be obtained from the report on the Seminar. See also the Dagstuhl office .

Wolam2 (Worskhop on Logical Abstract Machines 2) 14-16 July 1999

Eike Ritter and I organised the second workshop on logical abstract machines, a follow up to the one which was part of ESSLLI'98 in Saarbruecken, August 1998. This informal workshop tied in our research on abstract machines for Linear Logic with other approaches. Beware we use 'logical' in a very narrow sense: we mean taking seriously the Curry-Howard Isomorphism. The call for papers and participation can be found here.

Linear Logic in Natural Language II 4 November 98

The same suspects, ie Dick Crouch, Josef van Genabith, Mark Hepple and I organised another one day, very informal meeting on Linear Logic in Natural Language.Francois Lamarche was our guest speaker.

Logical Abstract Machines 17-24 August 1998

Eike Ritter and I organized a Workshop on Logical Abstract Machines (WoLAM) as part of the 10th European Summer School on Logic, Language and Information (ESSLLI) in Saarbruecken. The call for papers can be found here.

66th PSSL 28-29 March 1998

Neil Ghani, Eike Ritter and I organised of the 66th Peripatetic Seminar on Sheaves and Logic, which happen in the School of Computer, University of Birmingham, 28-29th March 1998. More information can be found here.

Linear Logic in Natural Language 20 March 97

Together with Dick Crouch, Josef van Genabith and Mark Hepple I organised a (one day, very informal) meeting on Linear Logic in Natural Language.

LOGSEM Workshop 13-16 September 96

Together with Professor Achim Jung I organised a Workshop on Logic and Semantics of Programming Languages. We also produced a technical report with (some of) the abstracts of the talks given. You can ask the SCS Librarian for a copy.

Teaching (here for sentimental reasons)

I taught SEMQ72, SEM230 and SEM331 in the 1997-98 academic year.

SEMQ72: If you click here you can see a summary of what this course is about. All the twelve exercise sheets for continuous assessment for the 1997/98 session can be found in the Library, ask Ceiwein the Librarian. She also has a handout with the summary of the theoretical contents of this course.

SEM230: The first half of this course coincides with SEM331, we investigate type systems for programming languages. The second half of the course deals with semantics of programming languages. (Some of) The slides for the (first half of the) course are available as handouts, the introduction, the simply typed lambda-calculus section and the ml-types section. These are still being written, so take nothing for granted and ask questions. Hopefully the rest will be available soon...

SEM331: If you click here you can see a very brief description of this course with some references. You can also get a copy of Cardelli's chapter on Type Systems as well as a copy of Andy Pitts new notes on types.

I also gave a post-graduate course, Categorical Proof Theory and Linear Logic in the Autumn 1996 term. Here are (very preliminary!) notes for the course.