<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;}
p.msonormal0, li.msonormal0, div.msonormal0
{mso-style-name:msonormal;
mso-margin-top-alt:auto;
margin-right:0in;
mso-margin-bottom-alt:auto;
margin-left:0in;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
span.EmailStyle18
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;}
@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>23rd International Conference on Formal Methods for Industrial Critical Systems (FMICS)<o:p></o:p></p><p class=MsoNormal>http://fmics2018.fi.muni.cz<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>PhD Symposium (PhD-iFM'18) <o:p></o:p></p><p class=MsoNormal>http://ifm2018.cs.nuim.ie/PhDSymposium<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><o:p> </o:p></p><p class=MsoNormal>Call for Participation and Applications for Student 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><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 FMICS 2018, to be held in Maynooth University, Ireland, from 3rd - 7th September 2018.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Thanks to funding from Science Foundation Ireland and the Embassy of France in Ireland, we will be awarding a number of student bursaries to support student participation in iFM, FMICS and PhD-iFM. These bursaries will be awarded on a competitive basis covering student registration fees and a contribution towards travel costs. The eligibility criteria are that applicants must be a full-time or part-time student (confirmed by a letter from their supervisor), and must have a presentation accepted at the conference events.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Website: 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>Early Registration Ends: 27 July 2018 (17:00 GMT)<o:p></o:p></p><p class=MsoNormal>Author Registration Deadline: 27 July 2018 (17:00 GMT)<o:p></o:p></p><p class=MsoNormal>Student Bursary Application Deadline: 24 July 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>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>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>*******************************************************************************************************************<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p></div></body></html>