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