6th International Symposium On Leveraging
Applications of Formal Methods, Verification and Validation
08-11 October 2014 - Imperial, Corfu, Greece
The intended Character of ISoLA
ISoLA aims at a thematically coherent program with maximum
value for the participants. In particular we want to be
attractive for people with practice background, who
come to ISoLA to orient themselves concerning the leading
edge technologies and their impact on their fields, to get
ideas for new directions, and to establish (international)
cooperations. Track organizers are therefore encouraged to
invite appropriate experts in the field, which are able to
present their ideas and results in an impact-oriented
fashion, illustrating the potential of their area of
competence and of their current research in a way that is
accessible by the people in need for new solutions.Thus an
important intended outcome is an intensified dialogue
between research and (industrial) application, a goal that
is also reflected in the organizational structure: sessions
consist of 20-minute talks on related subjects with a 30
minute concluding panel discussion, which underlines our
symposium-like intention.
The corresponding paper reviewing process should therefore
be considered more like a process of improvement through
feedback rather than a process of selection. Contributions
by track organizers to their own track are handled by their
non-involved co-organizers (if existent), else by the ISoLA
Program Chair. This procedure, where quality is not
weighted in terms of acceptance rates but enforced by
pre-selective design, has been agreed also by the
publisher.
In addition to these technology transfer-oriented sessions,
ISoLA also features contributions by younger researchers,
who may present new ideas and results in order for others
to take them up and explore their potential impact.
Technically, the according (open) submissions are also
submitted via the central online service to the
thematically best fitting track and are reviewed by the
members of the ISoLA program committee according to the
established scientific standards. Their program placement,
however, will be decided during the composition of the
program according the above mentioned goal of maximum value
for participants.
This is not the only way in which ISoLA addresses the
interests of younger scientists. In 2014 there will be an
Autumn School on "International School on Tool-based
Rigorous Engineering of Software Systems -STRESS 2014"
, a course on soft skills, and a challenge on Automated
Model Discovery, and there are two proposals for short
graduate schools and training.
|