Every year, the “ETAPS EASST Award” is presented to the best ETAPS paper related to thesystematic and rigorous engineering of software and systems, or more generally to the scope of the association.
Each programme committee of ETAPS...
Since 2001, ETAPS, ICGT, IDPT, and FMICS have qualified for EASST best paper awards.
2009 (York UK): Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, and Laurence Tratt: Control Dependence for Extended Finite...
The role of the Steering Committee is to provide institutional memory, oversight, and strategic guidance for the FASE Conference series.
The responsibilities of the Steering Committee include:
selecting the PC...
The organization of the FASE Conferences is subject to certain rules and guidelines presented in the FASE Charter.
At the meeting of the Board of the European Association for Software Science and Technology (EASST) in April 2004 in...
The following table lists past and future editions with their details.
Location and dates
Eindhoven, The Netherlands,2 - 8...
Dirk - just to say that I think this post raises quite a few interesting issues.
If anyone is interested in talking about multicore, weak memory etc, I worked with Sewell for quite a few years on weak memory stuff.
I think process calculi were...
This is preliminary and will be updated as needed.
14:00 Introductions and Planning
16:00 Verification of GT models
19:00 Dinner (let me know if you would like to join)
9:30 Model Transformations
Modeling concurrency by node replacement systems
I would like to present a number of ideas for building a theory of true concurrency for graph rewriting systems based on node replacement, where the composition of processes replaces the...
I will give a brief introduction in: Verification of Well-Structured Graph Transformation Systems
As already mentioned we use the theory of well-structured transition systems to solve the coverability problem for graph transformation systems. The...