CoSySyCo'98 - 2nd CfP

Bernd Ingo Dahn dahn at
Mon Mar 16 14:02:10 CET 1998

	(With apologies for multiple copies.)

Please, recall that 

	April 1st is the deadline 

for contributions to the workshop CoSySyCo'98. This international 

	Workshop on Cooperating Systems for Symbolic Computation
promotes the reuse of existing high performance computer algebra 
systems, theorem provers, model checkers and related systems. 
All aspects of cooperation of these systems with each other and 
with systems from other fields of application will be discussed. 

The workshop will be held in Potsdam/Germany near Berlin

	September, 23-25, 1998.


for the call for papers and actual informations.

The Program Committee:

General Chair:

     Bruno Buchberger
     RISC Linz,

Program Committee Co-Chairs:

      Jacques Calmet                       Ingo Dahn
      Faculty for Computer Science,        Mathematical Institute,
      Karlsruhe University,                Humboldt University Berlin,
      Germany                              Germany
      calmet at                    dahn at

Program Committee Members:

      Jörg Denzinger, University Kaiserslautern, Germany
      John Harrison,  University of Cambridge,   UK
      Tudor Jebelean, RISC-Linz,                 Austria
      Tobias Nipkow,  TU Munich,                 Germany
      Laurent Thery,  INRIA,                     France
      Andreas Weber,  University of Tübingen,    Germany

Local Organization Chair:

     Martin Weese,
     Mathematical Institute,
     Potsdam University,
     weese at

More information about the Om mailing list