CoSySyCo'98 - 2nd CfP

[Bernd Ingo Dahn]

	(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.

See

	http://www.uni-kl.de/AG-AvenhausMadlener/cosysyco.html

for the call for papers and actual informations.

The Program Committee:

General Chair:

     Bruno Buchberger
     RISC Linz,
     Austria

Program Committee Co-Chairs:

      Jacques Calmet                       Ingo Dahn
      Faculty for Computer Science,        Mathematical Institute,
      Karlsruhe University,                Humboldt University Berlin,
      Germany                              Germany
      calmet at ira.uka.de                    dahn at mathematik.hu-berlin.de

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,
     Germany
     weese at rz.uni-potsdam.de