Date: Mon, 29 Jan 1996 17:28:51 +0100
From: homann@ira.uka.de (Karsten Homann)
Message-Id: <9601291628.AA11780@miraculix.iaks.ira.uka.de>
To: qed@mcs.anl.gov
Subject: REMINDER FINAL CFP FOR DISCO'96
Sender: owner-qed@mcs.anl.gov
Precedence: bulk


[This announcement is being sent to email lists.
 Our apologies for multiple copies.]

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.