Submissions should discuss aspects of "really working" systems and applications, and should not focus on theoretical ideas that have not yet been translated into working software.
The normal reviewing process for journals will be used and papers should conform to the usual high standard of international journals. Submissions should be formatted according to JAL's author guidelines, and preferably be written in LaTeX. To be considered, submissions must be received no later than December 4, 2006.
Submission is via the EasyChair on-line submission system at http://www.easychair.org/ESCoRJAL2007/.
December 4, 2006 | Submission deadline |
February 12, 2007 | Acceptance notification |
March 12, 2007 | Camera-ready papers due |
Up-to-date information will be available from the special issue website (this website).
Renate Schmidt | |
School of Computer Science | |
University of Manchester | |
Oxford Rd, Manchester M13 9PL | |
UK | |
Renate.Schmidt@manchester.ac.uk | |
Geoff Sutcliffe | |
Department of Computer Science | |
University of Miami | |
P.O. Box 248154, Coral Gables, FL 33124 | |
USA | |
geoff@cs.miami.edu | |
Stephan Schulz | |
Institut für Informatik 4 | |
TU München | |
Boltzmannstr. 3, 85748 Garching b. München | |
Germany | |
schulz@informatik.tu-muenchen.de |
ESCoR Special issue: | http://www.cs.man.ac.uk/~schmidt/ESCoR/ (this page) |
Journal of Applied Logic: | http://www.elsevier.com/locate/jal/ |
ESCoR Workshop: | http://www.cs.miami.edu/~geoff/Conferences/ESCoR/ |
ESCoR Workshop proceedings: | http://ceur-ws.org/Vol-192 |