For Researchers |
|
Organisation |
|
Projects |
|
Publications |
|
Events |
|
PhD and MPhil |
|
|
|
Conferences
These are arranged at, or with, a strong University of Newcastle involvement. Conferences other than the International Seminar series on the Teaching of Computing (1968 to 2001) are organised on a year-by-year basis, as listed below.
- 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.
- 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.
- 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
- 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.
- 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
|