Vashti Galpin - Seminars, Invited Talks, Panels and Presentations

• 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
  
  
• A comparison of bisimulation-based semantic equivalences for noninterleaving behaviour over CCS processes, SAICSIT 2000, November 2000
  
  
• Algebraic results for structured operational semantics, SAICSIT 2000, November 2000
  
  
• 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
  
  
• Introducing research methods to computer science Honours students, SAICSIT '99, November 1999
  
  
• Comparison of process algebra equivalences, Department of Computer Science, University of the Witwatersrand, October 1999
  
  
• Comparison of process algebra equivalences using formats, ICALP '99, July 1999
  
  
• Experiences of introducing research methods to Honours students, SACLA '99, June 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
  
  
• True concurrency equivalence semantics: an overview, Ninth Annual Masters and PhD Students on Computer Science Conference, December 1994
  
  
• A survey of attitudes to computing at the University of the Witwatersrand, Fifth International Conference on Women, Work and Computerization, July 1994
  
  
• Measuring concurrency in CCS, Eighth National Conference for Masters and PhD Students in Computer Science, June 1993