victor@WATSON.IBM.COM (Egon Boerger) (03/29/91)
CSL '91
=======
Computer Science Logic
October 7-11, 1991
Berne (Switzerland)
First Announcement and
CALL FOR PAPERS
The fifth workshop on Computer Science Logic will be held
from Monday, October 7, to Friday, October 11, 1991, in
Berne (Switzerland).
This is the fifth in a series of workshops on concepts and
methods of logic which are relevant in computer science. The
first four workshops took place in Karlsruhe (1987), Duis-
burg (1988), Kaiserslautern (1989) and in Heidelberg (1990).
The workshop is intended for computer scientists whose
research activities involve logic as well as for logicians
working on algorithmic aspects of logical problems.
The scientific program will consist of invited lectures and
short contributions, which will be selected from the submit-
ted papers. All contributions will be refereed for a volume
of proceedings.
An extended abstract (1-2 pages) of papers to be submitted
should be sent to the program committee chairman (G. Jaeger)
not later than June 1, 1991. The authors will be notified of
acceptance for presentation to the workshop by July 15,
1991. The preliminary version of the complete paper to be
submitted to the volume of proceedings should be available
at the start of the workshop. The final camera-ready version
of the paper should not exceed 15 pages and must be submit-
ted before December 1, 1991.
The authors will be notified of the acceptance of their
papers for the volume of proceedings by January 15, 1992.
The conference fee is SFr 80.--.
Program Committee and Organizers: E. Boerger (Pisa)
H. Kleine Buening (Duisburg)
M. M. Richter (Kaiserslautern)
G. Jaeger (Berne)
Program Committee Chairman: G. Jaeger
Correspondence should be sent to:
Prof. Dr. G. Jaeger
CSL '91
Institut fuer Informatik und angewandte Mathematik
Universitaet Bern
Laenggassstrasse 51
CH-3012 Berne
Switzerland