Reed-Muller 2007

May 16, 2007 Oslo, Norway

A workshop on Applications of the Reed-Muller Expansion in Circuit Design and Representations and Methodology of Future Computing Technology

AND-EXOR based representations have proven to be simpler than standard AND-OR representations for switching functions, while on the other hand showing many different properties. Decision diagrams have been extensively studied and have provided powerful new techniques for verification and synthesis. The goal of the Reed-Muller 2007 workshop is to bring together researchers interested in these topics, their application to evolving technologies including nanotechnology and quantum computing, and related areas of research.

The Reed-Muller 2007 workshop will take place in Oslo, Norway, immediately following the IEEE International Symposium on Multiple-Valued Logic . Previous workshops have been held in Tokyo (Japan) in 2005, Trier (Germany) in 2003, Starkville, Mississippi (USA) in 2001, in Victoria (Canada) in 1999, in Oxford(UK) in 1997, in Tokyo (Japan) in 1995, and in Hamburg(Germany) in 1993.

A non-restrictive list of interests includes the following topics:

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

            Dr. Michael Miller
            Department of Computer Science 
            University of Victoria

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.


Extended abstract / draft paper submission: March 1, 2007
Notification of Acceptance: April 2, 2007
Camera Ready Paper Due: April 23, 2007
Reed-Muller 2007 Workshop : May 16, 2007


Updated, Mon, January 29, 2007 12:42