[TYPES/announce] iFM, FMICS and PhD-iFM 2018: Student Bursaries and Call for Participation

Tue Jul 17 11:28:05 EDT 2018

****************************************************************************
***************************************

23rd International Conference on Formal Methods for Industrial Critical
Systems (FMICS)

http://fmics2018.fi.muni.cz

PhD Symposium (PhD-iFM'18) 

http://ifm2018.cs.nuim.ie/PhDSymposium

14th International Conference on integrated Formal Methods (iFM) 

http://ifm2018.cs.nuim.ie

****************************************************************************
***************************************

Call for Participation and Applications for Student Bursaries

****************************************************************************
***************************************

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.

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.

Website: http://ifm2018.cs.nuim.ie/participation/registration-bursaries

****************************************************************************
***************************************

Important Dates

****************************************************************************
***************************************

Early Registration Ends: 27 July 2018 (17:00 GMT)

Author Registration Deadline: 27 July 2018 (17:00 GMT)

Student Bursary Application Deadline: 24 July 2018 (17:00 GMT)

FMICS Conference: 3-4 September 2018

PhD-iFM'18: 4 September 2018

iFM Conference: 5-7 September 2018

****************************************************************************
***************************************

Scope:

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.

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.

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.

****************************************************************************
***************************************

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180717/a9f47131/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: easst-logo.svg.png
Type: image/png
Size: 33065 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180717/a9f47131/attachment-0008.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: embassy-of-france-in-ireland.png
Type: image/png
Size: 101217 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180717/a9f47131/attachment-0009.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Failte.png
Type: image/png
Size: 65230 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180717/a9f47131/attachment-0010.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Maynooth University Logo colour RGB 300dpi.png
Type: image/png
Size: 53310 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180717/a9f47131/attachment-0011.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: MeetInIreland-2016-RGB.png
Type: image/png
Size: 126622 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180717/a9f47131/attachment-0012.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: SFI_logo_2017__Dual(long)_CMYK.png
Type: image/png
Size: 36170 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180717/a9f47131/attachment-0013.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: SIGLOG-600.png
Type: image/png
Size: 15652 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180717/a9f47131/attachment-0014.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: springer-logo-C2001CC88E-seeklogo.com.png
Type: image/png
Size: 8881 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180717/a9f47131/attachment-0015.png>