Newsletter 72
March 2, 2001
*******************************************************************
* Past issues of the newsletter are available at
http://logik.mathematik.uni-freiburg.de/lics/newsletters/
http://www.math.uic.edu/lics/newsletters/
* Instructions for submitting an announcement to the newsletter
can be found at
http://logik.mathematik.uni-freiburg.de/lics/newsletters/inst.html
http://www.math.uic.edu/lics/newsletters/inst.html
* The next newsletter will appear on Friday, April 20, 2001
********************************************************************
TABLE OF CONTENTS
* Calls for Papers
Conference on Concurrency Theory
Workshop on Reduction Strategies in Rewriting and Programming
Workshop on MEchanized Reasoning about Languages with variable
bINding
Workshop on Strategies in Automated Deduction
Workshop on Fixed-Points in Computer Science
Workshop on Functional and (Constraint) Logic Programming
Symposium on Domain Theory
* Calls for Participation
First Order Constraints in Various Structures
Unification Workshop
* Journals
Journal of Logic and Algebraic Programming:
Special Issue on Pi-Calculus
12th INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY (CONCUR 2001)
Aalborg, Denmark, 21-24 August, 2001
Call for Papers
http://concur01.cs.auc.dk/
* Topics. Concurrency related aspects of: models of computation and
semantic domains, process algebras, Petri nets, event structures,
real-time systems, hybrid systems, decidability, model-checking,
verification techniques, refinement techniques, term and graph rewriting,
distributed programming, logic constraint programming, object-oriented
programming, typing systems and algorithms, case studies, tools and
environments for programming and verification.
* Submission. Papers of at most 15 pages, accompanied by a one-page
abstract, should be submitted electronically via the web submission
form on the Conference's web site. Alternatively, submissions can be
made by emailing a uuencoded PostScript file to concur01-sub@cs.auc.dk.
Submission deadline: Monday, 19 March 2001.
* Programme committee. Rajeev Alur, Frank de Boer, Javier Esparza,
Wan Fokkink, Roberto Gorrieri, Petr Jancar, Orna Kupferman,
Marta Kwiatkowska, Kim G. Larsen (co-chair), Oded Maler, Ugo Montanari,
Uwe Nestmann, Mogens Nielsen (co-chair), Ernst-Rüdiger Olderog,
Catuscia Palamidessi, K.V.S. Prasad, Philippe Schnoebelen, Björn Victor,
Walter Vogler, Igor Walukiewicz,, Alex Yakovlev.
* Invited speakers. Bengt Jonsson, Robin Milner, Shankar Sastry,
Steve Schneider.
WORKSHOP ON REDUCTION STRATEGIES IN REWRITING AND PROGRAMMING (WRS 2001)
(affiliated with RTA'2001)
First call for papers
Utrecht, The Netherlands, May 26, 2001
http://www.logic.at/wrs01/
* Background: Reduction strategies in rewriting and programming have
attracted an increasing attention within the last years. Research in
this field ranges from primarily theoretical questions about
reduction strategies to very practical application and
implementation issues. The workshop wants to provide a forum for the
presentation and discussion of new ideas and results, as well as of
surveys on existing knowledge in this area.
* Topics: theoretical foundations; strategies and their application in
programming languages; properties, interrelations, combinations and
applications of reduction strategies / computations under
strategies; program analysis and other semantics-based optimization
techniques dealing with reduction strategies; specification of
reduction strategies in (real) languages; implementation techniques
for reduction strategies.
* Submissions should not exceed 10 pages (except for survey
papers). Send a postscript version to (wrs01@logic.at) by March 12,
2001.
* Program committee: M. Alpuente (TU Valencia), R. Echahed (IMAG
Grenoble) B. Gramlich (TU Wien, co-chair), S. Lucas (TU Valencia,
co-chair), V. van Oostrom (U Utrecht), R. Plasmeijer (KU Nijmegen),
M. Schmidt-Schauss (U Frankfurt a.M.), Y. Toyama (U Tohoku).
WORKSHOP ON MECHANIZED REASONING ABOUT LANGUAGES WITH VARIABLE BINDING
(MERLIN 2001)
(affiliated with IJCAR 2001)
Call for Papers
Siena, Italy, June 18-19, 2001
http://www.mcs.le.ac.uk/merlin
* Theme: Currently, there is considerable interest in the use of
computers to encode (operational) semantic descriptions of
programming languages. Such encodings are often done within the
metalanguage of a theorem prover or related system. The encodings
may require the use of variable binding constructs, inductive
definitions, coinductive definitions, and associated schemes of
(co)recursion. The broad aims are to provide researchers with a
forum to review state of the art results and techniques, and to
present recent and new progress in the areas of the automation of
the metatheory of programming languages, particularly work which
involves variable binding. Further, theoretical and practical
problems of encoding variable binding, especially the representation
of, and reasoning about, datatypes defined from binding signatures.
* Submissions are encouraged in one of the following two categories:
Category A: Detailed and technical accounts of new research, up to
fifteen pages including appendices.
Category B: Shorter accounts of work in progress and proposed
further directions, including discussion papers, up to ten pages
including appendices.
Papers should be submitted electronically as a PostScript file to
the address merlin@mcs.le.ac.uk. If necessary, authors may submit
three hard copies to the Local Organizer, Alberto Momigliano, by
surface mail at Department of Mathematics and Computer Science,
University of Leicester, University Road, LEICESTER, LE1 7RH, United
Kingdom.
* Submission deadline: Friday March 30th 2001
* Program Committee: Simon Ambler (University of Leicester), Roy Crole
(Chair; University of Leicester), Amy Felty (University of Ottawa),
Andrew Gordon (Microsoft Research, Cambridge), Furio Honsell
(University of Udine), Tom Melham (University of Glasgow), Frank
Pfenning (Carnegie Mellon University)
WORKSHOP ON STRATEGIES IN AUTOMATED DEDUCTION (STRATEGIES 2001)
(affiliated with IJCAR 2001)
Call for Papers
Siena, June 18 or 19, 2001
http://www.logic.at/strategies01/
* Theme. Strategies are almost ubiquitous in automated deduction and
reasoning systems, yet only recently have they been studied in their
own right. The workshop aims at making progress towards a deeper
understanding of the nature of strategies and search plans, their
description, properties, and usage, especially, but not exclusively,
in theorem proving and model building.
* All submissions must be done electronically. Please email your
submission to strategies01@logic.at
* Submission Deadline : March 31, 2001
* Program committee. Alessandro Armando (U. Genova), Maria Paola
Bonacina, Co-Chair (U. Iowa), Gilles Dowek (INRIA &
ICASE/NASA-Langley), Ruben Gamboa (AnythingOvernight.com, Inc.),
Bernhard Gramlich, Co-Chair (TU Wien), Bernd Loechner
(U. Kaiserslautern), Christophe Ringeissen (LORIA-INRIA)
WORKSHOP ON FIXED POINTS IN COMPUTER SCIENCE (FICS'01)
(Satellite Workshop to PLI'2001)
Call for Papers
September 8, 2001, Florence, Italy
http://www.dsi.uniroma1.it/~labella/FICS.html
* Aim. Fixed points play a fundamental role in several areas of
computer science and logic by justifying induction and recursive
definitions. The construction and properties of fixed points have
been investigated in many different frameworks. The aim of the
workshop is to provide a forum for researchers to present their
results to those members of the computer science and logic
communities who study or apply the fixed point operation in the
different fields and formalisms.
* Topics. Construction and reasoning about properties of fixed points,
categorical, metric and ordered fixed point models, continuous
algebras, relation algebras, fixed points in process algebras and
process calculi, regular algebras of finitary and infinitary
languages, formal power series, tree automata and tree
languages,infinite trees, the mu-calculus and other programming
logics, fixed points in relation to dataflow and circuits, fixed
points and the lambda calculus, fixed points in logic programming
and data bases.
* Authors are invited to send three copies of an abstract not
exceeding three pages to the PC chair. Electronic submissions in the
form of uuencoded postscript file are encouraged and can be sent to
labella@dsi.uniroma1.it.
* Submission Deadline: April 15, 2001
Notification: June 15, 2001
* Confirmed invited speakers: J. Adamek (Braunschweig), Z. 'Esik
(Szeged), I. Guessarian (Paris), C. Stirling (Edinburgh),
R. F. C. Walters (Sydney)
* Program committee. J. Adamek(Braunschweig), R. Backhouse
(Nottingham), S. Bloom (Hoboken NJ), R. De Nicola (Florence),
Z. 'Esik (Szeged), I. Guessarian (Paris), W. Kuich (Vienna),
A. Labella (Rome, chair), M. Mislove (Tulane), D. Niwinski (Warsaw)
INTERNATIONAL WORKSHOP ON FUNCTIONAL AND (CONSTRAINT) LOGIC PROGRAMMING
(WFLP 2001)
Call for Papers
Kiel, Germany, September 13-15, 2001
http://www.informatik.uni-kiel.de/~wflp2001/
* Theme: WFLP 2001 is the combination of two annual workshops on
declarative programming: The international workshops on functional
and logic programming (WFLP) aim at bringing together researchers
interested in functional programming, logic programming, as well as
their integration. The workshops on (constraint) logic programming (WLP)
are the annual meeting of the Society of Logic Programming (GLP e.V.)
and bring together researchers interested in logic programming,
constraint programming, and related areas like databases and artificial
intelligence. This joint workshop wants to promote the cross-fertilizing
exchange of ideas and experiences among researches and students from
the different communities. The primary focus is on new and original
research results but submissions describing innovative products,
prototypes under development or interesting experiments (e.g., benchmarks)
are also encouraged.
The topics of interest include (but are not limited to):
Functional programming; logic programming; constraint programming;
deductive databases; extensions of declarative languages, objects;
multi-paradigm declarative programming; foundations, semantics,
nonmonotonic reasoning, dynamics; parallelism, concurrency;
program analysis, abstract interpretation; program transformation,
partial evaluation, meta-programming; specification, verification,
declarative debugging; knowledge representation, machine learning;
implementation of declarative languages; advanced programming environments
and tools; applications.
* Submissions: Extended abstracts (max. 10 pages including figures and
references) or a system description (max 3 pages) in postscript
format (11pt) via email to wflp2001@informatik.uni-kiel.de
* Submission deadline: May 15, 2001
* Invited Speakers: Peter Van Roy, Thomas Arts
* Program Committee: Slim Abdennadher, Maria Alpuente,Sergio Antoy,
Christoph Beierle, Alexander Bockmayr, Harold Boley, François Bry,
Juergen Dix, Rachid Echahed, Uwe Egly, Moreno Falaschi, Burkhard Freitag,
Thom Fruehwirth, Norbert E. Fuchs, Ulrich Geske, Michael Hanus, Herbert
Kuchen, Juan Jose Moreno Navarro, Mario Rodriguez-Artalejo, Dietmar Seipel
2ND INTERNATIIONAL SYMPOSIUM ON DOMAIN THEORY (ISDT 2001)
Call for Papers
October 22-26, 2001
Sichuan University, Chengdu, China
http://vorlon.cwru.edu/~gqz/ISDT.html
* Theme: contributed talks are solicited in the general area of
mathematical structures for programming and computation.
Specific topics include:
Topological and logical aspects of domains, categories of domains
and powerdomains, partial orders and metric spaces, applications in
mathematics and computer science, types, process algebra and
concurrency, non-classical and partial logics,
programming language semantics.
* Submission: send a one-page abstract including title, address, and
e-mail address to gqz@eecs.cwru.edu before June 30, 2001.
* Confirmed invited speakers:
Pierre-Louis Curien, Abbas Edalat, Martin Escardo,
Achim Jung, Mike Mislove, William Rounds.
* Program committee: Jimmie Lawson, Guo-Qiang Zhang,
Ying-Ming Liu, Mao-Kang Luo.
* Important dates: Abstract June 30, 2001; Registration July 15, 2001;
Full paper Nov. 15, 2001. Similar to the first Symposium, the
proceedings are to be published by Kluwer Academic Publishers in
the book series Semantics in Computation.
FIRST ORDER CONSTRAINTS IN VARIOUS STRUCTURES
Centre International de Rencontres Mathématiques (CIRM) at Marseille
May 3-4, 2001
http://alain.colmerauer.free.fr/firstorderconstraints.htm
http://www.cirm.univ-mrs.fr
* This is an informal workshop is organized by Alain Colmerauer. It
should gather computer scientists and logicians interested in
exploring three themes:
(1) algorithms for solving first order constraints,
(2) first order axiomatizations of interesting structures,
(3) expressiveness of first order constraints and complexity of
their solving.
* People who are interested in giving a talk on their related
(past, recent or new) work should e-mail to
alain.colmerauer@lim.univ-mrs.fr a detailed abstract, as soon as
possible and before March 16, 2001. A LateX source and a typeset
version (.ps, .pdf, .dvi) would be the best. Talks on the state
of the art are also welcome.
* A budget is available which should allow to pay back some
travelling expenses and accomadation and meals (at the CIRM) for
the speakers.
UNIFICATION WORKSHOP (UNIF 2001)
(affiliated with IJCAR 2001)
Call for Abstracts and Participation
Siena, Italy, June 18-19, 2001
http://goedel.cs.uiowa.edu/unif2001/
* Theme. Unification is concerned with the problem of identifying
given terms, either syntactically or modulo a given logical
theory. Syntactic unification is the basic operation of most automated
reasoning systems, and unification modulo theories can be used, for
instance, to build in special equational theories into theorem
provers.
* All submissions must be done electronically. Please email your
submission, or announce your interest to participate, to
unif2001@cs.uiowa.edu. See the instructions at
http://goedel.cs.uiowa.edu/unif2001/
* Submission Deadline : April 15, 2001
* Organizing committee. Franz Baader (RWTH Aachen, Germany), Volker
Diekert (Universit"at Stuttgart, Germany), Cesare Tinelli (University
of Iowa, USA), Ralf Treinen (Universite' Paris-Sud, France).
SPECIAL ISSUE ON THE PI-CALCULUS
Call for Papers
Journal of Logic and Algebraic Programming
Special issue on the pi-Calculus
http://www.docs.uu.se/jlap01/
* Deadline for submissions: September 1, 2001
* Guest editors:
Uwe Nestmann
Bjorn Victor
Back to the LICS web page.