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