Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

27 September 2003, 4th International Workshop on the Implementation of Logics

Date: Saturday 27 September 2003
Location: Almaty, Kazakhstan
Deadline: 27 July 2003

Following a series of successful workshops on the implementation of logics held in conjunction with the LPAR conference, there will be a fourth workshop on this topic, to be held in conjunction with LPAR'2003.

For more information, see the LPAR'2003 website at http://www.lpar.net/2003/

Researchers interested in participating are invited to send a short abstract, experimental paper, position paper, system description, or research paper of between 2 and 15 pages to . Submissions will be refereed by the program committee, which will select a balanced program of high-quality contributions. Deadline for submissions: 27 July 2003.

Please note that this newsitem has been archived, and may contain outdated information or links.