[loginf] Call for Papers: IJCAR'04 Workshop 7

IJCAR WS7 ijcar-ws7 at risc.uni-linz.ac.at
Wed Feb 4 16:15:10 CET 2004


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



More information about the loginf mailing list