News RSS feed

ERCIM 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.

EASST Award

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.

Photos

Thu, 19 Nov 2009 17:02:12 GMT - Some photos of the FMICS 2009 workshop are available online.

Proceedings

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.

Social Dinner

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.

Final Program

Tue, 6 Oct 2009 10:02:23 GMT - FMICS 2009 final program is now online (html, pdf, txt).

Hotel Reservation

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.

Call for Participation

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).

Registration Open

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.

Preliminary Program

Fri, 31 Jul 2009 09:41:23 GMT - FMICS 2009 preliminary program is now online (html, pdf, txt).

LNCS FMICS 2008

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.

Invited Talks

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.

Accepted Posters

Thu, 25 Jun 2009 10:36:42 GMT - List of accepted posters to FMICS 2009 available online.

Accepted Papers

Wed, 17 Jun 2009 19:17:23 GMT - List of accepted papers to FMICS 2009 available online.

Call for Posters

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.

Formal Methods Europe (FME) sponsorship

Mon, 20 Apr 2009 09:08:00 GMT - FME has formally decided to support FMICS 2009 in Eindhoven.

Deadline extension to 20 April 2009

Wed, 15 Apr 2009 21:23:00 GMT - New deadline for abstracts and papers (http://www.dsic.upv.es/workshops/fmics2009/dates.php).

Poster

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).

Invited speakers confirmed

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).

News page and RSS feeder

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 RSS feed and subscribe it.

Submission page

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.

LNCS proceedings

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.

FMWeek co-located events

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.

EASST best paper award

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.

Call for Papers

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).

FMICS 2009 website

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.
Sponsored by:
UPV Ercim FME MSR
Supported by:
DSIC EASST TUE
Published by:
Springer LNCS