Return to my homepage.
- 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
- 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
- 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
- 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
- Invited presentation at the Bio-PASTA workshop
and deterministic delays, Ragusa, 20th September
- Invited presentation at the CS2Bio Workshop 2012,
and deterministic delays, Stockholm, 16th June
- Presentation at the QEST
Fluid Approximation of CTMC
with deterministic delays, London, 19th September
- Invited presentation at the ROCKS Autumn
Fluid Approximation for Stochastic Process
Algebras, Bressanone, 24th October 2012.
- Invited presentation at the ROCKS Autumn
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
- Presentation at Dagstuhl seminar 14512, Challenges for Quantitative Analysis of
Collective Adaptive Systems, 15th December,
- 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.
- Presentations at the 20th European Young Staticians Meeting, Uppsala, 16th August 2017: Formal languages for stochastic modelling and Embedding Machine Learning in Stochastic Process Algebra.
- Oxford Women in Computing Seminar, 28th November, 2017: Embedding Machine Learning in Formal Stochastic Models of Biological Processes.
- Alan Turing Institute Workshop on Logic and Learning, 11th January, 2018: Integrating Inference with Stochastic Process Algebra Models.
- Invited seminar at Newcastle University, 28th January 2018: Quantitative Analysis of Collective Adaptive Systems.
- Invited talk at SICSA workshop on Data-driven Modelling and Analysis of Complex Systems, 19th March, 2018: Moment-based Availability Prediction for Bike-Sharing Systems.
- Alan Turing Workshop on Data-driven Modelling of Complex Systems, 9th May, 2018: Moment-based Availability Prediction for Bike-Sharing Systems.
- Distinguished Lecture Series at St Andrews University, 8th April 2019: Performance Evaluation Process Algebra (PEPA), Collective Adaptive Rsource-sharing Markovian Agents (CARMA) and Probabilistic Programming for Stochastic Dynamical Systems.
Jane Hillston (email@example.com)
Laboratory for Foundations of Computer Science,
School of Informatics,
The Informatics Forum,
10 Crichton Street,
University of Edinburgh,
Edinburgh EH8 9AB, UK.