(Not so old) Meetings
July 5-8, 2005, Paris, France. Member of Programme
- Context Representation
and Reasoning (CRR'05), Paris, 5th July 05. Member of Programme
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.
- ESSLLI 2004 - The 16th European Summer School in Logic,
Language and Information Course organiser.
Theory in Computer Science (CTCS 2004) Member of Programme
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
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
to modelling concurrent processes, information flow, foundations of
mathematics and also Linear Logic.
The workshop was concerned with the theory and applications of Chu
and other neighbors like the Dialectica-construction and the
double-glueing construction. Here's
some more information about the Chu Spaces Workshop, including the
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
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
Sheaves and Logic, which happen in the School of Computer, University
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
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
Teaching (here for sentimental reasons)
I taught SEMQ72 and SEM111 in the 1995-96 academic year.
I taught SEMQ72 and SEM331 in the 1996-97 session.
I taught SEMQ72, SEM230
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
type systems for programming languages.
The second half of the course deals with semantics of programming
(Some of) The slides for the (first half of the) course are available
lambda-calculus section and the ml-types
These are still being written, so take nothing for granted and ask
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.