<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"><head><meta http-equiv=Content-Type content="text/html; charset=us-ascii"><meta name=Generator content="Microsoft Word 15 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
{font-family:SimSun;
panose-1:2 1 6 0 3 1 1 1 1 1;}
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:"\@SimSun";
panose-1:2 1 6 0 3 1 1 1 1 1;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]--></head><body lang=EN-US link=blue vlink=purple><div class=WordSection1><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>******************************************************************************************************************<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>14th International Conference on integrated Formal Methods (iFM)<o:p></o:p></p><p class=MsoNormal>http://ifm2018.cs.nuim.ie <o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>*******************************************************************************************************************<o:p></o:p></p><p class=MsoNormal>Call for Participation and Applications for Registration Bursaries<o:p></o:p></p><p class=MsoNormal>*******************************************************************************************************************<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>You are warmly invited to participate in iFM 2018, and co-located events PhD-iFM'18 and the 23rd International Conference on Formal Methods for Industrial Critical Systems (FMICS 2018) to be held in Maynooth University, Ireland, from 3rd - 7th September 2018. New bursaries covering PhD student and Early Stage Researcher registration at iFM 2018 have recently been announced as follows:<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>--- Student French Embassy Bursaries ---<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Thanks to funding from the Embassy of France in Ireland, we will be awarding a student bursary to support student participation in iFM. This bursary will be awarded on a competitive basis. It will cover registration fees for iFM for a student studying for a PhD in France or a French National studying for a PhD abroad.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>--- Early Stage Researcher Bursaries ---<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Thanks to funding from Springer, we will be awarding two bursaries to support the participation of early stage researchers (ESRs) in iFM. These bursaries will be awarded on a competitive basis. Bursaries will cover registration fees for iFM for an ESR. For this purpose, ESRs are defined as those who are either studying for a PhD or who had their PhD for less than 8 years.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Priority will be given to applicants who are presenting their own research at iFM 2018, applicants who can provide feedback to students at the PhD-iFM Symposium on Sept 4th; applicants who are co-authors of an iFM 2018 paper presented by more senior co-authors; and applicants who are from Eastern Europe, or from low and middle income countries (as per EU regulations). Within fairness, we will apply gender balance considerations.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>*******************************************************************************************************************<o:p></o:p></p><p class=MsoNormal>How to apply:<o:p></o:p></p><p class=MsoNormal>*******************************************************************************************************************<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Applications for the bursary are currently being accepted via http://ifm2018.cs.nuim.ie/participation/registration-bursaries<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>*******************************************************************************************************************<o:p></o:p></p><p class=MsoNormal>Important Dates:<o:p></o:p></p><p class=MsoNormal>*******************************************************************************************************************<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Bursary Application Deadline: 13 August 2018 (17:00 GMT)<o:p></o:p></p><p class=MsoNormal>Bursary Notification: 15 August 2018 (17:00 GMT)<o:p></o:p></p><p class=MsoNormal>FMICS Conference: 3-4 September 2018<o:p></o:p></p><p class=MsoNormal>PhD-iFM'18: 4 September 2018<o:p></o:p></p><p class=MsoNormal>iFM Conference: 5-7 September 2018<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>*******************************************************************************************************************<o:p></o:p></p><p class=MsoNormal>Scope:<o:p></o:p></p><p class=MsoNormal>*******************************************************************************************************************<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>The iFM conference series seeks to further research into hybrid approaches to formal modelling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding both modelling and analysis. The conference covers all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Co-located Events:<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>The aim of the FMICS conference series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>PhD-iFM a PhD Symposium at iFM 2018 on Formal Methods: Algorithms, Tools and Applications, focuses on the theory, implementation, integration or application of formal methods in a broad sense.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>*******************************************************************************************************************<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal> <o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p></div></body></html>