caml-list - the Caml user's mailing list
 help / Atom feed
From: Renato Neves <nevrenato@gmail.com>
To: caml-list@inria.fr
Subject: [Caml-list] Formal Methods 2019 - Doctoral Symposium
Date: Tue, 12 Mar 2019 12:47:04 +0000
Message-ID: <20190312124704.GA4724@RNPA41A2F.lan> (raw)

Formal Methods 2019 - Doctoral Symposium
Porto, Portugal, October 7th, 2019
http://formalmethods2019.inesctec.pt/?page_id=361

In conjunction with the

23rd International Symposium on Formal Methods  and 
3rd World Congress on Formal Methods

Porto, Portugal, October 7-11, 2019
http://formalmethods2019.inesctec.pt


GOALS AND SCOPE

A Doctoral Symposium will be held on the 7th October in conjunction
with the 23rd International Symposium on Formal Methods and 3rd World
Congress on Formal Methods which will take place in Porto, Portugal,
from 7 to 11 October 2019. 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. Scholarships for attendance
will also be available.

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.


IMPORTANT DATES

Submission deadline: June 10, 2019 (AoE)*
Notification: July 5, 2019
Doctoral Symposium: October 7, 2019

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=dsfm19


DOCTORAL SYMPOSIUM WEBSITE
http://formalmethods2019.inesctec.pt/?page_id=361


ORGANISATION

CHAIRS:

Alexandra Silva, University College London
Antonia Lopes, University of Lisbon


PROGRAM COMMITTEE 

Alessandro Fantechi,  University of Florence
Ana Cavalcanti, University of York
André Platzer,  CMU
Carlo A. Furia,  USI - Università della Svizzera Italiana
Dalal Alrajeh,  Imperial College
Einar Broch Johnsen,  University of Oslo
Elvira Albert,  Universidad Complutense de Madrid
Jaco van de Pol,  University of Twente
Matteo Rossi,  Politecnico di Milano
Stefania Gnesi,  ISTI-CNR
Stephan Merz,  INRIA Nancy

                 reply index

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publically to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20190312124704.GA4724@RNPA41A2F.lan \
    --to=nevrenato@gmail.com \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox