Talks

Past Talks
Presentations
Summaries

Past Talks

Two-Domain DNA Strand Displacement
- Developments in Computational Methods '10, Edinburgh, July 9, 2010.
- Verification over Discrete-Continuous Boundaries, Dagstuhl, July 6, 2010.
- University of Tokyo, June 19, 2010.
Molecular Programming Tutorial
- Cambridge, February 11, 2010.
Spatial Process Algebra for Developmental Biology / Processes in Space
- Computability in Europe, Ponta Delgada, July 2, 2010.
- Torino, March 23, 2010.
- Imperial College, December 4, 2009.
- MeCBIC, Bologna, September 5, 2009.
Molecules as Automata, Open Lectures for PhD Students in Computer Science
- Lecture 1, Warsaw, March 12, 2009.
- Lectures 2-3, Warsaw, March 12-13, 2009.
- Lectures 4-5, Warsaw, May 07-08, 2009.
- Lecture 6, Warsaw, May 08, 2009.
Molecular Programming
- MSRC PhD Summer School, June 30, 2010.
- UC'10 Invited Talk, Tokyo, June 21, 2010.
- CS2Bio Invited Talk, Amsterdam, June 10, 2010.
- Reactive Modeling Symposium, AST Austria, May 6, 2010.
- Torino, March 24, 2010.
- SimuTools Keynote, Malaga, March 16, 2010.
- Exeter, March 10, 2010.
- Oxford, February 12, 2010.
- Caltech, January 11, 2010.
- BIC-TA Keynote, Beijing, October 17, 2009.
- SynBioNT Meeting, Sheffield, October 12, 2009.
- University of Bologna, September 7, 2009.
- University of Southampton, July 10, 2009.
- Microsoft Redmond, June 29, 2009.
Strand Algebras for DNA Computing
- University of Washington, June 30, 2009.
- 15th International Meeting on DNA Computing and Molecular Programming, Fayetteville AR, June 10, 2009.
- Edinburgh, October 31, 2008.
Molecules as Automata, International Summer School on Natural Computation, BCN'08
- International Summer School on Natural Computation (Part 1), Bertinoro, September 21, 2008.
- International Summer School on Natural Computation (Part 2), Bertinoro, September 21, 2008.
Termination Problems in Chemical Kinetics
- CONCUR'08, Toronto, August 22, 2008.
Tools and Techniques for Discrete Systems Analysis
- C.elegans Modelling Workshop, Cambridge, July 7, 2008.
On The Computational Power of Biochemistry
- International Summer School on Natural Computation (Part 2), Bertinoro, September 21, 2008.
- Algebraic Biology '08, Linz, August 1, 2008.
- FMSB'08 Cambridge, June 5, 2008.
Process Rate Semantics
- Trento, March 13, 2008.
From Processes to ODEs by Chemistry
- 5th IFIP International Conference on Theoretical Computer Science, Milan, September 13, 2008.
Living Software
- L'INRIA a Quarante Ans, Lille, December 10, 2007.
Molecules as Automata
- Emergence in Chemical Systems 2.0, Invited talk, Anchorage AK, June 25, 2009.
- Formal Methods in Molecular Biology, Keynote talk, Dagstuhl, February 24 2009.
- (Overview) Molecular Programming Project Workshop, Keynote talk, Oxnard, January 8 2009.
- Scheffield, October 24, 2008.
- International Summer School on Natural Computation (Part 1), Bertinoro, September 21, 2008.
- University of Western Ontario, London Ontario, August 22, 2008.
- NSF Emerging Models and Technologies Workshop, Princeton, July 25, 2008.
- NEWSYNBIO Workshop, Paris, June 27, 2008.
- WADT'08 Invited Talk, Pisa, June 14, 2008.
- DNA Computing'08 Plenary Talk, Prague, June 3, 2008.

Leicester, November 30, 2007.
Workshop on Quantitative Biology Analyzed by Mathematical Methods, Linz, November 08, 2007.
Doctoral Workshop, Pisa, October 26, 2007.
QEST 2007, Edinburgh, September 19, 2007.

An Accidental Simula User
- ECOOP 2007, Dahl-Nygaard Senior Prize, August 2, 2007.
On Process Rate Semantics
- MFPS'08 Invited Talk, Philadelphia, May 24, 2008.
- University of Pennsylvania, Computer and Information Science Dept, May 30, 2007.
Artificial Biochemistry
- Algorithmic Bioprocesses, Leiden. Dec 4, 2007.

MSRC 10th Anniversary. July 9, 2007.
Longo Symposium. June 29, 2007.
Carnegie Mellon University, POP Seminar. May 31, 2007.
University of Pennsylvania, Computer and Information Science Distinguished Lecture Series, May 29, 2007.
Newcastle School of Computing Science. May 15, 2007.
INRIA Sophia Antipolis. May 10, 2007.
BioWire 2007 Workshop, Cambridge. April 3, 2007.
QAPL'07 Invited Talk, Braga. March 24, 2007.
Centre for Computational and Systems Biology, Trento. Feb 21, 2007.
Emerging trends in concurrency theory. Paris. Nov 15, 2006.
Understanding Adaptive Multi-Component Systems. Rostock. Nov 10, 2006.
Santa Fe Institute, Annual Business Network & Board of Trustees' Symposium. Nov 3, 2006.
CMSB'06 Invited Talk, Oct 19, 2006.
Grand Challenges in Informatics, Sep 20, 2006.
Symposium for Gordon Plotkin, Sep 7, 2006.
Computability in Europe, Invited Talk, July 5, 2006.
Logic and Algorithms Program, Newton Institute, Cambridge, May 9, 2006.
Simulation and Verification of Dynamic Systems, Dagstuhl Seminar, April 20, 2006.
Scientific Opening Workshop, Centre for Computational and Systems Biology, Trento, April 3, 2006.

Can a Systems Biologist Fix a Tamagotchi?
- Gilles Kahn Colloquium, Paris, January 12, 2007.
Artificial Biochemistry (Course)
- Artificial Biochemistry Course
- .zip(16M) University of Trento, May 22-26, 2006.
Bitonal Membrane Systems
- Workshop on Membrane Computing and Biologically Inspired Process Calculi, Venice, July 9, 2006.
A Compositional Approach to the Stochastic Dynamics of Gene Networks
- Interdisciplinary School on Noise and Robustness in Transcriptional Regulatory Networks, Coquelles, September 5, 2005.
- Concur 2005 Invited Talk, August 25, 2005.
A Graphical Representation for Stochastic π-calculus
- BioConcur 2005, August 27, 2005.
Where Membranes Meet Complexes
- BioConcur 2005, August 27, 2005.
Biological Systems as Reactive Systems (for biologists)
- Birmingham, Mar 20, 2006.
- Ludwig Maximilians Universitt Munich, Jan 26, 2006.
- Southampton, Nov 21, 2005.
- European Conference on Complex Systems 2005 Invited Talk, Nov 15, 2005.
- Cambridge Anatomy Department, Jul 5, 2005.
- Cambridge Computational Biology Institute MPhil Lecture, May 5, 2005.
- Munich MSFB Workshop, Apr 6, 2005.
Biological Networks in Stochastic pi-calculus
- Imperial College London, February 17, 2005.
A Correct Abstract Machine for the Stochastic pi-calculus
- A Correct Abstract Machine for the Stochastic pi-calculus, BioConcur, August 30, 2004.
- Simulating Biological Systems in the Stochastic pi-calculus. Microsoft Research Intern Talk, July 28, 2004.
Abstract Machines of Systems Biology
- Simulation and Verification of Dynamic Systems, Dagstuhl Seminar, April 19, 2006.
- Max Planck Institute for Software Systems, Saarbrucken, Mar 23, 2006.
- Newton Institute, Feb 21, 2006.
- Summer School on Biology Computation and Information, Dobbiaco, Sep 12..16, 2005.
- Computer Science Dept. Lausanne, Jun 3, 2005.
- Computer Science Dept. Brighton, Mar 21, 2005.
- Computer Science Dept. York, Mar 16, 2005.
Languages & Notations for Systems Biology
- Galileo Galilei School of Graduate Studies Colloquium, Pisa, December 14, 2004.
- Computer Science Dept, Sheffield, November 12, 2004.
- Unconventional Programming Paradigms, Invited Talk, Le Mount St.Michel, September 15, 2004.
- NETTAB Invited Talk, Camerino, September 7, 2004.
- University College London, May 17, 2004.
- [Executive Abstract] FET Workshop on Simulating Emergent Properties in Complex Systems, Bruxelles, May 12, 2004.
Membrane Interactions
- Logic and Systems Biology Workshop, Turku, July 18, 2004.
- International School on Computational Sciences for Complex Systems in Biology, Rovereto, April 23, 2004.
- Imperial College London, March 24, 2004.
- New University of Lisbon, November 12, 2003.
- Queen Mary U.London, October 22, 2003.
- BioConcur'03, September 6, 2003.
- Microsoft Research Cambridge, August 6, 2003.
Transitions in Programming Models
- ICSE'05 St.Louis, Keynote Talk, May 18, 2005
- DISC'04 Amsterdam, Invited Talk, October 6, 2004
- New University of Lisbon, November 13, 2003.
- Microsoft Research European Faculty Summit, Cambridge, July 16, 2003.
Languages for Molecular Cell Biology
- Microsoft Redmond Technical Advisory Board, June 23, 2003.
From C# to Cinfinity
- Second Rotor Workshop, Pisa, April 23, 2003.
Manipulating Trees with Hidden Labels
- FOSSACS'03, Warsaw, April 8, 2003.
Spatial Logics for Distributed Systems
- FWAN Workshop, Malaga, July 12, 2002.
- Strachey Lecture, Oxford, April 23, 2002.
Mobility and Spatial Logics (Minicourse)
- 5th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Mobile Computing, Bertinoro, April 26-30, 2005.
- Ecole de Printemps 2002, Semantique des Langages de Programmation, Agay, March 24-29, 2002.
Computation on Wide Area Networks (Minicourse)
- International School for Computer Science Researchers, Lipari, July 2-5, 2001.
- Cambridge University Minicourse Lectures, May 8,9,15,16 2001.
Globality
- ETAPS'01 Invited Talk, Genova, April 4 2001.
A Query Language Based on the Ambient Logic
- Concoord Workshop, Invited Talk, Lipari, July 6 2001.
- Birkbeck College London, Feburary 28 2001.
Global Computing
- Edinburgh, September 2000. IST FET Global Computing Consultation Workshop.
Logics for Mobility
- Cambridge, November 2000.
- Lausanne, October 2000.
- Tokyo, August 2000.
Wide Area Computation
- Valladolid, November 2000.
- Tokyo, August 2000.
Secrecy and Group Creation
- MFCSIT'00, Cork, July 20, 2000.
Semistructured Computation
- DBPL'99 Invited Talk, Kinloch Rannoch, September 2, 1999.
Mobility and Security (Minicourse)
- Lectures for the Marktoberdorf School on Foundations of Secure Computation, July 28 - August 7, 1999.
Anytime, Anywhere
- POPL'00
- (Informal) Microsoft
- Edinburgh
Abstractions for Mobile Computation (Tutorial)
- Tutorial: "Foundations for Wide Area Systems", FMOODS'99, February 17 1999, Florence Italy.
Everything is an Object
- Keynote Talk, ECOOP'97 Workshop on Prototype-based languages, Jyvaskyla Finland.(1997)
Object-Based Features
- Berkeley Lecture, March'97.
Objects, Classes, Abstractions
- FOOL'97 Invited Talk.(1997)
Program Fragments, Linking, and Modularization
- POPL'97 Talk.
A Theory of Objects
- University of Technology Sydney Minicourse (1997-08-04..15)
- LICS'97 Invited Talk, Warsaw (1997-06-29..02)
- ECOOP'97 Tutorial, Jyväskylä (1997-06-09..13)
- OOPSLA'96 Tutorial, San Jose (1996-10-06..10)
Class-based vs Object-based Languages (Tutorial)
- PLDI'96 Tutorial.(1996)
Ambit
- SRC Talk (1997-03)
- SRC Talk (1996-11)
What is the Web's Model of Computation?
- WWW5 Workshop on Programming the Web: a Search for APIs, Invited Talk.(1996)
Foundations of Object-Oriented Programming
- (1996)
- Horizon Day, Indiana University (1995-10)
Obliq
- Distributed Mobile Computation in Obliq (1997-04)
- Obliq: A Language with Distributed Scope (1995-05)
On Subtyping and Matching
- ECOOP'95 Invited Talk. (1995-08)
Operationally Sound Update
- HOOTS'95 Talk.(1995)
Type-Driven Language Design (Tutorial)
- PLDI'95 Tutorial.(1995)
An Imperative Object Calculus
- FASE'95 Talk.(1995-05)
Object Types with Self
- FOOL'94 Talk.(1994)
Princeton Talk on Objects
- ML 2000 Meeting (1994-07)
A Theory of Primitive Objects
- ESOP'94 Invited Talk.(1994-05)
Typed Foundations of Object Oriented Programming (Tutorial)
- 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.
- 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)
- OOPSLA'88 Tutorial. (1988)
Data Abstraction, Modularization, and Reusability (Lecture Series)
- University of Texas Year of Programming, 1986.

Presentations

[Full] Abstract Machines of Systems Biology
[Full] Biological Systems as Reactive Systems

2006-09-07 Artificial Biochemistry (Edinburgh Plotkin Meeting)
2006-07-20 Simulating Biological Systems (Microsoft Faculty Summit, by Andrew)
2006-07-05 Artificial Biochemistry (CiE Swansea)
2006-04-19 Abstract Machines of SysBio (Dagstuhl)
2006-07-09 Bitonal Membrane Systems (MeCBIC Venice)
2006-06-21 Artificial Biochemistry (MSRC Serious Talk)
2006-04-03 Artificial Biochemistry (Trento)
2006-03-23 Abstract Machines of SysBio (Max Planck ISS)
2006-01-26 Biological Systems as Reactive Systems (LMU Munich)
2005-11-15 Biological Systems as Reactive Systems (ECCS'05 Paris)
2005-09-04 Gene Networks (Coquelles School)
2005-08-25 Gene Networks (Concur)
2005-05-18 Transitions in Programming Models (ICSE)
2003-04-08 Manipulating Trees (Fossacs)
2005-07-13 Royal Society Lecture

Summaries

Executive Summary 05min - Languages for SysBio
Executive Summary 20min - Languages for SysBio
Visitor Summary 10min - Languages for SysBio
Visitor Summary 20min - Languages for SysBio

Invisible