LICSNEWS 9
LICS ORGANIZATION, as discussed at the the LICS'93 Business Meeting:
General Chair through the 1994 Paris Meeting: Robert Constable.
General Chair effective thereafter: Moshe Vardi
1994 Program Chair: Samson Abramsky
1994 Conference Co-chairs: Gerard Huet and Jean-Pierre Jouannaud
1995 Program Chair: Dexter Kozen
New Publicity Co-chairs: Amy Felty and Douglas Howe
Organizing Committee:
M. Abadi, S. Abramsky, S. Artemov, A. Borodin, S. Buss, E. Clarke,
R. Constable (Chair), A. Felty, U. Goltz, Y. Gurevich, S. Hayashi,
D. Howe, G. Huet, D. Johnson, J-P. Jouannaud, D. Kapur, C. Kirchner,
P. Kolaitis, D. Kozen, D. Leivant, A.R. Meyer, D. Miller, G. Mints,
J. Mitchell, Y. Moschovakis, M. Okada, P. Panangaden, A. Pitts,
G. Plotkin, J. Remmel, S. Ronchi della Rocca, G. Rozenberg, A. Scedrov,
D. Scott, J. Tiuryn, M.Y. Vardi
LICS'94 CALL FOR PAPERS
has been broadcasted to the LICS database.
The sources are available for anonymous ftp from cs.indiana.edu as files
pub/lics/cfp94.tex (latex source) and pub/lics/cfp94.txt (plain text)
INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING
The final program is available via ftp from camus.quintus.com,
file /pub/iclp-info/final_program.ps.Z
LOGIC PROGRAMMING WITH INCOMPLETE INFORMATION
Informal workshop to follow the International Logic Programming Symposium
(Vancouver, October 26-29).
Organizing Committee: C. Baral, M. Gelfond, J. Lobo, and A. Rajasekar.
Submit an extended abstract by August 10 to Chitta Baral or Michael Gelfond,
Department of Computer Science, University of Texas, El Paso, TX 79968.
Phone: 915-747-5480, Fax: 915-747-5030, Email: lpii@cs.ep.utexas.edu
SPECIAL TRACK ON COMPUTATIONAL LOGIC at the SYMPOSIUM ON APPLIED COMPUTING
Phoenix, Arizona, March 6-8, 1994
SAC'94 is the annual conference of the ACM Special Interest Group
on Applied Computing (SIGAPP).
Computational Logic Track's TOPICS OF INTEREST include logic programming,
automated reasoning, term rewriting, program semantics, lambda calculus,
inference methods, nonmonotonic logic, logic of programs, logics for ai,
knowledge representation, and program verification.
Submit 6 copies of an extended abstract, not to exceed 500 words,
to Ralph Wilkerson, Computer Science Department, University of Missouri,
Rolla, MO 65401. E-mail: ralphw@cs.umr.edu. Phone: 314-341-4653.
Deadline: September 1. Authors' identity should not be apparent in the
abstract's title or in first-person phrasing. A separate cover sheet
should include the title with author information.
INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SOFTWARE (TACS '94)
Tohoku University, Sendai, Japan, April 19-21, 1994
TOPICS include: Logic, proof, specification and semantics of programs and
languages; theories and models of concurrency; constructive logic, category
theory, type theory; software specification, manipulation and verification.
PROCEEDINGS, published as a Springer-Verlag LNCS volume, will be available
at the conference.
INVITED SPEAKERS: S. Abramsky, M. Felleisen, P. Kanellakis, M. Takahashi,
M. Vardi, A. Yonezawa.
SUBMIT a full paper of up to 8000 words, by August by August 15. Electronic
submissions (postscript or uuencoded dvi) may be emailed to
hagiya@is.s.u-tokyo.ac.jp or mitchell@cs.stanford.edu). Hard copies
submissions should be sent in 7 copies to Takayasu Ito,
Graduate School of Information Sciences, Tohoku University [Aobayama Campus],
Sendai 980, Japan.
CO-CHAIRS: T. Ito, A.R Meyer.
PROGRAM COMMITTEE: M. Abadi, R. van Glabbeek, C. Gunter, M. Hagiya (co-chair),
S. Hayashi, T. Ito, P. Kanellakis, J-L. Lassez, A. Meyer,
J. Mitchell (co-chair), A. Ohori, M. Sato, M. Takahashi.
FURTHER INFO: tacs94@ito.ecei.tohoku.ac.jp.
Full announcement text is available by anonymous ftp from
theory.stanford.edu, files pub/jcm/tacs-94.{dvi, ps}
CENTER FOR BASIC RESEARCH IN COMPUTER SCIENCE (BRICS)
Aarhus University, in association with Aalborg University, Denmark.
The Centre is to begin in January 1994 for a duration of at least 5 years.
Yearly support of about 1 million US$ will be provided by the Danish
National Research Foundation.
The center will encourage research in Logic, Algorithmics and Semantics
and their interplay. It will fund visiting and post-doc positions as
well as graduate student scholarships, and organize seminars and meetings.
Further Info: Glynn Winskel or Uffe Engberg (attn. BRICS), Computer
Science Department, Aarhus University, Ny Munkegade, Bldg. 540,
DK-8000 Aarhus C, Denmark. Email: {engberg, gwinskel}@daimi.aau.dk
Fax: +45 8613 5725
NORTH AMERICAN PROCESS ALGEBRA WORKSHOP (NAPAW)
Cornell University, August 15 (in conjunction with PODC)
To register send personal info to bard@cs.cornell.edu.
Fees: $15 before July 23, $30 thereafter).
26TH SYMPOSIUM ON THEORY OF COMPUTING (STOC)
Montreal, Canada, May 23--25, 1994.
TOPICS OF INTEREST include algorithms and data structures, computability
and complexity, computational geometry, on-line computing, cryptography,
databases, machine learning, algorithmic graph theory, parallel and
distributed computation, probabilistic computations, computer architecture,
and robotics.
SUBMIT 15 copies of an extended abstract to Michael Goodrich, Department
of Computer Science, Johns Hopkins University, Baltimore, MD 21218-2694.
Abstracts must be received by November 16 or sent air-mail and postmarked
by Nov. 12.
PROGRAM COMMITTEE: A. Amir, E. Bach, R. Beigel, D. Eppstein, J. Feigenbaum,
G. Frederickson, M. Goodrich (chair), R. Karp, R. Ladner, B. Maggs,
V. Ramachandran, M. Saks, B. Schieber, P. Shor, R. Tamassia.
COMPUTATIONAL LOGIC AND PROOF THEORY,
PROCEEDINGS OF THE 1993 KURT GOEDEL COLLOQUIUM (Brno, August 24-27)
will be available in August from Springer Verlag as LNCS # 713.
5TH MEETING ON CATEGORY THEORY AND COMPUTER SCIENCE
September 7-10, 1993, CWI Amsterdam.
PROGRAM AND ORGANIZING COMMITTEE: S. Abramsky, P.-L. Curien, P. Dybjer,
G. Longo, G. Mints, J. Mitchell, E. Moggi, D. Pitt, A. Pitts, A. Poigne,
D. Rydeheard, F.J. de Vries and E. Wagner.
INVITED SPEAKERS: G. Rosolini, N.A. Shanin, A. Joyal and S. Maclane.
REGISTRATION INFORMATION: CTCS-5 Secretariaat, CWI/Ms. Anna Baanders
PO Box 4079, 1009-AB Amsterdam, THE NETHERLANDS. Email: anna@cwi.nl
From howe@research.att.com Fri Dec 1 15:22:43 1995
Received: from research.att.com by moose.cs.indiana.edu
(8.7.1/IUCS.1.39) id PAA25808; Fri, 1 Dec 1995 15:22:28 -0500 (EST)
Received: from research by ns
Received: by research.att.com; Fri Dec 1 15:16 EST 1995
Received: by hunny.research.att.com (Smail3.1.29.1 #2)
id m0tLbsT-005gkfC; Fri, 1 Dec 95 15:16 EST
Message-Id:
Date: Fri, 1 Dec 95 15:16 EST
From: howe@research.att.com (Doug Howe)
To: lics@research.att.com
Subject: LICS Newsletter 31
reply-to: lics-request@research.att.com
Status: RO
X-Status:
X-Keywords:
X-UID: 110
[Past issues of the newsletter are available at
http://www.research.att.com/lics/ and
ftp://research.att.com/dist/lics/newsletters.]
CORRECTION TO LICS'96 CFP
The zip code of Ed Clarke (the program chair) is 15213 (not 15228, as
stated in the CFP).
WEB PAGE OF LOGIC-RELATED CONFERENCES
http://www.research.att.com/lics/logic-confs.html
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
lics-request@research.att.com.
5TH FRENCH CONF ON LOGIC PROGRAMMING AND CONSTRAINT PROGRAMMING (JFPLC'96)
June 5-7, 1996, Clermont-Ferrand
http://jfplc96.univ-bpclermont.fr
* 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 : jfplc96@jfplc96.univ-bpclermont.fr.
* Awards. For best young researcher, best research prototype.
4TH ISRAELI SYMPOSIUM ON THEORY OF COMPUTING AND SYSTEMS (ISTCS'96)
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 istcs96@cs.rice.edu
(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: istcs96@cs.rice.edu.
* 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.
3RD WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WOLLIC'96)
May 8-10, 1996, Salvador (Bahia), Brazil
http://www.di.ufpe.br/simposios/wollic.html
* 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
(WoSiD'96).
* Submission. Two-page abstracts (600 words), preferably by e-mail to
wollic96@di.ufpe.br, 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: ruy@di.ufpe.br. Tel:
+55 81 271 8430. Fax +55 81 271 8438. (Co-Chair: T. Pequeno, LIA, UFC,
tarcisio@lia1.ufc.br, fax +55 85 223 1333).
COMPUTING SURVEYS SYMPOSIUM ON
MODELS OF PROGRAMMING LANGUAGES AND COMPUTATION
* 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
clh@doc.ic.ac.uk, hrn@daimi.aau.dk and pw@cs.brown.edu. 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.
INTERNATIONAL SUMMER SCHOOL ON ADVANCES IN LOGIC PROGRAMMING
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. cocco@moo.dsi.unive.it or
gianfr@prmat2.math.unipr.it.
6TH INTERNATIONAL CONFERENCE ON DATABASE THEORY (ICDT '97)
January 8-10, 1997, Delphi, Greece
http://www.softlab.ece.ntua.gr/public/AD/icdt97.html
* 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:afrati@cs.ece.ntua.gr.
Phokion G. Kolaitis, Computer and Information Sciences, University of
California, Santa Cruz, CA 95064. USA. Tel: +1-408-459-4768. Fax:
+1-408-459-4829. kolaitis@cse.ucsc.edu.
* 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.
7TH INT'L CONF ON CONCURRENCY THEORY (CONCUR'96)
August 26-29, 1996, University of Pisa, Italy
concur96@di.unipi.it
* 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'96@di.unipi.it; 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'96@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, CONCUR'96, Dipartimento di Informatica,
University of Pisa, Corso Italia, 40, I-56100 Pisa, Italy. Email:
concur'96@di.unipi.it or concur96@di.unipi.it. * 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.
6TH INTERNATIONAL WORKSHOP ON NONMONOTONIC REASONING
June 10-12, 1996, Timberline, Oregon, USA
http://www.kr.org/nm/nm96.html
* 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:
moises@rpal.rockwell.com. Phone: (415) 325-7145. 2. Vladimir
Lifschitz, Department of Computer Sciences, University of Texas,
Austin, TX 78712, USA. Email: vl@cs.utexas.edu. Phone: (512)
471-9564.
* Program Committee. Craig Boutilier, David Etherington, Georg Gottlob,
Fangzhen Lin, Ilkka Niemela, Luis Pereira.
FIFTH INTERNATIONAL CONFERENCE ON ALGEBRAIC AND LOGIC PROGRAMMING (ALP'96)
September 25 -- 27, 1996, RWTH Aachen, Aachen, Germany
http://www-i2.informatik.rwth-aachen.de/aachen96/
* 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: alp96@informatik.rwth-aachen.de
* 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.
8TH INT'L SYMPOSIUM ON PROGRAMMING LANGUAGES,
IMPLEMENTATIONS, LOGICS, AND PROGRAMS (PLILP'96)
September 25 -- 27, 1996, RWTH Aachen, Aachen, Germany
http://www-i2.informatik.rwth-aachen.de/aachen96/
* 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: plilp96@informatik.rwth-aachen.de
* 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
Hentenryck
* Full Call for Papers. From the www page.
LOGICAL FOUNDATIONS OF MATHEMATICS, COMPUTER SCIENCE AND PHYSICS
-- KURT GOEDEL'S LEGACY (GOEDEL'96)
August 25-29, 1996, Brno, Czech Republic.
http://www.fi.muni.cz/~zlatuska/goedel96.html
* 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
`goedel96-program@uivt.cas.cz'). 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: goedel96-program@uivt.cas.cz.
Telephone: +42-2-66051111, +42-2-66414244, +42-2-66413418. Fax:
+42-2-8585789.
* Organization Contact. Jiri Zlatuska, Faculty of Informatics, Masaryk
University, Botanicka 68a, CZ-602 00 Brno, Czech Republic. E-mail:
goedel96@informatics.muni.cz. Telephone: +42-5-41213125,
+42-5-41211646, +42-5-41213219. Fax: +42-5-41212747.
5TH INT'L CONF ON ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY:
CALL FOR SYSTEMS DEMONSTRATIONS
July 1-5, 1996, Munich, Germany
http://www.pst.informatik.uni-muenchen.de/amast96/
* 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.
e-mail: amast96-info@informatik.uni-muenchen.de.
* Further Information. For bulletins on current status of the
conference: http://www.pst.informatik.uni-muenchen.de/konferenzen;
amast96-info@informatik.uni-muenchen.de. Tools and Demos:
cbaur@informatik.uni-muenchen.de. Registration:
hennicke@informatik.uni-muenchen.de. Local Arrangements:
diem@informatik.uni-muenchen.de. For subscribing to the AMAST'96
mailing list: amast96-request@informatik.uni-muenchen.de.