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.

CfP special issue of JLAMP on "automated verification of programs and web systems"

Deadline: 25 February 2015

This special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP) provides a forum for researchers working in the areas of verification, program transformation, software engineering, rule-based programming, formal methods, and Web-oriented research, to submit their papers on the Automated Verification of Programs and Web Systems.

This special issue is devoted to the themes of the WWV and VPT workshop series on Automated Specification and Verification of Web Systems (WWV) and on Verification and Program Transformation (VPT). This is however an open call for papers. Both participants of the most recent editions of the WWV and VPT workshop series and others working on the themes of this special issue are hereby invited to submit a paper. Abstract submission deadline: 25 February 2015

For more information, see http://www.journals.elsevier.com/

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