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

IJCAR WS7 ijcar-ws7 at risc.uni-linz.ac.at
Wed Apr 7 19:16:39 CEST 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

DEADLINE for paper submission: MAY 2, 2004.

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