| Session Label | Session Title | Time | Location | Details |
|---|
| 5.1 | Special Day on "Embedded AI": Tutorial Overviews | 08:30 - 10:00 | Amphithéâtre Jean Prouve | Read More |
| 5.2 | Machine Learning Approaches to Analog Design | 08:30 - 10:00 | Chamrousse | Read More |
| 5.3 | Special Session: Secure Composition of Hardware Systems | 08:30 - 10:00 | Autrans | Read More |
| 5.4 | New Frontiers in Formal Verification for Hardware | 08:30 - 10:00 | Stendhal | Read More |
| 5.5 | Model-Based Analysis and Security | 08:30 - 10:00 | Bayard | Read More |
| 5.6 | Logic synthesis towards fast, compact, and secure designs | 08:30 - 10:00 | Lesdiguières | Read More |
| 5.7 | Stochastic Computing | 08:30 - 10:00 | Berlioz | Read More |
| 5.8 | Special Session: HLS for AI HW | 08:30 - 10:00 | Exhibition Theatre | Read More |
| IP2 | Interactive Presentations | 10:00 - 10:30 | Poster Area | Read More |
| 6.1 | Special Day on "Embedded AI": Emerging Devices, Circuits and Systems | 11:00 - 12:30 | Amphithéâtre Jean Prouve | Read More |
| 6.2 | Secure and fast memory and storage | 11:00 - 12:30 | Chamrousse | Read More |
| 6.3 | Special Session: Modern Logic Reasoning Methods for Functional ECO | 11:00 - 12:30 | Autrans | Read More |
| 6.4 | Microarchitecture to the rescue of memory | 11:00 - 12:30 | Stendhal | Read More |
| 6.5 | Efficient Data Representations in Neural Networks | 11:00 - 12:30 | Bayard | Read More |
| 6.6 | From DFT to Yield Optimization | 11:00 - 12:30 | Lesdiguières | Read More |
| 6.7 | Safety and efficiency for smart automotive and energy systems | 11:00 - 12:30 | Berlioz | Read More |
| 7.0 | LUNCHTIME KEYNOTE SESSION | 13:45 - 14:20 | Amphitéâtre Jean Prouvé | Read More |
| 7.1 | Special Day on "Embedded AI": Industry AI chips | 14:30 - 16:00 | Amphithéâtre Jean Prouve | Read More |
| 7.2 | Reconfigurable Systems and Architectures | 14:30 - 16:00 | Chamrousse | Read More |
| 7.3 | Special Session: Realizing Quantum Algorithms on Real Quantum Computing Devices | 14:30 - 16:00 | Autrans | Read More |
| 7.4 | Simulation and verification: where real issues meet scientific innovation | 14:30 - 16:00 | Stendhal | Read More |
| 7.5 | Runtime support for multi/many cores | 14:30 - 16:00 | Bayard | Read More |
| 7.6 | Attacks on Hardware Architectures | 14:30 - 16:00 | Lesdiguières | Read More |
| 7.7 | Self-Adaptive and Learning Systems | 14:30 - 16:00 | Berlioz | Read More |
| IP3 | Interactive Presentations | 16:00 - 16:30 | Poster Area | Read More |
| 8.1 | Special Day on "Embedded AI": Neuromorphic chips and systems | 17:00 - 18:30 | Amphithéâtre Jean Prouve | Read More |
| 8.2 | We are all hackers: design and detection of security attacks | 17:00 - 18:30 | Chamrousse | Read More |
| 8.3 | Optimizing System-Level Design for Machine Learning | 17:00 - 18:30 | Autrans | Read More |
| 8.4 | Architectural and Circuit Techniques toward Energy-efficient Computing | 17:00 - 18:30 | Stendhal | Read More |
| 8.5 | CNN Dataflow Optimizations | 17:00 - 18:30 | Bayard | Read More |
| 8.6 | Microarchitecture-level reliability analysis and protection | 17:00 - 18:30 | Lesdiguières | Read More |
| 8.7 | Physical Design and Analysis | 17:00 - 18:30 | Berlioz | Read More |
