LICSNEWS 8

ELECTRONIC JOURNAL OF FUNCTIONAL & LOGIC PROGRAMMING (EJFLP)
  Fully refereed and available via email free of charge.
  First issue expected in late 1993.
Editorial Board: R. Loogen, H. Kuchen, M. Hanus, M. MT Chakravarty, 
  M. Koehler, Y. Guo,  M. Rodriguez-Artalejo, A. Krall, A. Mueck, T. Ida, 
  HCR. Lock, A. Hallmann, P. Padawitz, C. Brzoska, F. Pfennig 
Papers sollicited in: functional and logic languages; integration of 
  programming paradigms; parallelism in functional & logic programming;
  program interpretation, compilation & transformation; static analysis;
  semantic foundations; proof calculis for for functional, logic, & constraint 
  programming; applications; declarative programming concepts & methodolgy
Papers of any length should be submitted in postscript or dvi format
  to submissions@ls5.informatik.uni-dortmund.de.  Email an empty message
  with "Help" in subject field for submission info.
  Deadline for submissions to issue #1 is August 31.
Subsciptions: send an empty message to  
  subscriptions@ls5.informatik.uni-dortmund.de


21ST ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES (POPL)
  Portland, Oregon, January 16--19, 1994
Submit 14 copies of a technical summary, not to exceed 5000 words 
  (excluding bibliography and figures) by July 26 to the Program
  Cair, Hans-J. Boehm, Xerox Palo Alto Research Ctr,
  3333 Coyote Hill Rd., Palo Alto, CA 94304, USA. boehm@parc.xerox.com    
Specific suggestions for writing summaries are available for anonymous 
  ftp as file "suggestions" in the directories parcftp.xerox.com:pub/popl94
  and ftp.inria.fr:INRIA/publication/ChLoE/SIGPLAN/popl94
General Chairs: B. Lang, D. Yellin.  Arrangement Chair: T. Sheard
Program Committee: B. Ballance, G. Berry, H.-J. Boehm, L. Cardelli,
  M. Chen, R. Farrow, J. Launchbury, P. Lee, D. Miller, W. Pugh,
  V. Sarkar, C. Talcott, K. Zadeck


18th SYMPOSIUM ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE (MFCS'93)
  Gdansk, Poland, August 30 - September 3, 1993
The program consists of 56 papers selected by the program committee, 
  and invited talks by K. Apt, A. Arnold, R. Burstall, V. Diekert, 
  M. Hennessy, F. Honsell, R. Milner, A. Pitts, V. Pratt, G. Rozenberg, 
  A. Salomaa, and P. Wadler.
Proceedings, published as Springer-Verlag LNCS, will be available at the
  conference.
Programme Committee: J. Adamek, M. Bednarczyk, J. Bergstra, 
  A. Borzyszkowski, B. Courcelle, H.-D. Ehrich, I. Havel, G. Huet, 
  N. Jones, E. Moggi, V. Nepomniaschy, E.-R. Olderog, F. Orejas, 
  A. Poigne, I. Sain, D. Schmidt, S. Sokolowski (Chair), M. Wirsing
Info: MFCS'93, Inst. of Computer Science, Polish Academy of Sciences,
  Jaskowa Dolina 31, 80-252 Gdansk, Poland. Phone: (+48)(58)419015
  Fax: (+48)(58) 416912. Email: ssokolow@plearn.bitnet


INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING
  Santa Margherita Ligure, Italy, June 13-18, 1994.
General and Program Chairs:  Maurizio Martelli & Pascal Van Hentenryck.
Submission deadline: November 15, 1993.  Notification: February 21.
  Topics include all theoretical & practical aspects of logic programming.
Info: martelli@disi.unige.it  or  pvh@cs.brown.edu.


STRUCTURAL COMPLEXITY & RECURSION-THEORETIC METHODS IN LOGIC PROGRAMMING
  Workshop in conjunction with the 
  International Symp. on Logic Programming (Vancouver, October 23-26, 1993)
Expected format: Half-day, appr 30 participants, 10-12 short presentations.
Organizers: Victor Marek (marek@ms.uky.edu), Howard Blair 
  (blair@top.cis.syr.edu), Anil Nerode (nerode@msiadmin.cit.cornell.edu),
  and Jeffrey Remmel (jremmel@kleene.ucsd.edu).
Submit an extended abstract by July 23 to
  Mathematical Sciences Institute (Complexity in Logic Programming Workshop)
  Cornell University, Ithaca, NY 14853.  FAX: 607-255-9003
  OR latex or ps source to marek@ms.uky.edu


ARTIFICIAL INTELLIGENCE AND MATHEMATICS (3rd International Symposium)
  Fort Lauderdale, Florida, January 2-5, 1994,
General Chair: Martin Golumbic; Conference Chair: Frederick Hoffman
  Program co-chairs: Erol Gelenbe & Zvi Kedem; Publicity Chair: Ugur Halici
Program committee: S. Arikawa, A. Bundy, T.Y. Chen, R.A.T. Guerreiro, 
  P. Hammer, J. Hooker, L. Joskowicz, D. Kapur, H. Kirchner, V. Kistlerov, 
  J-C. Latombe, J.L. Lassez, R.C.T. Lee, R. Lusk, F. Mizoguchi, A. Nerode, 
  M. Nivat, R. Overbeek, Z. Ras, M. Richter, D. Rosenkrantz, 
  R.K. Shyamasundar, P. Spirakis, M. Stickel, S. Suddarth, L. Valiant,
  M. Vardi, and P. Wolper.
Submit five copies of extended abstracts by July 30th, 1993 to:
  From the Americas: Zvi Kedem, New York University, 251 Mercer Street, 
  New York, NY 10012 (kedem@cs.nyu.edu); 
  From elsewhere: Erol Gelenbe, EHEI/Mathematiques, 45 rue des Saints-Peres, 
  75006 Paris, France (erol@masi.ibp.fr)
Info: Frederick Hoffman, Department of Mathematics, Florida Atlantic University,
  PO Box 3091, Boca Raton, FL 33431. (hoffman@acc.fau.edu)


THEORETICAL ASPECTS OF COMPUTER SCIENCE (STAC'94), 11th Annual Symposium
  February 24-26, 1994, Caen (France).
Submit 6 copies of a 5-12 page draft (in English) by August 15 to the
  Program Chair, Patrice Enjalbert, LAIAC (STAC'94), Universite de Caen,
  F-14032 Caen Cedex, France
Proceedings will be published as Springer LNCS.
Program Committee: J. Balcazar, M. Crochemore, V. Diekert, P. Enjalbert,
  R. Klein, P. McKenzie, E.W. Mayr, L. Pacholski, R. Pinzani, D. Richard,
  B. Rozoy, M. Rusinowitch, L Staiger, J. Tucker, K. Wagner.
Info: anonymous ftp from  ftp.univ-caen.fr:pub/info-stacs.tex
  from the chair: stacs@univ-caen.fr; Ph: 33-31-45.56.16; Fax: 33-31-45.58.14