Newsletter 16, May 31, 1994


LICS'94 REGISTRATION: UPDATE 

Reminder:  the deadline for early registration is June 6.

Advance payment for registration by credit card is not possible.
However, it is possible to pay by credit card or cash in French Francs on
location at CNAM.  In order to get the early registration rate, send the
registration form so that it is received before June 6, circle the
reduced rate (and the banquet fee if you wish to attend the banquet), and
indicate that you will pay on site with cash or one of the following
authorized cards: Visa international, Eurocard, MasterCard.  Registration
by email or Fax is permitted.  If you choose to pay by this method and
are subsequently unable to attend, you are requested to send email to the
address below.

Fax: 33 (1) 39 63 56 38
E-mail: symposia@inria.fr 

Other forms of payment (as stated in the brochure, but with some
clarification) are as follows.  Payment must be in French currency.

1. Bank check (also called foreign draft in the US) or postal check
made payable to Agent Comptable de l'INRIA.

2. Bank transfer.
Beneficiary: Agent Comptable de l'INRIA
Bank Name: Tresorerie Generale des Yvelines
Bank Address: Versailles
Bank Code: 10071
Branch Code: 78000
Account Number: 00044009 15389
Specify your name and "Conference reference LICS94"
[Note that the account number as stated in the brochure is divided
into bank code, branch code, and account number here.]

3. Postal transfer to CCP Paris---30041-00001-09099 45 B 020-31.

4. Institutional Purchase Order.


---------------------------------------------------------------------------


ADDITIONS TO LICS WWW PAGE, FTP SITE
The LICS world-wide web page, at "http://www.research.att.com/lics/", has
been updated and now provides access to several LICS-related information
sources, including past issues of the newsletter and the online
bibliography of papers from past meetings.  Past newsletters are also
available via anonymous ftp from research.att.com:/dist/lics/newsletters.

NEW SERIES: LECTURE NOTES IN LOGIC  
"Logic" has come to describe the interplay between language and
reference; syntax and semantics. The quest to understand and apply logic
can be traced back to antiquity. Currently, we are within an explosion of
new ideas and questions. Many of these are very pragmatically motivated
and have immediate application.
  The Lecture Notes in Logic provide a unique forum for the discussion of
topics in which logic plays a critical role. The series will draw topics
from areas within which logic has a traditional place, for example within
mathematics and philosophy, together with topics from within areas in
which logic has an emerging importance, for example within computer
science and linguistics. Further, the Lecture Notes in Logic will provide
for the timely, even rapid, publication needed in these areas.
* Series Editors. K. Fine, J.-Y. Girard, A. Lachlan, T. Slaman, H.  Woodin.
* Publisher. Springer-Verlag Berlin Heidelberg New York. 
* Managing Editor.  Theodore Slaman.
* Springer contact.  peters@springer.de
* Volume 1: J.R. SCHOENFIELD: "Recursion Theory" 
  Price information: DM 44,-/$ 29,50; Softcover; VIII, 84 pages.
  Available.
  Please order using the following ISBN: 3-540-57093-4/ 0-387-57093-4
* Volume 2: J. OIKKONEN/J. VAEAENAEN:"Logic Colloquium '90. ASL
  Summer Meeting in Helsinki". Price information: DM 78,-/$ 54,-;
  Softcover; XV, 305 pages. Available.
  Please order using the following ISBN: 3-540-57094-2/ 0-387-57094-2
* Volume 3: W. MITCHELL/J. STEEL: "Fine Structure and Iteration
  Trees" Price information: DM 48,-/$ 32,-; Softcover. V, 130 pages.
  Available.
  Please order using the following ISBN: 3-540-57494-8/ 0-387-57494-8
* E-Mail orders.  bookorders@spint.compuserve.com 

INTERNATIONAL CONF. ON REWRITING TECHNIQUES AND APPLICATIONS (RTA-95)
  April 5-7, 1995, Kaiserslautern, Germany.
* Topics.  Term rewriting systems, symbolic and algebraic computation,
  constrained rewriting and deduction, equational programming languages,
  string and graph rewriting, completion techniques, rewrite-based theorem
  proving, unification and matching algorithms, conditional and
  higher-order rewriting, constraint solving, architectures for rewriting,
  parallel/distributed rewriting and deduction.
* Submissions.  6 (six) copies of a full draft paper of no more than 15
  (fifteen) double-spaced pages, to reach the program chair no later than
  October 7, 1994.  Electronic submission in Postscript form is encouraged.
* Program Committee.  L. Bachmair, H. Comon, N. Dershowitz, J. Hsiang
  D. Kapur, J. Jaffar, K. Madlener, J.. Meseguer, T. Mora, T. Nipkow,
  M. Rusinowitch, M. Schmidt-Schauss, V. Tannen, Y. Toyama, H. Zhang.
* Program Chair.  Jieh Hsiang, RTA95, Dept. of Computer Science and
  Information Engineering, National Taiwan University, Taipei, Taiwan.
  Telephone: +886 2 362-2704.  Fax: +886 2 362-8167.  Internet:
  rta95@csie.ntu.edu.tw.

COLLOQUIUM: LOGIC AND COMPUTER SCIENCE AROUND THE 42ND PARALLEL
  June 27 - July 1, 1994, Marseilles, France.
* Topics.  Logic for Computer Science, Proof Theory, Pure and Typed
  Lambda Calculi.
* Confirmed Speakers.  Bezhanishvili G. (Tbilissi), Borger E. (Pise),
  Dyckhoff R. (St Andrew), Esakia L. (Tbilissi), Girard J.-Y. (Marseilles),
  Gurevich Y. (A. Arbor), Hofmann M. (Edinburg), Honsell F. (Udine),
  Jervell H. (Oslo), Kanovich M. (Moscow), Krivine J.-L. (Paris Vii),
  Lambek J. (Mac Gill), Leivant D. (Indiana), Martin-Lof P. (Leiden),
  Milner R. (Edinburg), Orlowska E. (Varsovie), Paulin-Mohring C. (Lyons),
  Salvesen A. (Oslo), Scedrov A. (Philadelphia), Schwichtenberg
  H. (Munich), Troelstra A.S. (Amsterdam), Urzyczyn P. (Varsovie), Van
  Dalen D. (Utrecht).
* Program Committee.  S. Artemov, T. Coquand, M.R.  Donnadieu-Fleury
  (organizing chair), Y. Lafont, A.  Preller, S. Ronchi della Rocca.
* Correspondence.  Marie-Renee Donnadieu-Fleury, Departement de
  Mathematiques-Informatique, Facult\'e des Sciences de Luminy, Case 901,
  13288 MARSEILLE Cedex 9, France.  Tel : (33) 91 26 90 47 or (33) 91 82 70
  26.  Fax : (33) 91 26 93.  E-mail: mrd@lumimath.univ-mrs.fr.

SUMMER SCHOOL: ALGEBRAIC LOGIC AND THE METHODOLOGY OF APPLYING IT
  July 11-17, 1994, Budapest.
* Courses.  Willem Blok and Don Pigozzi: General Algebraic Logic.  Vaughan
  Pratt: Chu Spaces: Complementarity and Uncertainty in Rational Mechanics.
  Yde Venema: Boolean Algebras with Operators & Modal Logic.  Istvan Nemeti
  and Hajnal Andreka: Algebras of Relations of Various Ranks & their
  Applications.  Workshop given by young researchers: Decidability issues
  and logics related to the dynamic trend.  Universal Algebra tutorial.
* Organizing Committee.  Hajnal Andreka, Miklos Ferenczi, Istvan Nemeti and
  Ildiko Sain.
* Correspondence.  Please send your correspondence to both of the following
  two e-mail addresses: cora@ludens.elte.hu and h1468sai@ella.hu, or to the
  following mailing address: Ildiko Sain, Mathematical Institute, Budapest,
  Pf. 127, H-1364, Hungary.  Fax: (36-1) 117-7166 (indicate: To Ildiko
  Sain).

NOMINATIONS FOR THE SACKS PRIZE
The Sacks Prize, for the best recent doctoral dissertation in
mathematical logic, will be awarded for the first time in December of
1994. This prize was established to honor Professor Gerald Sacks for his
unique contribution to mathematical logic, particularly as advisor to a
large number of excellent Ph.D. students.
* Eligibility.  Doctorate completed between January 1, 1993 and September
  30, 1994.  
* Nominations.  Nominations are made by the thesis advisor and consist of:
  name and birthdate of student, title and 1-2 page description of
  dissertation, date and location where the doctorate was awarded, and
  letter of recommendation from the advisor.  Send nominations by September
  1, 1994, to Sacks Prize Committee, Room 2-236, Department of Mathematics,
  M.I.T., Cambridge, MA 02139 USA; or by email (encouraged) to
  saxprize@math.mit.edu.
* Further information.  Carla Kirmani at the above address.

GRANTS FOR INTERNATIONAL CONF. OF LOGIC PROGRAMMING (ICLP'94)
[ICLP'94 call for papers in newsletter #10]
The European Community supports grants toward expenses of young
researchers (postgraduate or postdoctorate level) attending the
conference.
* Eligibility.  Citizen of a European Community Member State or of Austria,
  Finland, Iceland, Norway and Sweden or a person residing and working in
  research for at least one year in such a country.
* Further information.  Maurizio Martelli, DISI, Univ. di Genova, Viale
  Benedetto XV, 3, 16132 Genova, Italy.  Tel.:+39-10-3538034.
  Fax:+39-10-3538028.  E-mail: martelli@disi.unige.it.

CADE 12 TUTORIAL: RESOLUTION DECISION METHODS	
  June 27, 1994, Nancy, France.
* Instructors.  C. Fermueller, A. Leitsch, T. Tammet, N. Zamov.
* Information by ftp.  From ftp.loria.fr pub/loria/conferences/CADE-12.
* E-mail inquiries. cade-12@loria.fr, as well as to:
  leitsch@logic.tuwien.ac,at, chrisf@logic.tuwien.ac.at,
  tammet@cs.chalmers.se.

1ST INTERNATIONAL CONF. ON CONSTRAINTS IN COMPUTATIONAL LOGICS (CCL'94)
  September 7-9, 1994, Technical University, Munich.
* Program information and registration form.  Available on the world-wide
  web at ftp://ftp.mpi-sb.mpg.de/pub/CCL94/ccl94.html.
* Inquiries.  Anita Sch"on, CCL'94, Fakult"at f"ur Informatik, Technische
  Universit"at M"unchen, D-80290 M"unchen, Germany.  Email:
  ccl@informatik.tu-muenchen.de.  Tel: +49 89 2105 8168 (Monday - Friday,
  10:00-13:00).  Fax: +49 89 2105 8169.

INTERNATIONAL CONF. ON LOGIC PROGRAMMING (ICLP '94)
  June 13-18, 1994, Santa Margherita Ligure, Italy.
[Call for papers in newsletter #10]
* Conference Secretariat.  Piera Ponta, Consorzio Genova Ricerche, via
  dell'Acciaio 139, 16152 Genova, Italy.  Email: ponta@infmge.ge.infn.it.
  Phone: +39 10 6514000.  Fax: +39 10 6512981, 6503801.

4TH EUROPEAN WORKSHOP ON LOGICS IN AI (JELIA '94)
  September 5-8, 1994, York, England.
[Call for papers in newsletter #13]
Programme and registration information now available.
* Registration.  Reduced rates for registration before June 20.  A number
  of grants are available (aided by sponsorship from ACM SIGART) to assist
  those who would not otherwise be able to attend the Workshop,
  particularly those from countries with soft currencies.
* Further information.  Dr Craig MacNish, Jelia'94, Department of Computer
  Science, University of York, York YO1 5DD, England.  Email:
  jelia@minster.york.ac.uk.  Fax: +44 904 43 2767.  Phone: +44 904 43 2746.