FIRST CALL FOR PAPERS
Sixth International Workshop on Verification and Program Transformation
April 21st 2018, Thessaloniki, Greece
Co-Located with ETAPS 2018
The Sixth International Workshop on Verification and Program Transformation
(VPT 2018) aims to bring together researchers working in the areas of
Program Verification and Program Transformation.
The previous workshops in this series were:
VPT 2013, Saint Petersburg, Russia
VPT 2014, Vienna, Austria
VPT 2015, London, UK
VPT 2016, Eindhoven, The Netherlands
VPT 2017, Uppsala, Sweden
The workshop solicits research, position, application, and system
description papers with a special emphasis on case studies, demonstrating
viability of the interactions between the research fields of program
transformation and program verification in a broad sense. Also papers in
related areas, such as program testing and program synthesis are welcomed.
Topics of interest include, but are not limited to:
Verification by Program Transformation
Verification Techniques in Program Transformation and Synthesis
Verification and Certification of Programs Transformations
Program Analysis and Transformation
Program Testing and Transformation
Verifiable Computing and Program Transformation
Case studies
Important Dates
January 16th, 2018: Abstract submission deadline
January 22nd, 2018: Paper submission deadline
February 19th, 2018: Acceptance notification
February 25th, 2018: Camera ready version (for the pre-proceedings)
April 21st, 2018: Workshop
Submission Guidelines
Authors should submit an electronic copy of the paper in PDF, formatted in
the Electronic Proceedings in Theoretical Computer Science LaTeX Style
(http://style.eptcs.org/), via the Easychair submission website for VPT
2018 : https://easychair.org/conferences/?conf=vpt2018
Papers must describe original work that has not been published, or
currently submitted, to a journal, conference, or workshop with refereed
proceedings. Also papers that already appeared in unpublished or informally
published workshop proceedings may be submitted.
Each submission must include on its first page the paper title; authors and
their affiliations; contact author's email; abstract; and three to four
keywords that will be used to assist the PC in selecting appropriate
reviewers for the paper. Page numbers should appear on the manuscript to
help the reviewers in writing their report.
Submissions should not exceed 15 pages including references but excluding
well-marked appendices not intended for publication. Reviewers are not
required to read the appendices, and thus papers should be intelligible
without them.
Proceedings
We hope to publish the post-proceedings in the Electronic Proceedings in
Theoretical Computer (EPTCS) series (http://about.eptcs.org/), as was done
for previous editions of VPT.
If the workshop will attract sufficiently many high quality papers, a
special issue of a journal on the topic of the workshop will be considered.
The special issue will be open to high quality papers accepted for
presentation in previous editions of the workshop.
Program Committee:
Emanuele De Angelis, University G.d'Annunzio of Chieti-Pescara, Italy
Olivier Danvy, Yale-NUS College, Singapore
John Gallagher, Roskilde University and IMDEA Software Institute, Denmark and Spain (Chair)
Robert Glueck, University of Copenhagen, Denmark
Geoff W. Hamilton, Dublin City University, Republic of Ireland
Bishoksan Kafle, The University of Melbourne, Australia
Julia Lawall, INRIA Paris, France
Alexei Lisitsa, The University of Liverpool, UK
Andrei P. Nemytykh, Program Systems Institute of RAS, Russia
Maurizio Proietti, IASI-CNR, Rome, Italy
C. R. Ramakrishnan, Stony Brook University, USA
Kostis Sagonas, Uppsala University, Sweden
Hirohisa Seki, Nagoya Institute of Technology, Japan
Organisers:
Alexei Lisitsa (The University of Liverpool, UK)
Andrei P. Nemytykh (Program Systems Institute of RAS, Russia)
John Gallagher (Roskilde University and IMDEA Software Institute)
Contacts
E-mail:
Alexei Lisitsa, a.lisitsa(a)csc.liv.ac.uk
Andrei P. Nemytykh, nemytykh(a)math.botik.ru
John Gallagher, jpg(a)ruc.dk
Web: http://refal.botik.ru/vpt/vpt2018/, http://www.etaps.org/index.php/2018/workshops
FINAL Call For Papers
=========================
NOTE: DEADLINE EXTENSION
=========================
FLOPS 2018: 14th International Symposium on Functional and Logic Programming
In-Cooperation with ACM SIGPLAN
===============================
9-11 May, 2018, Nagoya, Japan
http://www.sqlab.jp/FLOPS2018/
Writing down detailed computational steps is not the only way of
programming. The alternative, being used increasingly in practice, is
to start by writing down the desired properties of the result. The
computational steps are then (semi-)automatically derived from these
higher-level specifications. Examples of this declarative style
include functional and logic programming, program transformation and
re-writing, and extracting programs from proofs of their correctness.
FLOPS aims to bring together practitioners, researchers and
implementors of the declarative programming, to discuss mutually
interesting results and common problems: theoretical advances, their
implementations in language systems and tools, and applications of
these systems in practice. The scope includes all aspects of the
design, semantics, theory, applications, implementations, and teaching
of declarative programming. FLOPS specifically aims to
promote cross-fertilization between theory and practice and among
different styles of declarative programming.
Scope
FLOPS solicits original papers in all areas of the declarative
programming:
* functional, logic, functional-logic programming, re-writing
systems, formal methods and model checking, program transformations
and program refinements, developing programs with the help of theorem
provers or SAT/SMT solvers;
* foundations, language design, implementation issues (compilation
techniques, memory management, run-time systems), applications and
case studies.
FLOPS promotes cross-fertilization among different styles of
declarative programming. Therefore, submissions must be written to be
understandable by the wide audience of declarative programmers and
researchers. Submission of system descriptions and declarative pearls
are especially encouraged.
Submissions should fall into one of the following categories:
* Regular research papers: they should describe new results and will
be judged on originality, correctness, and significance.
* System descriptions: they should contain a link to a working
system and will be judged on originality, usefulness, and design.
* Declarative pearls: new and excellent declarative programs or
theories with illustrative applications.
System descriptions and declarative pearls must be explicitly marked
as such in the title.
Submissions must be unpublished and not submitted for publication
elsewhere. Work that already appeared in unpublished or informally
published workshops proceedings may be submitted. See also ACM SIGPLAN
Republication Policy.
Proceedings
The proceedings will be published by Springer International Publishing
in the Lecture Notes in Computer Science (LNCS) series, as a printed
volume as well as online in the digital library SpringerLink.
Post-proceedings: The authors of 4-7 best papers will be invited to
submit the extended version of their FLOPS paper to a special issue of
the journal Science of Computer Programming (SCP).
Important dates
29 November 2017 (any time zone): Abstract Submission (extended)
4 December 2017 (any time zone): Submission deadline (extended)
29 January 2018: Author notification
9-11 May 2018: FLOPS Symposium
Invited Speakers
William E. Byrd, University of Utah, USA
Zhenjiang Hu, National Institute of Informatics, SOKENDAI, Japan
+ 3rd speaker to be announced
Submission
Submissions must be written in English and can be up to 15 pages long
including references, though pearls are typically shorter. The
formatting has to conform to Springer's guidelines. Regular research
papers should be supported by proofs and/or experimental results. In
case of lack of space, this supporting information should be made
accessible otherwise (e.g., a link to a Web page, or an appendix).
Papers should be submitted electronically at
https://easychair.org/conferences/?conf=flops2018
Springer Guidelines
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…
Program Committee
Andreas Rossberg Google, Germany
Atsushi Ohori Tohoku University, Japan
Bruno C. D. S. Oliveira The University of Hong Kong, China
Carsten Fuhs Birkbeck, University of London, UK
Chung-chieh Shan Indiana University, USA
Didier Remy INRIA, France
Harald Søndergaard The University of Melbourne, Australia
Jacques Garrigue Nagoya University, Japan
Jan Midtgaard University of Southern Denmark, Denmark
Joachim Breitner University of Pennsylvania, USA
John Gallagher Roskilde University, Denmark and IMDEA Software Institute, Spain (PC co-chair)
Jorge A Navas SRI International, USA
Kazunori Ueda Waseda University, Japan
Kenny Zhuo Ming Lu School of Information Technology, Nanyang Polytechnic, Singapore
María Alpuente Universitat Politécnica de Valéncia, Spain
María Garcia De La Banda Monash University, Australia
Martin Sulzmann Karlsruhe University of Applied Sciences, Germany (PC co-chair)
Meng Wang University of Kent, UK
Michael Codish Ben-Gurion University of the Negev, Israel
Michael Leuschel University of Düsseldorf, Germany
Naoki Kobayashi University of Tokyo, Japan
Nikolaj Bjørner Microsoft Research, USA
Robert Glück University of Copenhagen, Denmark
Samir Genaim Universidad Complutense de Madrid, Spain
Siau Cheng Khoo National University of Singapore, Singapore
Organizers
Martin Sulzmann Karlsruhe University of Applied Sciences (PC co-chair)
John Gallagher Roskilde University and IMDEA Software Institute (PC co-chair)
Makoto Tatsuta National Institute of Informatics, Japan (General Chair)
Koji Nakazawa Nagoya University, Japan (Local Chair)