LICSNEWS 7

AUTOMATED DEDUCTION IN NONSTANDARD LOGICS
  22 - 24 October, 1993, Raleigh, North Carolina
  One of five AAAI concurrent symposia. A limited number of registrants 
  will be allowed besides the invited participants.  
Registration information will be available in late July, 1993, from
  AAAI Fall Symposium Series, 445 Burgess Drive, Menlo Park, CA 94025
  (415) 328-3123, fss@aaai.org
Submit paper by June 4, electronically (preferred) to scherl@cs.toronto.edu, 
  hard copies to Richard Scherl, Department of Computer Science, 
  University of Toronto, 6 Kings College Rd., Toronto, Canada M5S 1A4


TEMPUS SUMMER SCHOOL FOR ALGEBRAIC & CATEGORICAL METHODS IN COMPUTER SCIENCE
  Brno, June 28 - July 3, 1993
Courses: P. Freyd: Cartesian Logic and Cartesian Categories
  Y. Lafont: Linear Logic,  J. Lambek: Categories and Deductive Systems
  C.P. Stirling: Modal and Temporal Logics for Processes
  G. Winskel: Models and Logic for Concurrent Computation
  Special lecture: D. Scott: The Theory of Domains: Origin, Development, Future
Registration info: Tempus Summer School, Dept. of Algebra and Geometry
  Masaryk University, Janackovo nam. 2a, 662 95 Brno, Czech Republic
  tempus@queen.math.muni.cs, fax: 42-5-745510 phone: 42-5-745666


NORTH AMERICAN PROCESS ALGEBRA WORKSHOP (NAPAW'93)
  August 15, 1993, Cornell University, Ithaca, NY
NAPAW is a forum for the discussion of process algebras and their uses.  
  Short abstracts on topics relating to the theory, application,
  and extensions of process algebras are sought.
Submit paper by June 1, electronically (preferred) to bard@cs.cornell.edu, 
  or hard copies to B. Bloom, Computer Science, Cornell Univ., Ithaca NY 14853
Program Committee: B. Bloom, R. Cleaveland, R. van Glabbeek, I. Lee,
   N. Lynch, F. Vaandrager


INTERNATIONAL WORKSHOP ON HIGHER ORDER ALGEBRA, LOGIC & TERM REWRITING (HOA'93)
  CWI, Amsterdam, The Netherlands, September 23-24, 1993.
Topics include higher order aspects of: algebra and model theory, term 
  rewriting, system implementations, specification & verification languages, 
  and computational logics.
Programme Committee: Jan Heering, Karl Meinke, Bernhard Moeller, Tobias Nipkow.
Submit paper by June 15 to Bernhard Moeller, Institut fuer Mathematik,
  Universitaet Augsburg, Universitaetsstr. 2, W-8900 Augsburg, Germany,
  Email: moeller@uni-augsburg.de, Fax: +49 821 598 2200.
Registration and accomodation info: Mieke Brune (Local Arrangement Chair)
  CWI, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands
  Email: mieke@cwi.nl, Phone: +31 20 592 4249, Fax: +31 20 592 4199.

		     
WORKSHOP ON CATEGORIES, COMPUTING AND COMBINATORICS
  University of New South Wales (Australia), September 1-3, 1993
  Second informal workshop on conenctions between the three fields.
Main topics: 1. Categorical logic and categorical models of computation
  2. Role of Category Theory in computer system design
  3. Applications of Category Theory to combinatorics
  4. Algebraic combinatorics and coding theory 
Enquiries & info: Wesley Phoa, School of Computer Science, University of NSW, 
  Kensington NSW 2033   Email: wes@cs.unsw.oz.au


COPENHAGEN CONFERENCES UPDATE:
  FPCA '93 (June 9-11), SIPL '93 (June 12), PEPM '93 (June 14-16), 
Obtain updated programs by anyonymous ftp: 
  host jj.lcs.mit.edu, file /pub/fpca93/FPCA-SIPL-PEPM.txt


RTA93 has extended advanced registration through May 24.
  Deadline for dormitory reservations remains May 17.
Further info: rta93@cs.concordia.ca


VISITING POSTDOCTORAL FELLOWSHIP IN THEORETICAL COMPUTER SCIENCE
  School of Cognitive and Computing Sciences University of Sussex
Info: Matthew Hennessy, School of Cognitive and Computing Sciences
  University of Sussex, Brighton BN1 9QH, England
  Phone: (0273) 678195, Fax: (0273) 671320, EMail: matthewh@cogs.sussex.ac.uk