SegraVis Advanced School on Visual Modelling Techniques

SegraVis Advanced School on Visual Modelling Techniques

[Georgios Lajios]

[please forward this call to your students and colleagues]


The SegraVis Research Training Network invites doctoral students and
post-doctoral researchers from both within and outside the network to
join the


               Advanced School on Visual Modelling Techniques
              Friday Afternoon 08/09/2006 - Monday 11/09/2006
                at University of Leicester, United Kingdom

                     http://www.cs.le.ac.uk/events/segravis


OBJECTIVES
==========

Model-driven approaches to software development require precise
definitions for modelling languages, their syntax and semantics, their
notions of consistency and refinement, as well as their mappings into
implementations.

Modelling languages and processes, however, are subject to continuous
evolution, and different constellations and dialects are required in
different application domains, organisations, and even individual
projects. So in order to support model driven development in a variety
of contexts, we must find efficient ways of designing languages and
processes, accepting that definitions are subject to change and
extension and that tools need to be delivered in a timely fashion.

Thus, rather than ad-hoc solutions, a discipline of language engineering
is required to support the definition and implementation visual
modelling languages with respect to their

* abstract syntax and well-formedness rules
* operational and denotational semantics
* consistency and refinement relations
* model transformations

With this motivation, the objectives of this school are to provide
tutorial-like introductions to fundamental techniques supporting the
above tasks, to present examples of applications to specific languages
and problem domains, and to offer the opportunity for practical
experience in applying techniques and tools in sample projects.


LECTURE PROGRAM
===============

The School marks the closing of the SegraVis network on Syntactic and
Semantic Integration of Visual Modelling Techniques. Results of four
years of
work by its members and close correspondents will be presented through:
* introductory lectures
* tutorials on fundamental aspects
* advanced lectures
* application-oriented talks

School Speakers and Topics
==========================

KEYNOTE
Stuart Kent: Domain Specific Development: Present & Future

LECTURES
* Hartmut Ehrig: Algebraic Approach
* Gregor Engels: Graph Transformation for Service Specification
* José Fiadeiro: A Coordination Language for SOA
* Jan Hendrik Hausmann: Semantics of Visual Modelling Techniques
* Reiko Heckel: Graph Transformation in a Nutshell
* Hans-Jörg Kreowski: Advanced Transformation Concepts
* Tom Mens: Model-based Software Evolution
* Mark Minas: Syntax of Visual Modelling Techniques
* Ugo Montanari: Synchronized Hyperedge Replacement: Synchronization
Styles for Global Computing
* Arend Rensink: Analysis of Graph Transformation-based Models
* Grzegorz Rozenberg: DNA Computing
* Andy Schürr: Model Transformations
* Gabriele Taentzer: Graph Transformation-based Tools


VENUE
=====

The School will be held at Beaumont Hall, University of Leicester,
United Kingdom.
Beaumont Hall is delightfully located within the University Botanic
Gardens, providing
* Lecture halls, seminar rooms, computer facilities with Internet access
for every participant
* Optimal working atmosphere and en-suite accommodation

More information is available at http://www.le.ac.uk/conferences.


APPLICATIONS, NOTIFICATIONS, FEES, ETC.
=======================================

Candidates should fill out the application form provided at
http://www.cs.le.ac.uk/events/segravis/applicationform.txt
and send it via email to Georgios Lajios (gl51@mcs.le.ac.uk)
before May 31, 2006.

Notifications of acceptance will be sent out during June.

The participation fee, including full board and accomodation for 3 nights,
will be 225 British Pounds (about 325 Euro), approximately.
Information on how to register, travel information, etc.
shall be given with the notification of acceptance.

More information on the objectives, lecture program, applications, etc.
can be found at http://www.cs.le.ac.uk/events/segravis/.


The Organizers
Reiko Heckel and Karsten Ehrig and Georgios Lajios