[ecoop-info] PhD Symposium at iFM 2016 Call for Submissions

Wojciech Mostowski wojciech.mostowski at hh.se
Tue Feb 23 08:44:58 CET 2016

(Apologies for multiple copies)

               PhD Symposium at iFM'16 on
     Formal Methods: Algorithms, Tools and Applications
             Reykjavik, Iceland, June 5, 2016


Paper submission: March 15, 2016
Author notification: April 1, 2016

=== Scope  ===

The theory, implementation, integration or application of
formal methods in a broad sense.

=== Who can submit? ===

PhD students and young researchers at an early
career stage (up to 2 years after PhD completion).

=== Why to submit? ===

Participants will have the possibility to give short
presentations about their research projects. Furthermore,
we are happy to announce a tutorial by Mohammad Reza Mousavi
and a talk by Carlo Ghezzi.

- The doctoral symposium offers an excellent opportunity to
   present your work in an international setting, and to get
   feedback from senior researchers in the field.
- The doctoral symposium lets you exchange knowledge and
   experiences with fellow PhD-students in a related topic.
- The best paper/presentation will be awarded.
- The selected contributions will be published in a technical
   report of Reykjavik University, Iceland.

=== What to submit? ===

You are welcome to submit an extended abstract of at most
3 pages, describing your research project which you would
like to present. Co-authors are allowed, but you should be
the first author. The results may have been accepted or
even published elsewhere. Multiple submissions by one author
are not permitted. Submissions should be written in English
and follow the EasyChair formatting guidelines, available at


Please submit your abstract electronically in pdf via the
EasyChair page


The submitted abstracts will undergo a lightweight reviewing
process. A symposium proceedings containing the accepted
abstracts will be available as a technical report of Reykjavik

=== Invited Presentations ===

   * Mohammad Reza Mousavi (Halmstad University, Sweden) will
     talk about "How to Write and Present a Computer Science
   * Carlo Ghezzi (Politecnico di Milano, Italy) will talk
     about "Formal models and verification to support software

=== Symposium Chairs ===

   Marcel Kyas (Reykjavik University, Iceland)
   Wojciech Mostowski (Halmstad University, Sweden)

=== Programme Committee ===

   Erika Abraham (RWTH Aachen University, Germany)
   Carlo Ghezzi (Politecnico di Milano, Italy)
   Mohammad Reza Mousavi (Halmstad University, Sweden)

Wojciech Mostowski
Center for Research on Embedded Systems (CERES)
School of Information Technology, Halmstad University
Box 823, SE-301 18 Halmstad, Sweden
e-mail: wojciech.mostowski at hh.se
www: http://ceres.hh.se/mediawiki/Wojciech_Mostowski
tel: +46-35-16-7137, fax: +46-35-12-0348

More information about the ecoop-info mailing list