Workshops

EPEW 2015
12th European Workshop on Performance Engineering

Dates: 31st August - 1st September
Organizers: Marta Beltrán (Universidad Rey Juan Carlos, Madrid), William Knottenbelt (Imperial College London)
URL: http://epew2015.doc.ic.ac.uk
Description: The European Performance Engineering Workshop is an annual event that aims to gather academic and industrial researchers working on all aspects of performance engineering.


EXPRESS/SOS 2015
Combined 22nd International Workshop on Expressiveness in Concurrency and 12th Workshop on Structured Operational Semantics

Date: 31st August
Organizers: Silvia Crafa (Universitá di Padova), Daniel Gebler (VU University Amsterdam)
URL: http://www.math.unipd.it/~crafa/EXPRESSSOS2015/
Description: The EXPRESS workshop brings together researchers interested in the expressiveness of formal systems and semantic notions. The SOS workshop is the primary forum for researchers and practitioners working on structural operational semantics of programming languages. The combined EXPRESS/SOS workshop focuses on the formal semantics and expressiveness of concurrent systems, programming concepts and models of computation.


PV
2nd International Workshop on Parameterized Verification

Dates: 4-5 September
Organizers: Parosh A. Abdulla (Uppsala University), Giorgio Delzanno (University of Genova)
URL: http://pv.dibris.unige.it/
Description: Systems composed of a finite but possibly arbitrary number of identical components occur everywhere from hardware design (e.g. cache coherence protocols) to distributed applications (e.g. client-server applications). Parameterized verification is the task of verifying the correctness of this kind of systems regardless the number of their components. The workshop is aimed at bringing together researchers working on Parameterized Verification using different specification formalism (automata and logic, rewriting, Petri nets, ...), validation methods (e.g. regular model checking, reachability and coverability algorithms, abstractions, theorem proving,...) and application domains (e.g. hardware design, cache coherence protocols, security and communication protocols, multithreaded and concurrent programs, programs with relaxed memory models, mobile and distributed systems, database languages and systems, biological systems).


TRENDS 2015

Date: 5th September
Organizers: Ilaria Castellani (Sophia Antipolis Méditerranée, INRIA), Mohammad Reza Mousavi (Halmstad University)
URL: http://www.concurrency-theory.org/events/workshops/trends
Description: TRENDS 2015 is an event organised by IFIP WG 1.8. It aims at bringing together researchers interested in concurrency theory and its applications to discuss recent trends, exchange ideas and discuss open problems. The event will take place in the morning of September 5, and will consist of three long invited talks, with generous time for discussions with the attendants. It will befollowed by the yearly WG 1.8 business meeting.


YR-CONCUR 2015

Date: 5th September
Organizers: Matteo Cimini (Indiana University, Bloomington, USA)
URL: http://cimini.info/yr-concur2015/
Description: This workshop aims at providing a platform for PhD students and young researchers who recently completed their doctoral studies, to exchange new results related to concurrency theory and receive feedback on their research. Focus is on informal discussions. Excellent master students working on concurrency theory are also encouraged to contribute.


FOCLASA 2015
14th International Workshop on Foundations of Coordination Languages and Self-Adaptation

Date: 5th September
Organizers: José Proença (KU Leuven, Belgium), Massimo Tivoli (University of L'Aquila)
URL: http://foclasa.lcc.uma.es
Description: Modern software systems are distributed, concurrent, mobile, and often involve composition of heterogeneous components and stand-alone services. Service coordination and self-adaptation constitute the core characteristics of distributed and service-oriented systems. Coordination languages and formal approaches to modelling and reasoning about self-adaptive behaviour help to simplify the development of complex distributed service-based systems, enable functional correctness proofs and improve reusability and maintainability of such systems. The goal of the FOCLASA workshop is to put together researchers and practitioners of the aforementioned fields, to share and identify common problems, and to devise general solutions in the context of coordination languages and self-adaptive systems.


HSB 2015
4th International Workshop of Hybrid Systems and Biology

Dates: 4-5 September
Organizers: Alessandro Abate and David Safranek
URL: http://hsb2015.fi.muni.cz
Description: Systems biology aims at providing a system-level understanding of biological systems by unveiling their structure, dynamics, and control methods. Quantitative models are key to attain this objective. The scope of the HSB workshop covers the general area of dynamical models in Biology, with an emphasis on hybrid approaches, and taking advantage of techniques developed separately in different areas.