From: Manuel Hermenegildo
Subject: CFP: Euro-Par'97 Workshop/Track on Parallel Symbolic Computation
Date:
Message-ID: <86ohgc8mo5.fsf@pizarro.dia.fi.upm.es>
Euro-Par'97
===========
Announcing a Euro-Par'97 Workshop
-------------------------------------------------------------------------
Symbolic Computation
-------------------------------------------------------------------------
Program Committee:
------------------
* Manuel Hermenegildo, TU Madrid (UPM), Spain, Chair
* Hoon Hong, RISC Linz, Austria, Local Chair
* Kevin Hammond, University of St. Andrews, UK, Vice-Chair
* Wolfgang K\"uchlin, University of T\"ubingen, Germany, Vice-Chair
Deadline:
---------
20 January 1997 (paper) 1 February 1997 (electronic)
General Description:
--------------------
Euro-Par is the annual European conference in Parallel Processing. Like
the 1996 conference in Lyon, the 1997 version will consist of a number
of highly focussed workshops on all aspects of parallel processing,
from theory to practice, from academy to industry. The workshops will
present the latest advances in their respective domains. In addition,
there will be a number of high-level tutorials of general interest plus
a series of invited talks. Calls for papers for 20 workshops are being
launched. All accepted papers will appear in the proceedings published
by Springer-Verlag in the LNCS Series.
Workshop Description:
---------------------
Workshop #19: Symbolic Computation
Papers are invited on all topics related to parallel symbolic
computation. Symbolic computation is defined here in its broadest
sense, comprising all programming and computation paradigms that
deal with symbolic data, or that deal with exact numeric data
rather than floating-point values. This includes functional
programming, logic programming, constraint programming, computer
algebra, theorem proving, AI paradigms, etc. Topics of interest
comprise parallel execution models, parallel algorithms, parallel
compilation and run-time techniques as applied to the specific
domain of symbolic computation, including parallelizing recursion,
speculative parallelism, manipulation of complex parallel data
structures, parallel search, parallel language constructs, and
static, dynamic or hybrid resource control (heap management, load
management, data placement, granularity, etc.). Papers reporting
on significant applications are particularly welcome.
Topics of interest include:
* constraint programming
* functional programming
* logic programming
* computer algebra
* theorem proving
* AI paradigms
* parallel search
Further information
-------------------
is available at URL http://www.uni-passau.de/europar97/. It includes
the list of all workshops. Please send all information requests and
comments to ·········@fmi.uni-passau.de. Register today on the Euro-Par'97
mailing list by sending us a mail! See below for additional information.
Official Address:
-----------------
Euro-Par'97, Universitaet Passau, D-94030 Passau, Germany
Phone: (+49) (851) 509-3071; Fax: (+49) (851) 509-3092
E-mail: ·········@fmi.uni-passau.de
URL: http://www.uni-passau.de/europar97/
-------------------------------------------------------------------------
ADDITIONAL INFORMATION
----------------------
Submissions are expected to be no longer than 12 pages in the LNCS style
(page size 12.2 cm x 19.3 cm, 12 pt Computer Modern font). Style files
are on the Web at http://www.springer.de/author/tex/help-tex.html (for
TeX click on PLNCS, for LaTeX on LLNCS). Text processors other than TeX
or LaTeX may be used, but we strongly suggest that the submissions
satisfy the LNCS specifications!
Submitted papers must not be simultaneously under review for any other
conference, and authors must point out any substantial overlap with
their previously published work.
Papers will be published in three categories: distinguished papers
(12 pages), full papers (8 pages), and short papers (4 pages). Authors
should state with their submission whether classification as a short
paper would be acceptable. Except in extenuating circumstances,
submission should be electronic.
! Electronic submissions are mandatory for all people having !
! access to standard electronic facilities. !
ELECTRONIC SUBMISSIONS should consist of two e-mails:
----------------------
* the first one containing an ASCII cover page, giving the author's
full name, address, phone and fax number, e-mail address,
a 100-word abstract and keywords, as well as the workshop number
(#19) and the workshop title (Symbolic Computation),
* the second one with the printable file.
Accepted formats are uuencode'd compressed EPSF PostScript files (most
preferably generated by dvips).
! Important! We are sorry that we are unable to accommodate !
! other file formats. If at all possible, please attempt to !
! preview the document with Ghostview and print it on more !
! than one brand/model of laser printers. If your program !
! requests it, assume that the document will be printed on a !
! 300 DPI standard PostScript Unix Sun laser printer. We will !
! do our best to get all files printed. If a file cannot be !
! printed in spite of all our efforts, we will have to reject !
! the electronic submission. In case of doubt, send us a !
! (possibly preliminary) paper version of the submission !
! before the 20 January 1997 paper deadline (one copy is !
! enough in this case). We will assume that the electronic !
! version of the submission, if printable, is the final one. !
The files should be mailed to ·········@fmi.uni-passau.de and received
at this address before 1 February 1997. PLEASE NOTE THAT THIS IS A FIRM
DEADLINE.
PAPER SUBMISSIONS are only allowed for people without easy access to
standard electronic facilities. The cover page must clearly indicate
the name, address, phone and fax numbers and e-mail address of the
author(s), and contain a 100-word abstract and keywords. The workshop
number (#19) and the workshop title (Symbolic Computation) relating to
each submitted paper must also be clearly indicated on the cover page.
Authors should send six copies of their submission to the official
address, postmarked before 20 January 1997. PLEASE NOTE THAT THIS IS
A FIRM DEADLINE.
Proceedings:
------------
All accepted papers will be published by Springer-Verlag in the
Lecture Notes in Computer Science Series. Proceedings will be
available at the conference.
Important Dates:
----------------
Register on the mailing list: Today!
Deadline for paper submissions: 20 January 1997
Deadline for electronic submissions: 1 February 1997
Notification of acceptance: 2 May 1997
Final version due: 10 June 1997
Early registration: 30 June 1997
Euro-Par'97 in Passau: 26-29 August 1997
--
-----------------------------------------------------------------------------
·····@fi.upm.es | Manuel Hermenegildo
·····@cs.utexas.edu | Facultad de Informatica
+34-1-336-7435 (Work) | Universidad Politecnica de Madrid
+34-1-352-4819 or 336-7412 (FAX) | 28660-Boadilla del Monte, MADRID
http://www.clip.dia.fi.upm.es/~herme | SPAIN
-----------------------------------------------------------------------------