URL of DISCO'96: http://iaks-www.ira.uka.de/iaks-calmet/conf/disco.html
_______________________________________________________________________________
FINAL CALL FOR PAPERS
D I S C O ' 9 6
International Symposium on Design and Implementation of
Symbolic Computation Systems
September 18-20, 1996 Karlsruhe, Germany
_______________________________________________________________________________
SPONSORED BY ACM, SIGSAM, SIGART, ECCAI, COMPULOG NET III, DFG,
IFIP (TC12), INSTITUTE OF ALGORITHMS AND COGNITIVE SYSTEMS
_______________________________________________________________________________
DISCO `96 is the fourth edition of an international Symposium aiming at
presenting and discussing new trends in the development of symbolic computation
systems.
The Symposium focuses on innovative methodological and technological aspects of
computing and reasoning in the following areas of symbolic computation:
Algebraic Computation
Automated Reasoning
Geometric Modelling
In particular, contributions are encouraged to present substantial new results
in:
T H E O R E T I C A L A S P E C T S :
Language and specification issues, Abstract data types, Type inference,
Programming paradigms, Reasoning techniques, Integration of computing and
reasoning paradigms, Efficiency and computational issues.
A R C H I T E C T U R E A N D S O F T W A R E E N V I R O N M E N T S :
Parallel and specialized architectures, Software architectures, Software
development tools, User interfaces, Visual and graphic tools.
I M P L E M E N T E D S Y S T E M S :
Reports, evaluation and comparisons of significant innovative running
systems.
_______________________________________________________________________________
S C I E N T I F I C P R O G R A M :
The program will consist of contributed papers selected from the submissions,
panel discussion and four invited lectures:
WOLFGANG BIBEL (Darmstadt):
"Deductive Systems: Performance, Techniques, Applications"
HANS HAUGENEDER (Munich):
"Multi-Agent Systems: Concepts and Applications"
ANTHONY C. HEARN (Santa Monica):
"Computer Algebra and the World Wide Web"
ALBERTO PAOLUZZI (Roma):
"Generative Geometric Modeling in a Functional Environment"
P A P E R S U B M I S S I O N :
Four copies of a one-page abstract and of the full paper (unpublished results,
written in English, not exceeding 15 double-spaced pages) must be received by
the PROGRAM CHAIR by February 19, 1996. Papers can be sent via e-mail (in
poscript, gzip, uuencode form) to the Program Chair at disco96@dis.uniroma1.it
P U B L I C A T I O N :
Accepted papers will be published by Springer Verlag, LNCS-Series, and will be
made available at the Symposium.
D E M O R E Q U E S T :
DISCO `96 offers commercial and academic participants an opportunity to
demonstrate their systems and / or applications. Please announce your intention
to demo to the local organizer by August 1, 1996, and specify precisely what
type of hardware and software you need. We strongly encourage authors of papers
that describe systems or application to accompany their presentation with a
demo.
_______________________________________________________________________________
C O N F E R E N C E C H A I R : P R O G R A M C H A I R :
Jacques Calmet Luigia Carlucci Aiello
Department of Informatics Dipartimento di Informatica e Sistemistica
University of Karlsruhe University of Rome "La Sapienza"
Am Fasanengarten 5 via Salaria 113
76131 Karlsruhe, Germany 00198 Roma, Italy
calmet@ira.uka.de aiello@dis.uniroma1.it
Tel: (+49)721-608-4208 Tel: (+39)6-8841947
Fax: (+49)721-608-6116 Fax: (+39)6-85300849
P R O G R A M C O M M I T T E E :
L.C. Aiello (I - Chair) R. Caferra (F)
J. Calmet (D) J.A. Campbell (UK)
C.M. Hoffmann (USA) C. Kirchner (F)
A. Miola (I) J. Pfalzgraf (A)
F. Pfenning (USA) A. Salwicki (F/P)
O R G A N I Z E D B Y :
Institute of Algorithms and Cognitive Systems
University of Karlsruhe
L O C A L O R G A N I Z E R :
Karsten Homann
homann@ira.uka.de
_______________________________________________________________________________
D E A D L I N E S :
Submission: February 19, 1996
Notification: May 6, 1996
Final version: June 15, 1996
_______________________________________________________________________________
F U R T H E R I N F O R M A T I O N & S U G G E S T I O N :
For additional information about registration and program contact the local
organizer or http://iaks-www.ira.uka.de/iaks-calmet/conf/disco.html
AISMC-3 (Artificial Intelligence and Symbolic Mathematical Computation) will be
held in Steyr, Austria, from September 23-25; participation at both conferences
is easily possible.