---------- Forwarded Message ----------

Subject: Call for Papers: IJCAR'04 Workshop 7 Date: Wednesday 04 February 2004 16:15 From: IJCAR WS7 ijcar-ws7@risc.uni-linz.ac.at To: gustaf.neumann@wu-wien.ac.at

!! The usual apologies in case you receive multiple copies of this message !!

We would like to invite you to the

Workshop on

COMPUTER-SUPPORTED MATHEMATICAL THEORY DEVELOPMENT

in the frame of

IJCAR'04

The workshop will be held on July 4-5, 2004 in Cork, Ireland. For details please see

http://www.risc.uni-linz.ac.at/conferences/IJCAR-WS7

The workshop organizers

Christoph Benzmueller Wolfgang Windsteiger.

-------------------------------------------------------