Welcome to the

Reed-Muller Workshop

Web site for the Reed-Muller Workshop(RM2009)

Last Modified:2008/07/24

CALL FOR PAPERS

Reed-Muller 2009

May 24 (Sunday), 2009, Naha, Okinawa, Japan

After the International Symposium on Multiple-Valued Logic,
May 21-23, 2009, Naha, Okinawa, Japan.

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

Authors are invited to submit extended abstracts or full papers not exceeding 10 two-column format pages to

 Program Chair       
   Jon T. Butler, Professor
   Department of Electrical and Computer Engineering
   Naval Postgraduate School, Code EC/Bu
   Monterey, CA 93943-5121 U.S.A.
   408-656-3299 (O) 408-656-2760 (FAX)
   jon_butler@msn.com

Submissions should be sent by e-mail as an attached PDF (preferred) or postscript file. Please do not submit papers by regular mail or fax.
Important Dates
- Extended abstract / draft paper submission: February 1, 2009 (Su)
- Notification of acceptance: March 24, 2009 (Tue)
- Camera Ready Paper Due: April 17, 2009 (Fri)
- Workshop: May 24, 2009 (Su)
PC Committee
- Jon T. Butler
- Rolf Drechsler
- Gerhard W. Dueck
- D. Michael Miller
- Marek Perkowski
- Tsutomu Sasao
- Mitchell A. Thornton
We are planning to publish a book in 2010 from Morgan & Claypool. Selected authors are asked to revise the paper to form a chapter of the book.
Sponsers
- Kyushu Institute of Technology (Pending)
- IEEE CAS-4 Fukuoka Chapter (Chair, Tsutomu Sasao)
In Cooperation with
- ISMVL-2009
- IEEE Fukuoka Section

For Further Questions:

General Chair
   Tsutomu Sasao
   Department of Computer Science and Electronics  
   Kyushu Institute of Technology, Iizuka Japan
   sasao@cse.kyutech.ac.jp

(since 2007/05/26)

Welcome to the

Reed-Muller Workshop

Web site for the Reed-Muller Workshop(RM2009)

CALL FOR PAPERS

Reed-Muller 2009

May 24 (Sunday), 2009, Naha, Okinawa, Japan

After the International Symposium on Multiple-Valued Logic, May 21-23, 2009, Naha, Okinawa, Japan.

Important Dates

PC Committee

Sponsers

In Cooperation with

For Further Questions:

After the International Symposium on Multiple-Valued Logic,
May 21-23, 2009, Naha, Okinawa, Japan.