Workshop Proposals

DisCoTec 2013 hosts one-day workshops as part of the joint event, which will be held on June 6th. This year the following workshops are affiliated with DisCoTec.

CS2Bio 2013: 4th International Workshop on Interactions between Computer Science and Biology

The aim of this workshop is to gather researchers in formal methods that are interested in the convergence of Computer Science, Biology and the Life Sciences. In particular, in this forth edition, we solicit the contribution of original results, from any research areas, such as Mathematics, Physics, Complex Systems, and Computational Science that address both theoretical aspects of modelling and applied work on the comprehension of biological behaviour. Furthermore, to facilitate the integration of different research areas we encourage the presentation of main objectives and preliminary results of active projects on the CS2Bio topics conducted by interdisciplinary teams.

More information about CS2Bio 2013 can be found here.

ICE 2013: 6th Interaction and Concurrency Experience

Interaction and Concurrency Experiences (ICEs) is a series of international scientific meetings oriented to theoretical computer science researchers with special interest in models, verification, tools and programming primitives for complex interactions.

The general scope of the venue includes theoretical and applied aspects of interactions and the handshaking mechanisms used among components of concurrent/distributed systems, but every experience focuses on a different specific topic related to several areas of computer science in the broad spectrum ranging from formal specification and analysis to studies inspired by emerging computational models.

More information about ICE 2013 can be found here.

WWV 2013: 9th 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 2013 can be found here.