WORKSHOPS

Workshops will take place on 11 July 2009, at the end of the ICALP'09 week.

NOTE: For those who have not decided yet which workshop(s) they are going to attend when registering for the conference, it is possible to register for workshops at the lower fee until June 5th by sending an e-mail to the Conference Secretariat.

ALGOSENSORS 2009 - Fifth International Workshop on Algorithmic Aspects of Wireless Sensor Networks (July 11)

Wireless ad-hoc sensor networks have recently become a very active research subject due to their high potential of providing diverse services to numerous important applications, including remote monitoring and tracking in environmental applications and low maintenance ambient intelligence in everyday life. The effective and efficient realization of such large scale, complex ad-hoc networking environments requires intensive, coordinated technical research and development efforts, especially in power aware, scalable, robust wireless distributed protocols, due to the unusual application requirements and the severe resource constraints of the sensor devices.

On the other hand, a solid foundational background seems necessary for sensor networks to achieve their full potential. It is a challenge for abstract modeling, algorithmic design and analysis to achieve provably efficient, scalable and fault-tolerant realizations of such huge, highly-dynamic, complex, non-conventional networks. Features including the extremely large number of sensor devices in the network, the severe power, computing and memory limitations, their dense, random deployment and frequent failures, pose new interesting abstract modeling, algorithmic design, analysis and implementation challenges of great practical impact.

ALGOSENSORS aims to bring together research contributions related to diverse algorithmic and complexity theoretic aspects of wireless sensor networks.

Contact: Shlomi Dolev

DCM 2009 - 5th International Workshop on Developments in Computational Models (July 11)

Several new models of computation have emerged in the last few years, and many developments of traditional computational models have been proposed with the aim of taking into account the new demands of computer systems users and the new capabilities of computation engines. A new computational model, or a new feature in a traditional one, usually is re ected in a new family of programming languages, and new paradigms of software development.

The aim of this workshop is to bring together researchers who are currently developing new computational models or new features for traditional computational models, in order to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area.

Contact: S Barry Cooper, Vincent Danos

FOCLASA 2009 - 8th International Workshop on Foundations of Coordination Languages and Software Architectures (July 11)

A number of hot research topics are currently sharing the common problem of combining concurrent, distributed, mobile and heterogenous components, trying to harness the intrinsic complexity of the resulting systems. These include coordination, peertopeer systems, grid computing, Web services, multiagent systems, and componentbased systems.

Coordination languages and software achitectures are recognised as fundamental approaches to tackle this issue, improving software productivity, enhancing maintainability, advocating modularity, promoting reusability, and leading to systems more tractable and more amenable to verification and global analysis.

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 software architectures.

Contact: Gwen Salaun

QUANTLOG 2009 - Workshop on Quantitative Logics 2009 (July 11)

The classical theory of automata and languages has been generalized to weighted automata and formal power series. Weighted automata have interesting applications in image compression and speech to text processing. Recently, the fundamental theory of MSO and LTL logics and their relations to automata have been extended to a quantitative setting, especially over semirings and lattices. This extension has an important contribution to practical applications like model checking with emphasis to optimization problems.

The aim of the workshop is to bring together researchers from the abovementioned fields and to discuss recent developments. The workshop will focus on both theory and applications.

Contact: George Rahonis