Workshops in Computing

2005

• Giovannina Albano, Pierluigi Ritrovato, Saverio Salerno (Eds.): 1st International ELeGI Conference on Advanced Technology for Enhanced Learning, Vico Equense (Naples), Italy, 15-16 March 2005. BCS 2005
  Contents

2004

• Theodosis Dimitrakos, Pierluigi Ritrovato (Eds.): 4th International LeGE-WG Workshop - Towards a European Learning Grid Infrastructure: Progressing with a European Learning Grid, Stuttgart, Germany. 27 - 28 April 2004. BCS 2004
  Contents

2003

• Theodosis Dimitrakos, Pierluigi Ritrovato, Saverio Salerno (Eds.): 3rd International LeGE-WG Workshop: GRID Infrastructure to Support Future Technology Enhanced Learning, Berlin, Germany. 3 December, 2003. BCS 2003
  Contents
• Joseph M. Morris, Benjamin Aziz, Frédéric Oehl (Eds.): 6th International Workshop on Formal Methods, IWFM 2003, Dublin City University. 11 July, 2003. BCS 2003
  Contents
• Pierluigi Ritrovato, Saverio Salerno, Matteo Gaeta (Eds.): 2nd International LeGE-WG Workshop on e-Learning and Grid Technologies: A Fundamental Challenge for Europe, Paris, France. 3rd &4th March 2003. BCS 2003
  Contents

2002

• Pierluigi Ritrovato, Saverio Salerno, Matteo Gaeta (Eds.): 1st LEGE-WG International Workshop on Educational Models for GRID Based Services, Lausanne, Switzerland. 16 September 2002. BCS 2002
  Contents
• Brian Matthews, F. Robert A. Hopgood, Michael Wilson (Eds.): The Web and the Grid: from e-science to e-business. EuroWeb 2002 Conference, St Anne's College, Oxford, UK. 17-18 December 2002. BCS 2002
  Contents

2001

• Andrew Butterfield, Glenn Strong, Claus Pahl (Eds.): 5th Irish Workshop on Formal Methods, IWFM 2001, Dublin, Ireland, 16-17 July 2001. BCS 2001
  Contents

2000

• David Sinclair, J. Paul Gibson (Eds.): 4th Irish Workshop on Formal Methods, IWFM 2000, Maynooth, Ireland, 5th-6th July 2000. BCS 2000
  Contents
• Rigorous Object-Oriented Methods, ROOM 2000, York, UK, 17 January 2000. BCS 2000
  Contents

1999

• Challenge of Image Retrieval, Newcastle upon Tyne, UK. 25-26 February 1999. BCS 1999
  Contents
• Andrew Butterfield, Klemens Haegele (Eds.): 3rd Irish Workshop on Formal Methods, Galway, Eire, July 1999. BCS 1999
  Contents
• Stephen W. Draper, Mark D. Dunlop, Ian Ruthven, C. J. van Rijsbergen (Eds.): Proceedings of Mira 99: Evaluating Interactive Information Retrieval, Glasgow, Scotland, UK, April 14-16, 1999. Workshops in Computing BCS 1999
  Contents

1998

• 20th Annual BCS-IRSG Colloquium on IR, Autrans, France. 25th-27th March 1998. BCS 1998
  Contents
• Sharon Flynn, Andrew Butterfield (Eds.): 2nd Irish Workshop on Formal Methods, Cork, Eire, 2-3 July 1998. BCS 1998
  Contents

1997

• 19th Annual BCS-IRSG Colloquium on IR Aberdeen, UK. 8th-9th April 1997. BCS 1997
  Contents
• Henry McGloughlin, Gerard O'Regan (Eds.): 1st Irish Workshop on Formal Methods, IWFM 1997, Dublin, Eire, 3-4 July 1997. BCS 1997
  Contents

1996

• Paolo Atzeni, Val Tannen (Eds.): Database Programming Languages (DBPL-5), Proceedings of the Fifth International Workshop on Database Programming Languages, Gubbio, Umbria, Italy, 6-8 September 1995. Electronic Workshops in Computing, Springer 1996, ISBN 3-540-76086-5
  http://www.ewic.org.uk/ewic/workshop/view.cfm/DBPL-5
  Contents
• Jessie B. Kennedy, Peter J. Barcley (Eds.): Interfaces to Databases (IDS-3), Proceedings of the 3rd International Workshop on Interfaces to Databases, Napier University, Edinburgh, 8-10 July 1996. Electronic Workshops in Computing, Springer 1996, ISBN 3-540-76066-0
  http://www.ewic.org.uk/ewic/workshop/view.cfm/IDS-3
  Contents
• Johann Eder, Leonid A. Kalinichenko (Eds.): Advances in Databases and Information Systems, Proceedings of the Second International Workshop on Advances in Databases and Information Systems (ADBIS'95), Moscow, 27-30 June 1995. Springer 1996, ISBN 3-540-76014-8
  Contents
• S. Fraïssé, Franca Garzotto, Tomás Isakowitz, Jocelyne Nanard, Marc Nanard (Eds.): Hypermedia Design, Proceedings of the International Workshop on Hypermedia Design (IWHD'95), Montpellier, France, 1-2 June 1995. Springer 1996, ISBN 3-540-19985-3
  Contents
• Mikael Berndtsson, Jörgen Hansson (Eds.): Active and Real-Time Database Systems (ARTDB-95), Proceedings of the First International Workshop on Active and Real-Time Database Systems, Skövde, Sweden, 9-11 June 1995. Springer, 1996, ISBN 3-540-19983-7
  Contents
• Mark A. Brown, José Carmo (Eds.): Deontic Logic, Agency and Normative Systems, DEON '96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996. Springer 1996, ISBN 3-540-76015-6
  Contents
• David N. Turner (Ed.): Functional Programming, Glasgow 1995. Springer 1996, ISBN 3-540-14580-X
  Contents

1995

• Johann Eder, Leonid A. Kalinichenko (Eds.): East/West Database Workshop, Proceedings of the Second International East/West Database Workshop, Klagenfurt, Austria, 25-28 September 1994. Springer 1995, ISBN 3-540-19946-2
  Contents
• James Clifford, Alexander Tuzhilin (Eds.): Recent Advances in Temporal Databases, Proceedings of the International Workshop on Temporal Databases, Zürich, Switzerland, 17-18 September 1995. Springer 1995, ISBN 3-540-19945-4
  Contents
• Malcolm P. Atkinson, David Maier, Véronique Benzaken (Eds.): Persistent Object Systems, Proceedings of the Sixth International Workshop on Persistent Object Systems, Tarascon, Provence, France, 5-9 September 1994. Springer-Verlag and British Computer Society, 1995, ISBN 3-540-19912-8
  Contents
• Peter Sawyer (Ed.): Interfaces to Database Systems (IDS94), Proceedings of the Second International Workshop on Interfaces to Database Systems, Lancaster University, 13-15 July 1994. Springer, 1995, ISBN 3-540-19910-1
  Contents
• Ian Ruthven (Ed.): Proceedings of the Final WorkShop on Multimedia Information Retrieval (MIRO'95), Glasgow, Scotland, UK, 18-20 September 1995. Workshops in Computing BCS 1995
  Contents

1994

• Yves Deville (Ed.): Logic Program Synthesis and Transformation, Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993. Springer 1994, ISBN 3-540-19864-4 and 0-387-19864-4
  Contents
• Catriel Beeri, Atsushi Ohori, Dennis Shasha(Eds.): Database Programming Languages (DBPL-4), Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, Manhattan, New York City, USA, 30 August - 1 September 1993. Springer 1994, ISBN 3-540-19853-9
  Contents
• Norman W. Paton, M. Howard Williams (Eds.): Rules in Database Systems. Proceedings of the 1st International Workshop on Rules in Database Systems, Edinburgh, Scotland, 30 August - 1 September 1993. Springer 1994, ISBN 3-540-19846-6 and 0-387-19846-6
  Contents

1993

• Kung-Kiu Lau, Tim P. Clement (Eds.): Logic Program Synthesis and Transformation, Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992. Springer 1993, ISBN 3-540-19806-7 and 0-387-19806-7
  Contents
• Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo (Eds.): Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993. Springer 1994, ISBN 3-540-19852-0
  Contents
• Richard Cooper (Ed.): Interfaces to Database Systems (IDS92), Proceedings of the First International Workshop on Interfaces to Database Systems, Glasgow, 1-3 July 1992. Springer 1993, ISBN 3-540-19802-4
  Contents
• Antonio Albano, Ronald Morrison (Eds.): Persistent Object Systems, Proceedings of the Fifth International Workshop on Persistent Object Systems, San Miniato (Pisa), Italy, 1-4 September, 1992. Springer 1992, ISBN 3-540-19800-8
  Contents
• Krysia Broda (Ed.): ALPUP92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992. Springer 1993, ISBN 3-540-19783-4
  Contents
• Wojciech Ziarko (Ed.): Rough Sets, Fuzzy Sets and Knowledge Discovery, Proceedings of the International Workshop on Rough Sets and Knowledge Discovery (RSKD'93), Banff, Alberta, Canada, 12-15 October 1993. Springer 1994, ISBN 3-540-19885-7
  Contents
• Geoffrey L. Burn, Simon J. Gay, Mark Ryan (Eds.): Theory and Formal Methods 1993, Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993. Springer 1993, ISBN 3-540-19842-3
  Contents
• Matt Smith, Alan Smaill, Geraint A. Wiggins (Eds.): Music Education: An Artificial Intelligence Approach, Proceedings of a Workshop held as part of AI-ED 93, World Conference on Artificial Intelligence in Education, Edinburgh, Scotland, UK, 25 August 1993. Springer 1994, ISBN 3-540-19873-3
  Contents
• Vangalur S. Alagar, Sabine Bergler, Fangqing Dong (Eds.): Incompleteness and Uncertainty in Information Systems, Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8-9 October 1993. Springer 1994, ISBN 3-540-19897-0
  Contents
• D. J. Andrews, Jan Friso Groote, C. A. Middelburg (Eds.): Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993. Springer 1994, ISBN 3-540-19854-7
  Contents
• Bhavani M. Thuraisingham, Ravi S. Sandhu, T. C. Ting (Eds.): Security for Object-Oriented Systems, Proceedings of the OOPSLA-93 Conference Workshop on Security for Object-Oriented Systems, Washington, DC, USA, 26 September 1993. Springer 1994, ISBN 3-540-19877-6
  Contents

1992

• Tim P. Clement, Kung-Kiu Lau (Eds.): Logic Program Synthesis and Transformation, Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991. Springer 1992, ISBN 3-540-19742-7 and 0-387-19742-7
  Contents
• Geraint A. Wiggins, Chris Mellish, Tim Duncan (Eds.): Proceedings of the 3rd UK Conference on Logic Programming, Edinburgh, 10-12 April 1991. Springer 1992, ISBN 3-540-19734-6
  Contents
• Antonio Albano, Ronald Morrison (Eds.): Persistent Object Systems, Proceedings of the Fifth International Workshop on Persistent Object Systems, San Miniato (Pisa), Italy, 1-4 September, 1992. Springer 1992, ISBN 3-540-19800-8
  Contents
• Udo W. Lipeck, Bernhard Thalheim (Eds.): Modelling Database Dynamics, Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, Volkse (near Braunschweig), Germany, 19-23 October 1992. Springer 1993, ISBN 3-540-19803-2
  Contents
• John Launchbury, Patrick M. Sansom (Eds.): Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992. Springer 1993, ISBN 3-540-19820-2
  Contents
• Ursula Martin, Jeannette M. Wing (Eds.): First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992. Springer 1993, ISBN 3-540-19804-0
  Contents
• Jonathan P. Bowen, J. E. Nicholls (Eds.): Z User Workshop, London, UK, 14-15 December 1992, Proceedings. Springer 1992, ISBN 3-540-19818-0
  Contents
• Susan Stepney, Rosalind Barden, David Cooper (Eds.): Object Orientation in Z. Springer 1992, ISBN 3-540-19778-8
  Contents
• Vangalur S. Alagar, Laks V. S. Lakshmanan, Fereidoon Sadri (Eds.): Formal Methods in Databases and Software Engineering, Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992. Springer 1993, ISBN 3-540-19812-1
  Contents
• S. Purushothaman, Amy E. Zwarico (Eds.): NAPAW 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 Agust 1992. Springer 1993, ISBN 3-540-19822-9
  Contents

1991

• Robert Giegerich, Susan L. Graham (Eds.): Code Generation - Concepts, Tools, Techniques, Workshop on Code Generation, Dagstuhl, Germany, 20-24 May 1991. Springer 1992, ISBN 3-540-19757-5
  Contents
• Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo (Eds.): Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991. Springer 1992, ISBN 3-540-19797-4
  Contents
• Jane Hillston, Peter J. B. King, Rob Pooley (Eds.): 7th UK Computer and Telecommunications Performance Engineering Workshop, Edinburgh, 22-23 July 1991. Springer 1992, ISBN 3-540-19733-8
  Contents
• Rogardt Heldal, Carsten Kehler Holst, Philip Wadler (Eds.): Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991. Springer 1992, ISBN 3-540-19760-5
  Contents
• B. Tim Denvir, Ros Herman, R. W. Whitty (Eds.): Formal Aspects of Measurement, Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991. Springer 1992, ISBN 3-540-19788-5
  Contents
• J. E. Nicholls (Ed.): Z User Workshop, York, UK, 16-17 December 1991, Proceedings. Springer 1992, ISBN 3-540-19780-X
  Contents
• John Darlington, Roland Dietrich (Eds.): Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991. Springer 1992, ISBN 3-540-19735-4
  Contents

1990

• Gillian Lovegrove, Barbara Segal (Eds.): Woman into Computing: Selected Papers 1988-1990. Springer 1991, ISBN 3-540-19648-X
  Contents
• J. E. Nicholls (Ed.): Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990. Springer 1991, ISBN 3-540-19672-2
  Contents

1989

• Kei Davis, John Hughes (Eds.): Functional Programming, Proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland, UK. Springer 1990, ISBN 3-540-19609-9
  Contents
• John Rosenberg, Davis Koch (Eds.): Persistent Object Systems, Proceedings of the Third International Workshop, 10-13 January 1989, Newcastle, New South Wales. Springer 1989, Workshops in Computing, ISBN 3-540-19626-9
  Contents

1988

• Charles Rattray (Ed.): Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK]. Springer 1990, ISBN 3-540-19581-5
  Contents