News 
Fri, 11 Dec 2009 12:54:12 GMT - FMICS 2009 report has been published on
ERCIM's news wire and will go in
ERCIM News magazine, number 80.
Thu, 19 Nov 2009 17:26:34 GMT - This year, the
EASST award was given to
Bárbara Vieira from Universidade do Minho, Braga, Portugal for the paper
Verifying Cryptographic Software Correctness With Respect to Reference Implementations, written together with José Bacelar Almeida, Manuel Barbosa and Jorge Sousa Pinto.
Thu, 19 Nov 2009 17:02:12 GMT - Some photos of the FMICS 2009 workshop are available
online.
Wed, 28 Oct 2009 15:12:25 GMT - FMICS 2009 proceedings have been published in the LNCS series, volume 5825, of Springer. Full content is available
online.
Mon, 26 Oct 2009 16:32:12 GMT - FMICS 2009 social dinner will take place in the
Boekencafé Restaurant Schrijvers restaurant, Dommelstraat 24, 5611 CL Eindhoven, The Netherlands, located in the city center of Eindhoven (see FMICS 2009 google map on the registration page) on Monday 2nd November at 19:30.
Tue, 6 Oct 2009 10:02:23 GMT - FMICS 2009 final program is now online (
html,
pdf,
txt).
Wed, 9 Sep 2009 16:08:56 GMT - You can book a hotel for your stay in Eindhoven using the FMweek registration system. A
selection of hotels is offered at reduced rates through the Congress Bureau.
Wed, 9 Sep 2009 10:00:21 GMT - The call for participation to the 14th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009) is available
online. For further information, please visit the conference website or contact the workshop chair (Christophe Joubert).
Mon, 3 Aug 2009 12:12:57 GMT - Registration
site and
guide for all FMweek events and meetings, including FMICS 2009, is now open. Participants can make their registration and hotel reservation for their stay in Eindhoven, all in one process. Early registration must be done before September 14, 2009.
Fri, 31 Jul 2009 09:41:23 GMT - FMICS 2009 preliminary program is now online (
html,
pdf,
txt).
Thu, 30 Jul 2009 12:08:51 GMT - LNCS FMICS 2008 proceedings are now online. You can find information about the previous LNCS 5596 book of FMICS 2008
here or access the
online version.
Tue, 21 Jul 2009 09:23:13 GMT - List of invited talks to FMICS 2009 available online. This year, FMICS will feature four outstanding invited speakers - two outstanding scientists (Dino Distefano and Diego Latella) and two prominent industrialists (Thierry Lecomte and Ken McMillan) working in top companies (ClearSy and Cadence) with an emphasis on formal methods for critical systems.
Thu, 25 Jun 2009 10:36:42 GMT - List of accepted posters to FMICS 2009 available online.
Wed, 17 Jun 2009 19:17:23 GMT - List of accepted papers to FMICS 2009 available online.
Fri, 8 May 2009 12:59:00 GMT - Attention Practitioners of Formal Methods: FMICS 2009 wants to Gain advantage of your Experience! FMICS 2009 is actively soliciting practitioners to present posters that describe how formal methods work in real-world, industrial critical systems.
Mon, 20 Apr 2009 09:08:00 GMT - FME has formally decided to support FMICS 2009 in Eindhoven.
Wed, 15 Apr 2009 21:23:00 GMT - New deadline for abstracts and papers (
http://www.dsic.upv.es/workshops/fmics2009/dates.php).
Fri, 27 Mar 2009 16:23:00 GMT - The FMICS 2009 poster is now available for download on the FMICS 2009 website (
http://www.dsic.upv.es/workshops/fmics2009/cfp.php).
Fri, 27 Mar 2009 15:07:00 GMT - The invited speakers for FMICS 2009 are: Dino Distefano (Queen Mary, University of London, UK), Diego Latella (ISTI-CNR, Italy), Thierry Lecomte (ClearSy, France), Ken McMillan (Cadence, USA).
Tue, 20 Jan 2009 18:12:00 GMT - A news webpage and RSS feed service are available on the FMICS 2009 website for latest news. Just click on the RSS logo
and subscribe it.
Tue, 20 Jan 2009 17:42:00 GMT - The submission page si now active and can be accessed at
http://www.easychair.org/conferences/?conf=fmics2009.
Tue, 20 Jan 2009 11:23:00 GMT - Springer has confirmed that the proceedings will be published in their Lecture Notes in Computer Science series.
Sun, 4 Jan 2009 13:51:00 GMT - FMICS is part of the first Formal Methods Week (FMweek), which will bring together a choice of events in the area, including TESTCOM/FATES (Conference on Testing of Communicating Systems and Workshop on Formal Approaches to Testing of Software), FACS (Formal Aspects of Component Software), PDMC (Parallel and Distributed Methods of verifiCation), FM2009 (Symposium of Formal Methods Europe), CPA (Communicating Process Architectures), FAST (Formal Aspects of Security and Trust), FMCO (Formal Methods for Components and Objects), and the REFINE Workshop. For the latest information on FMweek, see the FMWeek webpage.
Tue, 11 Nov 2008 14:36:00 GMT - Since 2001, a tradition of FMICS workshop is that the best presented paper receives an award from EASST, the European Association of Software Science and Technology. EASST has confirmed that it will endorse the FMICS 2009 best paper.
Mon, 3 Nov 2008 12:25:00 GMT - The call for papers of the 14th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009) is available on the FMICS 2009 website. For further information, please visit the conference website or contact the workshop chair:
Christophe Joubert,
DSIC / ELP,
Universidad Politecnica de Valencia,
Camino de Vera s/n, E-46022 Valencia (Spain).
Wed, 23 Jul 2008 17:14:00 GMT - The FMICS 2009 website is online. The system is based on standard technologies such as PHP 4.3.10, RSS 2.0, CSS 2.1, XML, XHTML 1.0.
![[Valid RSS]](./images/valid-rss.png "Validate my RSS feed")