Vashti Galpin - Seminars, Invited Talks, Panels and Presentations

• Population modelling, Open Problems in Concurrency Theory, Bertinoro, June 2014
  
  
• Modelling in Stochastic HYPE, SICSA workshop on Cyber-Physical Systems, University of Edinburgh, May 2013
  
  
• Modelling protein trafficking with Bio-PEPA, 1st Quarterly Edinburgh Bioinformatics Meeting, University of Edinburgh, April 2013
  
  
• Formal modelling of biological systems, Informatics Colloquium/Systems Biology Colloquium, Faculty of Informatics, Masaryk University, Brno, March 2013
  
  
• Stochastic HYPE: a stochastic hybrid process algebra, LFCS Seminar, University of Edinburgh, October 2012
  
  
• Stochastic hybrid modelling with composition of flows, Models and Logics for Quantitative Analysis (MLQA 2012), University of Edinburgh, September 2012
  
  
• Modelling protein trafficking: progress and challenges (Invited talk), "Biology + Computing = ??" - A Joint SICSA CSE:SEABIS and ModAbs Meeting, University of Stirling, May 2012
  
  
• Spatio-temporal biological process modelling (Invited talk), Joint MRC/INCF/SICSA Workshop on Atlas Informatics, Edinburgh, May 2012
  
  
• Stochastic HYPE: modelling stochastic hybrid systems, British Colloquium for Theoretical Computer Science, University of Birmingham, April 2011
  
  
• How to use HYPE to model hybrid systems: a railway crossing example, SICSA Workshop on Probabilistic Modelling, Model-Checking and Planning, University of Glasgow, December 2010
  
  
• A semantic equivalence motivated by time-scale differences, SICSA Workshop on Multi-scale Modelling for Biological Systems, University of Stirling, July 2010
  
  
• An investigation into modelling networks with a spatial stochastic process algebra, SICSA Workshop on Modelling and Analysis of Networked and Distributed Systems, University of Stirling, June 2010
  
  
• Bisimulations for biology, Computer Science Seminar, Department of Mathematics and Computer Science, University of Trieste, May 2010
  
  
• Bisimulations for biology, British Colloquium for Theoretical Computer Science, University of Edinburgh, April 2010
  
  
• A process algebra for the modelling of hybrid systems, Theoretical Computer Science Seminar, School of Computer Science, University of Birmingham, November 2009
  
  
• A process algebra for hybrid systems, FATA Seminar, Department of Computing Science, University of Glasgow, November 2008
  
  
• Women in computing in South Africa and other sub-Saharan countries (Invited talk), BCSWomen AGM, University of Westminister, June 2008
  
  
• A process algebra for hybrid systems, Concurrency, Verification & Security Seminar, Computing Laboratory, University of Oxford, April 2008
  
  
• Equivalences for hybrid systems, British Colloquium for Theoretical Computer Science, Durham University, April 2008
  
  
• Process algebra and systems biology, Conceptual Foundations of Systems Biology Seminar, Balliol College, University of Oxford, December 2007
  
  
• Digital divide and women in developing countries (Panel), Grace Hopper Celebration of Women in Computing, October 2004
  
  
• Dismantling the barriers for women in computing internationally (Panel), Grace Hopper Celebration of Women in Computing, October 2004
  
  
• What is Computing? The perceptions of university computing students (Panel), Grace Hopper Celebration of Women in Computing, October 2002
  
  
• Women in computing around the world: the ACM-W Ambassador Program (Panel), Grace Hopper Celebration of Women in Computing, October 2002
  
  
• Perceptions of Computer Science, Reflections on Work-In-Progress Symposium, University of the Witwatersrand, September 2002
  
  
• Computer Science Education Research at Wits, Workshop on Teaching and Learning in the Science Faculty, University of the Witwatersrand, January 2001
  
  
• Gender and Computer Science Research at Wits, Panel on IT for Women in Developing Countries, Grace Hopper Celebration of Women in Computing, September 2000
  
  
• Retention of Women in Computer Science, (Invited Talk) Interface 2000, May 2000
  
  
• Comparison of process algebra equivalences, Department of Computer Science, University of the Witwatersrand, October 1999
  
  
• An overview of process algebras for fault tolerance, Third Model Checking and Theorem Proving Workshop, University of the Witwatersrand, Johannesburg, South Africa, January 1999
  
  
• A new format for process algebras, LAAS-CNRS, Toulouse, December 1998
  
  
• A new format for process algebras, Joint Conference of the American Mathematical Society, the South African Mathematical Society and the Southern African Mathematical Sciences Association, Pretoria, South Africa, June 1997
  
  
• A new format for process algebras, Department of Computer Science, University of the Witwatersrand, May 1997
  
  
• Comparing non-interleaving equivalences on labelled transition systems, Faculty of Informatics, Technical University of Munich, November 1995
  
  
• Comparison of non-interleaving semantic equivalences, Concurrency Club, Laboratory for the Foundations of Computer Science, Department of Computer Science, University of Edinburgh, February 1995