Newsletter 21, December 10, 1994


11TH ADT WORKSHOP AND 8TH GENERAL COMPASS MEETING
  September 19-23, 1995, Oslo, Norway
Workshop on Specification of Abstract Data Types and
ESPRIT Compass Meeting
* Topics. Algebraic specifications; other approaches to formal
  specification; specification languages and methods; term rewriting and
  proof systems; specification development systems (concepts, tools,
  etc.).
* Submissions.  There is a limited number of slots for talks.  Speakers
  will be accepted essentially in the order of arrival date of their
  registrations (a corrective mechanism is organized in order to
  guarantee visibility to every site).  If you plan to give a talk
  please contact the organizers as soon as possible (communication via
  e-mail or WWW is suggested).  Deadline for registration is June 15.
* Invited Talks. It is planned to have a small number of invited talks.
* Further Information.  Or: ADT'95 Organization, Institutt for
  informatikk, Postboks 1080 Blindern, 0316 OSLO, Norway.  E-mail:
  adt95@ifi.uio.no.  Phone: +47 22 85 24 10.  Fax: +47 22 85 24 01.

5TH INT'L WORKSHOP ON LOGIC PROGRAM SYNTHESIS AND TRANSFORMATION
(LOPSTR'95)
  September 20-22, 1995, Utrecht, the Netherlands.
* Topics.  Program synthesis, program transformation, program
  specialization, partial deduction all in the context of logic
  programming.  Papers pointing out the relationships of the above
  topics with other topics in the field of automated program
  development, such as: automated deduction, constructive type theory,
  implementation techniques, inductive logic programming,
  meta-languages, program analysis, program specification, query
  optimization in deductive databases, software engineering, synthesis
  and transformation in the context of other programming languages, are
  welcomed.  Papers describing automated systems for program development
  and overviews of recent work on the topics of interest are also
  solicited.
* Submissions.  Submit 5 copies of an extended abstract to the Program
  Chair by May 25, 1995.  Email submissions (LaTeX or Postscript) will
  also be accepted.  Papers should be 5-8 pages long (excluding
  references and appendices).  Proofs may be added in appendix, if
  needed.
* Program Chair.  Maurizio Proietti, IASI-CNR, Viale Manzoni, 30,
  I-00185 Roma, Italy, Phone: +39 6 7716426, Fax: +39 6 7716461, E-mail:
  proietti@iasi.rm.cnr.it.
* Program Committee.  A. Bossi, D. Boulanger, Y. Deville, S. Debray,
  L. Fribourg, N. Fuchs, J. Gallagher, T. Mogensen, M. Proietti,
  H. Seki, P. Tarau, G. Wiggins.
* Further Information.  Or: program chair.

BOOK: FUNCTIONAL PROGRAMMING AND INPUT/OUTPUT, ANDREW D. GORDON
* Ordering Information.  Distinguished Dissertations in Computer
  Science. Cambridge University Press, 1994.  ISBN 0 521 47103 6
  hardback. Publication date 29 September. UK net price 25 pounds. Ring
  +44 1223 325970 or fax +44 1223 325959 at any time to order by credit
  card.
* Summary.

HIGHER-ORDER ALGEBRA, LOGIC AND TERM REWRITING (HOA '95)
  21st-22nd September 1995, Paderborn, GERMANY
  Immediately prior to Computer Science Logic (CSL '95).
* Full CFP.  
* Topics. The scope of the workshop includes higher-order
  aspects of 
  - algebra, logic and model theory;
  - term rewriting;
  - specification and verification languages;
  - computational logic and theorem proving;
  - system implementations and case studies.
* Submission. Extended abstracts (up to 4 pages) of papers to be
  submitted should be sent to the programme committee
  chairman. Submission by email is preferred. Otherwise send 3
  copies. Submission deadline: May 1, 1995.
* Programme committee chairman: Bernhard Moeller, Institut fuer
  Mathematik, Universitaet Augsburg, D-86135 Augsburg, Germany. Email:
  moeller@uni-augsburg.de. Fax +49 821 598 2274.
* Programme committee: Gilles Dowek, Mike Gordon, Jan Heering, Karl
  Meinke, Tobias Nipkow.

INT'L CONFERENCE ON TYPED LAMBDA CALCULI AND APPLICATIONS
  April 10-12, 1995, Edinburgh
Program available via the LICS homepage.

1ST INTERNATIONAL CONFERENCE ON 
PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING (CP95)
Marseille, September 19-22, 1995
* CFP via FTP.  LaTeX & text versions of the Call for Papers available
  by anonymous FTP from ftp.di.unipi.it (131.114.4.36) in directory
  pub/Papers/rossi/cp95.
* Topics. Constraint programming languages. Semantics, compilation and
  programming environments for constraint programming, including static
  analysis and optimization. Constraint systems and constraint problems.
  Algorithms for constraint satisfaction and entailment. Mathematical
  programming and combinatorial optimization via constraint programming.
  Constraint-related aspects of computational logics, deduction,
  rewriting.  Constraints in applications.
* Submissions. Full papers (up to 18 pages, typeset 12 point), by March
  15, 1995, to the program chair.  If ordinary mail is used, five copies
  of the paper should be sent by express or courier mail. Electronic
  submission is encouraged via e-mail, in the form of uuencoded
  compressed PostScript(tm) printable files sent to cp95@di.unipi.it;
  however a printed reference copy should be sent anyway by express or
  courier mail. Each submission, both by ordinary mail and by e-mail,
  should be accompanied by a separate message to cp95@di.unipi.it with a
  single postal and e-mail address for communication, complete title,
  author(s), affiliation(s) and 200 word abstract. 
* Program chair: Ugo Montanari, Dipartimento di Informatica, Universita'
  di Pisa, Corso Italia, 40, I-56100 Pisa, Italy, ugo@di.unipi.it
* Program Committee: Hassan Ait-Kaci, Marianne Baudinet, Peter van Beek,
  Frederic Benhamou, Rina Dechter, Mehmet Dincbas, Seif Haridi, Pascal
  van Hentenryck, Manuel Hermenegildo, Alexander Herold, Hoon Hong, John
  Hooker, Claude Kirchner, Alan Mackworth, Michael Maher, Ken McAloon,
  Fumio Mizoguchi, Ugo Montanari, Luis Monteiro, Catuscia Palamidessi,
  Gert Smolka.
* Conference Format. The conference will be four days long from Tuesday
  to Friday, and will include several tutorials, invited talks and
  satellite workshops.
* Further Information.  Write to cp95@di.unipi.it.

3RD LOGIC PROGRAMMING AND NON-MONOTONIC REASONING CONFERENCE
DEADLINE EXTENSION
* New Submission Deadline.  Wednesday, December 14, 1994.
[Conference announcement in Newsletter 19]

SEVENTH INTERNATIONAL SCHOOL FOR COMPUTER SCIENCE RESEARCHERS
"DATABASES & KNOWLEDGE BASES"
  July 3-14, 1995, Lipari, Sicily
The Seventh School for Computer Science Researchers addresses PhD
students and young researchers who want to get exposed to the
forefront of research activity in the field of Databases & Knowledge
Bases.
* Format. Six courses will be offered of which each student must choose
  four. A proficiency final exam at the end of each chosen course is
  mandatory.  Saturday of the first week will be entirely dedicated to
  open research problems and discussion.
* Speakers.  S. Ceri (Milan Politec.): "Active Databases & Constraint
  Managenement"; C. Faloutsos (University of Maryland): "Spatial, Text
  and Multimedia Databases"; R.T. Snodgrass (University of Arizona):
  "Temporal Databases"; V.S. Subrahmanian (University of Maryland):
  "Uncertainty in Databases & Knowledge Bases"; C. Zaniolo (University
  of California at Los Angeles - UCLA): "Reasoning with Knowledge, Time
  & Actions in Databases"; R. Zicari (University of Frankfurt):
  "Object-Oriented DBMSs & Information Systems".
* Directors. Alfredo Ferro (University of Catania), Carlo Zaniolo
  (University of California at Los Angeles).
* Deadline.  Applications must be received by March 31, 1995.
* Further Information.  Prof. Alfredo Ferro, Dipartimento di Matematica,
  Citta' Universitaria, Viale A. Doria, 6, 95125 CATANIA - ITALY.
  Tel. 39-95-221012.  Fax: 39-95-330094.  e-mail:SCHOOL@DIPMAT.UNICT.IT.

INTERNATIONAL WORKSHOP: UNIVERSAL MACHINES AND COMPUTATIONS
  March 29-31, 1995, University of Paris (Jussieu), Paris
* Topics.  Frontiers between a decidable halting problem and an
  undecidable one: Turing machines, register machines, cellular
  automata, tiling of the plane, polyominoes, snakes, neural networks,
  other machines.  Minimal universal codes: size of such a code, namely,
  for Turing machines, register machines, cellular automatas, tilings,
  ... .  Computation complexity of machines with a decidable halting.
  Problem as well as universal machines.  Self-reproduction and other
  tasks.
* Program Committee.  Michel Cosnard, ENS Lyon; Joaquim Gabarro,
  University of Barcelona; Eric Goles, University of Chile, Santiago;
  Maurice Margenstern, University Paris 11, LITP, IBP, Chair, organizer;
  Maurice Nivat, University Paris 7, LITP, IBP.
* Invited Speakers.  Danie`le Beauquier: "About poliominoes: some
  decidable or undecidable problems".  Eric Goles: "Simulation and
  Universality on Neural Networks".  Etienne Grandjean: "Mode`les de
  calcul pour le temps line'aire".  Josef Gruska: "Universality versus
  effectivity in computing".  Pascal Koiran: "Computability with
  low-dimensional dynamical systems".  Ivan Korec: "Small universal
  register machines".  Miroslav Kutylowski.  Jacques Mazoyer:
  "Optimality of cellular automata with dedicated tasks".  Kenichi
  Morita: "Self-reproduction in reversible cellular automata" et
  "Universality of a reversible two-counter machine".  Ludmila
  Pavlotskaya "Sur le moyen de mode'liser une machine de Turing par une
  autre".  Lutz Priese: "A small universal 2-dimensional Turing-machine
  with only 8 instructions".  Yuri Rogojine: "On notion of universality
  and Shannon's problem for Turing machines".  Hava Siegelmann: "On the
  computational power of analog neural networks".
* Languages.  English, French.
* Further Information.  Maurice Margenstern, International Workshop
  "Universal Machines and Computations", LITP, 55-56, b.119, Universite'
  Paris 7, 2, place Jussieu, F - 75251 PARIS CEDEX 05.  E-mail:
  mcu95@capella.ibp.fnr.  Fax : (33 1) 44 27 48 69.

FOUNDATION CHAIR IN INFORMATION SYSTEMS
  University of Newcastle Faculty of Economics and Commerce 
* Research Areas.  The Faculty is especially interested in applicants
  specializing in Automated Reasoning.
* Further Information.  Graham Wrightson, Associate Professor,
  Department of Computer Science, The University of Newcastle, NSW 2308,
  Australia.  Email: graham@cs.newcastle.edu.au.  Tel: +61-49-216036.
  Fax: 216929.