- 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. - Invited presentation at the CS2Bio Workshop 2012,
*Bio-PEPAd:Integrating exponential and deterministic delays*, Stockholm, 16th June 2012. - Presentation at the QEST
conference 2012,
*Fluid Approximation of CTMC with deterministic delays*, London, 19th September 2012. - Invited presentation at the ROCKS Autumn
School 2012,
*Fluid Approximation for Stochastic Process Algebras*, Bressanone, 24th October 2012. - Invited presentation at the ROCKS Autumn
School 2012,
*Fluid Approximation for Stochastic Model Checking*, Bressanone, 24th October 2012. - Hamming seminar,
*Rigorous and Random Adventures in Time and Space*, Edinburgh, 21st November 2012. - Invited presentation at TGC 2013,
*Challenges in Quantitative Analysis of Collective Adaptive Systems*, Buenos Aires, Argentina, 31st August 2013. - Presentation at the ValueTools 2013 conference,
*An Aggregation Technique for Large-Scale PEPA Models with Non-uniform Populations*, Torino, Italy, 10th December 2013. - Presentation at the ValueTools 2013 conference,
*Contextual Lumpability*, Torino, Italy, 10th December 2013. - Seminar presentation at PUMA,
*Fluid Approximation for Collective Systems*, TUM, Munich, 23rd July 2014. - Invited presentation at CONCUR 2014 and IFIP TCS 2014,
*The Benefits of Sometimes Not Being Discrete*, Rome, Italy, 2nd September 2014. - Invited presentation at LMS Computer Science Colloquium 2014,
*Embedding machine learning in formal stochastic models of biological processes*, London, 29th October, 2014. - Invited presentation at BCS CignetS meeting,
*Applying for an Athena SWAN Award*, BCS Headquarters, London, 1st December, 2014. - Presentation at Dagstuhl seminar 14512,
*Challenges for Quantitative Analysis of Collective Adaptive Systems*, 15th December, 2014. - Seminar presentation in the Maths Department of the University of
Edinburgh,
*A Fluid Approach to Model Checking*, 28th January, 2015. - Seminar presentation in the Department of Computer Science at the University of York,
*Fluid Approximation for the Analysis of Collective Adaptive Systems*, 11th March, 2015. - Distinguished Lecture, Department of Informatics, Kings College London,
*Choosing not to be discrete --- The benefits of fluid approximations in dynamic modelling*, 27th April, 2015. - Keynote presentation at Ershov Informatics Conference, PSI'15, Kazan, Russia,
*Quantitative Analysis of Collective Adaptive Systems*, 25th August, 2015. - Seminar presentation to the Programming Languages Systems research group in the School of Computing at the University of Kent, entitled
*Quantitative Analysis of Collective Adaptive Systems*, 15th February 2016. - Seminar presentation to the Department of Mathematics at the University of Strathclyde, entitled
*High-level languages for fluid approximation of agent-based models*, 18th April 2016. - Collective Adaptive Systems seminar to the group of Scott Smolka at State University of New York - Stony Brook, on
*Quantitative Analysis of Collective Adaptive Systems*, 13th October 2016. - Logical Structures in Computation Seminar at the Simons Institute, Berkeley University, on
*Model checking single agent behaviours by fluid approximation*, 26th October 2016. - Invited talk at the Christopher Strachey Centenary Celebration in Oxford,
*A modelling language approach to defining mathematical structures via semantics*, 19th November 2016. - Keynote talk at the 10th EAI International Conference on Bio-inspired Information and Communications Techologies in Hoboken, New Jersey,
*Studying Smart Cities as Collective Adaptive Systems*, 15th March 2017.

Jane Hillston (jane.hillston@ed.ac.uk)

Laboratory for Foundations of Computer Science,

School of Informatics,

The Informatics Forum,

10 Crichton Street,

University of Edinburgh,

Edinburgh EH8 9AB, UK.

(+44) 0131-650-5199

Last modified: Tue Mar 3 12:29:37 GMT 2015