CFP: Sixth CALCULEMUS and TYPES Workshop

[Calculemus and Types 98]

Please distribute.






                            First Call for Papers

                     Sixth CALCULEMUS and TYPES Workshop

                   -Integrating Computation and Deduction-

                     Eindhoven University of Technology
                              July 13-15, 1998

     The workshop

     A few years ago, several groups from the deduction and computer
     algebra communities decided to work together towards the
     integration of theorem provers and computer algebra systems. This
     collaborative project has been called Calculemus. Five workshops
     have already been held, respecitvely in Rome, Dagstuhl, Linz,
     Trento, and Edinburgh. Attendance was restricted to groups
     belonging to Calculemus. Significant progress has now been
     achieved and it has been decided that the next workshop will be
     fully open.
     So far the Types project has operated in much the same direction,
     but with a stronger focus on Lambda-Calculus.
     The present workshop is the first joint enterprise of the two
     communities.

     Scope

     The theme of the workshop is the integration of deduction an
     dcomputation. All pertinent submissions will be considered. Papers
     on the following topics are especially welcome.

        * Coupling existing computer algebra systems and theorem
          provers,
        * Connections between formal and informal approaches to
          mathematics,
        * Inclusion of deduction capabilities into computer algebra
          systems,
        * Inclusion of computational capabilities into theorem provers,
        * Implementation details regarding the above, such as a
          mathematical software bus,
        * Formal methods, specification and semantics, applied to
          Automated Theorem Proving or Symbolic Computation,
        * Design of systems for handling both deduction and
          computation.

     Submissions

     Papers may be up to 10 pages in length. A cover sheet must display
     the author's name, institution, email and postal adresses, and an
     abstract. Systems demonstrations are also invited. Authors must
     state in the cover sheet whether they intend to offer a
     demonstration of running systems.
     Submissions should be sent electronically, in (La)TeX source, or
     as an HTML document to calc at win.tue.nl before May 1.
     The submissions will either be accepted or rejected for
     presentation by the program committee before June 1. No formal
     proceedings will appear, but a depository of the accepted papers
     will be made available via the Web, provided the authors agree.
     This enables authors to submit their work also to journals or
     conferences with a proper refereeing procedure. The main role of
     the program committee will be to filter the submissions so as to
     ensure a balanced workshop and good quality contributions.

     Program Committee

     Henk Barendregt (Nijmegen)     Fausto Giunchiglia  (Trento)
     Bruno Buchberger (Linz)        JanWillem Klop (Amsterdam)
     Alan Bundy (Edinburgh)         Joerg Siekmann (Saarbruecken)
     Jacques Calmet (Karlsruhe)     Jan Smith (cochair, Gothenburg)
     Arjeh Cohen (chair, Eindhoven) Andrzej Trybulec (Bialystok)     


     Local organizers

        * Olga Caprotti        (http://www.win.tue.nl/~olga)
        * Arjeh M. Cohen       (http://www.win.tue.nl/~amc)

     Location

     Eindhoven University of Technology, Eindhoven, The Netherlands

     Invited speakers

     We expect to have Robert Constable as invited speaker and others.   
     Among them, there will be representatives of the founding groups 
     of Calculemus and Types; they will survey the results achieved 
     since the beginning of these projects.

     Related events

        * The workshop will be held in parallel with an UITP workshop.
        * CADE
        * CoSySyCo98, First International Workshop on Cooperating
          Systems for Symbolic Computation
        * AISC'98,  ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION

     More information

     Enquire with mail to calc at win.tue.nl and/or look up the
     Calculemus'97 web page at http://www.win.tue.nl/~calc