!! 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. ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------