Affiliated Workshops

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.

Transportation information for workshops on June 9th

CAMPUS 2011

4th International Workshop on Context-aware Adaptation Mechanisms for Pervasive and Ubiquitous Services


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.

CS2Bio 2011

2nd International Workshop on interactions between Computer Science and Systems Biology


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.

ICE 2010

4th Interaction and Concurrency Experience


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.

PACO 2011

Process Algebra and Coordination

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 and findings.

More information about PACO 2011 can be found here.

WWV 2011

7th International Workshop on Automated Specification and Verification of Web Systems


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.

workshops/main.txt · Last modified: 2011/06/08 15:50 by steinar
Reykjavik University - School of Computer Science - discotec@ru.is