From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id E7B2981792 for ; Wed, 26 Jun 2013 06:44:22 +0200 (CEST) Received-SPF: Neutral (mail2-smtp-roc.national.inria.fr: domain of Etienne.Andre@univ-paris13.fr does not assert whether or not 194.254.164.7 is permitted sender) identity=pra; client-ip=194.254.164.7; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Etienne.Andre@univ-paris13.fr"; x-sender="Etienne.Andre@univ-paris13.fr"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of Etienne.Andre@univ-paris13.fr designates 194.254.164.7 as permitted sender) identity=mailfrom; client-ip=194.254.164.7; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Etienne.Andre@univ-paris13.fr"; x-sender="Etienne.Andre@univ-paris13.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@upn.univ-paris13.fr) identity=helo; client-ip=194.254.164.7; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Etienne.Andre@univ-paris13.fr"; x-sender="postmaster@upn.univ-paris13.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjQBAEBwylHC/qQHcWdsb2JhbABaFoMkSYMFvDOBChYOAQwIDgcUKIJHBkgONQIFIQIRHYhSBAipIJE+gSaMbYE3HYI5gRQDl0KPd4RigWc X-IPAS-Result: AjQBAEBwylHC/qQHcWdsb2JhbABaFoMkSYMFvDOBChYOAQwIDgcUKIJHBkgONQIFIQIRHYhSBAipIJE+gSaMbYE3HYI5gRQDl0KPd4RigWc X-IronPort-AV: E=Sophos;i="4.87,941,1363129200"; d="scan'208";a="23381601" Received: from upn.univ-paris13.fr ([194.254.164.7]) by mail2-smtp-roc.national.inria.fr with ESMTP; 26 Jun 2013 06:44:22 +0200 Received: from webmail.univ-paris13.fr (unknown [192.168.0.20]) by upn.univ-paris13.fr (Mail Server) with ESMTP id 92733288152; Wed, 26 Jun 2013 06:44:22 +0200 (CEST) Received: by webmail.univ-paris13.fr (Postfix, from userid 1082) id 7A7715F6002; Wed, 26 Jun 2013 06:44:22 +0200 (CEST) Received: from nusnet-192-110.dynip.nus.edu.sg (nusnet-192-110.dynip.nus.edu.sg [137.132.192.110]) by webmail.univ-paris13.fr (Horde Framework) with HTTP; Wed, 26 Jun 2013 06:44:22 +0200 Message-ID: <20130626064422.72333h987i2dn2jq@webmail.univ-paris13.fr> Date: Wed, 26 Jun 2013 06:44:22 +0200 From: =?utf-8?b?w4l0aWVubmUg?= =?utf-8?b?QW5kcsOp?= To: caml-list@inria.fr Cc: Sun Jun , Christine Choppy MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; DelSp="Yes"; format="flowed" Content-Disposition: inline Content-Transfer-Encoding: 7bit User-Agent: Internet Messaging Program (IMP) H3 (4.3.7) Subject: [Caml-list] FSFMA 2013: call for participation ==================================================================== Call for participation FSFMA 2013 1st French Singaporean Workshop in Formal Methods and Applications 15-16 July 2013, Singapore http://www.comp.nus.edu.sg/~pat/fsfma2013/ ==================================================================== The 1st French Singaporean Workshop in Formal Methods and Applications (FSFMA) aims at sharing research interests and launching collaborations in the area of formal methods and their applications. The scientific subject of the workshop covers (but does not limit to) areas such as formal specification, model checking, verification, program analysis and transformation, software engineering, and applications in major areas of computer science, including aeronautics and aerospace. The workshop will bring together researchers and industry R&D experts from all countries together to exchange their knowledge, discuss their research findings, and explore potential collaborations. A PhD session will allow Master and PhD students to present their work. Thanks to the support from the Merlion program, the workshop is happy to offer a travel grant to 2 PhD students. Round tables will focus on French-Singaporean funding and cooperation opportunities. The workshop will take place on July 15th and 16th, 2013, in Singapore as a satellite of ICECCS 2013. =================== FREE REGISTRATION =================== Thanks to the support by the Merlion program of the French Institute in Singapore, there are no registration fees for FSFMA 2013. However, registration is compulsory: if you plan to attend FSFMA, please register here: http://www.comp.nus.edu.sg/~pat/fsfma2013/registration.html =================== INVITED SPEAKERS =================== - Chin Wei Ngan (School of Computing, National University of Singapore) - Laurent Fribourg (LSV, CNRS & ENS de Cachan, France) =================== CHAIRS =================== - Christine Choppy (Universite Paris 13, Sorbonne Paris Cite, France) - Jun Sun (Singapore University of Technology and Design, Singapore) =================== LOCATION =================== FSFMA 2013 will be located in the National University of Singapore, in Temasek Laboratories, level 8. http://www.comp.nus.edu.sg/~pat/fsfma2013/venue.html