  |
TalksTalksThe DSG meets on a regular basis to discuss topics of interest to the group. These sessions, known as 'Digests', are intended primarily for members of the group. The titles of previous Digests are listed here to give a flavour of our ongoing research. (Note: DSG members should log-in to retrieve the full details of all Digests and any supplementary files that may be available)
New Digest Title
(2008-05-15)
One-and-a-halfth order terms: Curry-Howard for the informal meta-level.
(2008-05-09)
New Digest Title
(2008-05-07)
My Research
(2008-05-02)
One-and-a-halfth order terms: Curry-Howard for the informal meta-level.
(2008-04-18)
Domain Engineering for Enterprise Information Systems
(2008-03-14)
Multipath Distance vector zone routing protocol
(2008-02-14)
New Digest Title
(2008-02-13)
New Digest Title
(2008-02-13)
Two-and-a-halfth order lambda calculus
(2008-02-07)
Costing by construction
(2008-01-17)
Cooperative Reasoning for Automatic Software Verification
(2007-12-19)
Methodologies and Simulations of Routing Protocols for Mobile Ad Hoc Networks
(2007-12-14)
Network Simulation Tools
(2007-12-07)
GPGPU - High Performance Parallel Computing on the Desktop
(2007-11-16)
Formal Verification of Scheduling Strategies using TLA
(2007-11-09)
On Node Mobility in the Simulation of Mobile Ad Hoc Networks
(2007-10-26)
Towards Reliable Mediators
(2007-10-19)
STP (scottish theorem provers)
(2007-06-22)
Yeah, but, will it fly?
(2007-06-21)
Design and implementation of a routing Protocol for Ad hoc Network
(2007-06-15)
A DSDV-based Multipath Routing Protocol for Mobile Ad-Hoc Networks
(2007-06-08)
Discussion on ASE2006
(2007-05-25)
ASE Tutorial Discussion
(2007-05-18)
Denotations for functional programs with names
(2007-03-15)
"What does DSG do?"
(2007-03-02)
PARTES: Performance Analysis of Real-Time Embedded Systems
(2007-02-16)
Towards a calculus of Hume boxes
(2007-02-16)
Putting the IST into LOG(IST)ICAL
(2007-02-09)
Implementation of a subset of preferred algorithms for video tracking in Matlab/C++ and Hume
(2007-01-19)
Decision Procedures and SPARK
(2006-12-08)
Hiearchical Scheduling of Hume programs (with Gudmund Grov)
(2006-12-01)
An Action Semantics Oriented UML Virtual Machine
(2006-11-17)
Formalising HW-Hume semantics in Isabelle
(2006-11-10)
The Design, Implementation and Evaluation of a Grid-Parallel Programming
(2006-11-03)
A logic of freshness
(2006-10-27)
The SEAS Robot
(2006-10-20)
Hello Session
(2006-10-11)
Towards a calculus for Hume boxes
(2006-06-28)
Verified Transformations of Hume Programs
(2006-06-21)
Andrew Pitt's talk
(2006-06-14)
Affecting Cognitive Behaviour in Software Engineering Design Tasks
(2006-06-07)
PRISM & UPPAAL
(2006-05-31)
Adaptable Software Engineering -
Software for a changing world
(2006-05-24)
Proof by Pictures
(2006-05-17)
Mac Programming
(2006-05-10)
Modal Logic
(2006-05-03)
Grand Challenge 6 (GC6)
(2006-04-26)
Description logics for shape analysis (Joint work with P. Maier)
(2006-03-29)
Recursion, Iteration and Hume Scheduling
(2006-03-15)
Diversity or unfocussed chaos?
(2006-03-01)
MSc Project Proposal Session
(2006-02-22)
On the Scalability of Proof Carrying Code for Software Certification
(2006-02-15)
Compiling Hume
(2006-02-08)
DSG: Going live! (And all that Jazz)
(2006-01-25)
Design Principles for Mobile Languages
(2006-01-18)
Introduction to TLA+
(2006-01-11)
Computational Grids and GpH
(2005-12-14)
PhD - Verification of Real-Time Embedded Systems
(2005-12-07)
Horizon Meeting
(2005-12-02) |