Proceedings of the 7th OVERTURE workshop, 2nd November, 2009, Eindhoven
Larsen P. G. and Bryans J. W. (eds.)
School of Computing Science, Newcastle University, 2009
Notes : Proceedings available as Newcastle University, School of Computing Science Technical Report no. 1177.

Proceedings. Second Workshop on Formal Aspects of Virtual Organisations, Eindhoven , The Netherlands, 3rd November, 2009
Bryans J. and Fitzgerald J. (eds.)
Electronic Proceedings in Theoretical Computer Science, 16
EPTCS, 2009
Notes : FAVO 2009 workshop - satellite event to 16th International Symposium on Formal Methods (FM2009).

Computer Performance Engineering. 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008
Thomas, N. and Juiz, C. (eds.)
Lecture Notes in Computer Science , 5261
Springer-Verlag, 2008

WEH '08 . Proceedings of the Fourth International Workshop on Exception Handling. Co-located with the Sixteenth ACM SIGSOFT International Symposium on the Foundations of Software Engineering, November 14, 2008, Atlanta, Georgia, USA
Garcia, A., Romanovsky, A., Kienzle, J. et al. (eds.)
ACM , 2008
Notes : ISBN: 978-1-60558-229-0

Theoretical Aspects of Computing - ICTAC 2008. 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008
Fitzgerald, J.S., Haxthausen, A.E. and Yenigun, H. (eds.)
Lecture Notes in Computer Science, 5160
Springer-Verlag, 2008

CHINA 2008 (Concurrency metHods: Issues aNd Applications)
Kleijn, J. and Koutny, M. (eds.)
School of Computing Science, University of Newcastle upon Tyne, 2008
Notes : Proceedings of Workshop held at Xidian University, Xi'an, China, June 2008. Published as: Technical Report no. CS-TR-1102, School of Computing Science, Newcastle University, June 2008.

SERENE '08. RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems, November 17-19, 2008, Newcastle upon Tyne, UK
Guelfi, N., Muccini, H., Pelliccione, P. and Romanovsky, A. (eds.)
ACM, 2008
Notes : ISBN:978-1-60558-275-7

2008 8th International Conference on Application of Concurrency to System Design, Proceedings , June 23-27, 2008, Xi'an, China
Billington, J., Duan, Z. and Koutny, M. (eds.)
IEEE Press, 2008
Notes : Print version: ISBN 978-1-4244-1838-1 CD-ROM version: ISBN 978-1-4244-1839-8

PMCCS-8. The Eighth International Workshop on Performability Modeling of Computer and Communication Systems, September 20-21, 2007, Edinburgh, Scotland
Cloth, L., Hiltunen, M. and van Moorsel, A. (eds.)
CTIT Workshop Proceedings, University of Twente, Centre for Telematics and Information Technology, 2007

Formal Methods and Hybrid Real-Time Systems. Essays in Honour of Dines Bjørner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Jones, C.B., Liu, Z. and Woodcock, J. (eds.)
Lecture Notes in Computer Science, 4700
Springer-Verlag, 2007
Notes : Papers presented at the Festschrift Symposium held September 24-25, 2007 in Macao, China.

Theoretical Aspects of Computing - ICTAC 2007. 4th International Colloquium, Macao, China, September 26-28, 2007
Jones, C.B., Liu , Z. and Woodcock, J. (eds.)
Lecture Notes in Computer Science, 4711
Springer-Verlag, 2007

Interactive Systems: Design, Specification and Verification. 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15 2005
Gilroy, S.W. and Harrison, M.D. (eds.)
Lecture Notes in Computer Science, 3941
Springer, 2006
Notes : Revised papers

Developing Systems that Handle Exceptions. Proceedings of ECOOP'05 Workshop on Exception Handling in Object-Oriented Systems, 2005
Romanovsky, A., Dony, C., Knudsen, J.-L., and Tripathi, A. (eds)
Department of Computer Science. LIRMM. Montpellier-II University. France, 2005
Notes : Workshop held July 25, 2005, Glasgow, UK. Proceedings published as Technical Report no. 05-050, Department of Computer Science, LIRMM, Montpellier-II University, France.

FM 2005: Formal Methods. International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005
Fitzgerald, J., Hayes, I.J. and Tarlecki, A. (eds.)
Lecture Notes in Computer Science, 3582
Springer-Verlag, 2005

Third Workshop on Architectures for Dependable Systems (WADS), 25th May 2004. [Held as part of ] ICSE Scotland 2004: 26th International Conference on Software Engineering, May 23-28, Edinburgh ... Scotland, UK
de Lemos, R., Gacek, C. and Romanovsky, A. (eds.)
IEE, 2004
Notes : ISBN 0-86341-434-6

Workshop on Quality of Service for Application Servers (QoSAS), Jurerê Beach Village, Santa Catarina Island, Brazil, October 2004
Morgan, G. and Smith R. (eds)
2004

Proceedings of the ECOOP 2003 Workshop on Exception Handling in Object-Oriented Systems: Towards Emerging Application Areas and New Programming Paradigms
Romanovsky, A., Dony, C., Knudsen, J.L. and Tripathi, A. (eds.)
Department of Computer Science, University of Minnesota, Minneapolis, MN, USA, 2003
Notes : Workshop held in Darmstadt, Germany, July 21, 2003. Proceedings published as Technical Report no. 03-028, Department of Computer Science and Engineering, University of Minnesota, 2003.

Current Issues in Safety-critical Systems: Proceedings of the Eleventh Safety-critical Systems Symposium, Bristol, UK, 4-6 February 2003
Redmill, F. and Anderson, T. (eds.)
Springer-Verlag New York, 2003, ISBN 1-85233-696-X

Software Reuse: Methods, Techniques, and Tools: Proceedings of the 7th International Conference on Software Reuse (ICSR-7), Austin, TX, USA, 15-19 April 2002
Gacek, C. (ed)
Lecture Notes in Computer Science, 2319
Springer-Verlag, 2002, ISBN 3-540-43483-6

Proceedings of the Open Source Software Development Workshop, University of Newcastle, Newcastle upon Tyne, UK, 25-26 February 2002
Gacek, C. and Arief, B. (eds.)
DIRC, 2002

Components of System Safety: Proceedings of the Tenth Safety-Critical Systems Symposium, Southampton, UK
Anderson, T. and Redmill, F. (eds.)
Springer-Verlag, 2002, ISBN 1-85233-561-0

Aspects of Safety Management: Proceedings of the Ninth Safety-Critical Systems Symposium, Bristol, UK
Anderson, T. and Redmill, F. (eds.)
Springer-Verlag, 2001, ISBN 1-85233-411-8

Applications and Theory of Petri Nets 2001, Proceedings of 22nd International Conference, ICATPN 2001
Colom, J-M. and Koutny, M. (eds.)
Lecture Notes in Computer Science, 2075
Springer-Verlag, 2001, ISBN 3-540-42252-8

Proceedings of the Product Line Architecture Workshop - The First Software Product Line Conference (SPLC1), Kaiserslautern, Germany, August 2000 (Fraunhofer IESE Technical Report 053.00/E)
Gacek, C., Jourdan, J. and Coriat, M. (eds.)
Fraunhofer Institute, 2000

Reflection and Software Engineering: Papers from 1st OOPSLA Workshop on Reflection and Software Engineering (OORaSE 1999), Denver, CO, USA, November 1999
Cazzola, W., Stroud, R.J. and Tisato, F. (eds.)
Springer-Verlag, 2000, ISBN 3-540-67761-5

Lessons in System Safety: Proceedings of the Eighth Safety-critical Systems Symposium, Southampton, UK
Anderson, T. and Redmill, F. (eds.)
Springer-Verlag, 2000, ISBN 1-85233-249-2

International Conferences on Applications and Theory of Petri Nets (ICATPN) '99 Workshop on Hardware Design and Petri Nets (HWPN'99), Williamstown, VA, USA
Yakovlev, A. and Lavagno, L.
Kluwer Academic, 1999

Towards System Safety: Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK
Anderson, T. and Redmill, F. (eds.)
Springer-Verlag, 1999, ISBN 1-85233-064-3

Industrial Perspectives of Safety-critical Systems: Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham 1998
Anderson, T. and Redmill, F. (eds.)
Springer-Verlag, 1998, ISBN 3-540-76189-6

Safer Systems: Proceedings of the Fifth Safety-critical Systems Symposium, Brighton, 1997
Redmill, F. and Anderson, T.(eds.)
Springer-Verlag, 1997, ISBN 0-387-19817-2

AAAI 1996 Spring Symposium. Cognitive and computational models of spatial representation, Stanford University, CA
Olivier, P. (ed)
AAAI Spring Symposium Series, AAAI Press, 1997

Knowledge Summary: USC-CSE Focused Workshop on Software Architectures II, Center for Software Engineering, University of Southern California, Los Angeles, CA, USA, 12-14 November 1997
Boehm, B.W., Egyed, A., and Gacek, C. (eds.)
University of Southern California, 1997

FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, proceedings of the 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997
Fitzgerald, J.S., Jones, C.B. and Lucas, P. (eds.)
Lecture Notes in Computer Science, 1313
Springer-Verlag, 1997, ISBN 3-540-63533-5

Object Orientation with Parallelism and Persistence: Proceedings of Dagstuhl Seminar no. 9514: Object-Orientation with Parallelism and Persistence, Schloss Dagstuhl, Germany, 3-7 April 1995
Freitag, B., Jones, C.B., Lengauer, C. and Schek, H.-J. (eds.)
Kluwer International SECS, 370
Kluwer Academic Publishers, Boston, 1996, ISBN 0-7923-9770-3

ECAI-96 Workshop on the Representation and Processing of Spatial Expressions. 12th European Conference on Artificial Intelligence (ECAI-96), Budapest, Hungary
Olivier, P. (ed)
European Coordinating Committee for Artificial Intelligence, 1996

Safety-critical Systems: The Convergence of High Tech and Human Factors: Proceedings of the Fourth Safety-Critical Systems Symposium, Leeds, UK
Anderson, T. and Redmill, F. (eds.)
Springer-Verlag, 1996, ISBN 3-540-76009-1

Achievement and Assurance of Safety: Proceedings of the Third Safety-Critical Systems Symposium, Brighton, UK
Anderson, T. and Redmill, F. (eds.)
Springer-Verlag, 1995, ISBN 3-540-19922-5

Knowledge Summary: USC-CSE Focused Workshop on Software Reuse, Center for Software Engineering, University of Southern California, Los Angeles, CA, USA, 17-20 October 1994
Clark, B., Gacek, C. and Boehm, B.W. (eds.)
University of Southern California, 1994

Knowledge Summary: USC-CSE Focused Workshop on Software Architectures, Center for Software Engineering, University of Southern California, Los Angeles, CA, USA, 6-9 June 1994
Abd-Allah, A., Clark, B., Gacek, C. and Boehm, B.W. (eds.)
University of Southern California, 1994

Technology and Assessment of Safety-Critical Systems: Proceedings of the Second Safety-Critical Systems Symposium, Birmingham, UK
Anderson, T. and Redmill, F. (eds.)
Springer-Verlag, 1994, ISBN 0-387-19859-8

Directions in Safety-Critical Systems: Proceedings Of The First Safety-Critical Systems Symposium, Bristol, United Kingdom
Anderson, T. and Redmill, F. (eds.)
Springer-Verlag, 1993, ISBN 0-387-19817-2

5th Refinement Workshop: Proceedings of the 5th BCS-FACS Refinement Workshop, London, UK, 1-10 January 1992 (Workshops in Computing series)
Jones, C.B., Shaw, R.C. and Denvir, T. (eds.)
Springer-Verlag, 1992, ISBN 0-387-19752-4

Performance '90, Proceedings of the 14th IFIP WG 7.3 International Symposium on Computer Performance Modelling, Measurement and Evaluation, Edinburgh, Scotland, 12-14 September 1990
King, P.J.B., Mitrani, I. and Pooley, R. (eds.)
North-Holland, 1990, ISBN 0-444-88353-3

Applications of Transputers 1: Proceedings of the First International Conference on Applications of Transputers, Liverpool, UK, 23-25 August 1989
Freeman, L. and Phillips, C. (eds.)
IOS Press, 1990, ISBN 90-5199-025-1

Programming Concepts and Methods: Proceedings of the IFIP TC2 WG 2.2/2.3 Working Conference on Programming Concepts and Methods, Tiberias, Sea of Galilee, Israel, April 1990
Broy, M. and Jones, C.B. (eds.)
North-Holland, 1990, ISBN 0-444-88545-5

VDM - A Formal Method at Work: Proceedings of the VDM-Europe Symposium (VDM '87), Brussels, Belgium, 23-26 March 1987
Bjorner, D., Jones, C.B., Mac an Airchinnigh, M. and Neuhold, E.J. (eds.)
Lecture Notes in Computer Science, 252
Springer-Verlag, 1987, ISBN 3-540-17654-3

Software Engineering Techniques: Report of a conference sponsored by the NATO Science Committee, Rome, Italy, 27th-31st October 1969
Randell, B. and Buxton, J.N. (eds.)
Scientific Affairs Division, NATO, 1970

Software Engineering: Report of a conference sponsored by the NATO Science Committee, Garmisch, Germany, 7th-11th October 1968
Naur, P. and Randell, B. (eds.)
Scientific Affairs Division, NATO, 1969