Announcement 1st Workshop on Hardware Design and Theory - October 20, Vienna (colocated with DISC 2017) HDT is a one-day workshop that aims at bridging between theory and design of hardware. It puts special emphasis on the multitude of connections between the theory of distributed computing and hardware design, apparent in topics such as time and causality, synchronization, and fault-tolerance. The goal is to present questions and results at the forefront of current research and spark a discussion between the fields. The program consists of several invited talks, which are aimed at a general CS audience: Yoram Moses: Viewing Circuits as Distributed Systems Ran Ginosar: Fighting Faults Alex Yakovlev: How to Design Little Digital, yet Highly Concurrent Electronics? Matthias Függer: Fault-tolerant Distributed Clocking: Self-stabilization, Byzantine Failures, and Beyond Miloš Krstić: Optimizing Design of Fault-Tolerant Computing Systems Christian Ikenmeyer: Metastability, Three-valued Logic, and Monotone Circuits Michael Mendler (unconfirmed): Logical Analysis of Distributed Systems: The Importance of Being Constructive For further details, please visit the website: https://www.mpi-inf.mpg.de/index.php?id=3362 -- Prof. Michael Mendler, PhD Universität Bamberg Professur für Grundlagen der Informatik The University of Bamberg Faculty of Information Systems and Applied Computer Sciences Informatics Theory Group An der Weberei 5 D-96047 Bamberg Germany Phone: ++49 951 863-2828 Fax: ++49 951 863-5528 E-Mail: michael.mendler@uni-bamberg.de WWW: https://www.uni-bamberg.de/gdi/team/michael-mendler/