The full version of this Call for Papers is available in two
forms: plain-text and LaTeX respectively.
CSL is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working in areas related to computer science.
Scientific Program
September 21 - 22, 1996
Tutorial on Applications of Categorical Logic to Computer Science
(Concurrency), organized by I. Moerdijk (Utrecht). Speakers:
B. Jacobs (Amsterdam), J. van Oosten (Utrecht), G. Winskel (Aarhus).
September 23 - 27, 1996
Invited lectures and contributed papers.
Submissions
Authors are invited to submit five copies of a draft of a full paper (5-12 pages) and twelve copies of a two page abstract to the chairman of the program committee. The cover page should include title, authors, and corresponding author: name, address, phone number, e-mail address, and fax number (if available). The deadline is May 1st 1996.
The authors will be notified of acceptance for presentation at the conference by July 13, 1996. Detailed submission information is available in the full version of this announcement at the URL above.
Grants
For young scientists living at least one year in EU-countries some grants are available from the HCM Euroconferences program of the EU. For more information please contact the chair. The final application should be sent not later then May 1, 1996.