From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 952E37EC0C for ; Wed, 16 Mar 2016 09:12:34 +0100 (CET) IronPort-PHdr: 9a23:UjfFLRXlCGt3F9DlMSH3N+sontXV8LGtZVwlr6E/grcLSJyIuqrYZhGCt8tkgFKBZ4jH8fUM07OQ6PCwHzRZqs/Z6TgrS99laVwssY0uhQsuAcqIWwXQDcXBSGgEJvlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfTR8Kum9IIPOlcP/j7n0oM2DJV0Rz2PlOPtbF1afk0b4joEum4xsK6I8mFPig0BjXKBo/15uPk+ZhB3m5829r9ZJ+iVUvO89pYYbCf2pN/dwcbsNFDQqMm4wvpWy6zHORBCe7XsVU39QlQBHUCbf6xSvYZDzuSr3veo1/S6BIcrpVrM1EWC96KVgSRLjiGECMCUl937Mic1YjKIdux/39E83+JLdfIzAbKk2RajaZ95PHWc= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=wojciech.mostowski@hh.se; spf=Pass smtp.mailfrom=wojciech.mostowski@hh.se; spf=None smtp.helo=postmaster@mailgate2.hh.se Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of wojciech.mostowski@hh.se) identity=pra; client-ip=194.47.18.7; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="wojciech.mostowski@hh.se"; x-sender="wojciech.mostowski@hh.se"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of wojciech.mostowski@hh.se designates 194.47.18.7 as permitted sender) identity=mailfrom; client-ip=194.47.18.7; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="wojciech.mostowski@hh.se"; x-sender="wojciech.mostowski@hh.se"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mailgate2.hh.se) identity=helo; client-ip=194.47.18.7; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="wojciech.mostowski@hh.se"; x-sender="postmaster@mailgate2.hh.se"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0A+DQDSFOlWeAcSL8JehBluAbhrgSqBbiGCPIMwAoE5OhIBAQEBAQEBARABDAsKCCEvgi2CFQEBBB0GFTAMBBElAgUWCwICCQMCAQIBRRMGAgEBBYgiCq8nj1kBCgEBARx8gSSDfoNbPIFkAYYEgToFl0+BKSeEH4l3S4N+gwOFVI59AicGgkWBVmmKYwEBAQ X-IPAS-Result: A0A+DQDSFOlWeAcSL8JehBluAbhrgSqBbiGCPIMwAoE5OhIBAQEBAQEBARABDAsKCCEvgi2CFQEBBB0GFTAMBBElAgUWCwICCQMCAQIBRRMGAgEBBYgiCq8nj1kBCgEBARx8gSSDfoNbPIFkAYYEgToFl0+BKSeEH4l3S4N+gwOFVI59AicGgkWBVmmKYwEBAQ X-IronPort-AV: E=Sophos;i="5.24,343,1454972400"; d="scan'208";a="168893919" Received: from mailgate2.hh.se ([194.47.18.7]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-GCM-SHA384; 16 Mar 2016 09:12:33 +0100 Received: from localhost (localhost [127.0.0.1]) by mailgate2.hh.se (Postfix) with ESMTP id 86085E0675; Wed, 16 Mar 2016 09:12:31 +0100 (CET) Received: from mailgate2.hh.se ([127.0.0.1]) by localhost (mailgate2.hh.se [127.0.0.1]) (amavisd-new, port 10032) with ESMTP id mcJntmSgIYra; Wed, 16 Mar 2016 09:12:31 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by mailgate2.hh.se (Postfix) with ESMTP id 2EBAFE1F4B; Wed, 16 Mar 2016 09:12:31 +0100 (CET) X-Virus-Scanned: amavisd-new at mailgate2.hh.se Received: from mailgate2.hh.se ([127.0.0.1]) by localhost (mailgate2.hh.se [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id jVxp9fQd3b_6; Wed, 16 Mar 2016 09:12:31 +0100 (CET) Received: from [194.47.21.223] (hhaccess-223.hh.se [194.47.21.223]) by mailgate2.hh.se (Postfix) with ESMTPSA id B0BDDE0675; Wed, 16 Mar 2016 09:12:30 +0100 (CET) From: Wojciech Mostowski To: phdifm2016@easychair.org References: <1458057400.4160.0.camel@ru.is> Organization: Halmstad University Message-ID: <56E9156E.6020602@hh.se> Date: Wed, 16 Mar 2016 09:12:30 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0 MIME-Version: 1.0 In-Reply-To: <1458057400.4160.0.camel@ru.is> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Validation-by: wojciech.mostowski@hh.se Subject: [Caml-list] Extended deadline: PhD Symposium at iFM 2016 Call for Submissions (Apologies for multiple copies) ============================================================ PhD Symposium at iFM'16 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM'16) Reykjavik, Iceland, June 5, 2016 http://en.ru.is/ifm/ifm-phd-symposium/ Paper submission: *Extended* March 20, 2016 Author notification: April 1, 2016 ============================================================ === Scope === The theory, implementation, integration or application of formal methods in a broad sense. === Who can submit? === PhD students and young researchers at an early career stage (up to 2 years after PhD completion). === Why to submit? === Participants will have the possibility to give short presentations about their research projects. Furthermore, we are happy to announce a tutorial by Mohammad Reza Mousavi and a talk by Carlo Ghezzi. - The doctoral symposium offers an excellent opportunity to present your work in an international setting, and to get feedback from senior researchers in the field. - The doctoral symposium lets you exchange knowledge and experiences with fellow PhD-students in a related topic. - The best paper/presentation will be awarded. - The selected contributions will be published in a technical report of Reykjavik University, Iceland. === What to submit? === You are welcome to submit an extended abstract of at most 3 pages, describing your research project which you would like to present. Co-authors are allowed, but you should be the first author. The results may have been accepted or even published elsewhere. Multiple submissions by one author are not permitted. Submissions should be written in English and follow the EasyChair formatting guidelines, available at http://www.easychair.org/publications/for_authors Please submit your abstract electronically in pdf via the EasyChair page https://easychair.org/conferences/?conf=phdifm2016 The submitted abstracts will undergo a lightweight reviewing process. A symposium proceedings containing the accepted abstracts will be available as a technical report of Reykjavik University. === Invited Presentations === * Mohammad Reza Mousavi (Halmstad University, Sweden) will talk about "How to Write and Present a Computer Science Paper". * Carlo Ghezzi (Politecnico di Milano, Italy) will talk about "Formal models and verification to support software evolution". === Symposium Chairs === Marcel Kyas (Reykjavik University, Iceland) Wojciech Mostowski (Halmstad University, Sweden) === Programme Committee === Erika Abraham (RWTH Aachen University, Germany) Carlo Ghezzi (Politecnico di Milano, Italy) Mohammad Reza Mousavi (Halmstad University, Sweden) -- Wojciech Mostowski Centre for Research on Embedded Systems (CERES) School of Information Technology, Halmstad University Box 823, SE-301 18 Halmstad, Sweden e-mail: wojciech.mostowski@hh.se www: http://ceres.hh.se/mediawiki/Wojciech_Mostowski tel: +46-35-16-7137, fax: +46-35-12-0348