Vincent Danos - Academic Activities - 2002-present

Invited talk: CONCUR 2016, Quebec, Aug 25-26
Residence: Simons Institute Program Logical Structures and Computations, Berkeley, Aug 17-Dec 16
Invited talk: SysMod SIG 2016, ISMB, Orlando, Jul 9
Invited talk: IPM Formal Methods Day, Teheran, Jan 10
Course: Disruptive Technologies and Public Policy, Sciences Po, School of Public Affairs, Paris, Sep-Nov
PC: Computational Methods in Systems Biology, CMSB'16, Cambridge, Sep 21-23
MSc. Interns (ENS)
David Rodrigues - Toy growth models of the tRNA macroeconomics

Invitation: Alan Turing Institute Scoping Workshop, Networks and Big Data, London, Dec 18
Invitation: Alan Turing Institute Scoping Workshop, Data Rich Phenomena - Modelling, Analysing & Simulation Using Partial Differential Equations, Dec 14-16, Cambridge
Keynote: Design, optimization, and control in systems and synthetic biology, Paris, ENS, Nov 12-13
Invitation: Alan Turing Institute Scoping Workshop, Topological data analysis, London, Sep 10-11(declined)
Keynote: Static Analysis and Systems Biology, SASB, Saint-Malo Sep 8
Talk: Conference de rentree des eleves, ENS Cachan, Sep 7
Invitation: Simons Institute workshop on Dynamic Biological Modeling: Abstractions, Algorithms and Logic, Berkeley, Aug 10-14 (declined)
Keynote: 7th Conference on Reversible Computation, RC'15, Grenoble, Jul 16-17
Keynote: Tsinghua Software Days 2015, Tsinghua, Beijing, Apr 20-21
Member of the ERC Consolidator evaluation panel PE1 (Mathematics)
Member of the Board of the Centre de Recherches Interdisciplinaires
PC (co-chair): Integrative Cell Models, Lorentz Workshop, Leiden, Jan 26-30
PC (co-chair): Self-assembly and Self-organization in Computer Science and Biology Seminar 15402, Dagstuhl, Sep 27-Oct 2
PC: 7th Conference on Reversible Computation, RC'15, Grenoble, Jul 16-17
PC: Fourth International Workshop on Hybrid Systems Biology, HSB'15, Sep 4-5 (declined)
School: Advance Course on Computational Systems Biology, Les Arcs, Apr 6-11
Computational Biology II , Master Approches Interdisciplinaires du Vivant, CRI, Paris
Course: Whole cell Modelling , Ecole Doctorale Frontieres du Vivant, CRI, Paris
PhD students starting 2015
Andreea Beica (ENS) - Max-parallel approximations of discrete stochastic models
Guillaume Terradot (Edinburgh) - Models of bacterial growth and global regulation
William Waites (Edinburgh) - Evolutionary strategies and tissue mechanics - Synthetic Biology Research Centre.
PhD students finished 2015
Ricardo Honorato-Zimmer (Edinburgh) - "Thermodynamics of graph-rewriting"
Milana Filatenkova (Edinburgh) - "Quantitative tool for in vivo analysis of DNA processing proteins using High Resolution Sequence Data"
John-Wilson Kanamori (Edinburgh) - "Defining complex rule-based systems in Space and over Time"
MSc. Interns (ENS)
Eleonore Bellot - models of cellular entropy production rate
Xavier Zaoui - models bacterial growth and interferences between antibiotics
Danae David - knowledge representation in the biochemistry of signalling pathways
Ihab Boulas - models of transmission of editing plasmids

Keynote: ICFEM 2014, special track biology, Luxembourg, 3-7 Nov
Keynote and Invitation: TUCS Distinguished Lectures, Turku, Oct 31 (shifted)
Talk: TaMaRa lab, Oct 6, Paris
Invitation: Workshop on Control Engineering and Synthetic Biology, 10-12 Sep, Oxford
Invitation: Luca Cardelli Fest, Cambridge, Sep 8-9
Keynote: SASB workshop, Munich, Sep 10 (declined)
Keynote: ISGSB 2014, Durham, Sep 5-8 (declined)
Keynote: Workshop on Graph-based tools York, Jul 25
Keynote: VEMDP Vienna, Jul 17
Invitation: Dagstuhl Seminar,"Feature Interactions: The Next Generation" Jul 6-11 2014 (14281) (declined)
Invitation: "Open Problems in Concurrency Theory" IFIP Working Group 1.8, 16-22 Jun 2014, Bertinoro (declined).
Keynote: CS2Bio Berlin, Jun 6th
Talk: Edinburgh maths-bio seminar, May 27
Keynote: Stochastic Biology: from Cells to Populations, May 4-7 2014, IST Austria
Talk: Bounded Rationality workshop Edinburgh, Apr 4-5
Talk: Flowers Consortium ISAB review London, Apr 1-2
Invitation: Franco-Scottish Computer Science Seminar, Edinburgh, Feb 14
Invitation: Seminaire d'histoire des probas et de la statistique, Centre Koyre, Paris, 17 Jan 2014
Public outreach: news and views on Markus Covert piece in the french edition of Scientific American, May
Consultant: DARPA Big Mechanism programme; a USD 2M, 42 months project led by Fontana (Harvard)
Member of Expert Panel for Fondation pour la Recherche Medicale (declined)
EATCS Best paper award for "Transformation and Refinement of Rigid Structures", 7th ICTG conference
PC: RECOMB 2014, Pittsburgh, Apr 2-5
PC: HSB'14 (3rd International Workshop on Hybrid Systems Biology), Vienna
PC: TermGraph'14 (3rd International Workshop on Hybrid Systems Biology), Vienna
PC: Sixth International Workshop on Bio-Design Automation, Boston, Jun 11-12

Invitation: Molecular Programming Workshop, Oxnard, California, Dec 13-15, 2013 (declined)
Invitation: Workshop on Information and Processes, CIAPA, Costa Rica, Dec 15-18 (declined)
Invitation: 10th birthday Conference, laboratoire de mathématiques appliquées (MAS) de l'école centrale Paris, Dec 11-13
Invitation: 8th Scottish Category Theory Seminar, International Centre for Mathematical Sciences, Edinburgh, Nov 29
Invitation: Wageningen Centre for Systems Biology (WCSB), Nov 11-12
Invitation: Innsbruck Computer Science colloquium, Oct 24
Talk+Panel: Franco-British Symposium on Synthetic Biology 17-18 Oct, French Embassy, London
Invitation: Workshop on Genomics, Computational & Systems Biology at TGAC, Norwich Sep 16 2013 (declined)
Invitation: 4th COMBINE Forum, Institut Curie, Paris Sep 16-20
Invitation: UK-South Korea Global Partnership workshop, London, July 8
Invitation: Flowers annual meeting, Cumberland Lodge, May 8-9
Invitation: Centre Cournot Paris, Apr 25
Invitation: Colloque inaugural PPS-LIAFA, Paris, Apr 22
Invitation: ETH Basel, Mar 21-22
Invitation: Systems Biology Seminar Dundee, Mar 11
Invitation: Tokyo University (declined)
Invitation: Evaporation of things, Edinburgh, Mar 13
Invitation: UCL, Apr 4 (cancelled)
Invitation: Quo Vadis, Quantum Physics? Workshop, International Institute of Physics, Natal Feb 25-Mar 1
Invitation: Workshop on Graph Transformations, Leicester, Jan 25
Poster: Information, probability and inference in systems biology (IPISB 2013), Edinburgh Jul 15-17
Contributed talk: winter q-bio Hawai, Feb 19-21
Member of the ERC Consolidator evaluation panel PE1 Mathematics
ERC Advanced Grant 2013-2017
Invited paper for the Prakash Panangaden Festschrift
Invited paper for the Glynn Winskel Festschrift
Invited paper for the Samson Abramsky Festschrift
Founding member of the Edinburgh multi-scale modelling group
PC: CMSB 2013
PC: CAV 2013

Keynote: IoSSB annual conference, Nov 14, Imperial, London
Keynote: EuroSysBio, Madrid, Oct (?)
Keynote: MeCBIC 2012, Newcastle, Sep 8
Keynote: Session on 'Computability, Logical and Physical', Logic Colloquium 2012, Manchester, Jul 12-18
Keynote: LSB'12 LICS satellite, Dubrovnik, June 30
Keynote: Newton Institute Workshop on "The Incomputable", Kavli Royal Society International Centre, Chicheley Hall, Jun 12-15
Keynote: CMACS Workshop on Systems Biology and Formals Methods (SBFM'12), NYU, Mar 29-30
Keynote: NVTI (Nederlandse Vereniging voor Theoretische Informatica), Utrecht, Mar 23
Keynote: Lorentz Center Workshop, Bioinformatics and Systems Biology - Bridging the Divide, Leiden, Feb 14-17
Invitation: Dagstuhl Seminar (12352) "Information Flow and its applications", Jul 26-31
Invitation: Leicester Computer Science seminar on Latest Research Directions, Feb 3
Director of the Centre for Synthetic and Systems Biology at Edinburgh (SynthSys)
Invited paper to Philosophical Transactions A/Interface Focus for the Turing Centenary
Session chair at the Turing Centenary Symposium, Edinburgh, May 11
Course: BCI PhD summer school Udine, Sep 10-14
Course: Workshop on Formal Approaches to Modelling in Systems Biology Postgraduate course, SynthSys, Edinburgh, Apr 23-27
Course: Computational Biology Undergraduate course, AIV, Paris, Mar 19-22
PhD: (examiner) Thomas Courtat, Universite Paris Diderot, Jan 30
PC co-chair: FMSB workshop (Formal Methods in Systems Biology), satellite of CAV'12
PC: DCM 2012, satellite of CiE 2012
PC: CAV 2012
PC: CMSB 2012
PC: RC 2012
PC: ICALP 2012 (declined)
PC: TAMC 2012, Beijing (declined)
PC: RTA 2012 (declined)
PC: Ackermann prize jury (declined)
PC: Workshop on Natural Computing and Graph Transformation, satellite to the 6th International Conference on Graph Transformations, Bremen, Sep 24-29 (declined)
Keynote: FHIES'12, Paris, Aug 27-28 (declined)

Keynote: DNA 17, CalTech, Pasadena, Sep 2011
Keynote: BioCAD workshop at 12th ICSB 2011 (declined)
Keynote: CALCO'11 Fourth International Conference on Algebra and Coalgebra in Computer Science, Aug 30-Sep 2 2011, Winchester
Keynote: Workshop on Computational Systems Biology, Jun 7 - 9, ETH, Zurich
Keynote: Workshop Toward Systems Biology, May 30 - Jun 1, Grenoble
Keynote: CSBE International Scientific Advisory Board Talk, Edinburgh, May 19
Keynote: Bioinformatics IPA Spring days, Apr 12-14, Netherlands
Keynote: Final Meeting ANR Choco, Apr 4-7
Keynote: CS2Bio 2011, Iceland (declined)
Invitation: Molecular Programming Workshop, Jun 16-18, 2011, Friday Harbor Labs, Washington State
Invitation: Departmental Seminar, School of Computer Science, Birmingham, May 5-6
Invitation: EBI Departmental Seminar, Cambridge, Feb 8
Invitation: MSR Cambridge, Feb 7
Invitation: Dagsthul Seminar, decision procedures in hard/soft and bio-ware (declined), Jul 2011
Invitation: Departmental Seminar, School of Computer Science, Aberdeen (declined)
Best model prize for the Edinburgh team at European finals IGEM, Amsterdam, Oct
Panelist on the DNA 17 "Hard Problems in DNA Computing and Molecular Programming"
Editorial Board of Mathematical Structures in Computer Science
Invitation to Home Office Workshop on Synthetic Biology, Royal Society, London, Sep 29
Course: ER-06 Winter School ENS Lyon Feb 14-18
Course: Computational Biology, undergraduate course, AIV, Paris, Jan
Course: Kappa tutorial, CSBE, Edinburgh, Feb 9
PC: MFPS 2011, CMU, Jul
PC: CMSB 2011, Rocquencourt, May
PC: CompMod 2011, Aachen, Sep 10
PC: ISMB/ECCB 2011, Vienna
PC: qBIO rule-based workshop, 2011
PC: Chair of special session, TAMC, Tokyo (declined)

Keynote: ICSB'10 special workshop on Advanced Modeling and Simulation Techniques, Edinburgh, Oct 15
Keynote: ICSB'10, Combinatorial and Multiscale Modeling session, Edinburgh, Oct 13
Keynote: HiBi'10 Oct, Twente (declined)
Keynote: Computer Science Symposium, IST Austria, May 6-7 2010
Keynote: LICS'10, Jul 14, Edinburgh
Invitation: Ed Clarke's CMACS seminar, CMU, Feb 19
Invitation: Departmental Seminar, Oxford, Computer Science, May 1
Invitation: Departmental Seminar, Systems Biology Ireland, Dublin, Dec 13-15
Invitation: Dagsthul seminar, Verification over discrete-continuous boundaries (declined), Jul 2010
Invitation: MSR Cambridge, Jun 16-18
Invitation: INRIA Porgy project, Bordeaux, Jun 4-5
Invitation: ICNAMM invitation for mini-symposium, Rhodes, Sep (declined)
co-Chair of the "Combinatorial and Multiscale Modeling session" session ICSB'10
Chair of the ICSB'10 tutorials, Oct 10, Edinburgh
Chair of the SIG Biopathways ISMB'10, Jul 10, Boston
Best model prize for the Edinburgh team at IGEM, Boston, MIT, Nov
PhD: (examiner) Marek Kwiatkowski, University of Edinburgh, Oct 22
PC: ICSB'10, Edinburgh
PC: MFPS'10, Ottawa
PC: LICS'10, Edinburgh
PC: ISMB'10, Boston
PC: CONCUR'10, Paris
PC: CS2Bio, Amsterdam, Jun 10
PC: CSL'10 (declined)
PC: RC'10, reversible computation, Bremen, Jul 2-3 (declined)

Keynote: Emerging Modelling Methodologies in Medicine and Biology, ICMS Workshhop, Jul 20-24, Edinburgh
Keynote: 4th Scottish biosystems modelling network, 6th Annual Aberdeen Systems Biology Symposium, Aberdeen, May 15, 2009
Keynote: Qbio Systems Biology conference, Peking University, Beijing, Jul 17 (declined)
Keynote: From Biological Networks to Cellular Function: Evolution, Dynamics and Spatial Organization, Jun 10-12, Abdus Salam ICTP, Trieste (declined)
Keynote: Collaborative Conference on Bioinformatics, Jun, OCCBio, Ohio (declined)
Keynote: International Conference on Rewriting Theory and Applications, RTA 2009, Jun 29-Jul 1, Brasilia (Brasil)
Keynote: QAPL 2009, 7th Workshop on Quantitative Aspects of Programming Languages, Mar 28-29, York (UK), ETAPS workshop
Keynote: Bridging The Gap workshop, Glasgow, Jul 17
Keynote: Discrete models of biological networks, CIRM workshop, Nov 3-7
Invitation: "Bridging the gap" lecture, Sheffield
Invitation: Department of Systems Biology Seminar, Warwick Jan 27
Invitation: Gennetec training course Jan 21
Invitation: Dagsthul seminar, Formal Methods in Molecular Biology, Feb 2009 (declined)
Invitation: COSBI center, Trento (declined)
Invitation: Leeds logic seminar (declined)
Kappa language mentioned in a Nature technology feature that discusses the complexity of cellular interactions, Jul 16
Interview Nature, Jun 9
Bio-modelling workshop, Bellairs Institute, Barbados, Mar 16-20
PC: Theory and Applications of Models of Computation (TAMC 09), 26-30 May 2009, Changsha, China.
PC: Reversible Computation, RC'09, satellite workshop of ETAPS 2009, York Mar 22 2009
PC: ICE'09
PC: SOS'09
PC: CompMod'09, 2nd International Workshop on Computational Models for Cell Processes
PC co-chair: DCM'09

Keynote: Nordic Workshop on Programming Theory, Tallinn, 19-21 Nov 2008
Keynote: Natural Computing Summer School, Bertinoro, Sep 2008
Keynote: ESF Workshoop on Correlations, Brussels, Aug 2008
Keynote: 9th Workshop on Membrane Computing, Edinburgh Jul 2008
Keynote: Foundations of Informatics, Computing and Software (FICS'08), Shanghai, Jun 3-6 2008
Keynote: EPFL Summer Research Institute (SuRI) Jul 07-12 2008, Lausanne
Keynote: SOS ICALP'08 workshop, Jul 12 2008, Reykjavik
Keynote: bi-invited talk PAuL and SOS ICALP'08 workshops, Jul 6 2008, Reykjavik
Keynote: Formal Methods in System Biology 2008, Cambridge, Jun 4-5 2008
Keynote: Workshop on "Computational Models for Cell Processes", Turku, May 27 2008
Keynote: 5th annual Conference on Theory and Applications of Models of Computation (TAMC 2008), Xi'an, China, Apr 25-29 2008
Keynote: 7th annual thematic school of the Epigenomics program "Modelling of complex biological systems in the context of genomics", Villeneuve d'Ascq, Apr 7-11 2008
Keynote: Samson Abramsky's Clifford Lectures, New-Orleans, Mar 16-22 2008
Keynote: Summer School MOVEP, Jun 23-27 2008, Orleans
Keynote: Journee Francaises de Langages Applicatifs, Jan 2008 (declined)
Invitation: Tri-Institutional Seminar Series, Rockfeller, MSKCC and WMCCU, Feb 14 2008
Invitation: Northeastern University College of Computer and Information Science colloquium, Feb 11 2008
Invitation: QMW distinguished seminar
Invitation: Distinguished Scholar Invitation, Chinese Academy of Science, Institute of Software, Beijing May 1-15 2008
Invitation: Tsinghua University, Beijing May 16-30 2008
SFI external Faculty member 2008-2011
Harvard Medical School Visiting Professor 2007-2008
PC: ICE ICALP'08 workshop
PC: FBTC'08 ICALP'08 workshop
PC: QPL-DCM'08 ICALP'08 workshop
PC: Onward! 2008 OOPSLA workshop
PC: BioPathways ISMB'08 workshop (Toronto)

Keynote: American Society of Cell Biology, Systems Biology of Receptor Tyrosine Kinase Networks session, Dec 1 2007
Keynote: Asian Symposium on Programming Languages and Systems (APLAS 2007) Nov 29-Dec 1 2007, Singapore
Keynote: CMSB'07, Computational Methods in Systems Biology, Edinburgh, Sep 2007
Keynote: IICQI Iranian International Conference on Quantum Information, Kish, Sep 10 2007
Keynote: WG 1.8 Workshop on Applying Concurrency Research in Industry, Lisbon, Sep 7 2007
Keynote: International Conference on Concurrency Theory (CONCUR 2007), Lisbon, Sep 4-7, 2007
Keynote: E. Shapiro symposium, Jul 9-10, Paris, 2007
Keynote: 5eme ecole thematique "Modelling of complex biological systems in the context of genomics", Evry, Apr 30-May 4 2007
Keynote: Mathematical Foundations of Programming Semantics (MFPS), Tulane, Apr 10-14 2007
Keynote: International Workshop on graph transformation for verification and concurrency (GT-VC), Lisbon, Sep 3 2007
Invitation: Sharif University, Tehran, Sep 13 2007
Invitation: Sloane-Kettering Cancer foundation, New York, Jun 21 2007
Invitation: Workshop on SBML specification, Santa Fe, Jun 14-15
Invitation: MIT Bioinformatics seminar Feb 28 2007
Scientific Board Ecole Doctorale Interdisciplinaire FdV, 2007-
PC: "Protein Interactions and Molecular Networks" ISMB/ECCB 2007
PC: CMSB'07, Computational Methods in Systems Biology, Edinburgh, Sep 2007
PC: Bio Pathways, ISMB/ECCB 2007 satellite
PC: POPL 2008, Edinburgh, Sep 27-28 2007
PC: QAPL07, ETAPS satellite
PC: co-Chair DCM07, LICS and ICALP satellite, Jul 15 2007

Keynote: International Conference Emerging Trends in Concurrency Theory, Ecole Polytechnique Nov 13-15 (declined)
Keynote: Societe Marocaine de Bio-Informatique, Tanger, Nov 2006 (declined)
Keynote: Jobim satellite, "Modeles dynamiques: reseaux metaboliques et interaction hote-pathogene", Jul 4, Bordeaux
Keynote: Abstraction, modularite et compositionnalite dans les reseaux geniques et proteiques, ACI VicAnne, 23 Jan
Keynote: Second Workshop on Quantum Computation, Barbados, 19-26 Mar
Keynote: Bionetworks, Workshop Geocal'06 13-17 Feb
Keynote: ASL Meeting May, categorical quantum logic (declined)
Invitation: Theory Lunch, Harvard Medical School, Oct
Invitation: Santa Fe Institute, Jun 4-14, 2006
Invitation: Dagstuhl seminar, Simulation and Verification of Dynamic Systems, 17-22 Apr (declined)
Invitation: ICT Trento, Microsoft
Keynote: MOCA day, May 19, Lille
Invitation: Fontana lab at Harvard Medical School Boston, May 2006
Invitation: Petit-dejeuner valorisation, Universite Paris-Diderot, Dec 14. -
Founding member of IFIP WG 1.8 working group
Member of the external review committee of ICT Trento
Member of the experts group of ANR (Agence National de la Recherche)
Member of the INRIA Rocquencourt CR2 recruitment panel
Participation to the SFI Business Network and Board of Trustees Symposium, Nov 2-4
Member of the working group "Informatique quantique"/"logique et complexite", GDR Info et Maths, Jun
PhD: (examiner) Simon Perdrix, Dec 11, Grenoble
PhD: (examiner) Mehrnoosh Sadrzadeh, Montreal
PhD: (supervisor) Samuel Hym
PhD: (supervisor) Fabien Tarissan
Course: "Models of Biological Networks", MPRI, Sep 2006-Feb 2007
PC co-chair: Geocal06, Workshop on Probabilistic Models, Feb, Luminy
PC: CNRS Interdisciplinary Summer School on Life Sciences, Berder
PC: MeCBIC'06, Workshop On Membrane Computing and Biologically Inspired Process Calculi)

Keynote: Workshop on Classical and Quantum Information Security, Caltech, 15-18 Dec 2005
Invited Talk: "Reversible Process Algebras", Montpellier, Geocal, 17-18 Mar 2005
Invited Talk: "Biologie Formelle", Seminaire Logique et Philo, Paris 1, 22 Apr 2005
Invited Talk: "Measurement-based quantum computing", Birmingham, MFPS XXI, 18-21 May 2005
Invited Talk: "LMP approximants", Birmingham, MFPS XXI, 18-21 May 2005
Talk: "Property-driven statistics of biological networks", Edinburgh, CMSB'05, 3-5 Apr 2005
Talk: "Self-assembling graphs", IWINAC, 15 Jun 2005
Talk: "Pauli Measurements are universal", Chicago, QPL05, 1 Jul 2005
Talk: "Determinism and the one-way model", Tokyo, EQIS05, 26-30 Aug 2005
Keynote: "The measurement calculus", Oxford Computing Lab, 2-4 Feb 2005
Invitation: Boston, Harvard, Walter Fontana 18-23 Jan 2005
Invitation: Innsbruck, Hans Briegel, 5-11 Feb 2005
Invitation: Lectures on measurement based quantum computing, Mio Murao, Tokyo, 12-24 Feb 2005
Invitation: Formal Molecular Biology, Rene Vestergaard, JAIST, 21-22 Feb 2005
Invitation: Domain Theory and Space-time Structure, Bellairs Workshop 25-29 Apr 2005
Invitation: Boston, Harvard, Walter Fontana 5-14 May 2005
Invitation: IQC, Waterloo, Ontario, 12-29 Jul 2005
Invitation: Montreal, McGill, Prakash Panangaden 6-24 Oct 2005
Course: "Models of Biological Networks", MPRI, Sep 2005-Feb 2006
PhD: (examiner) Jerome Feret (Ecole Polytechnique) 25 Feb 2005
PhD: (examiner) Francisco Alberti (Universite Paris-Diderot) 27 May 2005
Organisation: Q-day 2, IHP, 8-9 Dec 2005 Paris
PC: DCM'05
PC: Ecole de Berder'05
PC: Bioconcur'05
PC: RIAMS 05 (workshop satellite IPG 2005)

Invited Talk: "Auto-assemblage", LaMI, Evry, Jan 16
Invited Talk: "Hybrid Petri Nets", Atelier Epigenese/Genopole, Evry, Jan 23
Invited Talk: "Projective Brane-Calculus", Ecole "Modelisation et simulation de processus biologiques", Evry, 1 Apr
Invited Talk (Prakash Panangaden): "A Fixpoint Logic for probabilistic processes", Oxford Computing Lab, 9-15 Feb
Invited Talk: Ecole interdisciplinaire de biologie, Berder (golfe du Morbihan), 21-26 Mar
Invited Talk: Ecole Evry-Genopole, 29 Mar-3 Apr
Invited Talk: Dagstuhl Seminar 04241 Workshop on Process Calculi and Graph Transformation, 6-11 Apr(declined)
Conference Talk: "Reversible Process algebras", CONCUR'04, London, 31 Aug
Invited Talk: "Parsimonious and robust implementations of generators in the one-way model", IQC, Waterloo
Keynote: "Almost sure Bisimulation", Bellairs Workshop on Probabilities in AI, Barbados, 18-25 Apr
Keynote: "Formal Molecular Biology", Logic in Systems Biology Workshop, Turku, 18 Jul
Invited Talk: "Formal Biology, the next science?", LIX, 11 Jun
Invitation: Martin Escardo, University of Birmingham, Jun
Invitation: Elham Kashefi, Institute for Quantum Computing, Waterloo University, 15 Oct-15 Nov
Invitation: Prakash Panangaden, McGill University, 3-7 Nov
Invitation: Josee Desharnais, Universite de Laval, Quebec, 6-26 Aug
Public outreach: bio-informatique, Science & Vie, Dec
Course: "Modeles Probabilistes et Modeles Biologiques", ENSTA, Feb-Apr
Course: "Modeles Concurrents des Systemes Biologiques", DEA de Programmation Paris 7, Jan-Apr
Course: "Biologie Formelle", MPRI Paris 7, 50h, Oct-Feb
PhD: (supervisor) Michel Hirschowitz, Universite Paris-Diderot, Dec 17
Organisation: Q-Day, Dec 14, Paris
PC (co-chair): CMSB'04, Paris, 26-28 May
PC: Logic and Systems Biology, LICS'04 Satellite, Finland, 18 Jul

Keynote: "Conditional Expectation and LMPs", MFPS, 19-22 Mar (mathematical foundations of programming and semantics)
Keynote: "Conditional Expectation and LMPs", Workshop on Proof Theory and Algorithms, ICMS, Edinburgh, 23-29 Mar
Keynote: "Martingales and Markov interactive approximation", Bellairs Workshop on Domain Theoretic Methods in Probabilistic Processes, Barbados, 20-27 Apr 2003
Keynote: Séminaire LIFL modélisation régulation et interaction biologique, Lille, 5 May
Invited course: Concurrency and Formal Biology, Trento, May 19th/May 30th, 20 hours
Keynote: "Core Formal Molecular Biology", Workshop on Concurrency Theory, Fields Summer Program, Ottawa, Jun 19-20
Talk: "Graphs for Formal Molecular Biology", CMSB'03, Rovereto, 24-26 Feb
Talk: "A formal modeling language for the working molecular biologist", CMSB'03, Rovereto, 24-26 Feb
Talk: "Core Formal Molecular Biology" deuxième réunion de l'AS "Méthodes formelles pour la mobilité", Lyon, 10-11 Mar
Talk: "Core Formal Molecular Biology", ESOP'03, Warsaw, 9-11 Apr
Talk: "A Fixpoint Logic for Labeled Markov Processes", FICS'03, Warsaw, 12-13 Apr
Talk: "Labeled Markov Processes: stronger and faster approximants", LICS'03, Ottawa, Jun 22-25
Talk: "Conditional Expectation and the approximation of Labeled Markov Processes", CONCUR'03, Marseille, Sep 2003
Talk: PPS Scientific Committee, Nov 14
Talk: Journees Graphes, Réseaux et Modélisation, Dec 17-18, Paris
Outreach: Master class Science & Television, Nov 13, Paris
Invited course: Formal Molecular Biology, Bologna, 20 hours, Sep 22-Oct 3
Course: "Modelisation de Systèmes biologiques", Magistère deuxième année ENS Paris et ENS Cachan, Oct-Jan
PhD: (examiner) Daniele Varacca (BRICS) Nov 24, Aarhus
PhD: (examiner) Frederic de Jaeger (Universite Paris-Diderot) Nov 13
PC: FOSSACS'2003 (Foundation of software sciences and computer systems) Apr 7-9
PC: TLCA'2003 (Typed lambda-calculus and applications)
PC: CMSB'2003 (Computational methods in systems biology)
PC: WAIT'2003 (Argentinian Workshop on Theoretical Computer Science), Apr
PC (chair): Bio-Concur'2003, satellite of CONCUR'03, Sep

Talk: Journées du GDR ALP 28-29 Jan
Talk: Séminaire PPS Feb 14
Talk: Séminaire Logique Chambéry, Mar 14
Talk: Institut Jacques Monod, U. Paris-Diderot
Talk: ENS Cachan, Journée Sécurité Sep 27
Talk: Méthodes Formelles pour la Mobilité, Action Spécifique CNRS, Dec 6, Paris 13
Invitation: COGS Lab, Sussex University, 4-9 Feb
Invitation: PPS Theoretical Computer Science Spring School 24-29 Mar
PC: LICS'2002
PC (co-chair): Biopathways satellite ICSB'02 "Function in Biological Networks", Stockholm