Reed-Muller Workshop (RM2009)

Venue: Naha, Okinawa

Location: Naha, Okinawa, Japan

Event Date/Time: May 23, 2009 End Date/Time: May 24, 2009
Registration Date: May 23, 2009
Early Registration Date: Apr 17, 2009
Abstract Submission Date: Feb 01, 2009
Paper Submission Date: Feb 01, 2009
Report as Spam


In this workshop, we consider various types of representations for various 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 2009 Workshop is to advance the state-of-the-art by providing a setting in which researchers can exchange ideas.
Previous workshops have been held in Oslo (Norway) in 2007, in Tokyo (Japan) in 2005, in Trier (Germany) in 2003, in Starkville, Mississippi (USA) in 2001, in Victoria (Canada) in 1999, in Oxford (UK) in 1997, in Chiba (Japan) in 1995, and in Hamburg (Germany) in 1993.
A non-restrictive list of topics is as follows:
Graph-based representations of logic functions: BDD, MDD, BMD, EVBDD, etc.
EXOR-based representations
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