[C4] ================================================ AMAST Links 02 08

Annual Conf. of European Association for Computer Science Logic, CSL'96
                 Utrecht, NL, September 21 - 27, 1996

   The full version of this Call for Papers is available in two
   forms: plain-text (?=txt) and LaTeX (?=tex) respectively at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i08/full/AC0208C4.?

  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.