EXPRESS/SOS (Bas Luttik and Michel Reniers) - 3rd September
Expressiveness in Concurrency and Structural Operational Semantics
The EXPRESS workshop series aims at bringing together researchers interested in the expressiveness of various formal systems and semantic notions, particularly in the field of concurrency. The SOS workshop series aims at being a forum for researchers, students and practitioners interested in new developments, and directions for future investigation, in the field of structural operational semantics. This year the EXPRESS and SOS communities organize a joint EXPRESS/SOS 2012 workshop on the formal semantics of systems and programming concepts, and on the expressiveness of mathematical models of computation.
GASICS (Kim G. Larsen, Nicolas Markey, Jean-François Raskin and Wolfgang Thomas) - 3rd September
Games for Design, Verification and Synthesis
The aim of this workshop is to bring together researchers working on game-related subjects, and to discuss on various aspects of game theory in the fields where it is applied. The workshop will be composed of two invited talks, together with contributed talks on the following (non-exhaustive) list of relevant topics: adapted notions of games for synthesis of complex interactive computational systems; games played on complex and infinite graphs; games with quantitative objectives; game with incomplete information and over dynamic structures; and heuristics for efficient game solving.
HSB (Luca Bortolussi)
- 3rd September
Hybrid Systems and Biology
The goal of systems biology is to provide a system-level understanding of biological systems by unveiling their structure, dynamics and control methods. The intrinsic multi-scale nature of these systems, both in space, in organization levels, and in time, makes extremely difficult to model all of them in a uniform way, e.g. by means of differential equations or discrete stochastic processes. Furthermore such models are often not easily amenable to formal analysis and simulation at the organ or even the cell level is frequently impractical. Indeed, an important open problem is finding appropriate computational models that scale well for both the simulation and formal analysis of biological processes. Hybrid modeling techniques, combining discrete and continuous processes, are gaining more and more attention in systems biology, and they have been applied to successfully capture the behavior of several biological complex systems, ranging from genetic networks, biochemical reactions, signaling pathways and cardiac tissues electrophysiology. This workshop aims at collecting scientists working in the area of hybrid modeling applied to systems biology, in order to discuss about current achieved goals, current challenges and future possible developments.
TCPS (John Fitzgerald, Terrence Mak, Alexander Romanovsky and Alex Yakovlev) - 3rd September
Trustworthy Cyber-Physical Systems
Cyber-Physical Systems (CPS) has recently emerged as a new paradigm of thinking about complex systems that tightly integrate multiple, networked computing elements (hardware and software) with non-computing physical elements such as electrical or mechanical components. The aim of our workshop is to help develop a community of interest in the science and engineering of trustworthy CPS, by which we mean CPS on which reliance can justifiably be placed.
YR-CONCUR (Benedikt Bollig) - 3rd September
Young Researchers Workshop on Concurrency Theory
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 (Natallia Kokash and António Ravara) - 8th September
Foundations of Coordination Languages and Self-Adaptive Systems
Computation nowadays is becoming inherently concurrent, either because of characteristics of the hardware (with multicore processors becoming omnipresent) or due to the ubiquitous presence of distributed systems (incarnated in the Internet). Computational systems are therefore typically distributed, concurrent, mobile, and often involve composition of heterogeneous components.To specify and reason about such systems and go beyond the functional correctness proofs, e.g., by supporting reusability and improving maintainability, approaches such as coordination languages and self adaptation are recognised as fundamental. FOCLASA 2012 is a satellite workshop of the 23rd International Conference on Concurrency Theory (CONCUR 2012). The goal is to provide a venue where researchers and practitioners on the topics given below can meet, exchange ideas and problems, identify some of the key and fundamental issues related to coordination languages and self adaptive systems, explore together and disseminate solutions.
MeCBIC (Bogdan Aman and Gabriel Ciobanu)
- 8th September
Membrane Computing and Biologically Inspired Process Calculi
The main aim of the workshop is to bring together researchers working in these biologically inspired formalisms (membrane systems, Petri nets, ambient and brane calculi, their stochastic approaches, etc.) to present recent results and to discuss new ideas concerning such formalisms, their properties and relationships. Original research papers on biologically inspired process calculi are sought. Papers on the relationship between membrane systems and biologically inspired process calculi are welcome. Related formal approaches in which cell compartments play an important role are also within the scope of the workshop.
TRENDS (Jos Baeten and Bas Luttik)
- 8th September
Trends in Concurrency Theory preceded by the annual meeting of IFIP WG 1.8 on Concurrency Theory
This is an event organised by IFIP WG 1.8 on Concurrency Theory. 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 8, 2012 and will consist of invited talks, followed by the yearly WG 1.8 business meeting. Participation is open to everybody.