HaoWu
2018-08-01 16:35:07 UTC
****************************************************************************
**************************************
14th International Conference on integrated Formal Methods (iFM)
http://ifm2018.cs.nuim.ie
****************************************************************************
***************************************
Call for Participation and Applications for Registration Bursaries
****************************************************************************
***************************************
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:
--- Student French Embassy Bursaries ---
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.
--- Early Stage Researcher Bursaries ---
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.
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.
****************************************************************************
***************************************
How to apply:
****************************************************************************
***************************************
Applications for the bursary are currently being accepted via
http://ifm2018.cs.nuim.ie/participation/registration-bursaries
****************************************************************************
***************************************
Important Dates:
****************************************************************************
***************************************
Bursary Application Deadline: 13 August 2018 (17:00 GMT)
Bursary Notification: 15 August 2018 (17:00 GMT)
FMICS Conference: 3-4 September 2018
PhD-iFM'18: 4 September 2018
iFM Conference: 5-7 September 2018
****************************************************************************
***************************************
Scope:
****************************************************************************
***************************************
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.
Co-located Events:
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.
****************************************************************************
***************************************
**************************************
14th International Conference on integrated Formal Methods (iFM)
http://ifm2018.cs.nuim.ie
****************************************************************************
***************************************
Call for Participation and Applications for Registration Bursaries
****************************************************************************
***************************************
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:
--- Student French Embassy Bursaries ---
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.
--- Early Stage Researcher Bursaries ---
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.
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.
****************************************************************************
***************************************
How to apply:
****************************************************************************
***************************************
Applications for the bursary are currently being accepted via
http://ifm2018.cs.nuim.ie/participation/registration-bursaries
****************************************************************************
***************************************
Important Dates:
****************************************************************************
***************************************
Bursary Application Deadline: 13 August 2018 (17:00 GMT)
Bursary Notification: 15 August 2018 (17:00 GMT)
FMICS Conference: 3-4 September 2018
PhD-iFM'18: 4 September 2018
iFM Conference: 5-7 September 2018
****************************************************************************
***************************************
Scope:
****************************************************************************
***************************************
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.
Co-located Events:
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.
****************************************************************************
***************************************