See them
on HAL.
Not yet on HAL or the arXiv: Full abstraction for fair testing in CCS, in
its short
and long versions.
Draft, December 2012.
- Towards a theory of programming
languages. SIESTE
seminar, ENS Lyon, April 2013.
Written in Patoline, available
in pdf and
html/SVG
(Please don't attempt to print the pdf version
directly; it may fail miserably due to a bug in a
standard pdf library.) Here
are the
sources: the main file
is here.
- Innocent strategies as presheaves for CCS II:
Fair testing. Given under various titles and slightly
differing
versions: Plume
- Limd seminar (April-March,
2012), Plume
working group (March, 2012),
Capp
café (May, 2012).
- Fair testing vs. must
testing in a fair setting. Given under various titles and slightly differing versions:
PiCoq/Cogip workshop, Lyon,
2011-09, GdT sémantique PPS, Paris, 2011-02-22, ICE workshop, Reykjavik, 2011-06,
LDP seminar, Marseille, 2011-2-3, 91st Peripatetic Seminar
on Sheaves and Logic (Amsterdam), 2010-11-27, and 1st
PiCoq seminar, Lyon, 2010-11-22.
- An algebraic approach to
higher-order theories and rewriting. International
Workshop on Categorical Logic, Brno (2010-8-28).
- Introduction to
categorical logic. Réalisabilité
à Chambéry, Chambéry
(2010-5-31). Some typos corrected from the live version,
and some statements strengthened thanks to pointers by Jonas Frey.
- Algebraic Structures
from Shapes. Journées
Geocal-LAC, Nice (2010-3-17).
- What is a programming
language? Invited talk at the DSSE
seminar in Southampton (2010-3-10).
- Algebraic Structures from Shapes. Categorical
Computer Science, Grenoble (2009-11-26). (There was
a mistake in the second part, which is corrected in the
Geocal 2010 talk above.)
- Variable
binding, symmetric monoidal closed theories, and
bigraphs. Concur, Bologna
(2009-9-4).
- Contraction-Free
Proofs and Games for Linear Logic. MFPS,
Oxford (2009-4-6).
-
Here is the
cats.info
group, a forum
on category theory, mainly for computer scientists using categories in
their research. As specified in the description, one should not
be afraid to ask easy questions.
- I often attend
the Chocola and
LIMD
seminars.
-
In 2012-2013, an M1 course in Chambéry on Logic and Lambda-calculus.
-
In 2012-2013, Python again.
-
In 2012, Pierre Hyvernat, Christophe Raffalli, Thomas Seiller,
and I teach Python (!) to L1 students in Chambéry.
-
In 2008-2009, Dominique Duval, Pierre Hyvernat, and I taught a
doctoral course in common on categorical languages and
concepts for logic and computer science.
-
In 2007-2008,
Philippe Audebaud
and I taught an M2 course in common on
proof theory.
-
In 2006-2007, I taught an M2 course on
categories in computer science and
logic.
(in french, 2009 report on my past activities and future projects).
Address:
|
LAMA, Campus Scientifique |
|
73376 Le Bourget-du-Lac Cedex
|
|
France
|
|
| |
|
|