Reed-Muller 2015

PROGRAM

May 21, 2015, Waterloo, Ontario, Canada

• 08:45 - Opening Remarks
• 09:00 - (Invited Address) Bernd Steinbach, The Boolean Differential Calculus - a Compact Introduction and Selected Applications
• 10:00 - Coffee Break
• 10:30 - Mathias Soeken, Michael Kirkedal Thomsen, Gerhard W. Dueck, and D. Michael Miller, Self-Inverse Functions and Palindromic Circuits
• 11:00 - Tsutomu Sasao, On the Sizes of Reduced Covering Tables for Incompletely Specified Index Generation Functions
• 11:30 - Radomir S. Stankovic', Tsutomu Sasao, and Jaakko T. Astola, Contributions of Yasuo Komamiya to Switching Theory
• 12:00 - Lunch
• 13:00 - (Invited Address) Mathias Soeken, Generalized Equivalence Checking Problems for Reverse Engineering
• 14:00 - Bernd Steinbach, Vectorial Bi-Decompositions of Logic Functions
• 14:30 - Eleonora Schoenborn, Robert Wille, and Rolf Drechsler, Quo Vadis, Reversible Circuit Design? Towards Scaling Design and Synthesis of Reversible Circuits
• 15:00 - Coffee Break
• 15:30 - Open Session on future of Reed-Muller research. Informal presentations of work in progress and discussion by Workshop participants. Here, you can present your current work (suggested presentation time: 5 minutes) followed by discussion.
• 16:30 - Closing remarks and future Workshop plans