4th International Workshop on Reachability Problems, 27-29, August 2010, Brno, Czech Republic. PC member.
GandALF 2010 : First International Symposium on Games, Automata, Logics and Formal Verification, Minori, Italy - 17-18 June 2010. PC member.
LPAR 10: 16th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, April 25 - May 1, 2010, Dakar, Senegal. PC member.
FoSSaCS 10: Foundations of Software Science and Computational Structures, 20-28 March, Paphos, Cyprus. PC Chair.
TaCaS 10: Tools and Algorithms for the Construction and Analysis of Systems, 20-28 March, Paphos, Cyprus.
HORSPDA : Workshop on Higher-Order Recursion Schemes and Pushdown Automata, 10-12 March, Paris. Co-organiser.
Tbilisi 09: 8th Int. Tbilisi Symposium on Language, Logic and Computation, 21-25 Sep, Bakuriani, Georgia. Invited Speaker.
Games 09 Annual Workshop ESF RNP on Games for Design and Verification, 14-17 Sep, Udine. PC Member.
ISDT 09: 5th Int. Symosium on Domain Theory, 12-14 Sep, Shanghai. PC Member.
Linearity 09: 1st Int. Workshop on Linearity, 12 Sep, Coimbra. PC Member.
CSL 09: 18th EACSL Annual Conference on Computer Science Logic, 7-11 Sep, Coimbra. PC Member.
Intel Symposium 09: 8 Sep, Haifa. Invited Speaker.
IFIP Working Group 2.2: Annual Meeting, 5-6 Sep, Bologna. Member.
Concur 09: 20th Int. Conference on Concurrency Theory, 1-4 Sep, Bologna. Accepted paper.
LICS 09: 24th Annual IEEE Symposium on Logic in Computer Science, 11-14 August, Los Angeles. Accepted papers.
Marktoberdorf 09: Summer School on Logics and Languages for Reliability and Security, 4-16 August. Invited Lecturer.
CiE 09: Computability in Europe, Mathematical Theory and Computational Practice, 19-24 July, Heidelberg. PC Member.
ICALP 09: 36th Int. Colloquium on Automata, Languages and Programming, 5-12 July, Rhodes. Accepted Paper.
CAV 09: 21st Int. Conference on Computer Aided Verification, 26 June - 2 July, Grenoble. Accepted Paper.
NUS Seminar: 29 May. Speaker.
TAMC 09: 6th Annual Conference on Theory and Applications of Models of Computation, 18-22 May, Changsha. PC Member.
VISS UK-Israel Workshop on Verification of Infinite-State Systems, 12-14 May, Tel Aviv. Invited Speaker.
Game Theory 09: Int. Conference on Theory of Games and Applications, 4-8 May, CIRM Luminy, Marseille. Invited Speaker.
FoSSaCS 09: Foundations of Software Science and Computational Structures, 22-29 March, York. Accepted Paper.
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.
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.
FSTTCS 02. Invited Speaker.
CSL 02. Accepted Paper.
SIGCOMM 02. Accepted Paper.
LICS 02. Accepted Paper.
ICALP 02. Accepted Paper.