LICS Newsletter 38

Newsletter 38

October 2, 1996

Because of the AT&T breakup, LICS has new URL's:

* FTP site.
* WWW homepage.
* Contact.

  June 22-25, 1997, Haifa, Israel
* Topics. Modeling and specification formalisms (such as logical,
  automata-based, and algebraic methods), algorithms and tools (such
  as state-space exploration, model checking, synthesis, and automated
  deduction), verification techniques (such as state-space and
  transition-relation reduction methods, symbolic methods,
  probabilistic methods, compositional and modular reasoning,
  integration of algorithmic and deductive methods), applications and
  case studies (such as synchronous and asynchronous circuits,
  communication protocols and distributed algorithms, real-time and
  embedded control systems), verification in practice (integration of
  verification with design, specification, testing, debugging, and
  code generation). 
* Submission information.  Submissions are invited in two
  categories. A. Regular papers A submission of a regular paper should
  be an extended abstract not exceeding ten (10) pages. B. Tool
  presentations Tool submission should be an abstract not exceeding
  four (4) pages. Send seven copies to the Program Chair: Orna
  Grumberg, Re: CAV 97, Computer Science Dept., Room 471, Fishbach
  building, Technion, Haifa 32000, Israel, by January 6, 1997 (FIRM
  deadline). Authors may submit a paper by mailing electronically a
  self contained Postscript version to the address
* Program committee.  Rajeev Alur, Edmund Clarke, Rance Cleaveland,
  Werner Damm, E. Allen Emerson, Limor Fix, Susanne Graf, Orna
  Grumberg (chair), Nicolas Halbwachs, Thomas A. Henzinger, Bengt
  Jonsson, Robert Kurshan, Kim Larsen, Ken McMillan, Carl Pixley,
  Mandayam Srivas, Frits Vaandrager, Antti Valmari, Moshe Vardi,
  Pierre Wolper.

  12-15 May 1997, Tucson, Arizona
  (New extended deadline!)
* Topics. Access methods, active databases, complex objects,
  concurrency control, constraint management and constraint dbs,
  database interoperation, data models, database programming
  languages, data structures, deductive databases, distributed
  databases, incomplete information and uncertainty, integrity and
  security, knowledge discovery, knowledge representation,
  nonmonotonic reasoning, object-oriented databases, parallel
  databases, performance evaluation, physical and logical design,
  query languages, query optimization, real time databases, spatial
  and temporal data, transaction management, views and warehousing.
* Submission.  Submit twelve copies of a detailed abstract (not a
  complete paper) to the program chair: Z. Meral Ozsoyoglu, Computer
  Engineering and Science Department, Case School of Engineering, Case
  Western Reserve University, Olin Building 511, 10900 Euclid Avenue,
  Cleveland, Ohio 44106-7071, U.S.A.  Email:
  Submissions should be received by the program chair by NOVEMBER 6,
  1996.  This is a FIRM deadline.  A limit of 10 typed pages with
  roughly 35 lines/page (about 5000 words or 10K bytes in total) is
  placed on submissions. Font size should be at least 10 points.
* Awards. Best Newcomer Paper Award: An award will be given to the
  best paper submitted to PODS that is written by one or more authors,
  none of whom have published in previous PODS proceedings.  Best
  Paper Award: An award will be given to the best paper submitted to
  PODS as judged by the program committee.
* Program Committee.  Phokion G. Kolaitis, Leonid Libkin, David Lomet,
  Tova Milo, Raymond Ng, Z. Meral Ozsoyoglu (chair), Peter Revesz,
  V.S. Subrahmanian, Jan Van den Bussche, Victor Vianu, Jeff Vitter.

  Carnegie Mellon University, Pittsburgh, PA, March 23 - 26, 1997.
* Topics. The MFPS conferences are devoted to those areas of
  mathematics, logic and computer science which are related to the
  semantics of programming languages.  The series particularly has
  stressed providing a forum where both mathematicians and computer
  scientists can meet and exchange ideas about problems of common
* Invited speakers: Patrick Cousot, Abbas Edalat, Kim Larsen, Andrew
  Pitts, Dana Scott, Glynn Winskel. In addition to the invited talks,
  there also will be a Special Session honoring Dana Scott on his 65th
  birthday year.  
* Program committee.  Stephen Brookes and Michael Mislove (co-chairs),
  Paul Gastin, Michael Huth, Radha Jagadeesan, Neil Jones, Alan
  Jeffrey, Michael Main, Austin Melton, Peter O'Hearn, Prakash
  Panangaden, John Power, Edmund Robinson, Giuseppe Rosolini, Jan
  Rutten, Dieter Spreen, Ian Stark. 
* Submission. Submissions must be extended abstracts of 12 pages or
  less. Send a PostScript file to by December 1,
  1996. Submissions can be deposited by anonymous ftp in the directory
  pub/incoming on the machine  In this case, a message 
  also should be sent to

  Veldhoven, The Netherlands, November 25-29, 1996
* General Information.  The School on Embedded Systems is the first
  event organised by the European Educational Forum (EEF), a joint
  initiative of the three interuniversitary research schools BRICS
  (Basic Research In Computer Science) from Denmark, IPA (Institute
  for Programming research and Algorithmics) from the Netherlands,
  TUCS (TUrku centre for Computer Science) from Finland.  The School
  on Embedded Systems aims at the training of young researchers in the
  main trends in Embedded Systems, so that they become familiar with
  the latest developments in the field. Leading researchers from both
  industry and academia give lectures (tutorials) covering formal
  methods, design methods and techniques and applications.
* Program Committee.  Ralph Back, Ed Brinksma, Dieter Hammer, Kim
  Larsen, Mogens Nielsen, Kaisa Sere, Frits Vaandrager (chair).
* Grants. The School on Embedded Systems is sponsored by the European
  Union's TMR Euroconference Program. Grants can be applied to cover
  expenses of young researchers that wish to participate. Applications
  for grants should be sent in by October 15, 1996. To apply, please
  fill in the form `Application for Grant', see the URL above.
* Further Information. e-mail:, or

  Warsaw, Poland, July 1-5, 1997.
* Topics. The scope of CONCUR'97 covers all areas of semantics, logics
  and verification techniques for concurrent systems. 
* Invited speakers. Jeremy Gunawardena, Michael Shields, Scott
  A. Smolka, P. S. Thiagarajan, Glynn Winskel.
* Submission. Send 5 copies of an extended abstract (in English, up to
  15 pages, typeset 12 points) to the organizers. Electronic
  submissions are encouraged via e-mail, in the form of uuencoded
  compressed PostScript printable files sent to; however a printed reference copy should be
  forwarded anyway by express or courier mail.  In both cases, a
  separate text-only message should be directed to, with a single postal and e-mail address for
  communication, complete title, author(s), affiliation(s) and 200
  word abstract.
* Program chair and co-chair. Antoni Mazurkiewicz and Jozef Winkowski,
  CONCUR'97, Institute of Computer Science, Polish Academy of
  Sciences, Ordona 21, 01-237 Warsaw, Poland;{amaz,wink}  
* Program committee. Samson Abramsky, Ralph Back, Jos Baeten, Marek
  Bednarczyk, Eike Best, Gerard Boudol, Ursula Goltz, David Harel,
  Gerard Holzmann, Maciej Koutny, Kim Larsen, Ugo Montanari, 
  Rocco De Nicola, Doron Peled, Wojciech Penczek, Ernst R. Olderog,
  Wolfgang Reisig, Joseph Sifakis, Bernhard Steffen, Colin Stirling,
  Pierre Wolper.
* Further information. Submissions and related requests should be sent
  to All other requests and enquiries should
  be sent to Ewa Gasiorowska-Wirpszo, Institute of Computer Science,
  Polish Academy of Sciences, Ordona 21, 01-237 Warsaw, Poland, e-mail

  Estes Park, Colorado, August 18-20, 1997.
* Topics. Data Modeling: object-oriented, object-relational, spatial,
  collection types, advanced type systems; Language Technology:
  naming, binding, reflection, type inference, abstraction,
  modularity, persistence; Programming Paradigms: logical, functional,
  imperative, constraint; Queries and Transactions: expressiveness,
  optimization, compilation, distributed execution; Dynamic Aspects:
  updates, temporal databases, schema evolution, active databases;
  Implementation issues: algorithms, storage structures, benchmarks,
  analysis of industrial standards; Languages for electronic
  documents, data exchange formats, and multimedia databases;
  Cooperative databases; User interfaces; Database programming
  language environments.
* Submissions. Submit seven copies of an extended abstract (not
  exceeding ten double-spaced pages) by March 10, 1997.  Electronic
  submissions are encouraged, provided they consist of PostScript
  files that can be printed and ghostviewed under a Unix-like system.
  In either case, send separately by email the title, authors and a
  short summary of the paper.  Submit both paper and summary
  information to only one of the program co-chairs: Sophie Cluet
  (DBPL97), Projet Verso, INRIA, BP 105, 78153 Le Chesnay, FRANCE,, or Richard Hull (DBPL97), Bell Laboratories,
  2B-203, 600 Mountain Avenue, Murray Hill, NJ 07974, USA,
* Program committee.  C. Beeri, L. Cabibbo, S. Cluet, R. Connor,
  S. Davidson, M. Derr, D. DeWitt, G. Dong, M. Gyssens, R. Hull,
  A. Mendelzon, G. Moerkotte, J. Schmidt, V. Vianu, L. Wong.

* Time: Tuesday January 14, 1997 (in the morning). Note: POPL'97
  starts the next day. Place: Paris, France (at ENS).  
* Event: In connection with the final review of LOMAPS, an ESPRIT BRA
  project which has been running since   December 1993, there will be
  an opportunity for people outside to learn about the achievements of
  the project. 
* Topics: LOMAPS (an acronym for Logical and Operational Methods in
  the Analysis of Programs and Systems) is on the development of
  advanced methods for analysing and verifying properties of
  multiparadigmatic programming languages (like functional languages
  with concurrency primitives). 
* Further information: Torben Amtoft;
* Organising committee: Torben Amtoft (DAIMI), Flemming Nielson
  (DAIMI, project manager), Bruno Monsuez (ENS, local arrangements). 

  Partial Evaluation
  O.Danvy, R.Glueck, P.Thiemann (eds.)
* Lecture Notes in Computer Science, Vol.1110, 514 pp.,
  Springer-Verlag, 1996. ISBN 3-540-61580-6. 
* Partial Evaluation has reached a point where theory and techniques
  have matured, substantial systems have been developed, and realistic
  applications can benefit from partial evaluation. This book is based
  on the International Seminar on Partial Evaluation held in Dagstuhl
  Castle, Germany in February 1996. The 24 strictly refereed full
  papers included evaluate the progress achieved in the field during
  the last decade. Also included is a detailed preface by the volume
  editors and a subject index.  All in all, this book competently
  reports the state of the art and future perspectives in partial
  evaluation and is thus compulsory reading for anybody interested in
  the area.