========================================================================

                      STAF 2014 Doctoral Symposium
         < http://www.cs.york.ac.uk/staf/2014/doctoralsymposium >



                Call for Submissions / Extended Deadline

    Part of Software Technologies: Applications and Foundations 2014
            University of York, UK,  21st - 25th July 2014.
                    < http://stafconferences.info/ >

------------------------------------------------------------------------
Due to multiple requests, we have extended the deadline for the STAF
doctoral
symposium by a week. The new (firm) deadline for submission is now

            Friday, June 13th (any time).

Keep in mind that it is possible to register to the doctoral symposium alone
(rather than to the complete STAF), at a much cheaper rate.

Observe also, that we have acquired some funding that will allows us to
issue
a prize for the best contribution.
------------------------------------------------------------------------
The STAF Doctoral Symposium is aimed at providing mentoring and feedback
to PhD students working in the areas covered by Software Technologies:
Applications and Foundations 2014.

Areas of interest include:
   * Graph transformation
   * Model transformation
   * Model-Based Engineering
   * Software testing
   * Program verification
and in general any topic of interest for the conferences that will
take place within STAF 2014, namely:

ICGT'14 - Seventh International Conference on Graph Transformation
ECMFA'14 - Tenth European Conference on Modelling Foundations and
Applications
ICMT'14 - Seventh International Conference on Model Transformation
TAP'14 - Eighth International Conference on Tests and Proof

The corresponding Call for Papers are reachable from
              < http://stafconferences.info/ >

Presentations for the Doctoral Symposium will be selected by the Program
Committee according to originality, significance, and general interest,
on the basis of an extended abstract.

Speakers will be asked to give a short presentation, followed by discussion
and feedback. There will also be ample time for informal discussion
during the day.  Our aim is to stimulate discussion and help PhD
students refine their work.

------------------------------------------------------------------------

                            Important Dates

  13th June 20                            Extended submission deadline
  23rd June 2014                                  Notification
  21st July 2014                            STAF doctoral symposium

------------------------------------------------------------------------

                           Submission Process

We solicit two kinds of abstract:

   * Early-PhD work which clearly defines a research problem and
     possible solutions.

   * Late-PhD work describing a fully-realised solution to a research
     problem.

The first author of a submitted abstract should be a PhD student as of
7th June (i.e. should not have submitted a thesis). Other authors, eg.
supervisors, are allowed.

Each abstract should consist of 4-6 pages, including references /
appendices formatted in LNCS style. Abstracts should be marked as
'early' or 'late' when submitted.

Abstracts can be submitted via Easychair through the following link:
    < https://www.easychair.org/conferences/?conf=stafds2014 >

Accepted abstracts will be made available in PDF format to symposium
participants, and in softbound format at the symposium itself.

------------------------------------------------------------------------

                          Organising Committee

 Phil Brooke       (University of Teesside, UK)  <[email protected]>
 Andrea Corradini  (University of Pisa, Italy)   <[email protected]>
 Mike Dodds        (University of York, UK)      <[email protected]>
 Harald Störrle    (TU Denmark)                  <[email protected]>

================================================================
----
[[ Petri Nets World:                                                ]]
[[              http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ:                                                ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies:                                ]]
[[                               [email protected] ]]

Reply via email to