coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] iFM 2010: final CFP and deadline extension

From: Stephan Merz <Stephan.Merz AT loria.fr>
To: petrinet AT informatik.uni-hamburg.de, concurrency AT cwi.nl, easst-members AT cs.uni-potsdam.de, emsoft AT cs.columbia.edu, lics AT informatik.hu-berlin.de, procos AT jicsmail.ac.uk, types-announce AT lists.seas.upenn.edu, pvs AT csl.sri.com, theorem-provers AT ai.mit.edu, isabelle-users <isabelle-users AT cl.cam.ac.uk>, coq-club AT inria.fr, nusmv-users AT list.fbk.eu, acl2 AT utlists.utexas.edu, ai AT cs.man.ac.uk, aiia AT di.unito.it, announcements AT lists.artist-embedded.org, calculemus-ig AT ags.uni-sb.de, dl AT dl.kr.org, fmcad AT utlists.utexas.edu, fmics AT inrialpes.fr, fm-info AT air16.larc.nasa.gov, hol-info AT lists.sourceforge.net, laas-dependability-announce AT laas.fr, lfcs-interest AT dcs.ed.ac.uk, logic AT cs.stanford.edu, metaprl AT metaprl.org, newsletter AT aarinc.org, om-announce AT openmath.org, prog-lang AT diku.dk, puml-list AT cs.york.ac.uk, relmics-l AT mcmaster.ca, rewriting AT ens-lyon.fr, theory-logic AT cs.cmu.edu, vdm-forum AT jiscmail.ac.uk, zforum AT prg.ox.ac.uk, smt-lib AT cs.nyu.edu, ecoop-info AT ecoop.org
Subject: [Coq-Club] iFM 2010: final CFP and deadline extension
Date: Tue, 11 May 2010 11:24:45 -0400

[New information: extended deadlines, invited speakers, satellite events]

Apologies for multiple copies of this CFP
----------------------------------------------------------------------------------------------------

CALL FOR PAPERS

8th International Conference on Integrated Formal Methods (iFM 2010)

October 11-14, 2010, Nancy, France

http://ifm2010.loria.fr/

Applying formal methods may involve the modeling of different aspects of a
system that are expressed through different paradigms. Correspondingly,
different analysis techniques will be used to examine differently modeled
system views, different kinds of properties, or simply in order to cope with
the       sheer complexity of the system. The iFM conference series seeks to
further research into the combination of (formal and semi-formal) methods for
system development, regarding modeling and analysis, and covering all aspects
from language design through verification and analysis techniques to tools
and their integration into software engineering practice.

Areas of interest include but are not limited to:

- Integration of formal modeling and analysis methods
- Integration of formal and semi-formal modeling and analysis methods
- Integration of formal methods into software engineering practice
- Semantics, Logics, Type systems
- Verification, Model checking, Static analysis, Theorem proving
- Refinement, Model transformations
- Tools, Experience reports, Case studies

Invited Speakers:

- Christel Baier, TU Dresden
- John Fitzgerald, Newcastle University
- Rajeev Joshi, Laboratory for Reliable Software, JPL

iFM 2010 solicits high quality papers reporting research results and/or
experience reports related to the overall theme of method integration. All
papers must be original, unpublished, and not submitted for publication
elsewhere. Submission will be electronically as PDF or Postscript, using the
Springer  LNCS format. Papers should not exceed 15 pages in length. Each
paper will undergo a thorough review process. The conference proceedings will
be published by Springer Verlag in the LNCS series.

Important Dates:

- Abstract submission: May 21, 2010  (* extended *)
- Full paper submission: May 28, 2010  (*extended *)
- Notification: July 4, 2010
- Final version: July 18, 2010

Satellite events:

- Workshop "Formal Methods for Web Data Trust and Security" (WTS 2010)
  http://acxml.gforge.inria.fr/WTS10
- Tutorial "Verification of C# programs using Spec# and Boogie 2" by Rosemary
Monahan
- Tutorial "The TLA+ Proof System" by Denis Cousineau and Stephan Merz

Contact:
ifm2010 AT loria.fr

[Coq-Club] iFM 2010: final CFP and deadline extension, Stephan Merz