K-user mailing list

[Dorel Lucanu <dorel.lucanu AT gmail.com>]

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/