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