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]