[ecoop-info] CFP: Formal Methods 2016 - Doctoral Symposium

[Announcements of FME events]

=====================================================================================
Formal Methods 2016 - Doctoral Symposium

In conjunction with the 21st Symposium on Formal Methods

http://fm2016.cs.ucy.ac.cy/cfpdoctoralsymposium.html

Limassol, Cyprus, November 8th, 2016
=====================================================================================


GOALS AND SCOPE

A Doctoral Symposium will be held on 8 November in conjunction with the 
21st International Symposium on Formal Methods which will take place in 
Limassol, Cyprus, from 7 to 11 November 2016. This symposium aims to 
provide a helpful environment in which selected PhD students can present 
and discuss their ongoing work, meet other students working on similar 
topics, and receive helpful advice and feedback from a panel of 
researchers and academics. If you are a PhD student researching any 
topic that falls within the area of formal methods, you are warmly 
invited to submit a Research Abstract for consideration to be selected 
as a participant.

There will be a best presentation award and we plan to publish a 
proceedings containing the research abstracts in CEUR-WS.


RESEARCH ABSTRACTS

Research Abstracts should be no more than 4 pages in LNCS format.
Your Research Abstract should:

- Outline the problem being addressed, its relevance, the solution you 
are working on, your research approach (such as your research method) 
and your expected contribution.

- Contain a very brief literature survey indicating the most important 
references related to:
(a) the problem being addressed and/or
(b) existing solutions as appropriate.

- Indicate your progress to date and the current stage of research.

The Research Abstract should be written by yourself as sole author, but 
should include references to any papers you have already published, 
including joint publications with your supervisor. A proceedings with 
the research abstracts will be published in CEUR-WS.


INVITED SPEAKER
John Fitzgerald, Newcastle University



IMPORTANT DATES

Submission deadline: July 25th, 2016 (AoE)
Notification: September 9th, 2016
Doctoral Symposium: November 8th, 2016

HOW TO SUBMIT
Please upload a PDF version of your Research Abstract, including your 
name, affiliation, and email address to:
https://easychair.org/conferences/?conf=fm2016
(select “FM 2016 Doctoral Symposium” when adding a new submission)


DOCTORAL SYMPOSIUM WEBSITE
http://fm2016.cs.ucy.ac.cy/cfpdoctoralsymposium.html



ORGANISATION

CHAIRS:

Andrew Butterfield, Trinity College Dublin
Matteo Rossi, Politecnico di Milano


PROGRAM COMMITTEE

Bernhard Aichernig, TU Graz
Nikolaj Bjorner, Microsoft Research
Andrew Butterfield, Trinity College Dublin (co-chair)
Ana Cavalcanti, University of York
Chryssis Georgiou, University of Cyprus
Jan Friso Groote, TU Eindhoven
Cliff Jones, Newcastle University
Peter Gorm Larsen, Aarhus University
Elizabeth Leonard, Naval Research Laboratory
Zhiming Liu, Southwest University, Chongqing
Dominique Mery, Université de Lorraine
Cesar Munoz, NASA
Matteo Rossi, Politecnico di Milano (co-chair)
Maurice Ter Beek, ISTI-CNR
Stefano Tonetta, Fondazione Bruno Kessler
Elena Troubitsyna, Aabo Akademi
Jaco van de Pol, University of Tewnte
Martin Steffen, University of Olso


_______________________________________________
events mailing list
events at fmeurope.org
http://fmeurope.hosting.west.nl/mailman/listinfo/events