2012 Co-located with the Design Automation Conference

21st International Workshop on Logic & Synthesis June 1 - 3, 2012 University of California, Berkeley - Berkeley, CA Photo credit: Steve McConnell / UC Berkeley

Mission: The International Workshop on Logic and Synthesis is dedicated to research in synthesis, optimization, and verification of integrated circuits. Research on logic synthesis for emerging technologies and for novel computing platforms, such as nanoscale systems and biological systems, is also strongly encouraged. The workshop accepts complete papers as well as abstracts highlighting important new problems in the early stages of development. The emphasis is on novelty and intellectual rigor.

The International Workshop on Logic and Synthesis is the premier forum for research in synthesis, optimization, and verification of integrated circuits. Research on logic synthesis for emerging technologies and for novel computing platforms, such as nanoscale systems and biological systems, is also strongly encouraged. The workshop accepts complete papers as well as abstracts, highlighting important new problems in the early stages of development, without providing complete solutions. The emphasis is on novelty and intellectual rigor.

Topics of interest include (but are not limited to): synthesis and optimization; power and timing analysis; testing, validation and verification; architectures and compilation; and design experiences. Submissions on modeling, analysis and synthesis for emerging technologies and platforms are also encouraged. Both complete papers as well as extended abstracts highlighting new problems and new topics of research are welcomed. Only original and previously unpublished material is permitted.

Accepted papers are distributed only to IWLS participants. The workshop format includes paper presentations, posters, invited talks, social lunch and dinner gatherings, and recreational activities.

Technical Program

The technical program consists of 22 regular talks, 3 invited talks, 1 special session and 4 poster presentations. The workshop will be held in Wozniak Lounge (Room 430-8 Soda Hall) at the University of California, Berkeley, Electrical Engineering and Computer Science Department.

Invited talks:

	"Transforming Biology to an Information Science" Ajay Royyuru - Computational Biology Center - IBM Research Abstract and Bio
	"Exascale Visualization: Get Ready for a New World" Hank Childs - Computer Systems Engineer - Visualization Group, Computational Research Division, Lawrence Berkeley National Laboratory Professional Researcher - Department of Computer Science, University of California, Davis Abstract and Bio
	"Processing Streaming Data on Novel Computing Platforms (how hard can it be?)" Eamonn Keogh - Professor - UC Riverside Abstract and Bio

Special Session: "Software Verification and Testing"

"Corral: A Solver for Reachability-Modulo-Theories" Shaz Qadeer - Microsoft Research, USA Abstract and Bio

"Automated Atomicity-Violation Fixing" Ben Liblit - University of Wisconsin–Madison, USA Abstract and Bio

"Debugging Concurrent Programs" Vineet Kahlon - NEC Laboratories America, USA Abstract and Bio

Registration

Rates for registration::

ACM/IEEE members:	Students and unemployed professionals	$200
	Others	$300
Non ACM/IEEE members:	Students and unemployed professionals	$250
	Others	$400

ACM/IEEE members:	Students and unemployed professionals	$300
	Others	$400
Non ACM/IEEE members:	Students and unemployed professionals	$350
	Others	$500

1. Go to https://reg.mpassociates.com/reglive/PromoCode.aspx?confid=139
2. Select Register. This will direct you to the registration page. Complete all the contact information and select your products.
3. Select the "Colocated Conferences" tab on the right hand side of the registration page. Select the IWLS option and proceed to checkout.

Organizing Committee

General Chair		Ilya Wagner		Intel Corp.
Technical Program Chair		Philip Brisk		University of California, Riverside
Special Sessions Chair		Andrea Pellegrini		University of Michigan
Local Arrangements Chair		Alan Mishchenko		University of California, Berkeley
Special Activities Chair		Tobias Welp		University of California, Berkeley

Executive Committee

Valeria Bertacco		University of Michigan
Igor Markov		University of Michigan

Benchmarks

The IWLS community maintains a set of benchmarks, synthesized and mapped in Verilog and OpenAccess.

IWLS 2011: June 3 - June 5, 2011, San Diego, California

IWLS 2010: June 18 - June 20, 2010, Irvine, California

IWLS 2009: July 31 - August 2, 2009, Berkeley, California

IWLS 2008: June 4 - 6, 2008, Lake Tahoe, California

IWLS 2007: May 30 - June 1, 2007, San Diego, California

IWLS 2006: June 7 - 9, 2006, Vail, Colorado

IWLS 2005: June 8 - 10, 2005, Lake Arrowhead, California

IWLS 2004: June 2 - 4, 2004, Temecula Creek, California

IWLS 2003: May 28 - 30, 2003, Laguna Beach, California

IWLS 2002: June 4 - 7, 2002, New Orleans, Louisiana

IWLS 2001: June 12 - 15, 2001, Lake Tahoe, California

IWLS 2000: May 31 - June 2, 2000, Dana Point, California

Subscribe to the IWLS mailing list. (The list is hidden, and only its administrator can post to it.)

• International Conference on Computer-Aided Design (ICCAD)
• Design, Automation and Test in Europe (DATE)
• Asia and South Pacific Design Automation Conference (ASPDAC)
• Design Automation Conference (DAC)
• International Symposium on Physical Design (ISPD)
• International Symposium on Low Power Electronics and Design (ISLPED)
• International Symposium on Bio-Design Automation (IWBDA)