(Apologies for multiple copies)
========================================================================================
Sixth International Workshop on
Rewriting Techniques for Program Transformations and Evaluation
WPTE 2019
affiliated with FSCD 2019
24 June, 2019, Dortmund, Germany
http://nigam.info/conferences/wpte2019/main.html
========================================================================================
Important Dates
===============
* Submission of extended abstracts: April 25, 2019 (extended deadline)
* Notification of acceptance: May 20, 2019
* Final version for proceedings deadline: May 27, 2019
* Workshop: June 24, 2019
* Submission deadline for post proceedings:
September, 2019 (exact date to be announced)
Aims and Scope
==============
The aim of WPTE is to bring together the researchers working on
program transformations,
evaluation, and operationally-based programming language semantics,
using rewriting
methods, in order to share the techniques and recent developments and
to exchange ideas
to encourage further activation of research in this area.
Topics of interest in the scope of this workshop include:
* Correctness of program transformations, optimizations and translations.
* Program transformations for proving termination, confluence and
other properties.
* Correctness of evaluation strategies.
* Operational semantics of programs, operationally-based program
equivalences such as
contextual equivalences and bisimulations.
* Cost-models for reasoning about the optimizing power of
transformations and the costs
of evaluation.
* Program transformations for verification and theorem proving purposes.
* Translation, simulation, equivalence of programs with different
formalisms, and
evaluation strategies.
* Program transformations for applying rewriting techniques to
programs in specific
programming languages.
* Program transformations for program inversions and program synthesis.
* Program transformation and evaluation for Haskell and Rewriting.
The programming languages of interest include pure, deterministic, impure,
nondeterministic, concurrent, parallel languages, and may employ
programming paradigms
such as functional, logical, typed, imperative, object-oriented, and
higher-order.
Invited Speakers
===============
* Maribel Fernandez, King's College London
* René Thiemann, University of Innsbruck
* Masahiko Sakai, Nagoya University
Paper Submissions
=================
For the paper submission deadline an extended abstract of at most 10
pages is required
to be submitted.
The extended abstract may present original work or also work in progress.
However, for the formal post-proceedings (see below) full papers must
be submitted to
the post-proceedings deadline.
Based on the submissions the program committee will select the
presentations for the
workshop. All selected contributions will be included in the informal
proceedings
distributed to the workshop participants. One author of each accepted
extended abstract
is expected to present it at the workshop. Submissions must be
prepared in LaTeX using
the EPTCS macro package (http://style.eptcs.org/).
Formal Post-Proceedings
=======================
The WPTE post-proceedings will be published in
Electronic Proceedings in Theoretical Computer Science (http://eptcs.org/).
The authors of all presented contributions will have the opportunity
(but no obligation)
to submit a full paper for the formal post-proceedings.
These full-papers must represent original work and should not be
submitted to another
conference at the same time. Full-papers should not exceed 15 pages.
The submission
deadline for these post-proceedings will be after the workshop in
September 2019.
There will be a second round of reviewing for selecting papers to be published
in the formal proceedings.
Weblinks
========
* EasyChair Submission Website
https://easychair.org/conferences/?conf=wpte2019
* Homepage of WPTE 2019
http://nigam.info/conferences/wpte2019/main.html
* FSCD 2019
http://easyconferences.eu/fscd2019/
Program Committee
=================
Vivek Nigam (Chair), fortiss GmbH / Federal University of Paraíba
Joachim Niehren (co-Chair), Inria, Lille
Tajana Ban Kirigin, University of Rijeka
Stefan Ciobaca, Alexandru Ioan Cuza University, Iasi
Santiago Escobar, Universitat Politècnica de València
Jan Hoffmann, Carnegie Mellon University
Noaki Nishida, Nagoya University
Camilo Rocha, Pontificia Universidad Javeriana Cali
David Sabel, LMU Munich
Ulrich Schöpp, LMU Munich
-------------------------------------------------
Vivek Nigam
http://www.nigam.info/
--------------------------------------------------------
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAFx3SPJHJ56obcJrSn%2BSEgVvkX60gmXis%3Dnbd1G0WKFVXWC9Mw%40mail.gmail.com.
