Vincent Danos - Academic Activities - 2002-2013

2013
Invitation: 10th birthday Conference, laboratoire de mathématiques appliquées (MAS) de l'école centrale Paris, Dec 11-13
Invitation: Innsbruck Computer Science colloquium, Oct
Invitation: 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 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
-
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

2012
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)

2011
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)

2010
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)

2009
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

2008
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: LICS'08
PC: BioPathways ISMB'08 workshop (Toronto)
PC: ISMB'08
PC: ESOP'09

2007
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
PC: NETTAB 2007

2006
Keynote:
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
-
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 2006
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: probabilistic transition systems, GeoCal'06 Feb
PC: FLOPS'06
PC co-chair: Geocal06, Workshop on Probabilistic Models PC: CNRS Interdisciplinary Summer School on Life Sciences, Berder
PC: MeCBIC'06, Workshop On Membrane Computing and Biologically Inspired Process Calculi)

2005
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: CONCUR'05
PC: CMSB'05
PC: ISMB'05
PC: MFPS'05
PC: DCM'05
PC: Ecole de Berder'05
PC: Bioconcur'05
PC: RIAMS 05 (workshop satellite IPG 2005)

2004
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
PC: FOSSACS'05
PC: BIOCONCUR'04

2003
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

2002
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