Meetings

2015

(Invited Presentation). NII Shonan Seminar 063: Semantics and Verification of Object-Oriented Languages, 21--25 September 2015, Shonan Village Center, Japan.
(Invited Plenary Lecture). 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 6--10 July 2015, Kyoto, Japan.
(Invited Lecture Series, 5 hours). 7th Summer School on Topology, Algebra, and Categories in Logic (TACL), 15--19 June 2015, University of Salerno, Fisciano Salerno, Italy.

2014

(Invited Lecture). Second Meeting of French-Chinese ANR Project Logical Approach to Novel Computational Paradigms (LOCALI), 26-28 November 2014, Université Paris Diderot, Paris.
Higher-Order Model Checking: From Theory To Practice (Invited Plenary Lecture). 21st International Static Analysis Symposium (SAS 2014), 11--13 September 2014, Munich, Germany.
Intersection Types and Higher-Order Model Checking: Some Recent Progress (Invited Lecture). 7th Workshop on Intersection Types and Related Systems (ITRS 2014) -- FLoC 2014 Workshop, 18 July 2014, Vienna, Austria.
(Invited Lecture) Dagstuhl Seminar 14232: Design and Synthesis from Components, 2--6 June 2014
Introduction to Higher-Order Model Checking (Invited Lecture). Special Session on Logic and Algorithms in Higher-Order Computation, North American Annual Meeting of the Association of Symbolic Logic, University of Colorado, Boulder, USA, 19--22 May 2014.
Types, Games and Higher-Order Programs (Invited Plenary Lecture). 4th Annual Meeting Tsinghua Software Day (TSD 2014), 21--22 April 2014, Tsinghua University, Beijing, China.
Functions, Concurrency and Automatic Verification (Invited Lecture). Workshop on Concurrency, Logic and Types, ENS Lyon -- Labex MILYON Scientific Programme on Mathematical Structures of Computation, 10--14 February 2014, Lyon, France.

2013

Higher-Order Model Checking: From Semantics to Algorithmics (Invited Lecture). A Scientific Meeting in Honour of Pierre-Louis Curien, 9--11 September 2013, Venice, Italy.
Summer School on Verification of Infinite-State Systems, Laboratory for Basic Studies in Computing Science (BASICS), Shanghai Jiaotong University, China, 18--23 August 2013
Higher-Order Model Checking (Invited Plenary Lecture Series, 3 Hours). Annual Summer Meeting of the Association of Symbolic Logic, Logic Colloquium, 22--27 June 2013, Évora, Portugal.
Two-Level Game Semantics and Intersection Types. A Conference in Honour of Samson Abramsky, on the Occasion of His 60th Birthday, University of Oxford, 28--30 May 2013.
Recursion Schemes and Pattern Matching (Invited Lecture). Dagstuhl Seminar 13192: Tree Transducers and Formal Methods, 5--8 May 2013.
Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking (Invited Lecture Series, 3 Hours). 7th International Conference on Language and Automata Theory and Applications (LATA 2013), 2--5 April 2013, Bilbao, Spain.

2012

Verifying Actor-style Message-Passing Concurrency Automatically (Invited Plenary Lecture). 9th International Conference on Theoretical Aspects of Computing (ICTAC 2012), 24--27 September 2012, Bangalore, India.
Higher-Order Model Checking: From Theory To Application (Invited Lecture). Annual Workshop of the ESF Networking Programme on Games for Design and Verification, Napoli, Italy, 7--12 September 2012.
Two-Level Game Semantics and Intersection Types (Invited Plenary Lecture). 28th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2012) University of Bath, UK, 6--9 June 2012.
Recursion Schemes, Tree Automta and Higher-Order Model Checking (Invited Lecture). 1st International Workshop on Trends in Tree Automata and Tree Transducers (TTATT 2012) -- RTA 2012 Workshop, 2 June 2012, Nagoya, Japan.
Higher-Order Model Checking (Invited Lecture). 8th Workshop on Fixpoints in Computer Science (FICS 2012) -- ETAPS 2012 Workshop, 24 March 2012, Tallinn, Estonia.
(Invited Lecture and Panel Discussion Chair). Research Programme on Logic and Interaction, Centre International de Rencontres Mathématiques, Luminy, France, 6--10 February 2012.

2011

Recursion Schemes, Collapsible Pushdown Automata, and the Model Checking of Higher-Order Computation. Shonan Meeting Seminar 005: Automated Techniques for Higher-Order Program Verification, Shonan, Japan, 22--27 September 2011.
Games, Recursion Schemes and Semantics (Invited Lecture Series, 3 Hours). 38th Ecole de Printemps d'Informatique Théorique: GAMES, 23-27 May 2011, Carcans-Maubuisson, France. %(Invited Lecture course, 2.5 hours).
TLCA 11: Int. Conference on Typed Lambda Calculi and Applications, Novi Sad. PC Chair.

2010

RP 10: 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.

2009

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.

2008

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.

2007

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.

2006

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.

2005

PPS Seminar: 23 Nov. Speaker.
LFCS Seminar : 15 Nov. Speaker
Cambridge Seminar: 21 Oct. Speaker.
GAMES 05.
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.
FOSSACS 05.
TLCA 05.
Synthesis + Planning 05.
LPAR 05

2004

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.

2003

ICC 03.
LCC.
LICS 03.

2002

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