Reed-Muller 2007

A workshop on

Applications of the Reed-Muller Expansion in Circuit Design and

Representations and Methodology of Future Computing Technology

Date: May 16, 2007

Time: 09:00 – 17:15

Location: Administrative Building, University of Oslo (map)

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.

Preliminary Program

Registration:

Please register by sending an e-mail notification to Dr. Michael Miller (mmiller@cs.uvic.ca) by May 1, 2007.

The registration fee is $40US / 240 NOK ($25US / 150 NOK for students) payable at the workshop. The fee includes refreshments and a copy of the proceedings. It does not include lunch.

Related Events: The web site for ISMVL-2007 has information on the ULSI workshop preceding ISMVL, the ISMVL symposium, accommodation, travel and tourism.

For more information contact Dr. Michael Miller (mmiller@cs.uvic.ca)