Working Groups Index

Sorted by acronym

• ACCOR II - 7098 : Articulatory-Acoustic Correlations in Coarticulatory Processes: a Cross-Language Investigation
  - Synopsis
• ACiD-WG - 21949 : Working Group on Asynchronous Circuit Design
  - Home Page
• ACID-WG - 7225 : Asynchronous Circuit Design
  - Synopsis
• ACMMS - EC-US007 : Algorithms for Condensed Matter and Materials Science
  - Synopsis
• AFERT - EC-US041 : Adaptive Fault Tolerance In Real time Systems
  - Synopsis
• AMAST - EC-US020 : Algebraic Methodology and Software Technology
  - Synopsis
• AQUILEX - EC-US004 : Reusable Multilingual Lexica for Natural Language Processing
  - Synopsis
• ASMICS 2 - 6317 : Algebraic and Syntactic Methods in Computer Science
  - Synopsis
• ASPCA - EC-US023 : Architectural Studies for Performance-Critical Applications
  - Synopsis
• ATHOS - 6620 : Advanced Topics in High-Order Statistics
  - Synopsis
• ATLANTIQUE - EC-US025 : Semantic-Based Program Manipulation
  - Synopsis
• BROADCAST-WG - 22455 : Basic Research on Advanced Distributed Computing: from Algorithms to Systems WG
  - Home Page
• BULD - 9100 : II-VI Blue and UV Laser Diodes
  - Synopsis
• CALIBAN - 6067 : Causal Calculi Based on Nets
  - Synopsis
• CATHODE - 7213 : Computer Algebra Tools for Handling Ordinary Differential Equations
  - Synopsis | Home Page
• CCL - 6028 : Construction of Computational Logics
  - Synopsis | Home Page
• CCL II - 22457 : Construction of Computational Logics II
  - Home Page
• CHARME-2 - 6018 : Formal Design and Correctness Verification of Synchronous and Asynchronous Digital VLSI Systems
  - Synopsis
• CIM-DEV - 7401 : Prototyping of CIM Models
  - Synopsis
• CIMMOD - 7400 : Modelling of CIM Systems
  - Synopsis
• CODESIGN - EC-US045 : Cooperative Activity in the Area of System Design and Hardware/Software Codesign
  - Synopsis
• COMPASS - 6112 : A Comprehensive Algebraic Approach to System Specification and Development
  - Synopsis
• COMPUGRAPH - EC-US035 : Graph Grammars and their Application to Computer Science
  - Synopsis
• COMPUGRAPH II - 7183 : Computing by Graph Transformation
  - Synopsis
• CONCUR 92 - EC-US010 : Concurrency Theory
  - Synopsis
• CONTESSA - 8666 : Constraints and Extended Support for Storage and Access
  - Synopsis
• CSLS - EC-US040 : Circuit and System-Level Synthesis
  - Synopsis
• DACs - EC-US044 : High-linearity low-resolution DACs for multi-bit oversampling - and pipelined ADCs
  - Synopsis
• DAIDALOS - EC-US008 : Distributed Multimedia Systems
  - Synopsis
• DCLS - EC-US015 : Dynamical Conductivity of Lateral Superlattices
  - Synopsis
• DELOS - 21057 : ERCIM Digital Library
  - Home Page
• DIFFUSION - EC-US022 : Geometry-Driven Diffusion in Vision
  - Synopsis | Home Page
• ELTRASIN - 6363 : Electrical Transport Parallel and Perpendicular to Semiconductor Heterointerfaces
  - Synopsis
• EUROCHIP - 6573 : VLSI Design Training Action
  - Synopsis | Home Page
• EUROPA - HPCN-WG : Europa Working Group on Parallel C++
  - Home Page
• FADIVA - 8422 : Foundations of Advanced 3D Information Visualisation
  - Synopsis
• FALCON - 6017 : Fuzzy Algorithms for Control
  - Synopsis
• FASED - 6378 : Fail-Safe Semicustom Design
  - Synopsis
• FIDE - EC-US006 : Persistent Application Systems and Environments
  - Synopsis | Home Page
• FIEF - EC-US051 : Fault Injection for the Experimental Validation of Fault-Tolerant Computing Systems
  - Synopsis
• FIVE - 9122 : Framework for Immersive Virtual Environments
  - Synopsis | Home Page
• FOOP - EC-US028 : Foundations of Object-Oriented Programming Language
  - Synopsis
• GENTZEN - 7232 : Common Foundations of Functional and Logic Programming
  - Synopsis
• GODC - EC-US026 : Group Oriented Distributed Computing
  - Synopsis | Home Page
• GRASS - 9144 : Gallium Arsenide Research Action on ASIC Synthesis
  - Synopsis
• HILES - EC-US031 : High-Level Synthesis Algorithms, Tools and Design
  - Synopsis | Home Page
• HIPOFETS - EC-US047 : Optimisation of GaAs-based Power FETs with High Power Density and Power Efficiency
  - Synopsis
• HLSTV - EC-US018 : High Level Synthesis Techniques for VLSI
  - Synopsis
• HTSC - 6885 : Influence of Local Structure on Superconducting Properties of Samples in YBaCuO and Related Systems
  - Synopsis
• HYBRID - EC-US043 : Tools for the Analysis of Hybrid Systems
  - Synopsis
• IMS-WG - 21955 : Working Group on Intelligent Manufacturing Systems
  - Home Page
• INCIDE - 6904 : Integrated Circuit Design for Signal Processing
  - Synopsis
• IONPRINTEX - EC-US049 : Cooperative Activity Ion Printing Technology
  - Synopsis
• IS-CORE - 6071 : Information Systems: Correctness and Reusability
  - Synopsis
• LAC - 7035 : Logic and Change
  - Synopsis
• LEGRO - 8474 : Autonomous Legged Mobile Robot
  - Synopsis
• MEDCHIP - 7307 : Catch-Up Action for the Development of VLSI Design Training Capabilities in Portugal, Spain, Southern Italy and Greece
  - Synopsis
• MEDCHIP - 8010 : Catch-Up Action for Industry-oriented Microelectronics Training Enhancement in Greece, Italy, Portugal and Spain
  - Synopsis
• MIND/INDUS - EC-US019 : Automation of Proofs by Mathematical Induction
  - Synopsis
• MIRA - 20039 : Evaluation Frameworks for Interactive and Multimedia Information Retrieval Applications
  - Home Page
• MIRO - 6576 : Multimedia Information Retrieval
  - Synopsis
• MODELAGE - 8319 : A Common Formal Model of Cooperating Intelligent Agents
  - Synopsis | Home Page
• NADA - 8533 : New Hardware Design Methods
  - Synopsis | Home Page
• NDID - EC-US033 : Non-Determinism in Deductive Databases
  - Synopsis | Home Page
• NDIMST - EC-US036 : New Directions in Mixed Signal Tests
  - Synopsis
• NEUROCOLT - 8556 : Neural Computational Learning
  - Synopsis
• PHOTONS - 7070 : Physics, Optoelectronics, and Technology of Novel Microresonator Structures
  - Synopsis
• PROCOS - 8694 : Provably Correct Systems
  - Synopsis | Home Page
• PROCOS-US - EC-US027 : Provably Correct Hardware Compilation
  - Synopsis
• PROMOTER - 7082 : Process Modelling Techniques
  - Synopsis
• QMIPS-RPC - EC-US012 : High Performance Resilient Parallel Computing
  - Synopsis
• QUANTECS - 6312 : Quantised Electronics
  - Synopsis
• RAND - 7097 : Randomised Algorithms
  - Synopsis
• RAND-REC - EC-US030 : Randomised Algorithms
  - Synopsis
• REALISE-NSF - EC-US056 : Ecological Optics for Surfaces
  - Synopsis
• ROC - 7053 : Research Organisations' Cooperation in Advanced Training and Research in IC Design
  - Synopsis
• SEMAGRAPH II - 6345 : The Semantics and Pragmatics of Extended Term Graph Rewriting
  - Synopsis
• SEMANTIQUE - 6809 : Semantics-based Program Manipulation Techniques
  - Synopsis
• SiE-WG - 8467 : Simulation for the Future: New Concepts, Tools and Applications
  - Synopsis
• SMALL STRUCTURES - 8050 : Novel Phenomena in Small Structures
  - Synopsis
• SMART - 8659 : Surface Memories Using Atomically Resolving Techniques
  - Synopsis
• SUPERDEV - 7227 : Superlattice Devices
  - Synopsis
• SWOP - EC-US011 : Scientific Workbench Project
  - Synopsis
• TYPES - 21900 : Types
  - Home Page
• UMIS - EC-US005 : Uncertainty Management in Information Systems
  - Synopsis
• VISION - EC-US003 : Control of Perception in Active Vision
  - Synopsis
• VIVA-NSF - EC-US021 : Geometric Invariance in Computer Vision
  - Synopsis
• VOX - 6298 : The Analysis and Synthesis of Speaker Characteristics
  - Synopsis