[TYPES/announce] WRLA 2016: call for participation
dorel.lucanu at gmail.com
Wed Feb 24 12:59:19 EST 2016
======================== Call for Participation ==========================
Workshop on Rewriting Logic and its Applications
An ETAPS 2016 satellite event
Eindhoven, The Netherlands, April 2-3, 2016
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.
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
Title: Program termination: from well-founded orderings to logical models
Grigore Rosu, Andrei Stefanescu, and Stefan Ciobaca.
Title: Program Verification using Reachability Logic
Carolyn Talcott. Pathway Logic: Executable Models of Cellular Processes
Yuri Gil Dantas, Marcilio O. O. Lemos, Iguatemi E. Fonseca and
Formal Specification and Verification of a Selective Defense for
Ó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
Traian Florin Serbanuta.
Maximally Parallel Contextual String Rewriting
Stephen Skeirik and José Meseguer.
Metalevel Algorithms For Variant Satisfiability
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!
Please do not hesitate to contact the organizer
dlucanu at info.uaic.ro
or visit the workshop web page
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Types-announce