k-user AT lists.cs.illinois.edu
Subject: K-user mailing list
List archive
- From: Dorel Lucanu <dorel.lucanu AT gmail.com>
- To: rewriting AT ens-lyon.fr, verimag-news-owner AT imag.fr, types-announce AT lists.seas.upenn.edu, tom-users AT loria.fr, security AT fosad.org, ruleml-all AT ruleml.org, prog-lang AT diku.dk, petrinet AT informatik.uni-hamburg.de, maude-users AT cs.uiuc.edu, k-user AT cs.uiuc.edu, lotos-world AT site.uottawa.ca, lics AT research.bell-labs.com, concurrency AT cwi.nl, seworld AT sigsoft.org, proglang AT cs.uiuc.edu
- Subject: [[K-user] ] WRLA 2016: call for participation
- Date: Wed, 24 Feb 2016 19:59:19 +0200
======================== Call for Participation ==========================
WRLA 2016
11th International
Workshop on Rewriting Logic and its Applications
An ETAPS 2016 satellite event
Eindhoven, The Netherlands, April 2-3, 2016
==========================================================================
About WRLA
----------
The aim of WRLA is to bring together researchers with a common
interest in rewriting and its applications, and to give them the
opportunity to present their recent work, discuss future research
directions, and exchange ideas.
The 2016 edition of WRLA is its 20th anniversary since its first
edition in Asilomar, California, in 1996. This will be marked by an
exciting and interesting programme.
Invited speakers
----------------
Nikolaj Bjorner (Microsoft Research)
Title: All strings attached: string and sequence constraints in Z3
Helene Kirchner (INRIA, France)
Title : Labeled Graphs Rewriting Meets with Social Networks
Tutorials
---------
Salvador Lucas.
Title: Program termination: from well-founded orderings to logical models and back.
Grigore Rosu, Andrei Stefanescu, and Stefan Ciobaca.
Title: Program Verification using Reachability Logic
Carolyn Talcott. Pathway Logic: Executable Models of Cellular Processes
Accepted papers
---------------
Yuri Gil Dantas, Marcilio O. O. Lemos, Iguatemi E. Fonseca and
Vivek Nigam.
Formal Specification and Verification of a Selective Defense for
TDoS Attacks
Óscar Martín, Alberto Verdejo and Narciso Martí-Oliet.
Egalitarian state-transition systems
Yohan Boichut, Vivien Pelletier and Pierre Rety.
Synchronized Tree Languages for Reachability in Non-right-linear
Term Rewrite Systems
Shiji Bijo, Einar Broch Johnsen, Ka I Pun and
Silvia Lizeth Tapia Tarifa.
A Maude Framework for Cache Coherent Multicore Architectures
Vlad Rusu and Andrei Arusoaie.
Proving Reachability-Logic Formulas Incrementally
Antonio Moreno-Delgado, Francisco Durán and Jose Meseguer.
Towards Generic Monitors for Object-Oriented Real-Time Maude
Specifications
Traian Florin Serbanuta.
Maximally Parallel Contextual String Rewriting
Stephen Skeirik and José Meseguer.
Metalevel Algorithms For Variant Satisfiability
Registration
------------
Please use the ETAPS registration web page
to register for WRLA 2016.
The deadline for early registration in ETAPS 2016 is March 1st, 2016.
Do not miss it!
Further information
-------------------
Please do not hesitate to contact the organizer
or visit the workshop web page
- [[K-user] ] WRLA 2016: call for participation, Dorel Lucanu, 02/24/2016
Archive powered by MHonArc 2.6.16.