Colloquia are presentations by visitors and speakers, who are invited from around the country. They are held roughly every two weeks during term time, traditionally from 2.30-3.30pm, and adjourn to a general discussion over tea and biscuits until 4pm. Research students and staff are especially invited to attend.
This is the schedule of upcoming Colloquia.
This is a record of past Colloquia.
| Date |
Title |
Speaker |
| 10th May, 2006 |
Specification and Verification of Reconfigurable Component Based Systems [ Abstract ] |
Tom Maibaum
[ Homepage ] |
| 9th May, 2006 |
Modelling State, Concurrency and I/O in Functional Languages [ Abstract ] |
Malcolm Dowse
[ Homepage ] |
| 19th April, 2006 |
Internet Background Radiation as seen from the Southern Hemisphere [ Abstract ] |
Ian Welch
[ Homepage ] |
| 5th April, 2006 |
Human Interaction and Collaboration in Automated and Autonomous Systems. [ Abstract ] |
Peter Johnson
[ Homepage ] |
| 20th March, 2006 |
Information-flow Security for Interactive Programs [ Abstract ] |
Kevin O Neill
[ Homepage ] |
| 15th March, 2006 |
Sensible decisions in very large networks [ Abstract ] |
Erol Gelenbe
[ Homepage ] |
| 28th February, 2006 |
Pervasive Messaging and Telemetry Integration [ Abstract ] |
Andy Stanford Clark
[ Homepage ] |
| 22nd February, 2006 |
Formal Description Techniques for Interactive Systems Engineering [ Abstract ] |
Philippe Palanque
[ Homepage ] |
| 13th February, 2006 |
Themes in True-Concurrency and the Verification of Cryptographic Protocols [ Abstract ] |
Sibylle Froeschle
[ Homepage ] |
| 9th February, 2006 |
From Boolean Algebra to Unified Algebra [ Abstract ] |
Eric Hehner
[ Homepage ] |
| 8th February, 2006 |
GRIDS, Databases and Information Systems Engineering Research [ Abstract ] |
Keith Jeffery
[ Homepage ] |
| 26th January, 2006 |
Samoa: Formal Tools for Securing Web Services [ Abstract ] |
Andy Gordon
[ Homepage ] |
| 11th January, 2006 |
Understanding and modelling human error for interactive system design [ Abstract ] |
Ann Blandford
[ Homepage ] |
| 19th December, 2005 |
The Rules of Modelling: Automatic Generation of Constraint Programs [ Abstract ] |
Alan M. Frisch
[ Homepage ] |
| 29th November, 2005 |
Modelling and Analysis of Quantum Cryptographic Protocols [ Abstract ] |
Simon Gay
[ Homepage ] |
| 23rd November, 2005 |
Adding Conflict and Confusion to CSP [ Abstract ] |
Christie Marr (nee Bolton)
[ Homepage ] |
| 31st October, 2005 |
A Hierarchical Analysis of Propositional Temporal Logic based on Intervals [ Abstract ] |
Ben Moszkowski |
| 16th September, 2005 |
Software Components -- A Step towards an Engineering Approach to Software? [ Abstract ] |
Ralf Reussner
[ Homepage ] |
| 24th August, 2005 |
Dependability in a digitally integrated world - the challenge of moving from physical to logical boundaries [ Abstract ] |
Stephan Engberg
[ Homepage ] |
| 27th July, 2005 |
Failure Propagation and Transformation - a Safety Analysis [ Abstract ] |
Malcolm Wallace
[ Homepage ] |
| 6th July, 2005 |
Nonparametric inference in machine learning [ Abstract ] |
Lehel Csato
[ Homepage ] |
| 8th June, 2005 |
Some Recent Results and Research Problems in Timed Systems [ Abstract ] |
Joel Ouaknine
[ Homepage ] |
| 8th June, 2005 |
SDSS and NVO, bringing Astronomical data to the masses [ Abstract ] |
Wil O'Mullane |
| 1st June, 2005 |
The righteous and the wicked: efficient high-level methods for performance analysis [ Abstract ] |
Stephen Gilmore
[ Homepage ] |
| 18th May, 2005 |
The BBC Domesday Rescue Project [ Abstract ] |
Jeffrey Darlington |
| 4th May, 2005 |
An Algorithm for Polynomial Matrix Eigenvalue Decomposition [ Abstract ] |
John McWhirter
[ Homepage ] |
| 25th April, 2005 |
Self Assembley Processes In Nanoscience [ Abstract ] |
Ed Coffman
[ Homepage ] |
| 20th April, 2005 |
Collaborative Visualization in Grid Computing Environments [ Abstract ] |
David Duce
[ Homepage ] |
| 16th March, 2005 |
In Vivo - In Silico: finding out how nature grows complex systems [ Abstract ] |
Ronan Sleep
[ Homepage ] |
| 16th February, 2005 |
Temporal Information Maximization and Cortical Processing [ Abstract ] |
Thomas Wennekers
[ Homepage ] |
| 26th January, 2005 |
Distributed language models of online interaction [ Abstract ] |
Ata Kaban
[ Homepage ] |
| 12th January, 2005 |
Politics and IT: experiences of making them fit together [ Abstract ] |
Lesley Beddie
[ Homepage ] |
| 1st December, 2004 |
A Functional Language for Hardware Modelling and Verification with Metaprogramming and Reflection [ Abstract ] |
Tom Melham
[ Homepage ] |
| 24th November, 2004 |
Resources, Concurrency and Local Reasoning [ Abstract ] |
Peter O'Hearn
[ Homepage ] |
| 27th October, 2004 |
Model Checking Polymorphic Systems with Arrays [ Abstract ] |
Ranko Lazic
[ Homepage ] |
| 15th October, 2004 |
The Technical and Societal Implications of Networking: A Personal Perspective [ Abstract ] |
Dave Farber
[ Homepage ] |
| 29th September, 2004 |
Data Base Technology for Sensor Based Computing [ Abstract ] |
Dieter Gawlick |
| 22nd September, 2004 |
Alternative Reality, a new approach to VR [ Abstract ] |
Marc Cavazza
[ Homepage ] |
| 13th September, 2004 |
An architecture and a language for contract monitoring in cross-organisational systems [ Abstract ] |
Zoran Milosevic
[ Homepage ] |
| 16th July, 2004 |
Recent Work on WebSphere Application Server [ Abstract ] |
Graeme Dixon |
| 5th July, 2004 |
Two Conceptions of Security Online [ Abstract ] |
Helen Nissenbaum
[ Homepage ] |
| 30th June, 2004 |
Scalable Ubiquitous Computing Systems [ Abstract ] |
Jon Crowcroft
[ Homepage ] |
| 28th May, 2004 |
The Economics of Software Dependability [ Abstract ] |
Barry Boehm
[ Homepage ] |
| 21st May, 2004 |
From Objects to Agents: An Aspect-Oriented Approach [ Abstract ] |
Alessandro Fabricio Garcia
[ Homepage ] |
| 20th May, 2004 |
Advances in Logic Verification and Boolean Satisfiability [ Abstract ] |
Dhiraj Pradhan
[ Homepage ] |
| 19th May, 2004 |
Last dance on the Titanic: Why we need to re-invent computer security [ Abstract ] |
Angela Sasse
[ Homepage ] |
| 5th May, 2004 |
Quantum Theory and Global Optimisation [ Abstract ] |
Koenraad Audenaert
[ Homepage ] |
| 29th April, 2004 |
Software Evolution and the Future for Flexible Software [ Abstract ] |
Keith Bennett
[ Homepage ] |
| 20th April, 2004 |
Securing Spontaneous Interactions in Mobile/Ubiquitous Computing [ Abstract ] |
Tim Kindberg
[ Homepage ] |
| 14th April, 2004 |
Interoperation between a PKI and an ID-based infrastructure [ Abstract ] |
Chris Mitchell
[ Homepage ] |
| 24th March, 2004 |
The impact of new technologies upon Cyber Trust & Crime Prevention - emerging findings of a Foresight project [ Abstract ] |
Miles Yarrington
[ Homepage ] |
| 17th March, 2004 |
Relational-based Calculus for Trust Management in Networked Services [ Abstract ] |
Noureddine Boudriga |
| 16th March, 2004 |
Engineering Webs of Knowledge [ Abstract ] |
Nigel Shadbolt
[ Homepage ] |
| 3rd March, 2004 |
Relating Models for Consistent Diagrams of Critical Systems [ Abstract ] |
Juan Bicarregui
[ Homepage ] |
| 26th February, 2004 |
'Bruce Willis is Braver than You Think': New Techniques for Analysing Software Failures in NASA's Space Missions [ Abstract ] |
Chris Johnson
[ Homepage ] |
| 19th February, 2004 |
How to Live Beyond Your Means: Extracting Response Time Densities and Quantiles from Stochastic Models [ Abstract ] |
Will Knottenbelt
[ Homepage ] |
| 12th February, 2004 |
Towards an Internet-wide Distributed System for Media Stream Processing and Delivery [ Abstract ] |
Richard West
[ Homepage ] |
| 5th February, 2004 |
Web Services Management Framework and Related Topics [ Abstract ] |
Aad van Moorsel
[ Homepage ] |
| 29th January, 2004 |
Security is a dirty word [ Abstract ] |
Mike Ellison
[ Homepage ] |
| 21st January, 2004 |
CommUnity on the Move: Coordination in Distributed and Mobile Systems [ Abstract ] |
José Luiz Fiadeiro
[ Homepage ] |
| 14th January, 2004 |
Nature Inspired Cryptography and Security [ Abstract ] |
John Clark
[ Homepage ] |
| 4th December, 2003 |
Lost Horizons [ Abstract ] |
Neale Smith
[ Homepage ] |
| 2nd December, 2003 |
Why politics needs computer scientists [ Abstract ] |
Ian Brown
[ Homepage ] |
| 4th November, 2003 |
Quantum Software Engineering? [ Abstract ] |
Jeff W Sanders
[ Homepage ] |
| 29th October, 2003 |
Collaborative Working in Requirements Management for a System of Systems [ Abstract ] |
Amer Saeed
[ Homepage ] |
| 23rd October, 2003 |
Determining the specification of a control system from that of its environment [ Abstract ] |
Ian J. Hayes
[ Homepage ] |
| 16th October, 2003 |
A Decentralized Mechanism for Distributed Coordination & Control [ Abstract ] |
Naftaly Minsky
[ Homepage ] |
| 8th October, 2003 |
Trade Secrets, Dongles, and Patents: A History of Software Protection [ Abstract ] |
Martin Campbell-Kelly
[ Homepage ] |
| 2nd October, 2003 |
Software Concerns: Separation and Composition [ Abstract ] |
Michael Jackson
[ Homepage ] |
| 23rd September, 2003 |
Situated Formalisms: Combining Software Function and Context [ Abstract ] |
John Knight
[ Homepage ] |
| 9th July, 2003 |
Social Informatics @ Newcastle: The first three years. [ Abstract ] |
Mike Martin
[ Homepage ] |
| 28th May, 2003 |
Real-Time Networks - Rationale and Practice [ Abstract ] |
Hugo Simpson |
| 21st May, 2003 |
The Inferno Distributed Operating System [ Abstract ] |
Michael Jeffrey
[ Homepage ] |
| 8th May, 2003 |
APSS: Asynchronous Proactive Secret Sharing [ Abstract ] |
Fred Schneider
[ Homepage ] |
| 3rd April, 2003 |
Capturing Rationale using Rich Traceability [ Abstract ] |
Jeremy Dick |
| 13th February, 2003 |
Dependable Dynamite - Formal modelling in the commercial development of an optimising dynamic binary translator [ Abstract ] |
John Fitzgerald
[ Homepage ] |
| 6th February, 2003 |
Visualising Information Structures [ Abstract ] |
Keith Andrews
[ Homepage ] |
|
|
|
Faculty of Science Agriculture and Engineering 
Top of Page | | Page Maintainer