|
| Taller
|
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. |
|
|
|
|
| Taller
|
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). |
|
|
|
|
| Taller
|
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).
ORGANIZERS
Rance Cleaveland E-mail:rance@cs.sunysb.edu
Hubert Garavel E-mail:Hubert.Garavel@inrialpes.fr |
|
|
|
|
| Taller
|
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. |
|
|
|
|
| Taller
|
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. |
|
|
|
|
| Taller
|
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. |
|
|
|
|
| Taller
|
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! |
|
|
|
|
|
|