Model Based Automated Reasoning
is March 10.
Please refer to the Web page at http://www.uni-koblenz.de/ag-ki/ijcai/
for further information.
Best regards,
Ulrich Furbach
---------------
-------------------------------------------------------------------------------
The dbworld alias reaches many people, and should only be used for
messages of general interest to the database community.
Requests to get on or off dbworld should go to listproc@cs.wisc.edu.
to subscribe send
subscribe dbworld Your Full Name
to unsubscribe send
unsubscribe dbworld
to change your address
send an unsubscribe request from the old address
send a subscribe request from the new address
to find out more options send
help
------------------------------------------------------------------------FOOTER-