Talleres,Tutoriales y Eventos Relacionados

Computability and Complexity in Analysis (CCA 2002)
The workshop is concerned with the theory of computability and complexity over the real numbers which is built on the Turing machine model. This theory was initiated by Turing, Grzegorczyk, Lacombe, Banach and Mazur, and after a long period of slow development has seen rapid growth in recent years. Newcomers can find introductions in the books by Pour-El/Richards, Ko, and Weihrauch. Until recently, most work in computability and complexity concentrated on problems over discrete structures, and many computer scientists do not know much about computable real functions. Maybe, for this reason problems including real number computation have been neglected, avoided or even ignored by the majority of computer scientists.
Although still many even basic questions are unsettled, meanwhile a rich toolkit has been prepared for numerous applications of computer science requiring real number computation like image processing, "realistic" computational metry, dynamical systems, hybrid systems and last but not least, numerical mathematics and scientific computation. ICALP participants will have an excellent opportunity to get current information about this exciting and important but still not widely known field of research.
Vasco Brattka
University Hagen. Hagen, Germany.

Algorithmic Methods and Models for Optimization of Railways ATMOS 2002
Efficient solution of railway optimization problems requires a coordinated interdisciplinary effort from various areas in mathematical optimization and theoretical computer science, including graph and network algorithms, theory of computation, approximation algorithms, formal methods, foundations of software engineering, combinatorial optimization, and algorithm engineering. The goal of the workshop is to provide a forum for the exchange and dissemination of new ideas, techniques, and research in the field of railway optimization. In particular, the workshop is meant to bring together researchers from the above areas interested in ALL aspects of algorithmic methods and models for railway optimization, including those interested in formal software specification and implementation methods, and in formal domain and knowledge models of railway systems. ATMOS 2002 will collocate with ICALP 2002 and is supported by the Human Potential Programme of EU under contract no. HPRN-CT-1999-00104 (AMORE).
Dorothea Wagner
University of Konstanz. Konstanz, Germany.

7 th International Workshop on Formal Methods for Industrial Critical Systems
The aim of the FMICS workshops is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops should bring together scientists that are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. They also aim at the promotion of research and development for the improvement of formal methods and tools for industrial applications.
Topics include, but are not restricted to:
-Tools for the design and development of formal descriptions
-Verification and validation of complex, distributed, real-time systems and embedded systems
-Verification and validation methods that aim at circumventing shortcomings of existing methods in respect to their industrial applicability
-Formal methods based conformance, interoperability and performance testing
-Case studies and project reports on formal methods related projects with industrial participation (e.g. safety critical systems, mobile systems, object-based distributed systems)
-Application of formal methods in standardization and industrial forums

Previous Workshops of the ERCIM working group on formal methods for Industrial Critical Systems were held in Oxford (March 1996), Cesena (July 1997), Amsterdam (May 1998), Trento (July 1999), Berlin (Avril 2000), and Paris (July 2001).

Rance Cleaveland E-mail:rance@cs.sunysb.edu
Hubert Garavel E-mail:Hubert.Garavel@inrialpes.fr
Hubert Garavel

Foundations of Wide Area Network Computing
The growing diffusion of internet services and applications is promoting global computing as an emerging model of computation. Based on mobility of code and computation on networks with highly dynamic topologies, the model needs effective infrastructures to support the coordination and control of components loaded at runtime from untrusted sources, as well as semantic frameworks to reason on the behaviour and properties of applications. Foundations of Wide Area Network Computing focuses on semantics aspects of global computing, and invites submissions of original scientific work thereof. A non-exclusive list of topics includes: calculi, models, and semantic theories of concurrent, distributed, mobile, global-computingsystems; languages, security and types for global computing.
Vladimiro Sassone
United Kingdom.

Formal methods and component interaction
While available component-oriented platforms address software interoperability at the signature level, the way to describe and reason on the (concurrent) interactive behaviours of components is still an open research issue. The scope of the workshop is the application of formal methods to develop well-founded methodologies for validating and certifying software compositions. The aim of the workshop is to provide a forum for discussing the application of formal methods to different aspects of component interaction such as compatibility, replaceability or adaptation.
Contributions on different aspects of component interaction, such as specification, analysis, verification, design, and implementation are welcome.
Antonio Brogi

Unification in Non-Classical Logics
Unification in non-classical logics, with various approaches to handling generalised terms, has drawn more and more attention in recent years. It turns out to be among the most promising areas of research on non-classical logics and its applications. So far, most popular lines of research include fuzzy unification of (conventional) databases and the use of fuzzy concepts in information retrieval. This workshop at ICALP is conceived as a forum for the exchange of ideas relevant for the concept of unification in non-classical logics, including, but not limited to, the following topics (practical implementations and experiences as well as theoretical advances): Unification in multiple-valued and fuzzy logic programming. Unification based on similarities and fuzzy equivalence relations. Categorical unification. Practical use of non-classical unification, e.g. in expert systems and information retrieval. We expect potential participants from the following areas: multiple-valued logic, fuzzy logic, uncertainty in logic programming, categorical applications to computer science.
Manuel Ojeda-Aciego
Univ. Malaga. Málaga, Spain.

Workshop under the auspices of The Global Computing Initiative of the IST-`Future and Emerging Technologies', programme of the European Commission
In 2000 the IST-Future and Emerging Technologies programme of the EC launched a pro-active initiative in the field of Co-operation of Autonomous and Mobile Entities in Dynamic Environments . Commonly referred to as The Global Computing Initiative , the action aims at the underlying fundamental concepts and theories that will enable future information and communication technology, with a long-term impact. The Workshop is the first common event of the Global Computing Initiative, intended to provide a wide view on the current progress and to outline future strategic lines of convergence of the research in the initiative. Key lectures by S. Bensasson, D. Sannella, V. Sassone, P.G. Spirakis, and M. Wirsing. Everyone interested in research on Global Computing is encouraged to attend!
Jan van Leeuwen (A)
Utrecht University. Utrecht, Netherlands.

Convocatoria de Talleres

Presentacion de Articulos

Workshops to be held during the conference week of ICALP 2002.

Workshops provide organizers and participants an opportunity to discuss current topics in a small and interactive atmosphere.

Simultaneous submissions to the workshops and to ICALP'2002 conferences are allowed, with the understanding that if the paper is accepted to ICALP then the paper will have to be withdrawn from the appropriate workshop.

Fechas Importantes
15/11/2001 Notificacion de aceptacion de workshops
8/11/2001 Propuesta de workshops Fecha limite
16/4/2002 Notificacion de aceptacion de workshops Fecha limite
27/3/2002 Notificacion de aceptacion de workshops
21/1/2002 Notificacion de aceptacion de workshops Fecha limite

Presidente de Workshops
Llanos Mora
University of M?laga
Dpto. Languages and Computer Sciences

Campus de Teatinos
29071 Málaga. Spain.
Tlf. 34 95 2132802
Fax 34 95 2131397
Inmaculada Fortes
University of Malaga
Dpto. Matematica Aplicada
Málaga. Spain.

Presidente de Tutoriales

[Principal] [Programa] [Articulos aceptados] [Enviar Articulos] [Noticias] [Fechas Importantes] [Informacion] [Conferenciantes Invitados] [Enlaces] [Contacte con Nosotros] [Patrocinadores] [Peticion de Articulos] [Organizacion] [Comite de Programa] [Talleres y tutoriales] [Ayuda]