After the International Symposium on Multiple-Valued Logic,
May 22-24, 2013, Toyama, Japan.
In this workshop, we consider various types of representations
for discrete functions.
AND-EXOR based representations that are simpler than standard AND-OR representations.
Decision diagrams for synthesis, analyses, and verification.
Spectrum transformation to detect the properties of logic functions.
The goal of the Reed-Muller 2013 Workshop is to advance the state-of-the-art by providing a setting in which researchers can exchange ideas.
Previous workshops sites are Tuusula (Finland) in 2011, Naha (Japan) in 2009, Oslo (Norway) in 2007, Tokyo (Japan) in 2005, Trier (Germany) in 2003,
Starkville, Mississippi (USA) in 2001, Victoria (Canada) in 1999, Oxford (UK) in 1997, Chiba (Japan) in 1995,
and Hamburg (Germany) in 1993.
Topics include, but are not limited to:
Graph-based representations of logic functions: BDD, MDD, BMD, EVBDD, etc.
Spectral representation of logic functions
Graph functions, bent functions, and cryptographic applications
Implementation in silicon (FPLDs, FPGAs, ...)
Applications, including circuit design, reversible logic, quantum logic, etc.
Representations for quantum computing, nano-technology, and molecular scale computing
Full paper submission: February 1, 2013 (Closed)
Notification of acceptance: March 24, 2013 (Passed)
Camera Ready Paper Due: April 10, 2013 (Closed)
Early Registration Due: April 10, 2013 (Closed)
Workshop: May 24-25, 2013 (Fri-Sat)
Jon T. Butler
Gerhard W. Dueck
D. Michael Miller
Mitchell A. Thornton
Invited talk: Prof. Shin-ichi Minato (Hokkaido University).
Title: Recent Topics on BDD/ZDD-Based Discrete Structure Manipulation
We are planning to publish a book in 2014 from Morgan & Claypool.
Selected authors are asked to revise the paper to form a chapter of the book.
Each chapter must be self-contained and easily read. It should contains examples, exercises and their solutions.
Chapter authors are asked revise the submitted chapters according to the chapter reviewers comments until they satisfy the specification of the book.