Working Groups Index

Sorted by acronym

• ACCOR II - 7098 : Articulatory-Acoustic Correlations in Coarticulatory Processes: a Cross-Language Investigation
  - Synopsis
• ACID-WG - 7225 : Asynchronous Circuit Design
  - Synopsis
• ASMICS 2 - 6317 : Algebraic and Syntactic Methods in Computer Science
  - Synopsis
• ATHOS - 6620 : Advanced Topics in High-Order Statistics
  - 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
• COMPASS - 6112 : A Comprehensive Algebraic Approach to System Specification and Development
  - Synopsis
• COMPUGRAPH II - 7183 : Computing by Graph Transformation
  - Synopsis
• CONTESSA - 8666 : Constraints and Extended Support for Storage and Access
  - Synopsis
• DELOS - 21057 : ERCIM Digital Library
  - Home Page
• ELTRASIN - 6363 : Electrical Transport Parallel and Perpendicular to Semiconductor Heterointerfaces
  - Synopsis
• EUROCHIP - 6573 : VLSI Design Training Action
  - Synopsis | 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
• FIVE - 9122 : Framework for Immersive Virtual Environments
  - Synopsis | Home Page
• GENTZEN - 7232 : Common Foundations of Functional and Logic Programming
  - Synopsis
• GRASS - 9144 : Gallium Arsenide Research Action on ASIC Synthesis
  - Synopsis
• HTSC - 6885 : Influence of Local Structure on Superconducting Properties of Samples in YBaCuO and Related Systems
  - Synopsis
• INCIDE - 6904 : Integrated Circuit Design for Signal Processing
  - 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
• 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
• 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
• PROMOTER - 7082 : Process Modelling Techniques
  - Synopsis
• QUANTECS - 6312 : Quantised Electronics
  - Synopsis
• RAND - 7097 : Randomised Algorithms
  - 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
• TYPES - 21900 : Types
  - Home Page
• VOX - 6298 : The Analysis and Synthesis of Speaker Characteristics
  - Synopsis