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 Workshops in Computing [ 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 Workshops in Computing [ 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 Workshops in Computing [ 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 Workshops in Computing [ 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 Workshops in Computing [ 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 Workshops in Computing [ contents ]
Brian Matthews, F. Robert A. Hopgood, Michael D. 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 Workshops in Computing [ 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 Workshops in Computing [ contents ]
2000
David Sinclair, J. Paul Gibson (Eds.): 4th Irish Workshop on Formal Methods, IWFM 2000, Maynooth, Ireland, 5th-6th July 2000. BCS 2000 Workshops in Computing [ contents ]
Rigorous Object-Oriented Methods, ROOM 2000, York, UK, 17 January 2000. BCS 2000 Workshops in Computing [ contents ]
1999
Challenge of Image Retrieval, Newcastle upon Tyne, UK. 25-26 February 1999. BCS 1999 Workshops in Computing [ contents ]
Andrew Butterfield, Klemens Haegele (Eds.): 3rd Irish Workshop on Formal Methods, Galway, Eire, July 1999. BCS 1999 Workshops in Computing [ 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. BCS 1999 Workshops in Computing [ contents ]
1998
20th Annual BCS-IRSG Colloquium on IR, Autrans, France. 25th-27th March 1998. BCS 1998 Workshops in Computing [ contents ]
Sharon Flynn, Andrew Butterfield (Eds.): 2nd Irish Workshop on Formal Methods, Cork, Eire, 2-3 July 1998. BCS 1998 Workshops in Computing [ contents ]
1997
19th Annual BCS-IRSG Colloquium on IR Aberdeen, UK. 8th-9th April 1997. BCS 1997 Workshops in Computing [ contents ]
Henry McGloughlin, Gerard O'Regan (Eds.): 1st Irish Workshop on Formal Methods, IWFM 1997, Dublin, Eire, 3-4 July 1997. BCS 1997 Workshops in Computing [ 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. Springer 1996 Workshops in Computing ISBN 3-540-76066-0 [ 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 - Sylvain 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 Workshops in Computing ISBN 3-540-76015-6 [ contents ]
David N. Turner (Ed.): Functional Programming, Glasgow 1995. Springer 1996 Workshops in Computing 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 Workshops in Computing 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
Ian Ruthven (Ed.): Proceedings of the Final WorkShop on Multimedia Information Retrieval (MIRO'95), Glasgow, Scotland, UK, 18-20 September 1995. BCS 1995 Workshops in Computing [ 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 Workshops in Computing 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 Workshops in Computing 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 Workshops in Computing 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 Workshops in Computing 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 Workshops in Computing 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 Workshops in Computing 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 Workshops in Computing 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 Workshops in Computing 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 Workshops in Computing 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 Workshops in Computing 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 Workshops in Computing 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 Workshops in Computing 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 Workshops in Computing ISBN 3-540-19818-0 [ contents ]
Susan Stepney, Rosalind Barden, David Cooper (Eds.): Object Orientation in Z. Springer 1992 Workshops in Computing 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 Workshops in Computing 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 Workshops in Computing 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 Workshops in Computing 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 Workshops in Computing 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 Workshops in Computing 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 Workshops in Computing 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 Workshops in Computing ISBN 3-540-19788-5 [ contents ]
J. E. Nicholls (Ed.): Z User Workshop, York, UK, 16-17 December 1991, Proceedings. Springer 1992 Workshops in Computing 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 Workshops in Computing ISBN 3-540-19735-4 [ contents ]
1990
Gillian Lovegrove, Barbara Segal (Eds.): Woman into Computing: Selected Papers 1988-1990. Springer 1991 Workshops in Computing 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 Workshops in Computing 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 Workshops in Computing ISBN 3-540-19609-9 [ contents ]
John Rosenberg, David 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 Workshops in Computing ISBN 3-540-19581-5 [ contents ]



