Wednesday | September 18
17:00 - 18:30 Welcome Reception
Thursday | September 19
9:15 - 9:45 Registration
9:45 - 10:00 Opening
Chair: Rolf Drechsler
10:00 - 11:00 | Keynote 1
Chair: Görschwin Fey
Prof. Jan Peleska
Universität Bremen
Scary or Promising ? Machine Learning in Safety-Critical Control Systems
» More information
11:00 - 11:30 | Coffee Break
11:30 - 12:30 | Session 1 | Logic Synthesis
On Structural Bias of Two-Level Multi-Output Minimization
Petr Fišer and Jan Schmidt
PSOP Decomposition for EXOR-Based Synthesis
Anna Bernasconi, Valentina Ciriani, Gianmarco Cuciniello and Asma Taheri Monfared
12:30 - 13:30 | Lunch
13:30 - 15:00 | Session 2 | Approximate Circuits
Approximate LUT Count Reduction via Probabilistic Error Propagation
Thomas Schlögl and Oliver Keszocze
Extend and Reduce Methodology to Enable Formal Verification of Truncated Adders
Chandan Kumar Jha, Khushboo Qayyum, Muhammad Hassan and Rolf Drechsler
Detailed Insight into Approximate Circuits with Error-Responsive Information Flow Tracking
Lutz Schammer, Gianluca Martino, Amir Najafi, Alberto Garcia-Ortiz and Goerschwin Fey
15:00 - 15:30 | Coffee Break
15:30 - 16:30 | Special Session
Self-Explaining Digitally Controlled Systems
17:00 - 22:00 | Social Event