DSG

UNI

Dependable
Systems
Group

School of Mathematical & Computer Sciences

Seminar Series

Seminars 2002

Date & Time	Room	Who	Institution	What
24/6/2002 14.00	Room 2.33	Mustafa Aswad	Heriot-Watt University	Developing an architecture independent application in Glasgow Parallel Haskell
24/6/2002 14.30	Room 2.33	Andre Dubois	Heriot-Watt University	Functional Languages and Mobile Computation
24/6/2002 15.15	Room 2.33	Bill Ellis	Heriot-Watt University	Proof Automation For High Integrity Software
24/6/2002 14.45	Room 2.33	Robert Pointon	Heriot-Watt University	Using GdH
18/4/2002 16.15	Room 2.33	Andre Dubois	Heriot-Watt University	Mobile Functional Programming
20/3/2002 14.15	Room 2.33	Christian Lengauer	University of Passau, Germany	HDC Parallelising Compiler
6/3/2002 13.15	Room 1.70	Ricardo Pena	Complutense University of Madrid, Spain	Productivity and termination analysis in Eden using sized types
28/2/2002 16.15	Room 2.33	Richard Hopkins	Heriot-Watt University	STOCON - Stochastic Composable Nets
21/2/2002 16.15	Room 2.33	Greg Michaelson	Heriot-Watt University	Hume for Sceptical Systems Development
15/2/2002 15.15	Room 1.27	Clara Segura	Complutense University of Madrid, Spain	A polynomial cost non-determinism analysis
11/2/2002 15.15 Cancelled	Room 2.33	Ricardo Pena	Complutense University of Madrid, Spain	Sized types for typing Eden skeleton

Seminars 2001

Date & Time	Room	Who	Institution	What
14/3/2001 15.15	Room 1.27	Hans-Wolfgang Loidl	Visting Post-doctoral Fellow from Austria	Tuning Task Granularity and Data Locality of Data Parallel GPH Programs
2/3/2001 15.15	Room 1.13	Jocelyn Serot	Universite Blaise-pascal Clermont II, France	CAMLFLOW a Date-flow graph compiler
21/2/2001 16.15	Room 2.33	Remi Coudarcher	Universite Blaise-Pascal Clermont II, France	SKIPPER-II: A Skeleton-based Parallel Programming Environment Supporting Arbitrary Nesting
6/2/2001 15.15	Room 2.33	Fernando Rubio	Complutense University of Madrid, Spain	Eden Skeletons

Seminars 2000

Date & Time	Room	Who	Institution	What
29/11/2000 15.15	Room 1.27	Everyone	Heriot-Watt University	DSG Extra Special Seminar / Ice-Breaker Session
22/11/2000 14.15	Room 2.33	Phil Broughton	ICL	Parallel Processing - the Wrong Answer ?
9/11/2000 15.15	Room 2.33	Joy Goodman	Glasgow University	Parallel Program Derivation Using Haskell
26/10/2000 14.15	Room 2.33	Fernando pelayo	Complutense University of Madrid, Spain	Sochastic Process Algebras
25/10/2000 15.15	Room 2.33	Rene Vestergaard	Heriot-Watt University	Normalisation by Evaluation for System F : Type Theory, an Environment Machine, and Type-Checking in System F
3/10/2000 16.00	Room 2.33	Steffen Priebe	Fachbereich Mathematik und Informatik, Philipps-Universitaet Marburg, Germany	Controlling parallelism and Data Distribution in Eden
2/10/2000 13.15	Room 2.33	Wolfgang Schreiner	Research Institute for symbolic Computation (RISC-Linz), Austria	parallel Computer Algebra based on Maple on Java
24/7/2000 15.15	Room 2.33	Professor Ricardo Pena	Complutense University of Madrid, Spain	Non-determinism Analysis in Eden
7/7/2000 15.15	Room 2.33	Yolanda Ortega Mallen	Complutense University of Madrid, Spain	Formal Semantics for Concurrent Functional Languages
21/6/2000 15.15	Room 2.33	Andrew Adam	Heriot-Watt University	Dependable Computer Algebra
8/6/2000 15.15	Room 2.33	Panajotis Katsaros	Aristotle University of Thessaloniki, Greece	Queuing Network Simulation Output Analysis and Parallel Execution Mechanisms
31/5/2000 15.15	Room 2.33	Prof. Ken Turner	Stirling University	Formal Description Techniques for Hardware
24/5/2000 13.15	Room 2.33	DSG Group	Heriot-Watt University	Potential EPSRC Crirical System Research
18/5/2000 15.15	Room 2.33	Ulrike Klusik	Fachbereich Mathematik und Informatik, Philipps-Universitaet Marburg, Germany	Constructing Efficient Eden programs for High-Latency Distributed Systems
17/5/2000 14.15	Room 2.33	Mohammed Hamdan	Heriot-Watt University	A Framework for Nesting Algorithmic Skeletons
10/5/2000 15.15	Room 2.33	Julian Richardson	Heriot-Watt University	A Unified View of Program Schemas and Proof Methods
26/4/2000 15.15	Room 2.33	Alvaro J Rebon Portillo	St Andrews University	Difficult parallelisation of Native Algorithms
17/1/2000 14.15	Room 2.33	Nigel Perry	Massey University, New Zealand	The Humble Fraction

Seminars 1999

Date & Time	Room	Who	Institution	What
7/12/1999 15.15	Room 1.27	Alvaro J Rebon Portillo	St Andrews University	Difficult Parallelisation of Native Algorithms
24/11/1999 15.15	Room 3.06	Fernando Rubiols	Complutense University of Madrid, Spain	Profiling Eden
11/11/1999 14.15	Room 2.33	Robert Pointon	Heriot-Watt University	The Design of Glasgow Distributed Haskell
5/8/1999 14.15	Room 2.33	Mohammed Hamdan	Heriot-Watt University	A Framework for Nesting Algorithmic Skeletons
21/6/1999 16.15	Room 2.33	Yang Jun	Heriot-Watt University	Explain Type Errors by Finding Sources of Type Conflicts
14/6/1999 16.15	Room 2.33	Rene Vestergaard	Heriot-Watt University	Cut Rules and Explicit Substitutions
31/5/1999 16.15 PLEASE NOTE SEMINAR POSTPONED UNTIL 7th of June at 4:15	Room 2.33	Jane Hillston	University of Edinburgh	Stochastic Process Algebra -- A formal approach to performance modelling
8/3/1999 16.15	Room 2.33	Phil Trinder	Heriot-Watt University	Architecture Independence of Parallel functional Languages
22/2/1999 16.15	Room 2.33	Kevin Hammond	St Andrews University	Evaluation Strategies
8/2/1999 16.15	Room 2.33	Peter King	Heriot-Watt University	Software Performance Models from UML Specifications
27/1/1999 14.15	Room 3.03	Andrew Ireland, Jamie Stark	Heriot-Watt University	Do-it-Yourself Proof Planning
11/1/1999 16.15	Room 2.33	Joe Wells	Heriot-Watt University	Type Inference for Intersection Types using Expansion Variables

Seminars 1998

Date & Time	Room	Who	Institution	What
30/11/1998 16.15	Room 2.33	Chris Clack	Department of Computer Science, University College London	Introducing CLOVER: An Object-Oriented Functional Language
23/11/1998 16.15	Room 2.33	Edmund Furse	Department of Computer Studies, University of Glamorgan	Automatic Parallelisation of LISP Program
16/11/1998 16.15	Room 2.33	Rob Pooley	Heriot-Watt University	Unifying performance and behaviour with the Unified Modelling Language
2/11/1998 16.15	Room 2.33	Joe Wells	Heriot-Watt University	Flow-Based Function Representation Transformation

Updated: Dec 2001