Apologies if you receive multiple copies of this message.
======================================================================
CALL FOR PAPERS
SMC99
FLoC'99 Workshop on Symbolic Model Checking
July 6, 1999, Trento, Italy
http://afrodite.itc.it:1024/~cimatti/smc99/
SCOPE OF THE WORKSHOP
Symbolic model checking is a formal technique for the verification of
finite-state concurrent systems. Symbolic model checkers (e.g. SMV,
VIS) have been used to verify industrial systems, ranging from
hardware to communication protocols to safety critical plants and
procedures. Symbolic model checking is applied in technology transfer
projects, and is the core technique for several industrial
verification tools.
The aim of the workshop is to bring together active developers and
users of symbolic model checkers, compare state of the art model
checking techniques (e.g. compositional reasoning, abstraction,
partitioning), discuss experimental results and experience reports,
and promising directions for future research.
SUBMISSION INFORMATION
A submission should include an extended abstract not exceeding ten
(10) pages. The submission should contain original research, and
sufficient detail to assess the merits and relevance of the
contribution. Simultaneous submission to other conferences with
proceedings is allowed. However, only original material will be
published.
All submissions should be sent to the organizers in postscript format
by March 26, 1999. Authors are encouraged to follow the LNCS
instructions when writing their submission. Accepted contributions
will be included in the workshop proceedings, which will be available
at the workshop and on the workshop web page. Selected papers will be
considered to be published on a journal special issue.
IMPORTANT DATES
Submission deadline: March 26
Notification of acceptance: May 17
Final version due: June 13
SMC99: July 6
CAV & CADE: July 7 - 10
LICS & RTA: July 2 - 5
KEYNOTE SPEAKERS
* Ken McMillan (Cadence Labs, USA)
* Fabio Somenzi (University of Colorado, USA)
COSTS
Workshop attendance will include participants proceedings, coffee
breaks and lunch. There may be a small fee for attending the workshop,
but we will try to keep this at a minimum. Please register your
participation, so that we can guarantee enough proceedings and
lunches.
WORKSHOP ORGANIZERS
* Alessandro Cimatti, IRST, Trento, Italy. Email: [EMAIL PROTECTED]
* Orna Grumberg, Technion, Haifa, Israel. Email: [EMAIL PROTECTED]
PROGRAM COMMITTEE
* Adnan Aziz (University of Texas at Austin, USA)
* Sergio Campos (Federal University of Minas Gerais, Brazil)
* Alessandro Cimatti (IRST, Italy)
* Edmund Clarke (Carnegie Mellon University, USA)
* Danny Geist (IBM Haifa, Israel)
* Fausto Giunchiglia (IRST, Italy)
* Orna Grumberg (Technion, Israel)
* Markus Kaltenbach (Siemens, Germany)
* Carl Pixley (Motorola, USA)
LOCAL ORGANIZATION
* Adolfo Villafiorita, IRST, Trento, Italy.
Email: [EMAIL PROTECTED]
USEFUL LINKS
SMC'99: http://afrodite.itc.it:1024/~cimatti/smc99/
CAV'99: http://www-verimag.imag.fr/CAV99
CADE'99: http://www.mpi-sb.mpg.de/cade-16
LICS'99: http://www-rocq.inria.fr/verso/lics/currlics.html
RTA'99: http://rta99.loria.fr/
FLoC'99: http://www-rocq.inria.fr/verso/floc99/
