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.