I am involved in the 7th International Symposium on Trustworthy Global Computing to be held on Newcastle upon Tyne, UK, 7–8 September 2012 (colocated with CONCUR&PATMOS 2012). Please consider submitting a paper.
Submission deadline is June 5.
Assistant Professor @ IMT Lucca
My talk about at WRLA’12 on State Space c-Reductions of Concurrent Systems in Rewriting Logic.
View more presentations from Alberto Lluch.
I will be giving a lecture in this summer school about theoretical, practical, and technological issues related to autonomic self-awareness and its various facets.
More information can be found here.
I am happy to be involved in the 5th Interaction and Concurrency Experience to be held on June 15, 2012 in Stockholm (colocated with DisCoTec 2012).
Submission deadline is March 30.
Our conceptual framework for adaptation will be presented at the 15th International Conference on Fundamentals of Software Engineering (FASE 2012). As the abstract says:
In this position paper we present a conceptual vision of adaptation, a key feature of autonomic systems. We put some stress on the role of control data and argue how some of the programming paradigms and models used for adaptive systems match with our conceptual framework.
Some thoughts about behavioural adaptation presented at the Department of Computer Science of the University of Leicester. Essentially the same talk I held at the last meeting of the ASCENS project.
View more presentations from Alberto Lluch.
UPDATE: We synthesized our ideas in a paper that will be presented at the 15th International Conference on Fundamentals of Software Engineering (FASE 2012).
My talk about at FACS’11 on evaluating the performance of model transformation styles with Maude.
View more presentations from Alberto Lluch.
Some thougths about adaptation presented a meeting of the ASCENS project on autonomic component ensembles.
Grenoble2011 wp2-adaptation-framework
View more presentations from Alberto Lluch.
UPDATE: We synthesized our ideas in a paper that will be presented at the 15th International Conference on Fundamentals of Software Engineering (FASE 2012).
The organizers of GRAPHite have kindly invited me to join the program committee. It will be the first edition of this event which is centered around the issue of graph search in all its forms (state space exploration, model checking, planning, game playing, etc.).
The workshop’s roots can be traced back at the Dagstuhl Seminar on Graph Search Engineering, that gathered together graph searchers from different communities including social network analysis, video game development, formal verification, algorithmics and artificial inteligence.
The workshop will be part of ETAPS 2012 and will be held in Tallin (Estonia) from March 31 to April 1, 2012.
I think that this is a good opportunity for graph search researchers and practitioners to exchange ideas in a wonderful city.