- Byron Cook (MSR Cambridge)
- Wednesday 31st March 2010
Proving that programs eventually do something good
- Tom Hirschowitz (Université de Savoie)
- Wednesday 10th March 2010
TBA
- Dr Srinandan Dasmahapatra
- Wednesday 3rd March 2010
TBA
- Joel Ouaknine (University of Oxford)
- Wednesday 24th February 2010
TBA
- Michael Jackson (The Open University)
- Wednesday 17th February 2010
Structure and Reason in Software Engineering
- Annabelle McIver (Macquarie University)
- Wednesday 10th February 2010
Abstractions of non-interference security: a refinement-oriented approach
- Austin M Anderson
- Wednesday 3rd February 2010
Dynamic Effects for Multi-Thread Systems with Shared Resources
- Dr Corina Cirstea
- Wednesday 27th January 2010
Path-Based Temporal Logics: A Coalgebraic Approach
- Dr Robert J Walters
- Wednesday 20th January 2010
M-grid: a lightweight computational grid
- Ehab M El-Salamouny
- Wednesday 13th January 2010
HMM-based Trust Model
- Mike Dodds (University of Cambridge)
- Wednesday 9th December 2009
Concurrent Abstract Predicates
- Dr Pawel Sobocinski
- Wednesday 2nd December 2009
Extensive and adhesive categories, Van Kampen squares and bicolimits
- Dr Sardaouna Hamadou
- Wednesday 25th November 2009
On the anonymity in the Crowds protocol
- Dr Tom Chothia (University of Birmingham)
- Wednesday 18th November 2009
Traceing e-Passports using the Applied Pi Calculus
- Dr Ashish Darbari
- Wednesday 11th November 2009
SHRUTI: An Industrial Strength Formally Certified SAT Solver
- Dr Denis A Nicole
- Wednesday 4th November 2009
Combinatorial logic with loops
- Prof Michael J Butler
- Wednesday 28th October 2009
Structured Event Refinement
- Prof Vladimiro Sassone
- Wednesday 21st October 2009
Exponential Decay in Probabilistic Trust Models
- Prof Michael J Butler
- Wednesday 14th October 2009
Welcome to DSSE
|
