Conferences

These are conferences which are arranged at Newcastle University or have a strong Newcastle University involvement.

2008
5th European Performance Engineering Workshop - EPEW 2008, 24-25 September 2008, Palma de Mallorca, Spain
Formal Aspects of Virtual Organisations - FAVO 2008, 26 May 2008, Aabo Akademi University, Turku, Finland. In conjunction with FM'08.
EuroSys 2008, 1-4th April 2008, Glasgow, Scotland
Safety-critical Systems Symposium 2008, 5-7 February 2008, Bristol, UK
2007
Ada Conference UK 2007, 25th September 2007, Manchester, UK
DSN 2007 The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, June 25 - June 28, 2007 Edinburgh International Conference Centre, Edinburgh, UK. Co-located with DSN 2007 is Understanding Why Systems Fail (a Safety Critical Systems Club seminar), 25 June 2007, Edinburgh, UK
Safety-critical Systems Symposium 2007 13-15 February 2007, Bristol, UK
2006
IAVoSS Workshop On Trustworthy Elections (WOTE 2006) 29-30 June 2006, Robinson College, Cambridge, United Kingdom. The workshop is organized by IAVoSS, the International Association for Voting Systems Sciences, in association with the 6th Workshop on Privacy Enhancing Technologies. It follows in the tradition of the series of workshops devoted to cryptographic voting methods, such as WOTE '01, the DIMACS Workshop 2004, FEE 2005, and the NeSC Workshop on e-voting and e-democracy.
The ADA UK Conference 2006, 28 March 2006, Manchester, UK
Safety-critical Systems Symposium 2006, 7-9 February, Bristol, UK
2005
Formal Methods Europe (FME '05) 18-22 July 2005, University of Newcastle upon Tyne, United Kingdom
FM'05 is the thirteenth in a series of symposia organized by Formal Methods Europe, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development.
Safety-critical Systems Symposium 2005, 8-10 February 2005, Southampton, UK
2004
Grand Challenges in Computing '04 (GCC '04) 29-31 March 2004, Newcastle upon Tyne, United Kingdom
This conference includes the CPHC annual conference and AGM, and Grand Challenges for Computing in Research and Education.
Workshop on Issues in the Theory of Security (WITS'04) 3-4 April, 2004, Barcelona, Spain
This conference is co-located with the European Joint Conferences on Theory and Practice of Software (ETAPS '04)
Twin Workshops on Architecting Dependable Systems (WADS 2004)
This comprises the twin workshops:
International Conference on Software Engineering (ICSE 2004) 25 May, 2004
International Conference on Dependable Systems and Networks (DSN 2004) 29 June, 2004
Safety-critical Systems Symposium 2004, 17-19 February 2004, Birmingham, UK
2003
Safety-critical Systems Symposium 2003, 4-6 February 2003, Bristol, UK
2002
Informatics Forum 31st October-1st November 2002
Natural Computing Days at Newcastle 4th-5th March 2002
Recent developments of the cutting edge research in Evolutionary Computing, Neural Networks, Quantum Computing and Molecular Computing.
Safety-critical Systems Symposium 2002, 5-7 February 2002, Southampton, UK
2001
2nd International Conference on the Application of Concurrency to System Design (ICACSD'2001) 25th-29th June 2001
22nd International Conference on the Application and Theory of Petri Nets (PN'2001) 25th-29th June 2001
Workshop on Concurrency in Dependable Computing 26th June 2001
International Seminar series on the Teaching of Computing, Newcastle, 1968-2001