Because of the AT&T breakup, LICS has new URL's:
* FTP site. ftp://ftp.research.bell-labs.com/dist/lics/
* WWW homepage. http://www.bell-labs.com/topic/conferences/lics/
* Contact. lics-request@research.bell-labs.com.
CONFERENCE ON COMPUTER-AIDED VERIFICATION (CAV 97)
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
cav97-submit@cs.technion.ac.il.
* 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.
SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS (PODS'97)
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: meral@ces.cwru.edu.
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.
MATHEMATICAL FOUNDATIONS OF PROGRAMMING SEMANTICS (MFPS XIII)
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
interest.
* 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 mfps@math.tulane.edu by December 1,
1996. Submissions can be deposited by anonymous ftp in the directory
pub/incoming on the machine 129.81.96.30. In this case, a message
also should be sent to mfps@math.tulane.edu.
SCHOOL on EMBEDDED SYSTEMS 1996
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: ipa@win.tue.nl, or
http://www.win.tue.nl/win/cs/ipa/activities/
EIGHTH INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY (CONCUR'97)
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
concur97@ipipan.waw.pl; 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
concur97@ipipan.waw.pl, 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}@ipipan.waw.pl.
* 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 concur97@ipipan.waw.pl. 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
gasior@ipipan.waw.pl.
SIXTH INTERNATIONAL WORKSHOP ON DATABASE PROGRAMMING LANGUAGES (DBPL)
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,
Sophie.Cluet@inria.fr, or Richard Hull (DBPL97), Bell Laboratories,
2B-203, 600 Mountain Avenue, Murray Hill, NJ 07974, USA,
hull@research.bell-labs.com.
* 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.
PRESENTING THE ACHIEVEMENTS OF THE LOMAPS PROJECT
* 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; tamtoft@daimi.aau.dk
* Organising committee: Torben Amtoft (DAIMI), Flemming Nielson
(DAIMI, project manager), Bruno Monsuez (ENS, local arrangements).
BOOK ANNOUNCEMENT
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.