LICSNEWS 5

THE EUROPEAN ASSOCIATION FOR COMPUTER SCIENCE LOGIC (EACSL)
  was founded in July 1992 by computer scientists and logicians 
  from 14 countries.  The EACSL organizes the annual conference 
  Computer Science Logic and publishes its proceedings, organizes 
  and sponsors summer schools, sponsors workshops, meetings, and 
  publications in the field, cooperates with related societies and 
  institutions, and broadcasts an electronic newsletter to its members.
MEMBERSHIP is open to interested people from all countries.
  Benefits include discounts on CSL registration and on proceedings 
  and publications, electronic information, and reciprocity agreements 
  with related societies and associations.
  Annual fee is 20 DM (10 for students and people from countries with 
  currency restrictions), payable in cash, OR by postal money order 
  (to EACSL, account # 3000 47-751, Postgiroamt Karlsruhe (BLZ 660 100 75),
  7500 Karlsruhe, Germany), OR by Eurocheque (mailed to Klaus Ambos-Spies,
  Mathematisches Institut, Universitat Heidelberg, Im Neuenheimer Feld 288, 
  W-6900 Heidelberg 1, Germany).  Provide full name and address, 
  e-mail, and fax (when available).
ORGANIZATION: 
  President: E. Borger (Pisa). Vice President: D. van Dalen (Utrecht).
  Treasurer: K. Ambos-Spies (Heidelberg).  Secretary: K. Meinke (Swansea).
  Conference Coordinator: J.-Y. Girard (Marseille)
  Newsletter Editor: H. Kleine Buning (Paderborn)
  Summer School Program Coordinator: M. Parigot (Paris 7) 
  Executive members: C. Bohm (Rome), B. Buchberger (Linz), 
  Y. Gurevich (Ann Arbor), L. Pacholski (Wroclaw),
  Council: S. Abramsky, H. Barendregt, J. Bergstra, G. Gottlob, P. Hajek,
  W. Hodges, G. Huet, G. Jager, H. Jervell, N. Jones, J-P. Jouannaud,
  H. Kleine Buning, J. Makowsky, D. Mundici, A. Razborov, C. Rauszer,
  M.M. Richter, M. Rodriguez-Artalejo, D. Rosenzweig, J. Smith, 
  M.A. Taitslin, J. Tiuryn, & J. Zlatuska.

IEEE INTERNATIONAL CONFERENCE ON COMPUTER LANGUAGES
May 16-19, 1994, Toulouse, France
Papers due: September 24, 1993.  Notification: December 8, 1993.
For more information, please contact Boumediene Belkhouche at
  +1 504 865 5840, bb@cs.tulane.edu

SEVENTH INTERNATIONAL WORKSHOP ON UNIFICATION (UNIF93)
Boston University, June 13-14, 1993 
  A forum for short talks on unification and related topics (narrowing, 
  unification in special theories, higher-order unification, constraint 
  solving, type reconstruction, matching, foundations, applications, etc.)
  Conveniently scheduled for participants in RTA and LICS in Montreal. 
For further info contact Wayne Snyder at snyder@cs.bu.edu.

SECOND INTRNTNL CONFERENCE ON INFORMATION & KNOWLEDGE MANAGEMENT (CIKM-93) 
Washington DC, November 1-5, 1993.
  An international forum for presentation and discussion of research on
  information and knowledge management, and on advances in data and 
  knowledge bases. 
Paper submittals, proposals for tutorials, and exhibits (on theory and/or 
  practice) are solicited.  
Submit papers Bharat Bhargava (program chair) by April 1, 1993.
Send email to cikm-info@cs.umbc.edu for an automatic reply with a
  full copy of the Call for Papers.

FIFTH INTERNATIONAL CONFERENCE ON COMPUTER-AIDED VERIFICATION (CAV93)
Elounda (Crete), Greece, June 28 - July 1, 1993
INVITED SPEAKERS: B. Brayton, M. Gordon, P. Varaiya.
TUTORIALS: Real-time formalisms (R. Alur, D. Dill, T. Henzinger),
  partial order methods (P. Wolper et als.)
INFORMATION about program, registration and accommodations: cav@csd.uch.gr
  (Note: early hotel booking is strongly advised as June/July is 
  high season in Crete)