[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,

                             WRLA 2016
                        11th International
           Workshop on Rewriting Logic and its Applications

                    An ETAPS 2016 satellite event
              Eindhoven, The Netherlands, April 2-3, 2016


  * 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
  * 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


For more information, please contact the organizers
  dorel.lucanu at gmail.com
or visit the workshop web page
-------------- 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