[ecoop-info] it-fmeurope-events Digest Mon, 15 May 2017

it-fmeurope-events-request at lists.uu.se it-fmeurope-events-request at lists.uu.se
Mon May 15 18:00:31 CEST 2017

it-fmeurope-events digest Mon, 15 May 2017

Table of contents:

* 1 - [FME Events] Second Call for Papers: PhD Symposium at iFM'17 - Silvia
  Lizeth Tapia Tarifa <sltarifa at ifi.uio.no>


Message-ID: <666E42C2-C7B9-4D61-9147-1FEB7F1E02ED at ifi.uio.no>
Date: Sat, 13 May 2017 05:55:07 +0000
From: Silvia Lizeth Tapia Tarifa <sltarifa at ifi.uio.no>
Subject: [FME Events] Second Call for Papers: PhD Symposium at iFM'17

[Apologies if you receive multiple copies of this email. Please distribute to
interested parties]

                   Call for Papers
              PhD Symposium at iFM'17 on
    Formal Methods: Algorithms, Tools and Applications
            Torino, Italy, September 19, 2017


Paper submission: June 15, 2017
Author notification: July 7, 2017

=== 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. Thus 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.
- We are happy to announce an invited talk by Dr. Mike
  Nikolai, RTD Manager at Siemens Industry Software NV, who
  will talk about integrated formal methods in a certain
  industrial context.
- 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 as a technical
  report of the University of Oslo, Norway.

=== What to submit? ===

You are welcome to submit an extended abstract of 1-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
the University of Oslo.

=== Invited Presentation ===

Mike Nikolai
(Siemens Industry Software NV, Belgium):
Automatic Reasoning for Novel Engineering Designs


=== Symposium Co-Chairs ===

  Erika Abraham (RWTH Aachen University, Germany), chair
  S. Lizeth Tapia Tarifa (University of Oslo, Norway), chair

=== Program Committee ===

  Stijn de Gouw (Open University, The Netherlands)
  Marieke Huisman (University of Twente, The Netherlands)
  Laura Kovacs (Vienna University of Technology, Austria)
  Ralf Wimmer (Albert-Ludwigs-University Freiburg, Germany)



End of it-fmeurope-events Digest Mon, 15 May 2017

More information about the ecoop-info mailing list