PRESENTATIONS

Molecular
Programming with Stochastic Pi Calculus: Computer Representation of Biological
Processes. December 2001. [**slides**]

Modeling
Pathways with the pi-calculus and the ambient calculus. Invited talk at the **Algorithmique et Biologie** Seminar Series, Lion,
September 2001 [**abstract**]
, [**slides**]

Modeling
Pathways with the pi-calculus: Concurrent Processes Come Alive. Invited talk at
the **2nd
workshop on Computation of Biochemical Pathways and Genetic Networks**,
Villa Bosch, Heidelberg June 2001 [**slides**]

The
BioSPI Project: Representation and Simulation of Molecular Pathways. **Pacific Symposium on
Biocomputing 01**, Hawaii, January 2001 [**slides**]

Compositional
Representation of Biochemical Processes Using Stochastic Process Algebra.
Seminar presented at **Dept.
Frontier Informatics, University of Tokyo**, Japan, November 2000 [**abstract**] , [**slides**]

Representing and Simulating
Biochemical Processes Using Non-Deterministic and Stochastic Process Algebra,
Invited Seminar at the **Jackson Labs**, October 2000 [**abstract**] , [**slides**]

Biomolecular Processes as Concurrent
Computation: Modeling Molecular Processes in the pi-Calculus Process Algebra, an invited talk at **Bioinformatics
2000**, Denmark, April 2000 [**slides**]

Representing Biomolecular Processes with Process
Algebra: pi-Calculus as a Formalism for Signal Transduction
Networks, given at **INRIA/****Rocquencourt**, **Hybrigenics Inc**, and **École normale supérieure**, Paris, March
2000 [**slides**]

Cellular Communication: Biomolecular Processes as Concurrent
Computation, given at the **Cohn
Institute** for the Philosophy of Science and Ideas, Tel Aviv University,
March 2000 [**slides**]

Modeling Signal Transduction with
Process Algebra: Integrating Molecular Structure and Dynamics, given at the 3^{rd}
Israel Bioinformatics Day, January 2000, and in the **BigRoc**
seminar at Weizmann Institute of Science, February 2000 [**slides**]