CALL FOR PAPERS 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:

• Representations for Molecular Scale Computing
• Representations for Quantum Computing
• Representations for Nanotechnology
• Graph-based representations of logic functions: Binary Decision Diagrams, Functional Decision Diagrams
• XOR-based logic synthesis and verification
• Reed-Muller expressions, Kronecker expressions, Exclusive-Or/Sum-of-Products Expressions (ESOPs), Multi-level circuits
• New types of representations for discrete functions
• AND-OR vs. AND-XOR complexity
• Easily testable circuits using XORs
• Implementation in silicon (FPLDs, FPGAs, ...)
• Related algorithms and CAD tools
• Applications, including circuit design, reversible logic, quantum logic, etc.

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
            mmiller(at)cs.uvic.ca

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

Updated, Mon, January 29, 2007 12:42