posted by user: zaidi || 629 views || tracked by 1 users: [display]

DS-FM 2018 : Formal Methods - Doctoral Symposium

FacebookTwitterLinkedInGoogle

Link: http://www.fm2018.org/doctoral-symposium/
 
When Jul 14, 2018 - Jul 14, 2018
Where Oxford
Submission Deadline Apr 29, 2018
Notification Due May 15, 2018
Final Version Due May 20, 2018
Categories    computer science   formal methods
 

Call For Papers

*** Apologies for multiple copies ***

Call for Papers – FM Doctoral Symposium - Saturday July 14, 2018

IMPORTANT DATES
Submission deadline: 29 April 2018
Notification: 15 May 2018
Doctoral Symposium: 14 July 2018

GOALS AND SCOPE

A Doctoral Symposium will be held on 14 July 2018 in conjunction with the 22nd International Symposium on Formal Methods which will take place in Oxford, UK, from 15 to 17 July 2018 as part of the FLoC 2018, the Federated Logic Conferences. 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.

An award in the form of a certificate will be given to the best contribution to the doctoral symposium. The abstracts will be included on the FLoC USB.

FLoC’18 wants to put participation within reach for as many people as possible and offers a choice of two programmes for this: Travel stipends (a variable amount towards travel costs for graduate students depending on the origin of travel), or the FLoC Volunteer programme. FLoC’18 volunteers will be able to interact with speakers and participants, network with other researchers and meet graduate students from all over the world. See http://www.floc2018.org/volunteer/ for more info.

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.

INVITED SPEAKER

Sylvain Conchon is a Professor of Computer Science at Université Paris-Sud and a member of LRI, the laboratory for Computer Science joint between Université Paris-Sud and CNRS. His research interests are at the crossroads of Model Checking, SMT solving, functional programming, and compilation techniques. He is also an enthusiastic OCaml programmer. He currently focuses on the design and development of the SMT solver Alt-Ergo and the SMT-based model checker Cubicle.


SUBMISSION INFORMATION

Please upload a PDF version of your Research Abstract, including your name, affiliation, and email address to: https://easychair.org/conferences/?conf=dsfm2018

ORGANISATION

CHAIRS

Eerke Boiten, De Montfort University, UK
Fatiha Zaidi, Univ. Paris-Sud, F



PROGRAM COMMITTEE
Bernhard Aichernig, TU Graz, AT

Nikolaj Bjørner, Microsoft Research, US

Andrew Butterfield, Trinity College, IE

Ana Cavalcanti, University of York, GB

Sylvian Conchon, Univ. Paris-Sud, F

Stefania Gnesi, ISTI-CNR, Pisa, I

Jan Friso Groote, TU Eindhoven, NL

Cliff Jones, Newcastle University, GB

Peter Gorm Larsen, Aarhus University, DK

Elizabeth Leonard, Naval Research Laboratory, US

Zhiming Liu, Southwest University, CN

Mercedes Merayo, Universidad Complutense Madrid, Spain

Cesar Munoz, NASA, US

Matteo Rossi, Politecnico di Milano, IT

Martin Steffen, University of Oslo, N

Maurice Ter Beek, ISTI-CNR, IT

Elena Troubitsyna, Aabo Akademi, SF

Related Resources

FM 2019   23rd International Symposium on Formal Methods – 3rd World Congress on Formal Methods
ICDMML 2019   【ACM ICPS EI SCOPUS】2019 International Conference on Data Mining and Machine Learning
TACAS 2019   International Conference on Tools and Algorithms for the Construction and Analysis of Systems
SSCI 2019   The 2019 IEEE Symposium Series on Computational Intelligence
FormaliSE 2019   7th International Conference on Formal Methods in Software Engineering
ACM--ICIAI--Ei Compendex and Scopus 2019   ACM--2019 The 3rd International Conference on Innovation in Artificial Intelligence (ICIAI 2019)--Ei Compendex and Scopus
QEST 2019   16th International Conference on Quantitative Evaluation of SysTems
ETRIJ Cyber Security & AI 2019   ETRI Journal Special issue on Cyber Security and AI
DisCoTec 2019   International Federated Conference on Distributed Computing Techniques
HSCC 2019   22nd ACM International Conference on Hybrid Systems: Computation and Control