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