Recent Presentations

• The Needham Lecture,Tuning Systems: From Composition to Performance, The Royal Society, December 6th 2004.
• Invited presentation at LICS'05 (International Symposium on Logic in Computer Science), Process Algebras for Quantitative Analysis, Chicago, June 28th 2005.
• Invited presentation at PASM'05 (International Workshop on Practical Applications of Stochastic Modelling), Adventures in Systems Biology, Newcastle-upon-tyne, July 18th 2005.
• Invited evening lecture at ESSLLI (European Summer School on Logic, Language and Inference), Getting Performance out of Process Algebra, Heriot-Watt University, Edinburgh, August 16th 2005.
• Technical paper presented at QEST'05 (Quantitative Evaluation of Systems), Fluid Flow Approximation of PEPA Models, Torino, September 20th 2005.
• Computational Thinking Seminar Computational Thinking for Life, given within the Computational Thinking Seminar series, Edinburgh, January 11th 2006.
• Tutorial at Quantitative Evaluation of Systems Conference Quantitative Evaluation of Biological Systems, Riverside CA, September 11th 2006.
• Invited presentation at Twenty-third Conference on the Mathematical Foundations of Programming Semantics, Modelling Biochemical Pathways with Stochastic Process Algebra, New Orleans LA, April 13th 2007.
• Invited presentation at the London Hoppers Colloquium Modelling Biochemical Signalling Pathways with Stochastic Process Algebra, BCS Meeting Rooms, May 1st 2007.
• Seminar at Cambridge Modelling Biochemical Signalling Pathways with Stochastic Process Algebra, Computer Laboratory, May 9th 2007.
• Tutorial at the Bertinoro summer school on Formal Methods for Performance Modelling Stochastic Process Algebras, Bertinoro, May 27th 2007.
• Lecture at school for graduate students in systems biology at Pisa University, Calculi for Systems Biology, Pisa, Italy, 18th October 2007.
• Invited talk at International Workshop on Tools for Structured Markov Chains (SMCTools) at ValueTOOLS 2007, Quantitative Analysis of Biochemical Signalling Pathways, Nantes, France, 26th October 2007.
• Joint BCS-FACS and BCS Women Evening Seminar, Process Algebra for Collective Dynamics, London, 10th December 2007.
• CICADA Seminar at the University of Manchester, Continuous Interpretations of Process Algebra Models, 8th April 2008.
• Tutorial at the Bertinoro summer school on Formal Methods for Systems Biology Calculi for Biological Systems, Bertinoro, June 5th 2008.
• Invited talk at 6th International Conference on Computational Methods in Systems Biology (CMSB 2008) Integrated Analysis from Abstract Stochastic Process Algebra Models, Rostock, October 12th 2008.
• Invited talk at third Scottish Bio-systems Modelling Network meeting, Using stochastic process algebra to model biochemical pathways, Dundee, February 19th 2009.
• Presentation at Dagstuhl seminar 09091, "Formal Methods in Molecular Biology" (22-27 February 2009) The Bio-PEPA project, February 24th 2009.
• Invited talk at QAPL 2009 (Quantitative Aspects of Programming Languages, ETAPS workshop), Process Algebra for Collective Dynamics, March 29th 2009.
• Presentation at Strathclyde Institute of Advanced Studies Workshop on Dynamic Properties of Complex Networks Performance Modelling with Stochastic Process Algebra, March 31st 2009.
• Presentation at the International Conference on Quantitative Evaluation of Systems, QEST 2009, Budapest, The Bio-PEPA Tool Suite, 16th September 2009.
• Presentation at the International Workshop on Practical Aspects of Stochastic Modelling (PASM 2009), Imperial College Bio-PEPA for epidemiological models, 24th September 2009.
• Presentation at the Encounters discussion on Evolving complexity in the brain and computers at Inspace, 20th November 2009: Compositional Dynamic Modelling: A Computer Science Perspective.
• Seminar in Udine Bio-PEPA: A collective dynamics approach to systems biology on 30th April 2010.
• Invited presentation at AMAST 2010, Quebec City, Process Algebras for Collective Dynamics, June 25th 2010.
• Presentation at SICSA-sponsored Summer School on Formal Representation and Reasoning, Heriot-Watt University, From Milner to Markov and back: Stochastic Process Algebras, August 15th 2010.
• Invited presentation at ISCIS special session on modelling gene regulation networks, Royal Society, London, Modelling Circadian Rhythms using Stochastic Process Algebra September 22nd 2010.
• Presentation at 11th International Conference on Systems Biology, Edinburgh, Sterol biosynthesis in infection and immunity, October 13th 2010.
• The Strachey Lecture, Making stochastic process algebra count: Modelling collective dynamics, at the Computing Lab, Oxford University, 16th November 2010.
• The Computer Journal Lecture, Stochastic process algebras --- From individuals to populations, Imperial College, 24th February 2011.
• Invited presentation at the MLQA workshop 2011, Stochastic process algebras and Ordinary Differential Equations, Aachen, 5th September 2011.
• Invited presentation at the Bio-PASTA workshop 2011, Bio-PEPAd:Integrating exponential and deterministic delays, Ragusa, 20th September 2011.

Last modified: Thu Sep 22 13:17:51 BST 2011