================================================================
STAF 2014 Doctoral Symposium
< http://www.cs.york.ac.uk/staf/2014/doctoralsymposium >
Call for Abstract Submissions
Part of Software Technologies: Applications and Foundations 2014
University of York, UK, 21st - 25th July 2014.
< http://stafconferences.info/ >
----------------------------------------------------------------
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
7th June 2014 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.
----------------------------------------------------------------
Sponsorship
A "best presentation" prize sponsored by IBM will be assigned at
the end of the symposium.
----------------------------------------------------------------
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] ]]
