Frontiers of Combining Systems

FroCoS'98

October 2-4, 1998

ILLC, University of Amsterdam

In various areas of logic, computation, language processing, and artificial intelligence there is an obvious need for using specialized formalisms and inference mechanisms for special tasks. To be usable in practice, these specialized systems must be combined with each other, and they must be integrated into general purpose systems. The development of general techniques for the combination and integration of special systems has been initiated in many areas.

The first international workshop on `Frontiers of Combining Systems' (FroCoS'96) was held in Munich in 1996. Like its predecessor `Frontiers of Combining Systems `98' (FroCoS'98) is intended to offer a common forum for research activities in the general area of combination and integration of systems. It also offers the possibility to present results on particular instances of combination and integration, and on their practical use.

Registration
To register, please visit the registration page.

Accommodation
Hotel accommodation will be arranged in various different Hotels in and around the city of Amsterdam. Please ask Marco de Vries to help you out when you register for FroCoS'98. Please note that availability of affordable accommodation will be very limited during the autumn; please make arrangements as soon as possible.

Workshop Venue
FroCoS'98 will be held in the Eggertzaal of the Nieuwe Kerk, Amsterdam. The Nieuwe Kerk is located on Dam Square, facing the Dampaleis; it is just a 5 minute walk away from Amsterdam Central Station.

Local Information
Amsterdam is a historic city of outstanding beauty. It is the capital of the Netherlands and home to over 700,000 people. The Netherlands have a temperate climate.

Amsterdam Schiphol airport serves hundreds of destinations daily from all over the world. From the airport it is a short train journey to the centre of the city, with trains running day and night. The railway and road networks in the Netherlands provide for easy routes from neighbouring countries (Germany and Belgium) as well as the rest of continental Europe. There are daily ferry services to and from the United Kingdom. Public transport in Amsterdam is frequent and reliable.

For more information, see:

• About Amsterdam
• Channels

Scientific Program
The invited speakers are Krzysztof Apt, Doug Howe, Claude Kirchner, and Andrzej Tarlecki. The full scientific program is available on a separate page.

Final Version Style
Further guidelines to prepare the final version of your contribution to the FroCoS'98 volume can be found here.

Proceedings
The proceedings of FroCoS'96 were published as a volume in the Applied Logic Series, Kluwer Academic Publishers. We intend to publish the proceedings of FroCoS'98 in the same series. Details will be announced shortly. Final versions of accepted papers are due September 1, 1998 at frocos98@wins.uva.nl.

Program Committee

Franz Baader David Basin Jacques Calmet Dov Gabbay (co-chair) Natasha Kurtonina Aart Middeldorp István Németi

Jochen Pfalzgraf Maarten de Rijke (co-chair) Christophe Ringeissen Klaus Schulz Amilcar Sernadas John Slaney Michael Wooldridge

Local Arrangements
The local organization committee consists of

• Carlos Areces
• Christof Monz
• Maarten de Rijke
• Marco de Vries

Sponsors
FroCoS'98 is sponsored by the Spinoza project `Logic in Action' at ILLC, University of Amsterdam.