Number Index

6017wg

Fuzzy Algorithms for Control (FALCON)

6018wg

Formal Design and Correctness Verification of Synchronous and Asynchronous Digital VLSI Systems (CHARME-2)

6019

Vision Systems for a Natural Human Environment (INSIGHT II)

6020

Inductive Logic Programming (ILP)

6021

Building Correct Reactive Systems (REACT-P)

6028wg

Construction of Computational Logics (CCL)

6067wg

Causal Calculi based on Nets (CALIBAN)

6071wg

Information Systems: Correctness and Reusability (IS-CORE)

6106

Heteroepitaxial Deposition of Diamond and Silicon Carbide Films (HETERO)

6107n

Network of Excellence in High-Temperature Electronics (HITEN)

6108

Atomic-Scale Control of Surfaces and Interfaces in Silicon Technology (ASSIST)

6112wg

A Comprehensive Algebraic Approach to System Specification and Development (COMPASS)

6113

High-Tc Superconducting Films for Microwave Applications (SUPERMICA)

6146

Study of Magnetic Multilayers for Magnetoresistive Sensors (SMMMS)

6156

Defeasible Reasoning and Uncertainty Management Systems (DRUMS II)

6225

Computational Mechanisms of Interaction in Cooperative Work (COMIC)

6280n

Network of Excellence on Organic Materials for Electronics (NEOME)

6295n

European Network in Language and Speech (ELSNET)

6296

Graphical Communication in Human-Computer Interaction (GRACE)

6298wg

The Analysis and Synthesis of Speaker Characteristics (VOX)

6309

Formally Integrated Data Environment (FIDE 2)

6312wg

Quantised Electronics (QUANTECS)

6317wg

Algebraic and Syntactic Methods in Computer Science (ASMICS 2)

6345wg

The Semantics and Pragmatics of Extended Term Graph Rewriting (SEMAGRAPH II)

6353

Novel Approaches to Theories Underlying Requirements Engineering (NATURE)

6358

Spatially Coordinated Auditory/Tactile Interactive Scenario (SCATIS)

6360

Basic Research on Advanced Distributed Computing: from Algorithms to Systems (BROADCAST)

6361n

Network of Excellence in Distributed Computing System Architecture (CABERNET)

6362

Predictably Dependable Computing Systems (PDCS 2)

6363wg

Electrical Transport Parallel and Perpendicular to Semiconductor Heterointerfaces (ELTRASIN)

6378wg

Fail-safe Semicustom Design (FASED)

6448

Viewpoint-Invariant Visual Acquisition (VIVA)

6453

Types for Proofs and Programs (TYPES)

6454

Concurrency and Functions: Evaluation and Reduction (CONFER)

6471

Mechanising Deduction in the Logics of Practical Reasoning (MEDLAR II)

6487

A Neural Network Based, Speaker Independent, Large Vocabulary, Continuous Speech Recognition System (WERNICKE)

6536

Lateral Microstructures: Fabrication, Low Dimensionality Effects and Application to III-V Devices (LATMIC II)

6546

Planning Robot Motion (PROMOTION)

6573

VLSI Design Training Action (EUROCHIP)

6575

Advanced Test Generation and Testable Design Methodology for Sequential Circuits (ATSEC)

6576wg

Multimedia Information Retrieval (MIRO)

6586

Distributed Multimedia Operating System for the 1990s (PEGASUS)

6606n

Information and Data on Open Media for Networks of Users (IDOMENEUS)

6615

Multisensory Control of Movement (MUCOM II)

6620wg

Advanced Topics in High Order Statistics (ATHOS)

6625

GaAs HEMT-HTS Resonator-Based X-Band Oscillator made by Hybrid and Integrated Technology (X-BAND SRO)

6632

Novel Parallel Algorithms and New Real-Time VLSI Architectural Methodologies (NANA 2)

6634

Performance-Critical Applications of Parallel Architectures (APPARC)

6665

Discourse Functions and Discourse Representation: an Empirically and Linguistically Motivated, Interdisciplinary Approach to Natural-Language Texts (DANDELION)

6675

MOCVD Technology for Visible Light Emitting II-VI Lasers (MTVLE)

6707

Parallel Formal Computing Environment (PARFORCE)

6719

Nanometre Structures for Future Optoelectronic Applications (NANOPT)

6769

Sensory Controlled Dextrous Robots (SECOND)

6809wg

Semantics-based Program Manipulation Techniques (SEMANTIQUE)

6810

Computational Logic II (COMPULOG 2)

6811

Categorical Logic in Computer Science II (CLICS II)

6846

Polynomial System Solving (POSSO)

6849

Technology for Advanced Microwave Power FET Structures (TAMPFETS)

6852

Dynamic Interpretation of Natural Language (DYANA-2)

6854

Buffer Layer Engineering in Semiconductors (BLES)

6855

The Necessary Link Between Low-Level and High-Level Synthesis (LINK)

6863

Parallel Optical Processors and Memories (POPAM)

6878

Epioptics Applied to Semiconductor Interfaces (EASI)

6881

Algorithms, Models, User and Service Interfaces for Geography (AMUSING)

6885wg

Influence of Local Structure on Superconducting Properties of Samples in YBaCuO and Related Systems (HTSC)

6891

Enhanced Learning for Evolutive Neural Architectures (ELENA-NERVES-2)

6904wg

Integrated Circuit Design for Signal Processing (INCIDE)

6934

Quantum Optics for Information Technology (QUINTEC)

6961

Smart Sensory Systems (SSS)

6975

Sound-to-Gesture Inversion in Speech: Mapping of Action and Perception (SPEECH MAPS)

6993

Nonlinear and Active Optical Devices on Electronic Substrates (NODES)

7035wg

Logic and Change (LAC)

7040

Assaying Means of Design Expression for Users and Systems (AMODEUS 2)

7053wg

Research Organisations' Cooperation in Advanced Training and Research in IC Design (ROC)

7070wg

Physics, Optoelectronics and Technology of Novel Microresonator Structures (PHOTONS)

7071

Provably Correct Systems (PROCOS II)

7082wg

Process Modelling Techniques (PROMOTER)

7097wg

Randomised Algorithms (RAND)

7098wg

Articulatory-Acoustic Correlations in Coarticulatory Processes: a Cross-Language Investigation (ACCOR)

7100

Grain Boundary Josephson Junctions and Circuits in High-Temperature Superconductors (HTSC-GBJ)

7107

Architectural Methodologies for Advanced Testing of VLSI Systems (ARCHIMEDES)

7108

Vision as Process II (VAP II)

7115n

Network of Excellence in Machine Learning (ML)

7118

Transverse Nonlinear Optics (TONICS)

7128

Ultrathin Silicon/Germanium Microstructures (Si/Ge MIST)

7130

Nonlinear and Adaptive Techniques in Digital Image Processing, Analysis and Computer Vision (NAT)

7141

Algorithms and Complexity (ALCOM II)

7166

Calculi and Algebras of Concurrency: Extensions, Tools and Applications (CONCUR 2)

7183wg

Computing by Graph Transformation (COMPUGRAPH II)

7193

Physics and Application of Resonant Tunnelling for Novel Electronic, Infrared and Optical Devices (PARTNERS)

7195

Advanced Concurrent Constraint Languages: Application, Implementation and Methodology (ACCLAIM)

7213wg

Computer Algebra Tools for Handling Ordinary Differential Equations (CATHODE)

7217n

Network of Excellence in Multifunctional Microsystems (NEXUS)

7225wg

Asynchronous Circuit Design (ACID-WG)

7227wg

Superlattice Devices (SUPERDEV)

7228

Emission of Light in Silicon (EOLIS)

7230n

Network of Excellence in Computational Logic (COMPULOG-NET)

7232wg

Common Foundations of Functional and Logic Programming (GENTZEN)

7238

Optically Triggered Proton and Ion Switches (PROTIOS)

7260

Self-Organising Low-Dimensional Electronic Structures (SOLDES)

7269

Quantitative Modelling in Parallel Systems (QMIPS)

7274

Behaviour Learning: Combining Sensing and Action (B-LEARN II)

7282

Tailored Oligomers and Polymers for Information Technology (TOPFIT)

7307wg

Catch-Up Action for the Development of VLSI Design Training Capabilities in Portugal, Spain, Southern Italy and Greece (MEDCHIP)

7315

Acquisition of Lexical Knowledge (ACQUILEX II)

7360n

Network of Excellence in the Field of Mesoscopic Systems (PHANTOMS)

7400wg

Modelling of CIM Systems (CIM-MOD)

7401wg

Prototyping of CIM Models (CIM-DEV)

8010

Catch-Up Action for Industry-Oriented Microelectronics Training Enhancement in Greece, Italy, Portugal and Spain (MEDCHIP)

8012

Transaction Management Support for Cooperative Applications (TRANSCOOP)

8013

Light-Emitting Devices from Organic Semiconductors (LEDFOS)

8039

Neural Adaptive Control Technology (NACT)

8050wg

Novel Phenomena in Small Structures (SMALL STRUCTURES)

8130

Logical and Operational Methods in the Analysis of Programs and Systems (LOMAPS)

8134

Formalisation and Experimentation on the Retrieval of Multimedia Information (FERMI)

8135

Hardware/Software Codesign (COBRA)

8141

Hierarchical Management and Control in Manufacturing Systems (HIMAC)

8144

Load Balancing to Achieve High-Performance Parallel and Distributed Systems (LYDIA)

8173

Basic Research for Microsystems Integration (BARMINT)

8212n

European Computer Vision Network of Excellence (ECVNet)

8319

A Common Formal Model of Cooperating Intelligent Agents (MODELAGE)

8422wg

Foundations of Advanced 3-D Information Visualisation (FADIVA)

8447

Semiconductor Microcavity Light Emitters (SMILES)

8467wg

Simulation for the Future: New Concepts, Tools and Applications (SIE-WG)

8474wg

Autonomous Legged Mobile Robot (LEGRO)

8503

Cortical Maps of Resistive Anisotropic Networks (CORMORANT)

8523

Processing on the Nanometer Scale (PRONANO)

8533wg

New Hardware Design Methods (NADA)

8556wg

Neural Computational Learning (NEUROCOLT)

8579

Multimodal Integration for Advanced Multimedia Interfaces (MIAMI)

8659wg

Surface Memories Using Atomically Resolving Techniques (SMART)

8666wg

Constraints and Extended Support for Storage and Access (CONTESSA)

8694wg

Provably Correct Systems (PROCOS)

8776wg

Correct Hardware and System-Level Design Methodologies (CHARME)

8820

Analogue and Mixed-Signal Advanced Test for Improving System-Level Testability (AMATIST)

8849

SIMD-MIMD Processor Arrays Applied to Image Processing (SM-IMP)

8878

Reconstruction of Reality from Image Sequences (REALISE)

8897

Intelligent Neural Interface (INTER)

8924

Structural Evaluation and Synthesis Design of Distributed Industrial Processes (SESDIP)

8961n

Network of Excellence in Neural Networks (NEURONET)

8972

Underwater Intelligent Operation and Navigation (UNION)

9004n

High-Performance Computing Network (HPCNET)

9005

Single Electronics (SETTRON)

9036

A Comprehensive Human Animation Resource Model (CHARM)

9072

Foundations of General-Purpose Parallel Computing (GEPPCOM)

9100wg

II-VI Blue and UV Laser Diodes (BULD)

9102

Linguistic Support for Multiple Cooperating Agents (COORDINATION)

9119

Modular Integration of Connectionist and Symbolic Processing in Knowledge-Based Systems (MIX)

9122

Framework for Immersive Virtual Environments (FIVE)

9138

Code Generation for Heterogeneous Information Processing Systems (CHIPS)

9144wg

Gallium Arsenide Research Action on ASIC Synthesis (GRASS)

9251n

Intelligent Control and Integration of Manufacturing Systems (ICIMS)