Home Pages Index

ACCLAIM

Advanced Concurrent Constraint Languages: Application, Implementation and Methodology, 7195

AMODEUS 2

Assaying Means of Design Expression for Users and Systems, 7040

CABERNET

Network of Excellence in Distributed Computing System Architecture, 6361

CCL

Construction of Computational Logics, 6028

COBRA

Hardware/Software Codesign, 8135

COMIC

Computational Mechanisms of Interaction in Cooperative Work, 6225

COMPULOG 2

Computational Logic II, 6810

CONCUR 2

Calculi and Algebras of Concurrency: Extensions, Tools and Applications, 7166

ECVNet

European Network of Excellence in Computer Vision, 8212n

ELSNET

European Network in Language and Speech, 6295n

FIDE 2

Formally Integrated Data Environment, 6309

HITEN

Network of Excellence in High-Temperature Electronics, 6107n

IDOMENEUS

Information and Data on Open Media for Networks of Users, 6606n

ILP

Inductive Logic Programming, 6020

LOMAPS

Logical and Operational Methods in the Analysis of Programs and Systems, 8130

MIAMI

Multimodal Integration for Advanced Multimedia Interfaces, 8579

MLnet

Network of Excellence in Machine Learning, 7115

ModelAge

A Common Formal Model of Cooperating Intelligent Agents, 8319

NACT

Neural Adaptive Control Technology, 8039

NEURONET

Network of Excellence in Neural Networks, 8961n

PARFORCE

Parallel Formal Computing Environment, 6707

PROCOS

Provably Correct Systems, 8694wg

PROCOS II

Provably Correct Systems, 7071

QMIPS

Quantitative Modelling In Parallel Systems, 7269

SMILES

Semiconductor Microcavity Light Emitters, 8447

TRANSCOOP

Transaction Management Support for Cooperative Applications, 8012

VAP II

Vision as Process I and II, 7108