[TYPES/announce] WRLA 2016: deadline extended to January 15, 2016
Dorel Lucanu
dorel.lucanu at gmail.com
Thu Jan 7 08:49:25 EST 2016
Due to requests, we have extended the submission deadline to January 15,
2016.
WRLA 2016
11th International
Workshop on Rewriting Logic and its Applications
An ETAPS 2016 satellite event
Eindhoven, The Netherlands, April 2-3, 2016
IMPORTANT DATES
* EXTENDED Submission deadline: January 15th 2016 (firm)
* Author notification: February 14th 2016
* Workshop: Saturday April 2nd and Sunday April 3rd, 2016
The topics of the workshop include, but are not limited to:
A. Foundations
* foundations and models of rewriting and rewriting logic, including
termination, confluence, coherence and complexity
* unification, generalisation, narrowing, and partial evaluation
* constrained rewriting and symbolic algebra
* graph rewriting
* tree automata
* rewriting strategies
* rewriting-based calculi and explicit substitutions
B. Rewriting as a Logical and Semantic Framework
* uses of rewriting and rewriting logic as a logical framework,
including deduction modulo
* uses of rewriting as a semantic framework for programming language
semantics
* rewriting semantics of concurrency models, distributed systems, and
network protocols
* rewriting semantics of real-time, hybrid, and probabilistic systems
* uses of rewriting for compilation and language transformation
C. Rewriting Languages
* rewriting-based declarative languages
* type systems for rewriting
* implementation techniques
* tools supporting rewriting languages
D. Verification Techniques
* verification of confluence, termination, coherence, sufficient
completeness, and related properties
* temporal, modal and reachability logics for verifying dynamic
properties of rewrite theories
* explicit-state and symbolic model-checking techniques for
verification of rewrite theories
* rewriting-based theorem proving, including (co)inductive theorem proving
* rewriting-based constraint solving and satisfiability
* rewriting-semantics-based verification and analysis of programs
E. Applications
* applications to logic, mathematics and physics
* rewriting models of biology, chemistry, and membrane systems
* security specification and verification
* applications to distributed, network, mobile, and cloud computing
* specification and verification of real-time, probabilistic, and
cyber-physical systems
* specifications and verification of critical systems
* applications to model-based software engineering
* applications to engineering and planning
All submissions should be formatted according to the guidelines for Springer
LNCS papers, and should be submitted electronically using EasyChair at
https://easychair.org/conferences/?conf=wrla2016
For more information, please contact the organizers
dorel.lucanu at gmail.com
or visit the workshop web page
http://fmse.info.uaic.ro/events/WRLA2016/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160107/8564d716/attachment-0001.html>
More information about the Types-announce
mailing list