FMOODS & FORTE
It is a good tradition of the DisCoTec series to host one day workshops as part of the joint event. This year the following workshops are affiliated with DisCoTec. They will be held on June 9th.
Nowadays, there is a global exponential increase in the use of portable smart devices, such as tablets, smart phones, GPS, etc. These small devices have a huge impact on the everyday life of its users, either for work or leisure. As a consequence to this, the availability and behaviour of the services that can be used with such devices has become a big concern. Moreover, the existing tools still have some limitations to face these concerns properly, given the heterogeneity and the unstable presence of devices and platforms, and the great variability of situations that users might encounter.
To overcome these difficulties, and promote the development and widespread deployment of innovative mobile
applications, more and more projects are addressing the development of context-aware adaptation mechanisms for
leveraging the development of mobile applications. These projects aim at providing simple but powerful integrated
approaches to support the development of applications interacting in pervasive and ubiquitous environments.
Thus, these projects, as well as other projects, tackle the growing complexity of building large and dynamic
distributed systems. With regards to this challenge, the CAMPUS workshop will focus on the promising
approaches in the domain of context-aware adaptation mechanisms supporting the dynamic evolution of the
execution context (e.g., network/device/service failures).
More information about CAMPUS 2011 can be found here.
The aim of this workshop is to gather researchers in formal methods that are interested in the convergence of Computer Science, Biology and life sciences. In particular, we solicit contribution of original results that address both theoretical aspects of modeling and applied work on the comprehension of biological behavior. In particular we want to encourage presentation of interdisciplinary work conducted by teams composed of both life and computer scientists.
Papers selected for presentation at CS2Bio should either present an
attempt at modeling a specific biological phenomenon using formal
techniques, or a technical innovation that can be applied to a range
of potential biological systems. In the latter case, some emphasis
on the scalability of the method will be required. The workshop
intends to attract researchers interested in models, verification,
tools, and programming primitives concerning such complex interactions.
More information about CS2Bio 2011 can be found here.
Topic: Reliable and Contract-based Interaction
Interaction and Concurrency Experiences (ICEs) is intended as a series of international scientific meetings oriented to researchers in various fields of theoretical computer science. The timeliness and novelty of these events relies both on the variety of the topics that will be treated on each event and on the adopted paper selection mechanism.
Every experience will focus on a different specific topic which affects
several areas of computer science. A thorough scientific debate among PC
and authors of submitted papers will parallel the reviewing process. After
the paper selection phase, papers will be published on the web and the
discussion will be extended to perspective participants. The debates are
meant to improve both the quality of the accepted papers and the reviewing
process. Also, it will prepare and stimulate the scientific discussions
during the event.
More information about ICE 2011 can be found here.
Process algebra provides abstract and rigorous means for studying communicating concurrent systems. Coordination languages also provide abstract means for the specifying and programming communication of components. Hence, the two fields seem to have very much in common and the link between these two research areas have been established formally by means of several translations, mainly from coordination languages to process algebras. There have also been proposals of process algebras whose communication policy is inspired by the one underlying coordination languages.
The aim of this workshop is to push the state of the art in the study of the
connections between process algebra and coordination languages by bringing together
experts as well as young researchers from the two fields to communicate their ideas
More information about PACO 2011 can be found here.
The Workshop on Automated Specification and Verification of Web Systems (WWV) is a yearly workshop that aims at providing an interdisciplinary forum to facilitate the cross-fertilization and the advancement of hybrid methods that exploit concepts and tools drawn from Rule-based programming, Software engineering, Formal methods and Web-oriented research.
Nowadays, many companies and institutions have diverted their Web sites into interactive,
completely-automated, Web-based applications for, e.g., e-business, e-learning, e-government
and e-health. The increased complexity and the explosive growth of Web systems has made their
design and implementation a challenging task. Systematic, formal approaches to their
specification and verification can permit to address the problems of this specific domain
by means of automated and effective techniques and tools.
More information about WWV 2011 can be found here.