Page maintained by Andrea Asperti
CONcurrency and Functions: Evaluation and Reduction
The CONFER-2 working group aims at keeping together and further enlarging
of researchers in Europe exploring the area of computer science which,
mainly due to the CONFER basic research action,
has become known as integration of concurrency and functions.
The integration of concurrency and functions has
proved to be very useful in the construction of large scale highly
reliable and dependable distributed systems. It furthermore shows
promising for construction of mobile systems.
The main objectives for the CONFER-2 working group
follows the four areas of the CONFER BRA:
The proposed work relates to several areas of
the European Union R&D Information Technology Programme (Esprit),
in particular the area of Software Intensive System Engineering,
Task 1.3 and 1.5 and the area of Distributed Systems and
Database Technology, Task 1.13 and 1.16.
- Calculi: to develop the theory of those calculi already
proposed, to determine their expressive power and to develop
systematically their interrelation.
- Foundational Models and Abstract Machines: to develop
common platforms for semantics and for implementations.
- Logics for Concurrency and the lambda$-calculus: to further
develop logics for stating properties of and reasoning about
- Programming Languages: the design and experimental
implementation of practical programming languages combining
concurrency and the lambda-calculus.
This home page is hosted by the
Department of Computer Science, University of Bologna, Italy.