Welcome to the

Reed-Muller Workshop

Website for the Reed-Muller Workshop (RM2013)

Last Modified:2013/04/19

CALL FOR PARTICIPATION

Reed-Muller 2013

May 24-25 (Fri-Sat), 2013, Toyama Japan

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.
- 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
- Cryptographically-significant functions
Important Dates
- 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)
PC Committee
- Jon T. Butler
- Rolf Drechsler
- Gerhard W. Dueck
- D. Michael Miller
- Marek Perkowski
- Tsutomu Sasao
- Radomir Stankovic
- Bernd Steinbach
- 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.
T. Sasao and J. T. Butler,"Progress in Applications of Boolean Functions,"
Morgan & Claypool Publishers, Dec 2009. pp.1-153.
(Digital Circuits & Systems Series)
Sponsors
JST ERATO Minato Discrete Structure Manipulation System Project

For Further Questions:

General Chair
   Tsutomu Sasao
   Department of Computer Science 
   Meiji University, Kawasaki Japan
   sasao@ieee.org

(since 2011/05/30)

Welcome to the

Reed-Muller Workshop

Website for the Reed-Muller Workshop (RM2013)

CALL FOR PARTICIPATION

Reed-Muller 2013

May 24-25 (Fri-Sat), 2013, Toyama Japan

After the International Symposium on Multiple-Valued Logic, May 22-24, 2013, Toyama, Japan.

Important Dates

PC Committee

Sponsors

For Further Questions:

After the International Symposium on Multiple-Valued Logic,
May 22-24, 2013, Toyama, Japan.