Thematic tracks course units

Track Component-Based Embedded Software (Rennes)

• Model-driven engineering of embedded software (MDE)
• Program analysis for software security (PAS)
• Performance and micro-architecture (PMA)
• Verification and testing of embedded systems (TVA)
• Component and system synthesis (CSS)

Track Networks and Distributed Systems (Rennes)

• Distributed algorithms and distributed computability (DAC)
• Performance evaluation (PEV)
• Future Internet and Networks (IRF)
• Scalable Distributed Systems (SDS)
• Internet of services: Programming Models and Infrastructures (ISI)

Track Information and Computing Infrastructure Security (Rennes)

• Security policy and properties (PPS)
• Cryptography and cryptographic protocols (CRY)
• Software security (SDL)
• Availability/content protection (DPC)
• Intrusion detection and survivability (DIS)

Track From Data to Knowledge (Rennes)

• Data capture and representation (ARD)
• Supervised learning (AS)
• Extracting knowledge from symbolic data sequences (DSS)
• Document and audio-visual flow analysis for indexing (FAV)
• Indexing and visualisation of multidimensional data (IVM)

Track Images and Interactions (Rennes)

• Data capture and representation (ARD)
• Supervised learning (AS)
• Image and motion (IMO)
• Real or virtual capture and manipulation: VR/AR (VAR)
• Compression, transmission and rendering of video, audio and 3D data (CTR)

Track Human Centred Computer Science (Brest)

• Knowledge, Models and Paradigms (CMP)
• Human : it’s Codes, it’s Standards, it’s Societies (HUM)
• Anthropomorphic Behaviors in Increased Virtual Reality (CRV)
• Community, Practicals and Uses (CPU)
• Virtual Laboratory applied to Biology (LVB)

Track Mobile and communicating objects based Systems (Brest)

• Knowledge, Models and Paradigms (CMP)
• Models and Transformations (MT)
• Formal Analysis and Test of models (ATF)
• Environments, networks and control systems (RSC)
• Architectures for Autonomous Systems (SIA)

Track Intelligent Software-Intensive Systems: Foundations, Architectures, and Applications (Vannes)

• Software architecture for the design of intelligent software-intensive systems (ALS)
• Software evolution of intelligent software-intensive systems (ELS)
• Communication and services in auto-organized wireless networks (CSR)
• Classification and Indexing for Information Retrieval (CIR)
• Animated virtual agents (AVA)
• Human-computer interaction and collective intelligence (IHC)

Track Intelligent Interaction with Information (Lannion)

• Knowledge, Models and Paradigms (CMP)
• Multimedia and voice components (MCV)
• Advanced distributed databases, peer-to-peer model (BDA)
• Machine learning and data mining (APA)
• Multimedia streams and networks (RFM)