http://www.dsic.upv.es/workshops/fmics2009/news.xml Latest news for FMICS 2009 http://www.dsic.upv.es/workshops/fmics2009/news.php http://www.ercim.org/news/270-14th-ercim-formal-methods-for-industrial-critical-systems-workshop FMICS 2009 report has been published on ERCIM's news wire and will go in ERCIM News magazine, number 80. Fri, 11 Dec 2009 12:54:12 GMT http://www.dsic.upv.es/workshops/fmics2009/news.php http://users.dsic.upv.es/workshops/fmics2009/program.php#EASST This year, the EASST award was given to Barbara Vieira from Universidade do Minho, Braga, Portugal for the paper Verifying Cryptographic Software Correctness With Respect to Reference Implementations, written together with Jose Bacelar Almeida, Manuel Barbosa and Jorge Sousa Pinto. Thu, 19 Nov 2009 17:26:34 GMT http://www.dsic.upv.es/workshops/fmics2009/news.php http://users.dsic.upv.es/workshops/fmics2009/photos.php Some photos of the FMICS 2009 workshop are available online. Thu, 19 Nov 2009 17:02:12 GMT http://www.dsic.upv.es/workshops/fmics2009/news.php http://users.dsic.upv.es/workshops/fmics2009/program.php#Proceedings FMICS 2009 proceedings have been published in the LNCS series, volume 5825, of Springer. Full content is available online. Wed, 28 Oct 2009 15:12:25 GMT http://www.dsic.upv.es/workshops/fmics2009/news.php http://users.dsic.upv.es/workshops/fmics2009/registration.php#social-dinner FMICS 2009 social dinner will take place in the Boekencafe Restaurant Schrijvers, 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. Mon, 26 Oct 2009 16:32:12 GMT http://www.dsic.upv.es/workshops/fmics2009/news.php http://users.dsic.upv.es/workshops/fmics2009/program.php#Final-Program FMICS 2009 final program is now online. Tue, 6 Oct 2009 10:02:23 GMT http://www.dsic.upv.es/workshops/fmics2009/news.php http://users.dsic.upv.es/workshops/fmics2009/registration.php#Hotels 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 16:08:56 GMT http://www.dsic.upv.es/workshops/fmics2009/news.php http://users.dsic.upv.es/workshops/fmics2009/cfp.php#Call-for-Participation 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). Wed, 9 Sep 2009 10:00:21 GMT http://www.dsic.upv.es/workshops/fmics2009/news.php http://users.dsic.upv.es/workshops/fmics2009/registration.php Registration site 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. Mon, 3 Aug 2009 12:12:57 GMT http://www.dsic.upv.es/workshops/fmics2009/news.php http://users.dsic.upv.es/workshops/fmics2009/program.php#Preliminary-Program FMICS 2009 preliminary program is now online. Fri, 31 Jul 2009 09:41:23 GMT http://www.dsic.upv.es/workshops/fmics2009/news.php http://users.dsic.upv.es/workshops/fmics2009/scope.php#FMICS-2008 LNCS FMICS 2008 proceedings are now online. You can find information about the previous LNCS 5596 book of FMICS 2008 on the following webpage: http://www.springer.com/computer/programming/book/978-3-642-03239-4 or access the online version: http://www.springerlink.com/content/978-3-642-03239-4. Thu, 30 Jul 2009 12:08:51 GMT http://www.dsic.upv.es/workshops/fmics2009/news.php http://users.dsic.upv.es/workshops/fmics2009/program.php#Invited-Talks 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. Tue, 21 Jul 2009 09:23:13 GMT http://www.dsic.upv.es/workshops/fmics2009/news.php http://users.dsic.upv.es/workshops/fmics2009/program.php#Accepted-Posters List of accepted posters to FMICS 2009 available online. Thu, 25 Jun 2009 10:36:42 GMT http://www.dsic.upv.es/workshops/fmics2009/news.php http://users.dsic.upv.es/workshops/fmics2009/program.php List of accepted papers to FMICS 2009 available online. Wed, 17 Jun 2009 19:17:23 GMT http://www.dsic.upv.es/workshops/fmics2009/news.php http://users.dsic.upv.es/workshops/fmics2009/cfp.php 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. Fri, 8 May 2009 12:59:00 GMT http://www.dsic.upv.es/workshops/fmics2009/news.php http://www.fmeurope.org FME has formally decided to support FMICS 2009 in Eindhoven. Mon, 20 Apr 2009 09:08:00 GMT http://www.dsic.upv.es/workshops/fmics2009/news.php http://www.dsic.upv.es/workshops/fmics2009/dates.php New deadline for abstracts and papers (http://www.dsic.upv.es/workshops/fmics2009/dates.php). Wed, 15 Apr 2009 21:23:00 GMT http://www.dsic.upv.es/workshops/fmics2009/news.php http://www.dsic.upv.es/workshops/fmics2009/fmics2009-poster.pdf 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 16:23:00 GMT http://www.dsic.upv.es/workshops/fmics2009/news.php http://www.dsic.upv.es/workshops/fmics2009/pc.php 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). Fri, 27 Mar 2009 15:07:00 GMT http://www.dsic.upv.es/workshops/fmics2009/news.php http://www.dsic.upv.es/workshops/fmics2009/news.php A news webpage and RSS feed service are available on the FMICS 2009 website for latest news. Just click on the RSS logo on the top of the page and subscribe it. Tue, 20 Jan 2009 18:12:00 GMT http://www.dsic.upv.es/workshops/fmics2009/submission.php http://www.dsic.upv.es/workshops/fmics2009/submission.php The submission page si now active and can be accessed at http://www.easychair.org/conferences/?conf=fmics2009. Tue, 20 Jan 2009 17:42:00 GMT http://www.springer.com/lncs http://www.springer.com/lncs Springer has confirmed that the proceedings will be published in their Lecture Notes in Computer Science series. Tue, 20 Jan 2009 11:23:00 GMT http://www.win.tue.nl/fmweek http://www.win.tue.nl/fmweek 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. Sun, 4 Jan 2009 13:51:00 GMT http://www.easst.org/awards/index.html http://www.easst.org/awards/index.html 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. Tue, 11 Nov 2008 14:36:00 GMT http://www.dsic.upv.es/workshops/fmics2009/cfp.php http://www.dsic.upv.es/workshops/fmics2009/cfp.php 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). Mon, 3 Nov 2008 12:25:00 GMT http://www.dsic.upv.es/workshops/fmics2009 http://www.dsic.upv.es/workshops/fmics2009 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. Wed, 23 Jul 2008 17:14:00 GMT