Ball Call for papers
 Ball Important dates
 Ball Topics
 Ball Invited speakers
 Ball Program committee
 Ball Submission
 Ball Program
 Ball Accepted Papers
 Ball Registration
 Ball Location and travel
 Ball WWV homepage
 Ball Poster
 >  Special Issue JLAP
 >  DisCoTec 2013

Submission procedure

Submitted papers should present original unpublished work and cannot be under review for publication elsewhere. Each paper will undergo a thorough evaluation by at least three reviewers, chosen by the Program Committee. Contributions should be in PDF format and prepared in LaTeX using the EPTCS-style format ( and should not exceed 15 pages (typeset 11 points).

Submissions are handled using the EasyChair online system. Papers should be submitted to the

>>> submission website for WWV 2013<<<

Accepted papers will be included in the pre-proceedings, which will be made available in electronic form through this web site. Submission is a firm commitment that at least one of the authors will attend the workshop, if the paper is accepted.

After the workshop, authors of accepted papers will be asked to prepare, by incorporating insights gathered during the event, a final version of their paper to be published in the post-proceedings as a volume of theElectronic Proceedings in Theoretical Computer Science (EPTCS).(WWV publication is indexed in DBLP and Microsoft Academic Research among other important repositories).

After the workshop, all authors will be invited to submit an extended version of their work to an Special Issue of the Journal of Logic and Algebraic Programming.