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