FCS-PrivMod 2010

Our apologies if you receive multiple copies of this announcement

+-------------------------------------------------------------------------+
!                                                                         !
!                          FCS-PrivMod 2010                               !
!                            Edinburgh, UK                                !
!                          July 14-15, 2010                               !
!              http://www.loria.fr/~cortier/FCS-PrivMod10/                !
!                                                                         !
!                           Affiliated with FLoC 2010                     !
!                                                                         !
+-------------------------------------------------------------------------+

IMPORTANT DATES
===============
Papers due: March 23, 2010
Notification: April 25, 2010

BACKGROUND, AIM AND SCOPE
=========================
Formal foundations for computer security have emerged in recent
years, including the formal specification and analysis of security
protocols, programming languages, access control systems, and their
applications. A particular aspect of security is personal
privacy, which may be threatened whenever users interact with services
and devices which are not directly under their control. From a user's
point of view, privacy is often seen as a part of security; but from a
service provider's point of view, privacy and security are often
opposites that have to be balanced with each other.

CFP: ANB 2010 at RISC-Linz

   ******************************************************************
   *                                                                *
   *                             ANB 2010                           *
   *                  International Conference on                   *
   *                 Algebraic and Numeric Biology                  *
   *                                                                *
   *                   July 31 - August 2, 2010                     *
   *                Castle of Hagenberg, Austria                    *
   *                                                                *
   *                                                                *
   *     http://www.risc.uni-linz.ac.at/conferences/anb2010/        *
   *                                                                *
   ******************************************************************

AIMS AND SCOPE
==============

Since 2005, we are organizing an international conference
"Algebraic Biology" that focuses on the application of computer
algebra, automated reasoning, hybrid algebraic and numeric
computation, which is also called symbolic computation, to all
types of problems from biology: AB'05, AB'07, and AB'08. These
conferences were quite successful. For the next issue of this
conference, we would like to extend the range of mathematical
methods.

In 2010, we will organize "Algebraic and Numeric Biology"
(ANB'10), which is renamed after our traditional name,
"Algebraic Biology", to consider its wider scope of mathematical

ICALP 2010: Submission Deadline: Feb 10, 2010

------------------------------------------------------------------------------
The Planet: dedicated and managed hosting, cloud storage, colocation
Stay online with enterprise data centers and the best network in the business
Choose flexible plans and management services without long-term contracts
Personal 24x7 support from experience hosting pros just a phone call away.
http://p.sf.net/sfu/theplanet-com

_______________________________________________
hol-info mailing list
hol-info <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[STACS] Second Call for Participation

------------------------------------------------------------------------------
The Planet: dedicated and managed hosting, cloud storage, colocation
Stay online with enterprise data centers and the best network in the business
Choose flexible plans and management services without long-term contracts
Personal 24x7 support from experience hosting pros just a phone call away.
http://p.sf.net/sfu/theplanet-com

_______________________________________________
hol-info mailing list
hol-info <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

DCC2010 -- Workshop on Designing Correct Circuits

I am taking the liberty of sending a message to this list to encourage
members to participate in the 2-day Workshop on Designing Correct
Circuits (DCC) being held on 20-21 March 2010 in conjunction with
ETAPS 2010 in Paphos, Cyprus, and to request them to bring this
invitation to any of their colleagues who might be interested.

DCC will bring together researchers from academia and industry for two
days of technical papers and discussion on formal methods in hardware
design and verification.  It will allow participants to learn about
the state of the art and is intended to spark a stimulating debate on
how more effective design and verification methods can be developed.

Much research in hardware verification now takes place in industry, as
well as in academia. For the long term survival of our field, we must
ensure that academics and industrial researchers get the best out of
each other in tackling the real problems facing microprocessor and
ASIC design, now and into the future. A major aim of this workshop is
to provide a congenial venue in which connections between the two
communities can be made.

Information about the programme can be found at the DCC website

     http://www.comlab.ox.ac.uk/dcc2010/

To register, go to the ETAPS 2010 website

     http://www.etaps10.cs.ucy.ac.cy/

ETAPS is a confederation of conferences, workshops, and tutorials.
You can register for different combinations of these -- or just for
the DCC workshop, if that's all you want to attend. See the ETAPS
registration website for full information on registration options and
fees, as well as accommodation.

Please note that citizens of certain contries will need visas in order
to enter Cyprus.  The ETAPS administration will be happy to issue
invitation letters to those who need them. The list of countries whose
nationals need a visa to visit Cyprus can be found at

     http://www.mfa.gov.cy/mfa/mfa2006.nsf/All/960B4B6AE154824EC225720B001FF75A?OpenDocument

(Citizens of the European Union and most American countries, including
Canada and the United States, are exempt from this requirement.)

I very much hope to see many of you in Cyprus next month, and I
apologise for sending this message to members whose interests are in
other fields.

Joe Stoy

------------------------------------------------------------------------------
The Planet: dedicated and managed hosting, cloud storage, colocation
Stay online with enterprise data centers and the best network in the business
Choose flexible plans and management services without long-term contracts
Personal 24x7 support from experience hosting pros just a phone call away.
http://p.sf.net/sfu/theplanet-com

DisCoTec 2010: Deadlines Extension

[We apologize for multiple copies]

====================================================================

                            DisCoTec 2010

              5th International Federated Conferences on
                   Distributed Computing Techniques

                    http://discotec.project.cwi.nl/

               Amsterdam, The Netherlands, 7-10 June 2010
====================================================================

** Due to numerous requests, the deadlines for the submission of 
** contributions to the DisCoTec conferences have been extended.

The DisCoTec series of federated conferences is one of the major
events sponsored by the International Federation for Information
processing (IFIP). The main conferences are:

   * COORDINATION
   * DAIS
   * FMOODS & FORTE

This year IFIP offers some travel grants for students and an award 
for the best paper of DisCoTec.

The DisCoTec invited speakers are:

Joe Armstrong, Ericsson Telecom AB 
Gerard Holzmann, Jet Propulsion Laboratory, USA 
Joost Roelandts, Director of Development Netlog

DisCoTec includes also the following satellite workshops:
* CAMPUS'10: 3rd Workshop on Context-aware Adaptation Mechanisms 
  for Pervasive and Ubiquitous Services 
* CS2Bio'10: 1st International Workshop on Interactions between 
  Computer Science and Biology
* DCDP'10: Decentralized Coordination of Distributed Processes
* ICE'10: 3rd Interaction and Concurrency Experience

The main conferences share the same deadlines:

* Important Dates *

February 15, 2010   Abstract Submission (EXTENDED)
February 19, 2010   Paper Submission (EXTENDED)
March 19, 2010      Notification of Acceptance
April 02, 2010      Camera ready version
June 07-09, 2010    Conference
June 10, 2010       Workshops

* General Chair *
Frank S. de Boer              CWI, Netherlands

* Publicity Chair *
Gianluigi Zavattaro           University of Bologna, Italy

* Workshops Chair *
Marcello M. Bonsangue         University of Leiden, Netherlands

* Advisory Board *
John Derrick                  University of Sheffield, UK
Einar Broch Johnsen           University of Oslo, Norway
Elie Najm                     Technical University of Paris, France
Rocco De Nicola               University of Florence, Italy
George Angelos Papadopoulos   University of Cyprus, Cyprus
Antonio Ravara                University of Lisboa, Portugal
Gianluigi Zavattaro           University of Bologna, Italy

--------------------------------------------------------------------

                            COORDINATION
 12th International Conference on Coordination Models and Languages
             http://discotec.project.cwi.nl/COORDINATION

--------------------------------------------------------------------

* Scope *

Coordination 2010 seeks high-quality papers on programming languages
and coordination models, middleware, services, and algorithms that
separate behavior from interaction, therefore increasing modularity,
simplifying reasoning, and ultimately enhancing software
development. The conference focuses on the design and implementation
of models that allow compositional construction of large-scale
concurrent and distributed systems, including both practical and
foundational models, run-time systems, and related verification and
analysis techniques.

Past incarnations of Coordination have emphasized foundations.
However, given the increasing importance of concurrency in almost
every software domain, the organizers of Coordination 2010 are keen
to provide a strong forum for high-quality papers that address
practical aspects of concurrent programming models; for example,
application of concurrency to novel domains, comparisons of
alternative programming models on important problems, or
domain-specific languages.

* Publication *

Each paper will undergo a thorough process of review and the
conference proceedings will be published by Springer-Verlag in the
LNCS series.

* Program Committee Chairs *

Dave Clarke   Katholieke Universiteit Leuven, Belgium
Gul Agha      University of Illinois at Urbana-Champaign, USA

--------------------------------------------------------------------

                                DAIS
                10th IFIP International Conference on
          Distributed Applications and Interoperable Systems
                 http://discotec.project.cwi.nl/DAIS

--------------------------------------------------------------------

* Scope *

The DAIS conference series addresses all aspects of distributed
applications, including their design, implementation and operation,
the supporting middleware, appropriate software engineering
methodologies and tools, as well as experimental studies and
practice reports. This time we welcome in particular contributions
on architectures, models, technologies and platforms for large scale
and complex distributed applications and services that are related
to the latest trends towards bridging the physical/virtual worlds
based on flexible and versatile service architectures and platforms.

* Publication *

Each paper will undergo a thorough process of review and the
conference proceedings will be published by Springer-Verlag in the
LNCS series.

Extended versions of selected best papers published in DAIS'10 will
be invited for publication in a dedicated special issue of
Wiley Software: Practice and Experience

* Program Committee Chairs *

Frank Eliassen     University of Oslo, Norway
Ruediger Kapitza   University of Erlangen, Germany

--------------------------------------------------------------------

                           FMOODS & FORTE
                12th IFIP International Conference on
      Formal Methods for Open Object-based Distributed Systems
                30th IFIP International Conference on
      FORmal TEchniques for Networked and Distributed Systems
             http://discotec.project.cwi.nl/FmoodsForte

--------------------------------------------------------------------

* Scope *

The joined conference FMOODS & FORTE is a forum for fundamental 
research on theory and applications of distributed systems. The 
conference solicits original contributions that advance the science 
and technologies for distributed systems, in particular 
in the areas of:

   * component- and model-based design
   * object technology, modularity, software adaptation
   * service-oriented, ubiquitous, pervasive, grid and mobile
     computing
   * software quality, reliability and security

The conference encourages contributions that combine theory and 
practice, address problems from the development of distributed 
systems, and present novel solutions with formal methods and 
theoretical foundations. FMOODS & FORTE covers distributed computing 
models and formal specification, testing and verification methods. 
The application domains include all kinds of application-level 
distributed systems, telecommunication services, Internet, embedded 
and real time systems, as well as networking and communication 
security and reliability.

* Publication *

Each paper will undergo a thorough process of review and the
conference proceedings will be published by Springer-Verlag in the
LNCS series.

* Program Committee Chairs *

John Hatcliff   Kansas State University, United States of America
Elena Zucca     University of Genoa, Italy

------------------------------------------------------------------------------
SOLARIS 10 is the OS for Data Centers - provides features such as DTrace,
Predictive Self Healing and Award Winning ZFS. Get Solaris 10 NOW
http://p.sf.net/sfu/solaris-dev2dev

PLMMS 2010 Call for Papers

-------------------------------------------------------------------
                    First CALL FOR PAPERS
-------------------------------------------------------------------
  In co-operation with ACM SIGSAM, the International Workshop on

  Programming Languages for Mechanized Mathematics Systems
  (PLMMS 2010)

  Part of CICM-2010, in CNAM, Paris, France; 8th of July 2010
-------------------------------------------------------------------

Important Dates
---------------

 * Abstract submission:        Fri 26 March 2010
 * Paper submission:           Fri 9 April 2010
 * Reviews sent to authors:    Mon 10 May 2010
 * Author's response deadline: Mon 17 May 2010
 * Notification of acceptance: Mon 24 May 2010
 * Camera ready copy due:      Mon 7 June 2010
 * Workshop:                   Thu 8 July 2010

PLMMS Scope
-----------

The program committee welcomes submissions on programming language
issues related to all aspects of mechanised mathematics systems
(MMS). In particular:

 - Mathematical algorithms
 - Tactics and proof search
 - Proofs
 - Mathematical notation

Of particular interest are the dimensions of:

 - Expressiveness
 - Efficiency
 - Correctness
 - Understandability and Usability
 - Modularity and Extensibility
 - Design and implementation

Mechanised mathematics systems, whether stand-alone or embedded in
larger systems, include but are not limited to:

 - Dependent typed programming languages
 - Proof assistants
 - Computer algebra systems
 - Proof planning systems
 - Theorem proving systems
 - Theory formation systems

These issues have a very colourful history. Why are all the languages
of mainstream computer algebra systems untyped?  Why are the (strongly
typed) proof assistants so much harder to use than a typical computer
algebra systems?  What forms of polymorphism exist in mathematics?
What forms of dependent types may be used in mathematical modelling?
How can MMS regain the upper hand on issues of "genericity" and
"modularity"?  What are the biggest barriers when using more
mainstream languages for computer algebra systems, proof assistants or
theorems provers?

Many programming language innovations appeared in either computer
algebra or proof systems first, before migrating into more mainstream
programming languages.  This workshop is an opportunity to present the
latest innovations in the design of MMS that may be relevant to future
programming languages, or conversely novel programming language
principles that improve upon the implementation and deployment of MMS.

Submission Details
------------------

Accepted papers will appear in the ACM Digital Library.

Papers should be submitted via the PLMMS 2010 easychair website:

http://www.easychair.org/conferences/?conf=plmms2010

Submissions must describe original unpublished work which is not been
submitted for publication elsewhere. At least one author of each
accepted paper is expected to attend PLMMS 2010 and present her or his
paper. Papers should be no more than 8 pages in length and are to be
submitted in PDF format. They must conform to the ACM SIGPLAN style
guidelines using 9-point font size (see
http://www.acm.org/sigs/sigplan/authorInformation.htm - this also
provides latex templates). Each submission must also adhere to
SIGPLAN's republication policy
(http://www.sigplan.org/republicationpolicy.htm). Papers will be
reviewed by at least three reviewers and the authors will have an
opportunity for rebuttal by the response deadline.

Links
-----

  * http://www.easychair.org/conferences/?conf=plmms2010
    abstract and paper submission webpage

  * ttp://www.acm.org/sigs/sigplan/authorInformation.htm
    submission style guide

  * http://www.sigplan.org/republicationpolicy.htm
    republication policy

  * http://dream.inf.ed.ac.uk/events/plmms-2010/
    the PLMMS 2010 web site

  * http://cicm2010.cnam.fr/
    the CICM 2010 conference web site

Program Committee
-----------------

 * Thorsten Altenkirch (University of Nottingham, UK)
 * Serge Autexier (DFKI, Germany)
 * David Delahaye (CNAM, Paris, France)
 * James Davenport [PC co-chair] (University of Bath, UK)
 * Lucas Dixon [PC co-chair] (University of Edinburgh, UK)
 * Gudmund Grov (University of Edinburgh, UK)
 * Ewen Maclean (University of Herriot Watt, UK)
 * Dale Miller (INRIA, France)
 * Gabriel Dos Reis (Texas A&M University, USA)
 * Carsten Schuermann (IT University of Copenhagen, Denmark)
 * Tim Sheard (Portland State University, USA)
 * Sergei Soloviev (IRIT, Toulouse, France)
 * Stephen Watt (The University of Western Ontario, Canada)
 * Makarius Wenzel (ITU Munich, Germany)
 * Freek Wiedijk (Radboud University Nijmegen, Netherlands)

--

-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

------------------------------------------------------------------------------
SOLARIS 10 is the OS for Data Centers - provides features such as DTrace,
Predictive Self Healing and Award Winning ZFS. Get Solaris 10 NOW
http://p.sf.net/sfu/solaris-dev2dev

FMICS 2010: Preliminary Call for Paper

------- Apologies for multiple copies -------

**********************************************************************
*                   15th International Workshop on                   *
*           Formal Methods for Industrial Critical Systems           *
*                             FMICS 2010                             *
*                 http://es.fbk.eu/events/fmics2010                  *
*                                                                    *
*                       September 20-21, 2010                        *
*                          Antwerp, Belgium                          *
**********************************************************************

IMPORTANT DATES
---------------
Deadline for abstracts:                   10 April 2010
Deadline for papers:                      18 April 2010
Accept/Reject notification:                1 June  2010
Camera-ready version:                      1 July  2010
Workshop:                          20-21 September 2010

SCOPE OF THE WORKSHOP
---------------------

The  aim of  the  FMICS workshop  series  is to  provide  a forum  for
researchers who  are interested in the development  and application of
formal  methods  in industry.  In  particular,  these workshops  bring
together  scientists and  engineers that  are  active in  the area  of
formal methods  and interested in exchanging their  experiences in the
industrial  usage of  these methods.  These workshops  also  strive to
promote research and development for the improvement of formal methods
and tools for industrial applications.

Topics include, but are not restricted to:
* Design, specification,  code generation and testing  based on formal
  methods.
* Methods,  techniques  and   tools  to  support  automated  analysis,
  certification, debugging,  learning, optimization and transformation
  of complex, distributed, real-time systems and embedded systems.
* Verification  and validation  methods that  address  shortcomings of
  existing  methods  with respect  to  their industrial  applicability
  (e.g., scalability and usability issues).
* Tools for the development of formal design descriptions.
* Case studies  and experience  reports on industrial  applications of
  formal methods, focusing on lessons learned or identification of new
  research directions.
* Impact of the adoption of  formal methods on the development process
  and associated costs.
* Application of formal methods in standardization and industrial forums.

INVITED SPEAKERS
----------------
To be announced

CO-CHAIRS
---------
Stefan Kowalewski           (RWTH-Aachen, Germany)
Marco Roveri                (FBK-irst, Italy)

PROGRAM COMMITTEE
-------------------
Aarti Gupta             (NEC Labs, US) 
Andreas Podelski        (University of Freiburg, Germany) 
Andy King               (Portcullis Computer Security) 
Barbara Jobstman        (VERIMAG, France) 
Christophe Joubert      (Technical University of Valencia, Spain) 
Daniel Kroening         (ETH Zürich, Switzerland) 
Diego Latella           (CNR/IST Pisa, It) 
Dino Distefano          (Queen Mary, University of London, UK) 
Francois Pilarski       (Airbus, France) 
Holger Hermanns         (Universität des Saarlandes, Germany) 
Hubert Garavel          (INRIA Rhône-Alpes, France) 
Jaco van de Pol         (Universiteit Twente, The Netherlands) 
Jakob Rehof             (Technische Universität Dortmund, Germany) 
J. José Moreno-Navarro  (Universidad Politécnica de Madrid, Spain) 
Jörg Brauer             (RWTH Aachen, Germany) 
Lubos Brim              (Masarykova Univerzita, Czech Republic) 
Marco Roveri            (FBK-irst, Italy) 
Pedro Merino            (Universidad de Málaga, Spain) 
Radu Mateescu           (INRIA Rhone-Alpes, France) 
Stefan Kowalewski       (RWTH Aachen, Germany) 
Stefania Gnesi          (ISTI-CNR, Italy) 
Thierry Lecomte         (ClearSy, France) 
Thomas Kropf            (Bosch, Germany) 
Thomas Santen           (Microsoft European Innovation Center) 
Wan Fokkink             (Vrije Universiteit Amsterdam, Netherlands) 
Wilfried Steiner        (TTTech, Austria) 

ERCIM FMICS WG COORDINATOR
--------------------------
Alessandro Fantechi (Univ. degli Studi di Firenze and ISTI-CNR, Italy)

PAPER SUBMISSIONS
-----------------
Submissions must be made electronically.

Papers should  be up to  16 pages in  LNCS format, with the  names and
affiliations   of   the   authors   and  a   clear   and   informative
abstract.  Additional details  may  be included  in  a clearly  marked
appendix,  which  will  be  read  at the  discretion  of  the  program
committee. All submissions must report on original research.

Submitted papers  must not  have previously appeared  in a  journal or
conference  with published  proceedings and  must not  be concurrently
submitted to  any other peer-reviewed  workshop, symposium, conference
or archival  journal. Any partial  overlap with any such  published or
concurrently submitted paper must be clearly indicated.

Case   study  papers   should  identify   lessons   learned,  validate
theoretical  results  (such as  scalability  of  methods), or  provide
specific motivation for further research and development.

Workshop proceedings  will be published in the Springer series Lecture
Notes in Computer Science (LNCS).

CO-LOCATION
-----------
FMICS  2010  is  co-located   with  the  25th  IEEE/ACM  International
Conference    on    Automated    Software   Engineering    (ASE-2010).
For latest information on ASE 2010, please visit
http://soft.vub.ac.be/ase2010

------------------------------------------------------------------------------
SOLARIS 10 is the OS for Data Centers - provides features such as DTrace,
Predictive Self Healing and Award Winning ZFS. Get Solaris 10 NOW
http://p.sf.net/sfu/solaris-dev2dev

_______________________________________________
hol-info mailing list
hol-info <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[CFP] Hardware Verification Workshop + Model Checking Competition (HWVW'10)

==============================================================

We apologize if you receive multiple copies of this CFP.
Please distribute to anyone who may be interested.

==============================================================

		  Call for Papers

*********************************************************

      First Hardware Verification Workshop 2010
	      http://fmv.jku.at/hwvw10

		   July 15, 2010
	      Edinburgh, United Kingdom
	  affiliated with CAV'10 at FLOC'10

*********************************************************

HWVW'10 is the first workshop devoted to formal verification of
hardware design. Formal verification methods, and model checking in
particular, are extensively used in the industry where they are relied
upon to ensure quality and robustness. However, design size and
complexity are growing faster than verification capacity.

This phenomenon, known as the "verification gap", is one of the biggest
concerns in the industry; yet recently we have seen a steady dwindling
in the number of publications that specifically target hardware.
The purpose of this workshop is to rekindle the interest in and
enthusiasm for hardware verification. We aim to encourage new and daring
directions, provide a stage for ideas in early developmental stages,
and initiate discussions defining the challenges that remain to be
tackled. The scope of the workshop will include both general research
in formal verification techniques for hardware as well as specific
issues related to the development of model checking tools.

The workshop will include the Hardware Model Checking Competition,
which is the third event in this series. Researchers from both academia
and industry are invited to submit solvers and benchmark examples.
We also welcome tool descriptions that describe unique features and
implementation details of model checkers submitted to the competition.

----------------------------------------------------------------

Topics of interest to the workshop include, but are not limited to:

  - model checking technology and system descriptions
  - improvements in reasoning engines related to verification
  - formal approaches to synthesis, modelling, and verification
  - formal verification technology in synthesis
  - applications and case studies in verification

Focus is on hardware but closely related work on embedded software
or SW/HW codesign is also welcome.

----------------------------------------------------------------

Invited speakers:

Cindy Eisner, IBM Haifa Research Lab, Israel
Sharad Malik, Princeton University, USA

----------------------------------------------------------------

Authors of original papers accepted to HWVW'10 will be invited
to submit an extended journal version of their work to a
special issue of Formal Methods in System Design (FMSD).

----------------------------------------------------------------

Paper submission:

Papers should be written in LaTeX using the LNCS format
without modifications to the default configuration.

Three types of paper submissions are solicited:

(1) Original papers, containing research not published elsewhere.
    These will be considered for the special issue in FMSD.
    (page limit: 12 pages)

(2) Early stage papers, containing new and exciting ideas that have not
    yet developed into validated results.
    (page limit: 8 pages)

(3) Presentation only talks, describing recently published work that
    is of interest to this community.
    (one page abstract + original paper)

Paper submission is handled through EasyChair:

http://www.easychair.org/conferences/?conf=hwvw10

----------------------------------------------------------------

Important dates for paper submission:

Submission deadline:   March 26, 2010
Author notification:   April 23, 2010
Workshop:              July 15, 2010

----------------------------------------------------------------

For the model checking competition we solicit:

Hardware model checking benchmarks, preferably in the AIGER
format (see http://fmv.jku.at/aiger).  At this point we will
use one single safety property per benchmark. Models with
multiple safety properties will be split into multiple
benchmarks.  Please contact the competition chairs if
you want to submit benchmarks in other formats or benchmarks
with different characteristics.

Model checkers should be able to read the AIGER format and
also produce witnesses according to the AIGER standard.
See again the AIGER format description available at
http://fmv.jku.at/aiger.  If your model checker can not
read AIGER or can not produce proper AIGER witness
please contact the competition chairs.

The computing platform consists of 64-bit x86 Linux machines,
which of course also can run 32-bit binaries.  There will
be a memory limit of 7 GB and a time limit of 900 seconds.

We would prefer to have benchmarks that can be published at least
for academic research, but for model checkers we do not require
to release source code nor to publish a binary.  The submission
can be a binary executable only and will be kept confidential.

Benchmarks and model checker submission is handled via Email.
Please contact Armin Biere <biere <at> jku.at> for more details.

----------------------------------------------------------------

Important dates for benchmark and model checker submission:

Benchmark submission:       May 28, 2010
Model checker submission:   June 4, 2010
Competition results:        July 15, 2010

----------------------------------------------------------------

HWVW'10 Chairs:

Armin Biere, Johannes Kepler University, Austria
Karen Yorav, IBM, Israel

MC competition chairs:

Armin Biere, Johannes Kepler University, Austria
Koen Claessen, Chalmers University of Technology, Sweden

Program Committee:

Armin Biere, Johannes Kepler University, Austria
Roderick Bloem, Graz University of Technology, Austria
Alessandro Cimatti, FBK-IRST, Italy
Koen Claessen, Chalmers University of Technology, Sweden
Zurab Khasidashvili, Intel, Israel
Daniel Kroening, University of Oxford, United Kingdom
Sanjit Seshia, University of California, Berkeley, USA
Karen Yorav, IBM, Israel

------------------------------------------------------------------------------
SOLARIS 10 is the OS for Data Centers - provides features such as DTrace,
Predictive Self Healing and Award Winning ZFS. Get Solaris 10 NOW
http://p.sf.net/sfu/solaris-dev2dev

FMICS 2010: Preliminary Call for Paper

------- Apologies for multiple copies -------

**********************************************************************
*                   15th International Workshop on                   *
*           Formal Methods for Industrial Critical Systems           *
*                             FMICS 2010                             *
*                 http://es.fbk.eu/events/fmics2010                  *
*                                                                    *
*                       September 20-21, 2010                        *
*                          Antwerp, Belgium                          *
**********************************************************************

IMPORTANT DATES
---------------
Deadline for abstracts:                   10 April 2010
Deadline for papers:                      18 April 2010
Accept/Reject notification:                1 June  2010
Camera-ready version:                      1 July  2010
Workshop:                          20-21 September 2010

SCOPE OF THE WORKSHOP
---------------------

The  aim of  the  FMICS workshop  series  is to  provide  a forum  for
researchers who  are interested in the development  and application of
formal  methods  in industry.  In  particular,  these workshops  bring
together  scientists and  engineers that  are  active in  the area  of
formal methods  and interested in exchanging their  experiences in the
industrial  usage of  these methods.  These workshops  also  strive to
promote research and development for the improvement of formal methods
and tools for industrial applications.

Topics include, but are not restricted to:
* Design, specification,  code generation and testing  based on formal
  methods.
* Methods,  techniques  and   tools  to  support  automated  analysis,
  certification, debugging,  learning, optimization and transformation
  of complex, distributed, real-time systems and embedded systems.
* Verification  and validation  methods that  address  shortcomings of
  existing  methods  with respect  to  their industrial  applicability
  (e.g., scalability and usability issues).
* Tools for the development of formal design descriptions.
* Case studies  and experience  reports on industrial  applications of
  formal methods, focusing on lessons learned or identification of new
  research directions.
* Impact of the adoption of  formal methods on the development process
  and associated costs.
* Application of formal methods in standardization and industrial forums.

INVITED SPEAKERS
----------------
To be announced

CO-CHAIRS
---------
Stefan Kowalewski           (RWTH-Aachen, Germany)
Marco Roveri                (FBK-irst, Italy)

PROGRAM COMMITTEE
-------------------
Aarti Gupta             (NEC Labs, US) 
Andreas Podelski        (University of Freiburg, Germany) 
Andy King               (Portcullis Computer Security) 
Barbara Jobstman        (VERIMAG, France) 
Christophe Joubert      (Technical University of Valencia, Spain) 
Daniel Kroening         (ETH Zürich, Switzerland) 
Diego Latella           (CNR/IST Pisa, It) 
Dino Distefano          (Queen Mary, University of London, UK) 
Francois Pilarski       (Airbus, France) 
Holger Hermanns         (Universität des Saarlandes, Germany) 
Hubert Garavel          (INRIA Rhône-Alpes, France) 
Jaco van de Pol         (Universiteit Twente, The Netherlands) 
Jakob Rehof             (Technische Universität Dortmund, Germany) 
J. José Moreno-Navarro  (Universidad Politécnica de Madrid, Spain) 
Jörg Brauer             (RWTH Aachen, Germany) 
Lubos Brim              (Masarykova Univerzita, Czech Republic) 
Marco Roveri            (FBK-irst, Italy) 
Pedro Merino            (Universidad de Málaga, Spain) 
Radu Mateescu           (INRIA Rhone-Alpes, France) 
Stefan Kowalewski       (RWTH Aachen, Germany) 
Stefania Gnesi          (ISTI-CNR, Italy) 
Thierry Lecomte         (ClearSy, France) 
Thomas Kropf            (Bosch, Germany) 
Thomas Santen           (Microsoft European Innovation Center) 
Wan Fokkink             (Vrije Universiteit Amsterdam, Netherlands) 
Wilfried Steiner        (TTTech, Austria) 

ERCIM FMICS WG COORDINATOR
--------------------------
Alessandro Fantechi (Univ. degli Studi di Firenze and ISTI-CNR, Italy)

PAPER SUBMISSIONS
-----------------
Submissions must be made electronically.

Papers should  be up to  16 pages in  LNCS format, with the  names and
affiliations   of   the   authors   and  a   clear   and   informative
abstract.  Additional details  may  be included  in  a clearly  marked
appendix,  which  will  be  read  at the  discretion  of  the  program
committee. All submissions must report on original research.

Submitted papers  must not  have previously appeared  in a  journal or
conference  with published  proceedings and  must not  be concurrently
submitted to  any other peer-reviewed  workshop, symposium, conference
or archival  journal. Any partial  overlap with any such  published or
concurrently submitted paper must be clearly indicated.

Case   study  papers   should  identify   lessons   learned,  validate
theoretical  results  (such as  scalability  of  methods), or  provide
specific motivation for further research and development.

Workshop proceedings  will be published in the Springer series Lecture
Notes in Computer Science (LNCS).

CO-LOCATION
-----------
FMICS  2010  is  co-located   with  the  25th  IEEE/ACM  International
Conference    on    Automated    Software   Engineering    (ASE-2010).
For latest information on ASE 2010, please visit
http://soft.vub.ac.be/ase2010

------------------------------------------------------------------------------
SOLARIS 10 is the OS for Data Centers - provides features such as DTrace,
Predictive Self Healing and Award Winning ZFS. Get Solaris 10 NOW
http://p.sf.net/sfu/solaris-dev2dev