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
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 B.Konev at csc.liv.ac.uk. 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.