Newsletter 31

December 1, 1995

The zip code of Ed Clarke (the program chair) is 15213 (not 15228, as
stated in the CFP).

  Over the last few years there has been a proliferation of
conferences that overlap in their technical scope with LICS (the
Symposium on Logic in Computer Science).  These conferences are
scheduled with no prior coordination among them, which results quite
often in conflicts.  For example, in 1995 LICS and FPCA were at
exactly the same time and the same place with no prior coordination.
  In attempt to address this situation, the LICS organization will
maintain a web page of conferences (including workshops) that have an
overlap with logic in computer science.  The first half of the page is
a list of conferences and associated contacts.  The second half is an
incomplete list of dates, some tentative and some fixed, for upcoming
meetings of some of these conferences.
  If you are an organizer of one of these conferences and have some
information you would like included in the page, please send mail to

  June 5-7, 1996, Clermont-Ferrand
* Topics.  Papers are welcome on all theoretical or experimental aspects of
  logic programming and/or constraint programming, including, but not
  limited to: Applications; Natural Language; Architecture; Theorem
  Proving; Constraints; Design, Implementation and Compilation; Artificial
  Intelligence; Concurrency; Programming Methodology; Parallelism;
  Environments; Semantics; Databases; Static Analysis; Higher-order
  Programming; Types; Knowledge Representation.
* Program Committee.  H. Ait-Kaci, M. Baudinet, F. Benhamou, Y. Bekkers,
  P. Boizumault, JF. Boulicaut, F. Bry, JJ Chabrier, P. Codognet, J. Cohen,
  A. Colmerauer, M. Corsini, P. Cousot, P. Deransart, Ph Devienne,
  Y. Deville, M. Dincbas, F. Fages, G. Ferrand, L. Fribourg, JL Imbert (chair),
  J. Jourdan, B. Le Charlier, B. Legeard, JP Lepape, JF Pique, JF Puget,
  A. Podelski, A. Rauzy, O. Ridoux, M. Rueher, P. Saint-Dizier,
  P. Taillibert, P. Tarau.
* Submissions.  Papers must be written in French or in English, (in
  French when at least one of the authors is French speaking) and must
  not exceed 15 pages (about 5000 words, including references and
  figures). Send six (6) copies of your submission by January 10, 1996
  to Jean-Louis Imbert, JFPLC'96, IUT, Dept. Informatique, Universite
  d'Auvergne, Les Cezeaux, BP 86, 63172 AUBIERE cedex (FRANCE).  Phone :
  (33) 73 40 50 18.  Email :
* Awards.  For best young researcher, best research prototype.
  June 10-11, 1996, Jerusalem, Israel
* Topics.  The theoretical aspects of diverse fields such as: algorithms
  and data structures, coding theory, complexity theory, computability and
  automata, computational biology, computational geometry, computer
  communication, computer vision, cryptography and data security,
  databases, data compression, distributed and parallel computing,
  foundations of compiler technology, information retrieval, logics of
  programs, machine learning, natural language processing, program
  verification, robotics, semantics of programming languages, VLSI layout
  and design.  Of special interest are novel techniques that build on the
  strengths of one discipline for the benefit of others.
* Affiliated conferences.  The Symposium will be part of the new Israeli
  Federated Computing Conference (IFCC). The IFCC will include also the 7th
  Israeli Conference on Computer-Based Systems and Software Engineering
  (CBSE), which will take place on June 12-13, 1996, as well as a Computer
  Science Forum at Bar Ilan University on June 9, 1996.
* Invited Talks.  Tom Leighton, William R. Pulleyblank, Micha Sharir,
  Shimon Ullman.
* Submissions.  Authors may submit a paper by mailing ELECTRONICALLY a self
  contained Postscript(tm) version to the address
  (strongly encouraged whenever possible for speeding up the reviewing
  process) AND by sending seven (7) copies of the submitted paper to the
  Program Chair.  To be considered by the committee, submissions must be
  received by January 31, 1996 (or postmarked by January 21 and sent via
  airmail).  Submissions to the Symposium can also be submitted to the IEEE
  Symposium on Logic in Computer Science (LICS) and the ACM Symposium on
  Theory of Computing (STOC).
* Program chair.  Moshe Y. Vardi, Attn: ISTCS'96, Department of Computer
  Science, Rice University, Mail Stop 132, 6100 S. Main Street, Houston, TX
  77005-1892, USA.  E-mail:
* Program Committee.  Nader Bshouty, Benny Chor, Edith Cohen, Shimon Even,
  Uri Feige, Martin Golumbic, Sorin Istrail, Michael Kifer, Eyal
  Kushilevitz, Shay Kutten, Mike Luby, Joseph (Seffi) Naor, Wolfgang Paul,
  Doron Peled, Pavel Pevzner, Serge Plotkin, Arny Rosenberg, Shmuel Safra,
  Nir Shavit, Eli Upfal, Moshe Y. Vardi (chair), Moti Yung, Lenore Zuck,
  Uri Zwick.

  May 8-10, 1996, Salvador (Bahia), Brazil
* Topics.  All areas related to logic, language, information and
  computation, including: pure logical systems, proof theory, model theory,
  type theory, category theory, constructive mathematics, lambda and
  combinatorial calculi, program logic and program semantics, nonclassical
  logics, nonmonotonic logic, logic and language, discourse representation,
  logic and artificial intelligence, automated deduction, foundations of
  logic programming, logic and computation, and logic engineering.
* Invited Speakers.  S. Abramsky (*), J. Barwise (*), A. Blass,
  S. Feferman, J. Groenendijk, H. Kamp (*), P. Martin-Loef (*), G. Plotkin
  (*).  (`*' denotes unconfirmed.)
* Affiliated Conferences.  WoLLIC'96 is part of a larger biennial event in
  computer science being held in the campus of the Federal University of
  Bahia from the 6th to the 10th of May 1996: the 6th SEMINFO (6th
  Informatics Week).  The 6th SEMINFO will involve parallel sessions,
  tutorials, mini-courses, as well as a Workshop on Distributed Systems
* Submission.  Two-page abstracts (600 words), preferably by e-mail to, must be RECEIVED by MARCH 8th, 1996 by the
  Chair of the Organising Committee.  Abstracts will be published in the
  Journal of the IGPL (ISSN 0945-9103) as part of the meeting report.
  Selected contributed papers will be invited for submission (in full
  version) to a special issue of the Journal.
* Programme Committee.  W. A. Carnielli, M. Costa, V. de Paiva, R. de
  Queiroz, A. Haeberer, T. Pequeno, L. C. Pereira, K. Segerberg,
  A. M. Sette, P. Veloso.
* Chair of Organising Committee.  R. de Queiroz, Departamento de
  Inform'atica, Universidade Federal de Pernambuco (UFPE) em Recife, Caixa
  Postal 7851, Recife, PE 50732-970, Brazil.  E-mail:  Tel:
  +55 81 271 8430.  Fax +55 81 271 8438.  (Co-Chair: T. Pequeno, LIA, UFC,, fax +55 85 223 1333).

* Topics.  The goal of Computing Surveys symposia is to provide a
  substantive overview of the scope, open problems, and research directions
  of selected research areas.  We invite you to contribute a 1000-word
  position statement to Computing Surveys on one of the following topics:
  Declarative and imperative programming paradigms; Paradigms for
  concurrency; Operational and denotational semantics; Type systems; Models
  of interaction; Models of coordination; Object-based and distributed
  systems; Integration of paradigms; Open systems; Models of time;
  Computational reflection; Logics of computation; Agents and mobile
  processes; Program verification and synthesis; Program analysis; Abstract
  interpretation; Partial evaluation; Rewriting and program transformation.
* Submissions.  If you would like to participate in this symposium, please
  indicate your intention by November 15, 1995, by writing to, and Contributions are
  due by December 31.  Your contribution should be clearly written and
  substantive, describing an area of research, stating a position, or
  proposing new directions of work.  You can find samples of short
  contributions on a variety of topics in the March and June 1995 issues of
  {\it Computing Surveys}.
* Editors.  Chris Hankin, Hanne Riis Nielson, Peter Wegner.

  June 24-29, 1996, ALGHERO (Sardegna), Italy
* Aim.  The aim of the school is to provide a high level overview of recent
  research lines in the field of Logic Programming, which may also have
  strong connections with other related areas, such as Artificial
  Intelligence.  The school is addressed to young researchers and PhD
  students, as well as to university and industry researchers who wish to
  stay in touch with latest developments in the Logic Programming
  field. Participants are expected to have good knowledge of the
  fundamentals of Logic Programming.
* Courses.  Michael Gelfond, Logic Programming and Reasoning about Actions
  and Time.  Georg Gottlob, Complexity of Logic Programming and
  Nonmonotonic Reasoning.  Joxan Jaffar, Constraint Logic Programming.
  Nada Lavrac, Inductive Logic Programming.
* Further information. or

  January 8-10, 1997, Delphi, Greece
* Topics.  Active database systems, complex objects, complexity and
  optimization, concurrency control and recovery, data models and design
  theory, data structures-algorithms for databases, database programming
  languages, deductive databases and logic, dependencies and constraints,
  distributed and parallel databases, fundamentals of security and privacy,
  heterogeneous databases, incomplete information, multimedia information
  systems, nonmonotonic reasoning, object-oriented databases, query
  evaluation and optimization, query languages, spatial and temporal data,
  transaction management, updates.
* Submissions.  8 copies of a full conference paper (which might be an
  extended abstract where proofs are only sketched) of about 5000 words (10
  typed pages in no less than 11-point font) by June 13, 1996, to one of
  the program co-chairs.
* Program co-chairs.  Foto Afrati, Computer Science Division, National
  Technical University of Athens, 157 73 Zographou, Athens, Greece.  Tel:
  +30-1-748-5055.  Fax:+30-1-778-4578.  Email:
  Phokion G. Kolaitis, Computer and Information Sciences, University of
  California, Santa Cruz, CA 95064.  USA.  Tel: +1-408-459-4768.  Fax:
* Program Committee.  F. Afrati, M. Cadoli, S. Chaudhuri, S. Cluet,
  T. Eiter, C. Faloutsos, S. Greco, M. Gyssens, P. Kanellakis, O.H.G.Katon,
  P. Kolaitis, G. Kuper, T. Milo, M. Ozsoyoglu, J. Pokorny, V. Sazonov,
  H-J. Schek, E. Soisalon-Soininen, J. Su, V. Tannen, D. Van Gucht,
  V. Vianu, G. Vossen, P. Wolper, J. Zlatuska.

  August 26-29, 1996, University of Pisa, Italy
* Topics. All areas of semantics, logics and verification techniques for
  concurrent systems. A list of specific topics includes (but is not
  limited to) concurrency related issues about decidability, event
  structures and semantic domains, mobile processes, model checking,
  models of computation, process algebras, real-time systems, refinement
  techniques, term and graph rewriting, higher order languages,
  functional logic constraint and object oriented programming,
  verification techniques for practical systems, tools and environments
  for programming and verification.
* Submissions. Extended abstracts (in English, up to 15 pages, typeset
  12 points) to the PC chairman by March 4, 1996. Simultaneous
  submissions to other conferences or journals are not
  allowed. Electronic submissions are encouraged via e-mail, in the form
  of uuencoded compressed PostScript(tm) printable files sent to
  concur'; however a printed reference copy should be
  forwarded anyway by express or courier mail. If e-mail is not used,
  then five (5) copies of the paper should be sent by express or courier
  mail. In both cases, a separate text-only message should be directed
  to concur', with a single postal and e-mail address for
  communication, complete title, author(s), affiliation(s) and 200 word
* Program Chair. Ugo Montanari, CONCUR'96, Dipartimento di Informatica,
  University of Pisa, Corso Italia, 40, I-56100 Pisa, Italy. Email:
  concur' or  * Program
  Committee. Luca Aceto, Jan Bergstra, Rance Cleaveland, Mads Dam,
  Philippe Darondeau, Rocco De Nicola, Javier Esparza, Ursula Goltz, Bob
  Harper, Tom Henzinger, Luis Monteiro, Mogens Nielsen, Amir Pnueli, Jan
  Rutten, Davide Sangiorgi, Scott Smolka, Bernhard Steffen, Colin
  Stirling, Frits Vaandrager, Walter Vogler, David Walker.
* Further Information.

  June 10-12, 1996, Timberline, Oregon, USA
* Topics.  The aim of the workshop is to bring together active
  researchers interested in the area of nonmonotonic reasoning to
  discuss current research, results, and problems of both a theoretical
  and practical nature.  The field of nonmonotonic reasoning includes
  work on circumscription, autoepistemic and default logic, truth
  maintenance, closed-world databases, logic programming, probabilistic
  reasoning, and related systems.  We invite extended abstracts
  concerning any aspect of nonmonotonic reasoning, especially those
  dealing with: innovative approaches; implementation and practical
  issues; describing applications; theoretical foundations; relations
  between different approaches.
* Attendance.  Attendance will be limited and by invitation only.
  Authors of accepted papers will be invited.  Others wishing to attend
  should submit a short description of their past accomplishments and
  current research interests.  We also welcome suggestions for panels
  and invited talks.  A limited number of spaces will be reserved for
  students.  We anticipate that travel subsidies may be available.
* Submissions.  Maximum 12 pages (excluding title page and references)
  of standard LaTeX 12pt article format, either hardcopy (4 copies) or
  electronic (postscript files only), by February 19, 1996.  Electronic
  submissions are preferred.  Final papers, limited to 25 pages, will be
  distributed at the meeting.  Submissions should be sent to either of
  the program chairs.
* Program Chairs.  1.  Moises Goldszmidt, Rockwell Science Center, 444
  High St., Suite 400, Palo Alto, CA 94301, USA.  Email:  Phone: (415) 325-7145.  2. Vladimir
  Lifschitz, Department of Computer Sciences, University of Texas,
  Austin, TX 78712, USA.  Email:  Phone: (512)
* Program Committee.  Craig Boutilier, David Etherington, Georg Gottlob,
  Fangzhen Lin, Ilkka Niemela, Luis Pereira.

  September 25 -- 27, 1996, RWTH Aachen, Aachen, Germany
* Topics.  ALP aims at strengthening the connections between algebraic
  techniques and logic programming: Semantics of algebraic and logic
  programming, Integration of functional and logic programming, Term
  rewriting, narrowing, resolution, Constraint logic programming and
  theorem proving with constraints, Concurrent features in algebraic and
  logic programming languages, Higher order features in algebraic and
  logic programming languages.
* Submissions.  Authors are invited to send their manuscripts by email
  in PostScript format (or, if email is not available, five copies by
  mail) to the program chair at the address below, no later than May
  6, 1996. Papers must describe original, previously unpublished
  research, be written and presented in English, not exceed 15 pages (A4
  or letter format, up to 5,000 words), and not be simultaneously
  submitted for publication elsewhere.  The cover page should include a
  return mailing address and, if possible, an electronic mail address
  and a fax number.  At the moment of submission a message containing
  the title of the paper, authors, abstract, keywords, and the address
  information outlined above should be sent by email to the
  corresponding address.  Authors are warned in advance that submitted
  papers could be moved from ALP to PLILP or vice-versa, upon agreement
  of the program committees.
* Program Chair.  Michael Hanus (ALP'96 Co-chair) RWTH Aachen
  Informatik II D-52056 Aachen, Germany Phone: +49 241 8021230 Fax: +49
  241 8888217 e-mail:
* Program Committee.  S.Antoy, E.Astesiano, J.Avenhaus, P.Deransart,
  L.Fribourg, M.Hanus(Co-chair), J.Jaffar, G.Levi, K.Meinke,
  A.Middeldorp, L.Monteiro, F.Orejas, C.Palamidessi, F.Pfenning,
  M.Rodriguez-Artalejo(Co-chair), V.Saraswat, P.Stuckey, A.Tarlecki,
  A.Voronkov, M.Wirsing
* Full Call for Papers.  From the www page.

  September 25 -- 27, 1996, RWTH Aachen, Aachen, Germany
* Topics.  PLILP aims at stimulating research on declarative
  programming languages. It seeks to disseminate insights in the
  relation between the logics of those languages, implementation
  techniques and the use of these languages in constructing real
  programs: Implementation of declarative concepts, Integration of
  different paradigms, Compiler specification and construction, Program
  analysis and transformation, Programming environments, Executable
  specifications, Reasoning about language constructs, Experiences in
  constructing applications, Typing and structuring systems
* Submissions.  Authors are invited to send their manuscripts by email
  in PostScript format (or, if email is not available, five copies by
  mail) to the program chair at the address below, no later than May
  6, 1996. Papers must describe original, previously unpublished
  research, be written and presented in English, not exceed 15 pages (A4
  or letter format, up to 5,000 words), and not be simultaneously
  submitted for publication elsewhere.  The cover page should include a
  return mailing address and, if possible, an electronic mail address
  and a fax number.  At the moment of submission a message containing
  the title of the paper, authors, abstract, keywords, and the address
  information outlined above should be sent by email to the
  corresponding address.  Authors are warned in advance that submitted
  papers could be moved from ALP to PLILP or vice-versa, upon agreement
  of the program committees.
* Program Chair.  Herbert Kuchen (PLILP'96 Co-chair), RWTH Aachen,
  Informatik II, D-52056 Aachen, Germany, Phone: +49 241 8021211, Fax:
  +49 241 8888217, e-mail:
* Program Committee.  Maria Alpuente (Spain), P.Cousot, Y.Guo,
  M.Gabbrielli, F.Henglein, T.Ida, G.Janssens, T.Johnsson, H.Kuchen,
  D.Le, A.Letichevsky, R.Loogen, J.Maluszynski, E.Meijer, D.Miller,
  M.Murakami, R.Plasmeijer, L.Puel, G.Smolka, D.Swierstra, P.van
* Full Call for Papers.  From the www page.

  August 25-29, 1996, Brno, Czech Republic.
* Aims and Topics.  The aim of the conference is to pay tribute to Kurt
  Goedel by arranging a scientific event presenting a forum for papers
  relevant to foundational aspects of Logic in Mathematics, Computer
  Science, Philosophy and Physics -- areas influenced by Kurt Goedel's
  work. Original scientific papers are sought for the conference, as
  well as research work in history connected with Goedel's work.  A
  session is planned to honour Professor Hao Wang, one of Goedel's
  closest collaborators, who died on May 13, 1995.
* Submissions. Send three copies of your full draft paper not exceeding
  10 pages of 12-point type, or Springer Lecture Notes style to the
  Programme Committee chairman address.  Electronic submissions in the
  form of a PostScript file are encouraged (send to
  `').  Submission deadline: January 14,
  1996 (the anniversary of Goedel's death).
* Programme Committee.  Z. Adamowicz, J. Bicak, L. Bukovsky, D. de
  Jongh, J. Grygar, E. Koehler, J. Krajicek, P. Hajek (chair),
  A. Leitsch, D. Mundici, G. Mueller, J. Paris, C. Parsons.
* Invited Speakers.  M. Baaz, G.F.R. Ellis, S. Feferman, D. Isaacson,
  G. Kreisel, B. Kushner, A. MacIntyre, M. Magidor, C. Parsons,
  P. Pudlak, W. Sieg, G. Takeuti, A. Visser.
* Programme Chair.  Petr Hajek, Institute of Computer Science, Academy
  of Sciences of the Czech Republic, Pod vodarenskou vezi 2, CZ-182 07
  Prague, Czech Republic.  E-mail:
  Telephone: +42-2-66051111, +42-2-66414244, +42-2-66413418.  Fax:
* Organization Contact.  Jiri Zlatuska, Faculty of Informatics, Masaryk
  University, Botanicka 68a, CZ-602 00 Brno, Czech Republic.  E-mail:  Telephone: +42-5-41213125,
  +42-5-41211646, +42-5-41213219.  Fax: +42-5-41212747.

  July 1-5, 1996, Munich, Germany
* Topics.  We invite submissions of system demonstrations showing the
  improved effectiveness of software developed on a mathematical
  basis. The topics of interest include, but are not limited to, the
  following: Software Development Environments; Support for Correct
  Software Development; System Support for Reuse; Tools for Prototyping;
  Validation and Verification; Theorem Proving Systems.
* Submissions.  We invite prospective authors to submit 6 copies of
  system demo proposals (4 double spaced pages maximum) in an area
  relevant to the conference theme.  All submissions must be sent to the
  program chair at the address below; the proposals must be received by
  January 15, 1996 (new extended deadline).
* Program Chair.  Martin Wirsing, AMAST'96 Program Chair, Institut fuer
  Informatik, Universitaet Munchen, Leopoldstr. 11B, D-80802 Muenchen,
  Germany.  Phone: ++49/89/ 2180-6317.  Fax: ++49/89/ 2180-6310.
* Further Information.  For bulletins on current status of the
  conference: here;  Tools and Demos:  Registration:  Local Arrangements:  For subscribing to the AMAST'96
  mailing list: