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 CyberPhysical Systems, University of Edinburgh, May 2013
 Modelling protein trafficking with
BioPEPA, 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
 Spatiotemporal 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, ModelChecking and
Planning, University of Glasgow, December 2010
 A semantic equivalence motivated by
timescale differences,
SICSA Workshop on Multiscale 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 subSaharan 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 ACMW Ambassador Program (Panel), Grace Hopper
Celebration of Women in Computing, October 2002
 Perceptions of Computer
Science,
Reflections on WorkInProgress 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,
LAASCNRS, 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 noninterleaving
equivalences on labelled transition systems,
Faculty of Informatics, Technical University of Munich, November 1995
 Comparison of noninterleaving
semantic equivalences,
Concurrency Club, Laboratory for the Foundations of Computer Science,
Department of Computer Science, University of Edinburgh, February 1995