IEEE CASS Seasonal School on Logic Synthesis, Porto Alegre, Brasilien

<br>The IEEE Seasonal School on Logic Synthesis 2018 aims to offer a set of talks on key topics of logic synthesis and optimizations for integrated circuits in modern and upcoming technologies&#046; It should represent current and future challenges that are faced by industry and academia for the implementation of ever more complex circuits and systems&#046; We want to promote discussion on hot topics and cover fundamental algorithms and computational methods in the area, so that the attendance can leverage their comprehension and capabilities, while also attracting new students and researchers to the right problems&#046; The talks will be given by prominent international researchers with extensive expertise in their fields&#046;<br>The main topics to be covered by the school will include<br>Logic synthesis and optimizations<br>Synthesis of arithmetic circuits and datapaths<br>Formal verification<br>Design of asynchronous circuits<br>Logic synthesis and high&#8211;performance computing<br>