Past Events


Durham Seminar: 8 Dec. Speaker.
Nicolas Tabareau PhD Viva: PPS, 3 December, Paris. Examiner.
Alexis Saurin PhD Viva: École Polytechnique, 30 September, Paris. Examiner.
CSL 08: 17th EACSL Annual Conference on Computer Science Logic, 15-20 September, Bertinoro. PC Member.
IFIP WG 2.2: Annual Meeting, 12-14 September, Torino. Observer.
IFIP TCS 08: IFIP Conference on Theoretical Computer Science, 8-10 September, Milano. PC Chair (Track B).
LAA 08: Logic and Algorithms, International Centre for Mathematical Science, 21-25 July, Edinburgh. Steering Committee Member.
ICALP 08: 35th International Colloquium on Automata, Languages and Programming, 6-13 July, Reykjavik. PC Member.
LICS 08: 23rd Annual IEEE Symposium on Logic in Computer Science, 24-27 June, Pittsburgh. Accepted Papers.
TAMC 08: 5th Annual Conference on Theory and Applications of Models of Computation, 25-29 April, Xi'an, China. Invited Speaker.
Seminar: Institute of Software, Chinese Academy of Science, Beijing, 17 Apr. Speaker
ETAPS 08: European Joint Conferences on Theory and Practice of Software, 29 Mar - 6 April, Budapest. Invited Unifying Speaker.
Patrick Baillot Habilitation Viva: University of Paris 13, 11 March. Examiner.


Wolfgang Thomas 60th Birthday Workshop: 14-15 December, Aachen. Participant.
ALTIS: Algorithmic-Logical Theory of Infinite Structures, 28 Oct - 2 Nov, Schloss Dagstuhl. Invited Speaker.
LPAR 07: 14th Int. Conference on Logic for Programming, AI and Reasoning, 15-19 October, Yerevan, Armenia. PC Member.
IFIP WG 2.2: Annual Meeting, 16-20 September, Loria, Nancy. Observer.
Games 07: Games and Automata for Synthesis and Validation, 10-13 September, Lausanne. Participant.
Infinity 07: 9th Int. Workshop on Verification of Infinite-State Systems, 8 September. Invited Speaker.
MFCS 07: 32nd Int. Symposium on Mathematical Foundations of Computer Science, 26-31 August, Cesky Krumlov. Invited Speaker.
LICS 07: 22nd Annual IEEE Symposium on Logic in Computer Science, 10-14 July, Wroclaw. PC Chair.
TLCA 07: 8th Int. Conference on Typed Lambda Calculus and its Applications, 26-28 June, Paris. Accepted Paper.
FoSSaCS 07: 10th Int. Conference on Foundations of Software Science and Computation Structures, 24 March - 1 April, Braga. Accepted Paper.
AOSD 07: 6th Int. Conference on Aspect-Oriented Software Development, Vancouver, March 12-16. Accepted Paper.


Stéphane Lengrand PhD viva: 8 December, PPS, Paris. Examiner.
LPAR 06: 13-17 Nov.
CSL 06: 25-29 Sep. Invited Speaker.
LICS 06: 12-15 Aug. Accepted Paper.
GaLoP 06: 10-12 Aug.
CLaC 06: Workshop on Classical Logic and Computation, 15 July, San Servolo, Venice. PC Member.
Games 06: Games and Verification, Annual Workshop of the EU Research Training Network Games and Automata for Synthesis and Validation, 3-7 July, Isaac Newton Institute, Cambridge [Talks]. PC Chair.
EPIT 06: Games in Semantics and Verification, 34th Spring School in Theoretical Computer Science, Ile de Ré, 29 May - 3 June. Invited Lecture Course.
Goedel 06: 27-29 Apr.
MGS 06: 8-12 Apr. Invited Lecture Course.
GeoCal 06: 20-24 Feb. Invited Speaker.
LAA 06: 16 Jan - 7 July.


PPS Seminar: 23 Nov. Speaker.
LFCS Seminar : 15 Nov. Speaker
Cambridge Seminar: 21 Oct. Speaker.
MATHLOGAP 05. Invited Lecturer.
IFIP WG 2.2. Observer.
CSL 05. 14th EACSL Annual Conference on Computer Science Logic, 22-25 August, Oxford. PC Chair.
SD 05. PC Member.
MFPS XXI. PC Member.
LCC 05. Invited Speaker.
GAMES Spring School 05. Invited Speaker.
GaLoP 05. Invited Speaker.
TLCA 05.
Synthesis + Planning 05.


TACAS 04. Accepted Paper.
CSL 04. PC Member.
GDV 04. Invited Speaker.
ICALP 04. Accepted Paper.
WoLLIC 04. Invited Speaker.
PTATP 04. Invited Lecturer.
LICS 04. Accepted Paper.
MFPS XX. Invited Speaker.
APLAS 04. Accepted Paper.


ICC 03.
LICS 03.


FSTTCS 02. Invited Speaker.
CSL 02. Accepted Paper.
SIGCOMM 02. Accepted Paper.
LICS 02. Accepted Paper.
ICALP 02. Accepted Paper.