Acronym Index
- ACCLAIM
- Advanced Concurrent Constraint Languages: Application, Implementation, and Methodology, 7195
- ACCOR
- Articulatory-Acoustic Correlations in Coarticulatory Processes: a Cross-Language Investigation, 7098wg
- ACID-WG
- Asynchronous Circuit Design, 7225wg
- ACQUILEX II
- Acquisition of Lexical Knowledge, 7315
- ALCOM II
- Algorithms and Complexity, 7141
- AMATIST
- Analogue & Mixed-Signal Advanced Test for Improving System-Level Testability, 8820
- AMODEUS 2
- Assaying Means of Design Expression for Users and Systems, 7040
- AMUSING
- Algorithms, Models, User and Service Interfaces for Geography, 6881
- APPARC
- Performance-Critical Applications of Parallel Architectures, 6634
- ARCHIMEDES
- Architectural Methodologies for Advanced Testing of VLSI Systems , 7107
- ASMICS 2
- Algebraic and Syntactic Methods in Computer Science , 6317wg
- ASSIST
- Atomic-Scale Control of Surfaces and Interfaces in Silicon Technology , 6108
- ATHOS
- Advanced Topics in High Order Statistics, 6620wg
- ATSEC
- Advanced Test Generation and Testable Design Methodology for Sequential Circuits , 6575
- B-LEARN II
- Behaviour Learning: Combining Sensing and Action , 7274
- BARMINT
- Basic Research for Microsystems Integration , 8173
- BLES
- Buffer Layer Engineering in Semiconductors , 6854
- BROADCAST
- Basic Research on Advanced Distributed Computing From Algorithms to Systems , 6360
- BULD
- II-VI Blue and UV Laser Diodes , 9100wg
- CABERNET
- Network of Excellence in Distributed Computing System Architecture , 6361n
- CALIBAN
- Causal Calculus based on Nets, 6067wg
- CATHODE
- Computer Algebra Tools for Handling Ordinary Differential Equations , 7213wg
- CCL
- Construction of Computational Logics, 6028wg
- CHARM
- A Comprehensive Human Animation Resource Model , 9036
- CHARME
- Correct Hardware and System Level Design Methodologies , 8776wg
- CHARME-2
- Formal Design and Correctness Verification of Synchronous and Asynchronous Digital VLSI Systems, 6018wg
- CHIPS
- Code Generation for Heterogeneous Information Processing Systems , 9138
- CIM-DEV
- Prototyping of CIM Models , 7401wg
- CIM-MOD
- Modelling of CIM Systems , 7400wg
- CLICS II
- Categorical Logic in Computer Science , 6811
- COBRA
- Hardware/Software Codesign , 8135
- COMIC
- Computational Mechanisms of Interaction in Cooperative Work, 6225
- COMPASS
- A Comprehensive Algebraic Approach to System Specification and Development, 6112wg
- COMPULOG 2
- Computational Logic II , 6810
- COMPULOG-NET
- Network of Excellence in Computational Logic , 7230n
- CONCUR 2
- Calculi and Algebras of Concurrency: Extensions, Tools and Applications , 7166
- CONFER
- Concurrency and Functions: Evaluation and Reduction , 6454
- CONTESSA
- Constraints and Extended Support for Storage and Access , 8666wg
- CO-ORDINATION
- Linguistic Support for Multiple Cooperating Agents , 9102
- CORMORANT
- Cortical Maps of Resistive Anisotropic Networks , 8503
- ECVNet
- European Computer Vision Network of Excellence , 8212n
- DANDELION
- Discourse Functions and Discourse Representation: an Empirically and Linguistically Motivated, Interdisciplinary Approach to Natural-Language Texts , 6665
- DRUMS II
- Defeasible Reasoning and Uncertainty Management Systems, 6156
- DYANA-2
- Dynamic Interpretation of Natural Language , 6852
- EASI
- Epioptics Applied to Semiconductor Interfaces , 6878
- ELSNET
- European Network in Language and Speech, 6295n
- ELTRASIN
- Electrical Transport Parallel and Perpendicular to Semiconductor Heterointerfaces, 6363wg
- EOLIS
- Emission of Light in Silicon, 7228
- EUROCHIP
- VLSI Design Training Action, 6573
- FADIVA
- Foundations of Advanced 3-D Information Visualisation, 8422wg
- FALCON
- Fuzzy Algorithms for Control, 6017wg
- FASED
- Fail-safe Semicustom Design, 6378wg
- FERMI
- Formalisation and Experimentation on the Retrieval of Multimedia Information, 8134
- FIDE 2
- Formally Integrated Data Environment, 6309
- FIVE
- Framework for Immersive Virtual Environments, 9122
- GENTZEN
- Common Foundations of Functional and Logic Programming, 7232wg
- GEPPCOM
- Foundations of General Purpose Parallel Computing, 9072
- GRACE
- Graphical Communication in Human Computer Interaction, 6296
- GRAPH II
- Computing by Graph Transformation, 7183wg
- GRASS
- Gallium Arsenide Research Action on ASIC Synthesis, 9144wg
- HETERO
- Heteroepitaxial Deposition of Diamond and Silicon Carbide Films, 6106
- HIMAC
- Hierarchical Management and Control in Manufacturing Systems, 8141
- HITEN
- Network of Excellence in High-Temperature Electronics, 6107n
- HPCNET
- High-Performance Computing Network , 9004n
- HTSC
- Influence of Local Structure on Superconducting Properties of Samples in YBaCuO and Related Systems, 6885wg
- HTSC-GBJ
- Grain Boundary Josephson Junctions and Circuits in High-Temperature Superconductors, 7100
- ICIMS
- Intelligent Control and Integration of Manufacturing Systems, 9251n
- IDOMENEUS
- Information and Data on Open Media for Networks of Users, 6606n
- ILP
- Inductive Logic Programming, 6020
- INCIDE
- Integrated Circuit Design for Signal Processing, 6904wg
- INSIGHT II
- Vision Systems for a Natural Human Environment, 6019
- INTER
- Intelligent Neural Interface, 8897
- IS-CORE
- Information Systems: Correctness and Reusability, 6071wg
- LAC
- Logic and Change, 7035wg
- LATMIC II
- Lateral Microstructures: Fabrication, Low Dimensionality Effects and Application to III-V Devices, 6536
- LEDFOS
- Light-Emitting Devices from Organic Semiconductors, 8013
- LEGRO
- Autonomous Legged Mobile Robot , 8474wg
- LINK
- The Necessary Link Between Low-Level and High-Level Synthesis, 6855
- LOMAPS
- Logical and Operational Methods in the Analysis of Programs and Systems, 8130
- LYDIA
- Load Balancing to Achieve High Performance Parallel and Distributed Systems, 8144
- MEDCHIP
- Catch-Up Action for the Development of VLSI Design Training Capabilities in Portugal, Spain, Southern Italy and Greece, 7307wg
- MEDCHIP
- Catch-Up Action for Industry-Oriented Microelectronics Training Enhancement in Greece, Italy, Portugal and Spain, 8010
- MEDLAR II
- Mechanising Deduction in the Logics of Practical Reasoning, 6471
- MIAMI
- Multimodal Integration for Advanced Multimedia Interfaces, 8579
- MIRO
- Multimedia Information Retrieval, 6576wg
- MIX
- Modular Integration of Connectionist and Symbolic Processing in Knowledge-Based Systems, 9119
- ML
- Network of Excellence in Machine Learning, 7115n
- MODELAGE
- A Common Formal Model of Cooperating Intelligent Agents, 8319
- MTVLE
- MOCVD Technology for Visible Light-Emitting II-VI Lasers, 6675
- MUCOM II
- Multisensory Control of Movement, 6615
- NACT
- Neural Adaptive Control Technology, 8039
- NADA
- New Hardware Design Methods, 8533wg
- NANA 2
- Novel Parallel Algorithms and New Real-Time VLSI Architectural Methodologies, 6632
- NANOPT
- Nanometre Structures for Future Optoelectronic Applications, 6719
- NAT
- Nonlinear and Adaptive Techniques in Digital Image Processing, Analysis and Computer Vision, 7130
- NATURE
- Novel Approaches to Theories Underlying Requirements Engineering, 6353
- NEOME
- Network of Excellence on Organic Materials for Electronics, 6280n
- NERVES-2
- Enhanced Learning for Evolutive Neural Architectures, 6891
- NEUROCOLT
- Neural Computational Learning, 8556wg
- NEURONET
- Network of Excellence in Neural Networks, 8961n
- NEXUS
- Network of Excellence in Multifunctional Microsystems, 7217n
- NODES
- Nonlinear and Active Optical Devices on Electronic Substrates, 6993
- PARFORCE
- Parallel Formal Computing Environment, 6707
- PARTNERS
- Physics and Application of Resonant Tunnelling for Novel Electronic, Infrared and Optical Devices, 7193
- PDCS 2
- Predictably Dependable Computing Systems, 6362
- PEGASUS
- Distributed Multimedia Operating System for the 1990s, 6586
- PHANTOMS
- Network of Excellence in the Field of Mesoscopic Systems, 7360n
- PHOTONS
- Physics, Optoelectronics and Technology of Novel Microresonator Structures, 7070wg
- POPAM
- Parallel Optical Processors and Memories, 6863
- POSSO
- Polynomial System Solving, 6846
- PROCOS
- Provably Correct Systems, 8694wg
- PROCOS II
- Provably Correct Systems, 7071
- PROMOTER
- Process Modelling Techniques, 7082wg
- PROMOTION
- Planning Robot Motion, 6546
- PRONANO
- Processing on the Nanometer Scale, 8523
- PROTIOS
- Optically Triggered Proton and Ion Switches, 7238
- QMIPS
- Quantitative Modelling in Parallel Systems, 7269
- QUANTECS
- Quantised Electronics, 6312wg
- QUINTEC
- Quantum Optics for Information Technology, 6934
- RAND
- Randomised Algorithms, 7097wg
- REACT-P
- Building Correct Reactive Systems, 6021
- REALISE
- Reconstruction of Reality from Image Sequences, 8878
- ROC
- Research Organisations' Cooperation in Advanced Training and Research in IC Design, 7053wg
- SCATIS
- Spatially Coordinated Auditory/Tactile Interactive Scenario, 6358
- SECOND
- Sensory Controlled Dextrous Robots, 6769
- SEMAGRAPH II
- The Semantics and Pragmatics of Extended Term-Graph Rewriting, 6345wg
- SEMANTIQUE
- Semantics-Based Program Manipulation Techniques, 6809wg
- SESDIP
- Structural Evaluation and Synthesis Design of Distributed Industrial Processes, 8924
- SETTRON
- Single Electronics, 9005
- Si/Ge MIST
- Ultrathin Silicon/Germanium Microstructures, 7128
- SIE-WG
- Simulation for the Future: New Concepts, Tools and Applications, 8467wg
- SM-IMP
- SIMD-MIMD Processor Arrays Applied to Image Processing, 8849
- SMALL STRUCTURES
- Novel Phenomena in Small Structures, 8050wg
- SMART
- Surface Memories Using Atomically Resolving Techniques, 8659wg
- SMILES
- Semiconductor Microcavity Light Emitters, 8447
- SMMMS
- Study of Magnetic Multilayers for Magnetoresistive Sensors, 6146
- SOLDES
- Self-Organising Low-Dimensional Electronic Structures, 7260
- SPEECH MAPS
- Sound-to-Gesture Inversion in Speech: Mapping of Action and Perception, 6975
- SSS
- Smart Sensory Systems, 6961
- SUPERDEV
- Superlattice Devices, 7227wg
- SUPERMICA
- High-Tc Superconducting Films for Microwave Applications, 6113
- TAMPFETS
- Technology for Advanced Microwave Power FET Structures, 6849
- TONICS
- Transverse Non Linear Optics, 7118
- TOPFIT
- Tailored Oligomers and Polymers for Information Technology, 7282
- TRANSCOOP
- Transaction Management Support for Cooperative Applications, 8012
- TYPES
- Types for Proofs and Programs, 6453
- UNION
- Underwater Intelligent Operation and Navigation, 8972
- VAP II
- Vision as Process, 7108
- VIVA
- Viewpoint-Invariant Visual Acquisition, 6448
- VOX
- Analysis and Synthesis of Speaker Characteristics, 6298wg
- WERNICKE
- A Neural Network Based, Speaker Independent, Large Vocabulary, Continuous Speech Recognition System, 6487
- X-BAND
- GaAs HEMT-HTS Resonator-Based X-Band Oscillator Made by Hybrid and Integrated Technology, 6625
Sven Müßig, (23-jan-95). Your feedback is welcome.