[clean-list] FMCAD 2006 Second Call for Papers

[event at in.tu-clausthal.de]

------------------------------------------------------------------------
Event at CIG: To unsubscribe, read the info at the bottom of this message.
------------------------------------------------------------------------

-------------- next part --------------
			   FMCAD 2006
International Conference on Formal Methods in Computer-Aided Design
 Sponsored by IEEE, CEDA (Council on Electronic Design Automation)
		       http://fmcad.org/2006 

			 CALL FOR PAPERS

	   November 12-16, 2006, San Jose, California
(Note: ICCAD also takes place in San Jose the previous week, Nov. 5-9)


IMPORTANT DATES
========================================================================
Submission deadline:        	April 24, 2006
Acceptance notification:    	June 23, 2006
Final version due:		July 28, 2006

SCOPE OF CONFERENCE
========================================================================
FMCAD 2006 is the sixth in a series of conferences on the theory and
applications of formal methods in hardware and system verification. FMCAD
provides a leading forum to researchers in academia and industry for
presenting and discussing groundbreaking methods, technologies,
theoretical results, and tools for reasoning formally about computing
systems.  In addition to the technical program, FMCAD will offer a full
day of tutorials on model checking, theorem proving, decision procedures,
and the application of such methods in industry. FMCAD will also include
panels and affiliated workshops. Topics of interest for the technical
program include, but are not limited to:

+ Foundations: model checking, theorem proving, abstraction and
  refinement techniques, compositional methods, decision procedures,
  SAT-based methods, combining deductive methods with decision
  procedures, and probabilistic methods in verification.

+ Applications of formal methods in design: assertion-based
  verification, equivalence checking, transaction-level verification,
  semi-formal verification, runtime verification, simulation and
  testcase generation, coverage analysis, microcode verification,
  embedded systems, software verification, concurrent systems, timing
  verification, and formal approaches to performance and power.

+ Model-based approaches: modeling and specification languages,
  hardware/software co-design and verification, design derivation and
  transformation, and correct-by-construction methods.

+ Formal methods for the design and verification of emerging and novel
  technologies: nano, quantum, biological, video, gaming, and multimedia
  applications.

+ Verification applications: tools, industrial experience reports, and
  case studies.

PAPER SUBMISSIONS
========================================================================
Submissions must be made electronically in PDF format through the FMCAD
Web site, http://fmcad.org/2006.  There are two categories of papers:

A. Regular papers.

Authors are invited to submit papers of up to 8 pages using the IEEE
Transactions format on letter-size paper with a 10-point font size (see
http://www.ieee.org/portal/pages/pubs/transactions/stylesheets.html). A
double-blind review process will be used, therefore, submissions must
not identify the authors in any way. We recommend that self-citations
be written in the third person.  Submitted papers must contain original
research that has not been concurrently submitted to any other
conference and that has not previously been published elsewhere. Any
partial overlap with any published or concurrently submitted paper must
be clearly indicated. If experimental results are reported, authors are
encouraged to provide enough access to their data so that results can be
independently verified. Papers should contain a short abstract of
approximately 150 words clearly stating the contribution of the
submission. Finally, a small number of the accepted papers will be
considered for a distinguished paper award.

B. Short papers.

The page limit is 2 pages using the same format as for regular
papers. Short papers can describe applications, case studies, industrial
experience reports, emerging results, or implemented tools with novel
features.  A demonstration will be required for accepted tool papers.

ORGANIZATION
========================================================================
Chairs:               	Aarti Gupta, NEC Labs America
                       	Panagiotis Manolios, Georgia Tech
Local Arrangements:   	Jeremy Levitt, Mentor Graphics
		      	Vigyan Singhal, Oski Technology
Panels:               	Andreas Kuehlmann, Cadence 
Tutorials:            	Leonardo de Moura, SRI
Webmasters:	      	Sudarshan Srinivasan, Georgia Tech
		      	Daron Vroon, Georgia Tech
Workshops:            	Ganesh Gopalakrishnan, Univ. Utah

TUTORIALS
========================================================================
Jason Baumgartner, IBM Corporation
Edmund M. Clarke, Carnegie Mellon University
Leonardo de Moura, SRI 
J Strother Moore, University of Texas at Austin

PROGRAM COMMITTEE
========================================================================
Clark Barrett, New York University, USA 
Jason Baumgartner, IBM Corporation, USA 
Valeria Bertacco, University of Michigan, USA 
Dominique Borrione, Grenoble University, France 
Supratik Chakraborty, Indian Institute of Technology Bombay, India
Alessandro Cimatti, Istituto per la Ricerca Scientifica e Tecnologica, Italy 
Edmund M. Clarke, Carnegie Mellon University, USA 
Leonardo de Moura, SRI International, USA 
Rolf Drechsler,  University of Bremen, Germany
Malay K. Ganai, NEC Laboratories America, USA  
Ganesh Gopalakrishnan, University of Utah, USA 
Susanne Graf, VERIMAG, France 
Orna Grumberg, Technion - Israel Institute of Technology, Israel 
Aarti Gupta, NEC Laboratories America, USA
Alan J. Hu, University of British Columbia, Canada 
Warren Hunt, University of Texas, USA 
Andreas Kuehlmann, Cadence Laboratories, USA
Panagiotis Manolios, Georgia Institute of Technology, USA      
Andy Martin, IBM Research Division, USA 
Ken McMillan, Cadence Labs, USA 
John O'Leary, Intel Corp., USA 
Wolfgang Paul, Saarland University, Germany 
Carl Pixley, Synopsys Inc., USA 
Amir Pnueli, NYU, USA 
Natarajan Shankar, SRI International, USA 
Mary Sheeran,  Chalmers University of Technology, Sweden 
Eli Singerman, Intel Corp., Israel 
Vigyan Singhal, Oski Technology, Inc., USA 
Anna Slobodova, Intel Corp., USA 
Fabio Somenzi, University of Colorado at Boulder, USA 
Richard Trefler, University of Waterloo, Canada 
Matthew Wilding, Rockwell Collins Inc., USA 
Yaron Wolfsthal, IBM, Israel
-------------- next part --------------
A non-text attachment was scrubbed...
Name: FMCAD-2006-Second-Call-For-Papers.pdf
Type: application/pdf
Size: 108636 bytes
Desc: not available
Url : http://mailman.science.ru.nl/pipermail/clean-list/attachments/20060406/162bdef5/FMCAD-2006-Second-Call-For-Papers-0001.pdf
-------------- next part --------------
------------------------------------------------------------------------
This e-mail was delivered to you by event at in.tu-clausthal.de, what is a
moderated list run by Computational Intelligence Group of Clausthal
University of Technology, Germany.  All event announcements sent through
this list are also listed in our conference planner at
http://cig.in.tu-clausthal.de/index.php?id=planner.
 
In the case of any requests, questions, or comments, do not hesitate and
contact event-owner at in.tu-clausthal.de ASAP.

If you want to unsubscribe from this list, please visit
http://www2.in.tu-clausthal.de/mailman/listinfo/event, or send an e-mail
to event-owner at in.tu-clausthal.de.

******************************************************
* CIG does not take any responsibility for validity  *
* of content of messages sent through this list.     *
******************************************************

Computational Intelligence Group
Department of Computer Science
Clausthal University of Technology
Germany
http://cig.in.tu-clausthal.de/