Current Past Me Papers Talks Artifacts Extra HotPage
  • All Talks
  • Presentations
  • Summaries
Talks
  • Sequenceable Event Recorders
    • [PDF] Applied Systems Biology Course at Pázmány Péter Catholic University, September 27, 2022.
    • [PDF] CELLS 2021 Workshop, October 8, 2021. https://parsys.lri.fr/CELLS/
  • Integrated Scientific Modeling and Lab Automation
    • [PDF] Applied Systems Biology Course at Pázmány Péter Catholic University, September 27, 2022.
    • [PDF] SPLASH 2021 Keynote, October 21, 2021. https://2021.splashcon.org/
    • [PDF] QAVAS Group talk, Oxford, September 28, 2021.
    • [PDF] DNA 27 Keynote, Oxford, September 15, 2021. http://dna27.iopconfs.org/oral-programme
    • [PDF] IMT Lucca, June 17, 2021.
    • [PDF] University of Washington, May 13, 2021.
    • [PDF] [Video] APLAS 2020, Virtual, November 30, 2020.
    • [PDF] [Video] CMSB 2020, Virtual, September 25, 2020.
    • [PDF] Biocompute Club, Virtual, May 15, 2020.
    • [PDF] IWBDA Workshop, Cambridge, July 9, 2019.
  • Molecular Programming / Telling Molecules What To Do
    • [PDF] Applied Systems Biology School, Budapest, September 21, 2021.
    • [PDF] ACM Summer School on HPC for AI, Barcelona, August 30, 2021.
    • [PDF] IMT Lucca, June 17, 2021.
    • [PDF] UPTEC Future of Computing, Porto, July 4, 2019.
    • [PDF] UPTEC Future of Computing, Porto, June 26, 2018.
    • [PDF] Edinburgh, Milner Lecture, May 31, 2017.
    • [PDF] University of Pisa, April 3, 2017.
    • [PDF] Distinguished Lecture, Lisbon, September 28, 2016.
    • [PDF] IMT Lucca, November 25, 2015.
    • [PDF] Winton Symposium, Cambridge, September 28, 2015.
    • [PDF] University of Sussex, April 17, 2015.
    • [PDF] ECOOP Keynote, July 30, 2014.
    • [PDF] Microsoft Redmond, June 22, 2013.
    • [PDF] Hasselt, May 15, 2013.
    • PPT [PDF] Microsoft Engineering Excellence Talk, Redmond, December 6, 2012.
  • Programming with Chemical Reactions
    • [PDF] Biochemical programming of dynamical systems (AAIA Europe), September 28, 2022.
    • [PDF] Berkeley Programming Systems Seminar, September 26, 2022.
    • [PDF] UPTEC Future of Computing, Porto, July 4, 2019.
    • [PDF] Edinburgh, June 1, 2017.
  • IMT Lucca Lecture Series
    • [PDF] Molecular Programming (Lucca), March 28, 2017.
    • [PDF] Abstract Machines of SysBio (Lucca), March 29, 2017.
    • [PDF] Programming with Chemical Reactions (Lucca), March 30, 2017.
    • [PDF] Biochemical Algorithms (Lucca), March 30, 2017.
    • [PDF] Synthetic Biology (Lucca), March 30, 2017.
  • St Andrews Distinguished Lecture Series
    • [PDF] Molecular Programming, November 25, 2014.
    • [PDF] The Cell Cycle Switch Computes Approximate Majority, November 25, 2014.
    • [PDF] Morphisms of Reaction Networks, November 25, 2014.
  • Noise Reduction in Complex Biological Switches
    • [PDF] Simons Foundation Conference on Theory and Biology, New York, April 22, 2016.
    • [PDF] NETADIS Statistical Physics Approaches to Networks Across Disciplines, London, October 23, 2015.
  • Morphisms of Reaction Networks
    • [PDF] Beilstein Symposium, June 6, 2018.
    • [PDF] Computational Methods in Systems Biology, Invited Talk, Cambridge, September 22, 2016.
    • [PDF] Rockefeller University, New York, April 21, 2016.
    • [PDF] HSB Madrid, Fourth International Workshop on Hybrid Systems Biology, Invited Talk, September 4, 2015.
    • [PDF] London Mathematical Society, October 29, 2014.
    • [PDF] VEMDP Vienna, July 17, 2014.
    • [PDF] Molecular Robotics Workshop, Oxford, July 15, 2014.
    • [PDF] IMT Lucca, July 8, 2014.
    • [PDF] BIRS Programming with CRNs, Banff, June 11, 2014.
  • Challenges in Massive Concurrency
    • [PDF] Oxford, January 15, 2014.
  • Stochastic Pi-Calculus Revisited
    • [PDF] ICTAC'13, Shanghai, September 5, 2013.
  • The Cell Cycle Switch Computes Approximate Majority
    • [PDF] Caltech General Biology Seminar, 2015-06-02.
    • [PDF] Universita' Ca' Foscari, 2015-04-08.
    • [PDF] Computers and Molecules Workshop, Weizmann Institute of Science, Tel Aviv, 2015-03-02.
    • [PDF] CANES launch event, King's College, London 2014-10-08.
    • [PDF] MSR Workshop on Algorithms and Data Science, Cambridge 2014-05-15.
    • [PDF] MSRC Technical Advisory Board, Cambridge 2014-05-12.
    • [PDF] Iowa State University, Robert Stewart Distinguished Lecture, May 1, 2014. Robert Stewart Distinguished Lectures
    • [PDF] Northwestern University, CS+X Colloquium, April 29, 2014. CS+X Colloquium - Norwestern News
    • [PDF] Middlesex Algorithms Day, March 14, 2014.
    • [PDF] UCSF Center for Systems and Synthetic Biology, March 3, 2014.
    • [PDF] Oxford, February 14, 2014.
    • [PDF] Warwick, January 9, 2014.
    • [PDF] Aalborg, August 7, 2013.
    • [PDF] Anchorage, June 17, 2013.
    • [PDF] Princeton, May 21, 2013.
    • [PDF] Edinburgh, November 6, 2012.
    • [PDF] Liverpool, July 16, 2012.
    • [PDF] MSRC TAB, Cambridge, June 12, 2012.
    • [PDF] Dublin, May 25, 2012.
    • [PDF] ISAT Workshop, SRI, March 7, 2012.
  • Computing with Molecules
    • [PDF] Developments in Computational Models, Cambridge, June 17, 2012.
  • Biochemical Systems as Reactive Systems
  • On Switches and Oscillators
    • [PDF] MSRC, August 2, 2011.
    • [PDF] Oxford, May 17, 2011.
    • [PDF] Dept. of Computer Science, Univeristy of Torino, May 5, 2011.
  • On Speaking Languages
    • [PDF] MacQueen Fest, Chicago, May 12, 2012.
  • Reversible Structures
    • [PDF] CMSB'11, September 22, 2011.
    • [PDF] MeCBIC'11, August 23, 2011.
  • Continuous Markovian Logic
    • [PDF] CSL'11, September 15, 2011.
  • Modular Markovian Logic
    • [PDF] ICALP'11, July 7, 2011.
  • Speaking the Language of Molecules
    • [PDF] Dublin, May 25, 2012.
    • [PDF] ISAT Workshop, SRI, March 7, 2012.
    • [PDF] INRIA Scientific Board (short), Paris, November 18, 2011.
    • [PDF] Syngenta, October 12, 2011.
    • [PDF] CISBIO Open Day, July 13, 2011.
    • [PDF] Modelling Complex Biological Systems in the Context of Genomics, Sophia Antipolis, May 26, 2011.
    • [PDF] BioBITs, Torino, May 6, 2011.
    • [PDF] CSE Distinguished Lecture Series, University of Washington, November 16, 2010.
  • The Measurable Space of Stochastic Processes
    • [PDF] Quantitative Evaluation of Systems '10, Williamsburg, September 17, 2010.
  • Two-Domain DNA Strand Displacement
    • [PDF] MSRC TAB, Cambridge, June 14, 2011.
    • [PDF] Frontiers of Multidisciplinary Research, Exeter, September 21, 2010.
    • [PDF] Developments in Computational Methods '10, Edinburgh, July 9, 2010.
    • [PDF] Verification over Discrete-Continuous Boundaries, Dagstuhl, July 6, 2010.
    • [PDF] University of Tokyo, June 19, 2010.
  • Spatial Process Algebra for Developmental Biology / Processes in Space
    • [PDF] Computability in Europe, Ponta Delgada, July 2, 2010.
    • [PDF] Torino, March 23, 2010.
    • [PDF] Imperial College, December 4, 2009.
    • [PDF] MeCBIC, Bologna, September 5, 2009.
  • Molecules as Automata, Open Lectures for PhD Students in Computer Science
    • [PDF] Lecture 1, Warsaw, March 12, 2009.
    • [PDF] Lectures 2-3, Warsaw, March 12-13, 2009.
    • [PDF] Lectures 4-5, Warsaw, May 07-08, 2009.
    • [PDF] Lecture 6, Warsaw, May 08, 2009.
  • Molecular Programming
    • [PDF] MergingKnowledge, Trento, December 1, 2010.
    • [PDF] Seven Keys to the Digital Future - Guest Lecture, Edinburgh, Sepember 30, 2010.
    • [PDF] MSRC PhD Summer School, June 30, 2010.
    • [PDF] UC'10 Invited Talk, Tokyo, June 21, 2010.
    • [PDF] CS2Bio Invited Talk, Amsterdam, June 10, 2010.
    • [PDF] Reactive Modeling Symposium, IST Austria, May 6, 2010.
    • [PDF] Torino, March 24, 2010.
    • [PDF] SimuTools Keynote, Malaga, March 16, 2010.
    • [PDF] Exeter, March 10, 2010.
    • [PDF] Oxford, February 12, 2010.
    • [PDF] MSRC Lab Tutorial, Cambridge, February 11, 2010.
    • [PDF] Caltech, January 11, 2010.
    • [PDF] BIC-TA Keynote, Beijing, October 17, 2009.
    • [PDF] SynBioNT Meeting, Sheffield, October 12, 2009.
    • [PDF] University of Bologna, September 7, 2009.
    • [PDF] University of Southampton, July 10, 2009.
    • [PDF] Microsoft Redmond, June 29, 2009.
  • Strand Algebras for DNA Computing
    • [PDF] University of Washington, June 30, 2009.
    • [PDF] 15th International Meeting on DNA Computing and Molecular Programming, Fayetteville AR, June 10, 2009.
    • [PDF] Edinburgh, October 31, 2008.
  • Molecules as Automata, International Summer School on Natural Computation, BCN'08
    • [PDF] International Summer School on Natural Computation (Part 1), Bertinoro, September 21, 2008.
    • [PDF] International Summer School on Natural Computation (Part 2), Bertinoro, September 21, 2008.
  • Termination Problems in Chemical Kinetics
    • [PDF] CONCUR'08, Toronto, August 22, 2008.
  • Tools and Techniques for Discrete Systems Analysis
    • [PDF] C.elegans Modelling Workshop, Cambridge, July 7, 2008.
  • On The Computational Power of Biochemistry
    • [PDF] International Summer School on Natural Computation (Part 2), Bertinoro, September 21, 2008.
    • [PDF] Algebraic Biology '08, Linz, August 1, 2008.
    • [PDF] FMSB'08 Cambridge, June 5, 2008.
  • Process Rate Semantics
    • [PDF] Trento, March 13, 2008.
  • From Processes to ODEs by Chemistry
    • [PDF] 5th IFIP International Conference on Theoretical Computer Science, Milan, September 13, 2008.
  • Living Software
    • [PDF] L'INRIA a Quarante Ans, Lille, December 10, 2007.
  • Molecules as Automata
    • [PDF] Emergence in Chemical Systems 2.0, Invited talk, Anchorage AK, June 25, 2009.
    • [PDF] Formal Methods in Molecular Biology, Keynote talk, Dagstuhl, February 24 2009.
    • [PDF] (Overview) Molecular Programming Project Workshop, Keynote talk, Oxnard, January 8 2009.
    • [PDF] Scheffield, October 24, 2008.
    • [PDF] International Summer School on Natural Computation (Part 1), Bertinoro, September 21, 2008.
    • [PDF] University of Western Ontario, London Ontario, August 22, 2008.
    • [PDF] NSF Emerging Models and Technologies Workshop, Princeton, July 25, 2008.
    • [PDF] NEWSYNBIO Workshop, Paris, June 27, 2008.
    • [PDF] WADT'08 Invited Talk, Pisa, June 14, 2008.
    • [PDF] DNA Computing'08 Plenary Talk, Prague, June 3, 2008.
    • [PDF] Leicester, November 30, 2007.
    • [PDF] Workshop on Quantitative Biology Analyzed by Mathematical Methods, Linz, November 08, 2007.
    • [PDF] Doctoral Workshop, Pisa, October 26, 2007.
    • [PDF] QEST 2007, Edinburgh, September 19, 2007.
  • An Accidental Simula User
    • [PDF] ECOOP 2007, Dahl-Nygaard Senior Prize, August 2, 2007.
  • On Process Rate Semantics
    • [PDF] MFPS'08 Invited Talk, Philadelphia, May 24, 2008.
    • [PDF] University of Pennsylvania, Computer and Information Science Dept, May 30, 2007.
  • Artificial Biochemistry
    • [PDF] Algorithmic Bioprocesses, Leiden. Dec 4, 2007.
    • [PDF] MSRC 10th Anniversary. July 9, 2007.
    • [PDF] Longo Symposium. June 29, 2007.
    • [PDF] Carnegie Mellon University, POP Seminar. May 31, 2007.
    • [PDF] University of Pennsylvania, Computer and Information Science Distinguished Lecture Series, May 29, 2007.
    • [PDF] Newcastle School of Computing Science. May 15, 2007.
    • [PDF] INRIA Sophia Antipolis. May 10, 2007.
    • [PDF] BioWire 2007 Workshop, Cambridge. April 3, 2007.
    • [PDF] QAPL'07 Invited Talk, Braga. March 24, 2007.
    • [PDF] Centre for Computational and Systems Biology, Trento. Feb 21, 2007.
    • [PDF] Emerging trends in concurrency theory. Paris. Nov 15, 2006.
    • [PDF] Understanding Adaptive Multi-Component Systems. Rostock. Nov 10, 2006.
    • [PDF] Santa Fe Institute, Annual Business Network & Board of Trustees' Symposium. Nov 3, 2006.
    • [PDF] CMSB'06 Invited Talk, Oct 19, 2006.
    • [PDF] Grand Challenges in Informatics, Sep 20, 2006.
    • [PDF] Symposium for Gordon Plotkin, Sep 7, 2006.
    • [PDF] Computability in Europe, Invited Talk, July 5, 2006.
    • [PDF] Logic and Algorithms Program, Newton Institute, Cambridge, May 9, 2006.
    • [PDF] Simulation and Verification of Dynamic Systems, Dagstuhl Seminar, April 20, 2006.
    • [PDF] Scientific Opening Workshop, Centre for Computational and Systems Biology, Trento, April 3, 2006.
  • Can a Systems Biologist Fix a Tamagotchi?
    • [PDF] Gilles Kahn Colloquium, Paris, January 12, 2007.
  • Artificial Biochemistry (Course)
  • Bitonal Membrane Systems
    • [PDF] Workshop on Membrane Computing and Biologically Inspired Process Calculi, Venice, July 9, 2006.
  • A Compositional Approach to the Stochastic Dynamics of Gene Networks
    • [PDF] Interdisciplinary School on Noise and Robustness in Transcriptional Regulatory Networks, Coquelles, September 5, 2005.
    • [PDF] Concur 2005 Invited Talk, August 25, 2005.
  • A Graphical Representation for Stochastic π-calculus
    • [PDF] BioConcur 2005, August 27, 2005.
  • Where Membranes Meet Complexes
    • [PDF] BioConcur 2005, August 27, 2005.
  • Biological Systems as Reactive Systems (for biologists)
    • [PDF] Birmingham, Mar 20, 2006.
    • [PDF] Ludwig Maximilians Universitt Munich, Jan 26, 2006.
    • [PDF] Southampton, Nov 21, 2005.
    • [PDF] European Conference on Complex Systems 2005 Invited Talk, Nov 15, 2005.
    • [PDF] Cambridge Anatomy Department, Jul 5, 2005.
    • [PDF] Cambridge Computational Biology Institute MPhil Lecture, May 5, 2005.
    • [PDF] Munich MSFB Workshop, Apr 6, 2005.
  • Biological Networks in Stochastic pi-calculus
    • [PDF] Imperial College London, February 17, 2005.
  • A Correct Abstract Machine for the Stochastic pi-calculus
    • [PDF] A Correct Abstract Machine for the Stochastic pi-calculus, BioConcur, August 30, 2004.
    • [PDF] Simulating Biological Systems in the Stochastic pi-calculus. Microsoft Research Intern Talk, July 28, 2004.
  • Abstract Machines of Systems Biology
    • [PDF] Simulation and Verification of Dynamic Systems, Dagstuhl Seminar, April 19, 2006.
    • [PDF] Max Planck Institute for Software Systems, Saarbrucken, Mar 23, 2006.
    • [PDF] Newton Institute, Feb 21, 2006.
    • [PDF] Summer School on Biology Computation and Information, Dobbiaco, Sep 12..16, 2005.
    • [PDF] Computer Science Dept. Lausanne, Jun 3, 2005.
    • [PDF] Computer Science Dept. Brighton, Mar 21, 2005.
    • [PDF] Computer Science Dept. York, Mar 16, 2005.
  • Languages & Notations for Systems Biology
    • [PDF] Galileo Galilei School of Graduate Studies Colloquium, Pisa, December 14, 2004.
    • [PDF] Computer Science Dept, Sheffield, November 12, 2004.
    • [PDF] Unconventional Programming Paradigms, Invited Talk, Le Mount St.Michel, September 15, 2004.
    • [PDF] NETTAB Invited Talk, Camerino, September 7, 2004.
    • [PDF] University College London, May 17, 2004.
    • [PDF] [Executive Abstract] FET Workshop on Simulating Emergent Properties in Complex Systems, Bruxelles, May 12, 2004.
  • Membrane Interactions
    • [PDF] Logic and Systems Biology Workshop, Turku, July 18, 2004.
    • [PDF] [PDF] International School on Computational Sciences for Complex Systems in Biology, Rovereto, April 23, 2004.
    • [PDF] Imperial College London, March 24, 2004.
    • [PDF] New University of Lisbon, November 12, 2003.
    • [PDF] Queen Mary U.London, October 22, 2003.
    • [PDF] BioConcur'03, September 6, 2003.
    • [PDF] Microsoft Research Cambridge, August 6, 2003.
  • Transitions in Programming Models
    • [PDF] ICSE'05 St.Louis, Keynote Talk, May 18, 2005
    • [PDF] DISC'04 Amsterdam, Invited Talk, October 6, 2004
    • [PDF] New University of Lisbon, November 13, 2003.
    • [PDF] Microsoft Research European Faculty Summit, Cambridge, July 16, 2003.
  • Languages for Molecular Cell Biology
    • [PDF] Microsoft Redmond Technical Advisory Board, June 23, 2003.
  • From C# to Cinfinity
    • [PDF] Second Rotor Workshop, Pisa, April 23, 2003.
  • Manipulating Trees with Hidden Labels
    • [PDF] FOSSACS'03, Warsaw, April 8, 2003.
    A Spatial Logics for Concurrency
    • [PDF] CONCUR, Brno, August 21, 2002.
    Spatial Logics for Distributed Systems
    • [PDF] FWAN Workshop, Malaga, July 12, 2002.
    • [PDF] Strachey Lecture, Oxford, April 23, 2002.
  • Mobility and Spatial Logics (Minicourse)
    • [PDF] [PDF] 5th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Mobile Computing, Bertinoro, April 26-30, 2005.
    • [PDF] [PDF] Ecole de Printemps 2002, Semantique des Langages de Programmation, Agay, March 24-29, 2002.
  • Computation on Wide Area Networks (Minicourse)
    • PDF [PDF] [PDF] [PDF] [PDF] International School for Computer Science Researchers, Lipari, July 2-5, 2001.
    • Cambridge University Minicourse Lectures, May 8,9,15,16 2001.
  • Globality
    • [PDF] ETAPS'01 Invited Talk, Genova, April 4 2001.
  • A Query Language Based on the Ambient Logic
    • [PDF] Concoord Workshop, Invited Talk, Lipari, July 6 2001.
    • Birkbeck College London, Feburary 28 2001.
  • Global Computing
    • [PDF] Edinburgh, September 2000. IST FET Global Computing Consultation Workshop.
  • Logics for Mobility
  • Wide Area Computation
    • [PDF] Valladolid, November 2000.
  • Secrecy and Group Creation
    • [PDF] MFCSIT'00, Cork, July 20, 2000.
  • Semistructured Computation
    • [PDF] DBPL'99 Invited Talk, Kinloch Rannoch, September 2, 1999.
  • Mobility and Security (Minicourse)
    • [PDF] Lectures for the Marktoberdorf School on Foundations of Secure Computation, July 28 - August 7, 1999.
  • Anytime, Anywhere
  • Abstractions for Mobile Computation (Tutorial)
    • PostScript Tutorial: "Foundations for Wide Area Systems", FMOODS'99, February 17 1999, Florence Italy.
  • Mobile Ambients
    • [PDF] ETAPS'98, March 30 1998, Lisbon Portugal.
  • Abstractions for Mobile Computation
    • [PDF] April 30 1997, Princeton.
  • Everything is an Object
    • [PDF] Keynote Talk, ECOOP'97 Workshop on Prototype-based languages, Jyvaskyla Finland.(1997)
  • Object-Based Features
    • [PDF] Berkeley Lecture, March'97.
  • Objects, Classes, Abstractions
    • [PDF] FOOL'97 Invited Talk.(1997)
  • Program Fragments, Linking, and Modularization
  • A Theory of Objects
    • [PDF] University of Technology Sydney Minicourse (1997-08-04..15)
    • [PDF] LICS'97 Invited Talk, Warsaw (1997-06-29..02)
    • [PDF] ECOOP'97 Tutorial, Jyväskylä (1997-06-09..13)
    • [PDF] OOPSLA'96 Tutorial, San Jose (1996-10-06..10)
  • Class-based vs Object-based Languages (Tutorial)
    • [PDF] PLDI'96 Tutorial.(1996)
  • Ambit
  • What is the Web's Model of Computation?
    • [PDF] WWW5 Workshop on Programming the Web: a Search for APIs, Invited Talk.(1996)
  • Foundations of Object-Oriented Programming
    • [PDF] (1996)
    • [PDF] Horizon Day, Indiana University (1995-10)
  • Obliq
    • [PDF] Distributed Mobile Computation in Obliq (1997-04)
    • [PDF] Obliq: A Language with Distributed Scope (1995-05)
  • On Subtyping and Matching
    • [PDF] ECOOP'95 Invited Talk. (1995-08)
  • Operationally Sound Update
  • Type-Driven Language Design (Tutorial)
    • [PDF] PLDI'95 Tutorial.(1995)
  • An Imperative Object Calculus
    • [PDF] FASE'95 Talk.(1995-05)
  • Object Types with Self
  • Princeton Talk on Objects
    • [PDF] ML 2000 Meeting (1994-07)
  • A Theory of Primitive Objects
    • [PDF] ESOP'94 Invited Talk.(1994-05)
  • Typed Foundations of Object Oriented Programming (Tutorial)
    • [PDF] POPL'92 Tutorial. (1992)
  • Typeful Programming (Lecture Series)
    • IFIP State of the Art Seminar on Formal Description of Programming Concepts, Bombay, Feb 21-27, 1992.
    • [PDF] IFIP State of the Art Seminar on Formal Description of Programming Concepts, CEDAV Serpro, Petropolis, Rio de Janeiro, Brazil, 18-28 April 1989.
  • Semantic Methods for Object-Oriented Languages (Tutorial)
    • [PDF] OOPSLA'88 Tutorial. (1988)
  • Data Abstraction, Modularization, and Reusability (Lecture Series)
    • [PDF] University of Texas Year of Programming, 1986.
  • Persistence and Type Abstraction
    • [PDF] Probably Appin Workshop, August 1985.
  • A Semantics of Multiple Inheritance
    • [PDF] Semantics of Data Tapes 1984. Delivered by Dave MacQueen.
Presentations
  • [PPT] [Full] Abstract Machines of Systems Biology
  • [PPT] [Full] Biological Systems as Reactive Systems
  • [PPT] 2006-09-07 Artificial Biochemistry (Edinburgh Plotkin Meeting)
  • [PPT] 2006-07-20 Simulating Biological Systems (Microsoft Faculty Summit, by Andrew)
  • [PPT] 2006-07-05 Artificial Biochemistry (CiE Swansea)
  • [PPT] 2006-04-19 Abstract Machines of SysBio (Dagstuhl)
  • [PPT] 2006-07-09 Bitonal Membrane Systems (MeCBIC Venice)
  • [PPT] 2006-06-21 Artificial Biochemistry (MSRC Serious Talk)
  • [PPT] 2006-04-03 Artificial Biochemistry (Trento)
  • [PPT] 2006-03-23 Abstract Machines of SysBio (Max Planck ISS)
  • [PPT] 2006-01-26 Biological Systems as Reactive Systems (LMU Munich)
  • [PPT] 2005-11-15 Biological Systems as Reactive Systems (ECCS'05 Paris)
  • [PPT] 2005-09-04 Gene Networks (Coquelles School)
  • [PPT] 2005-08-25 Gene Networks (Concur)
  • [PPT] 2005-05-18 Transitions in Programming Models (ICSE)
  • [PPT] 2003-04-08 Manipulating Trees (Fossacs)
  • [PPT] 2005-07-13 Royal Society Lecture
Summaries
  • [PDF] Executive Summary 05min - Languages for SysBio
  • [PDF] Executive Summary 20min - Languages for SysBio
  • [PDF] Visitor Summary 10min - Languages for SysBio
  • [PDF] Visitor Summary 20min - Languages for SysBio