School co-located with WADT 2018


The Leverhulme School on Graph Transformation Techniques will start with a crash course on Category Theory given by Ionuț Țuțu (Royal Holloway University of London, UK), and continue with a self-contained series of invited lectures on graph transformation to be given by


More details about each of the LSGT lectures in the programme below will be published soon.

Friday, 29th June

category-theory crash course by Ionuț Țuțu
tea/coffee break
category-theory crash course by Ionuț Țuțu
lunch break
Fernando Orejas
In this lecture, we will present the main ideas in AGT, both at a concrete level, for different classes of graphs like directed graphs, typed graphs and attributed graphs, and at the abstract level, for transforming objects in adhesive categories.

Saturday, 30th June

Fernando Orejas
In this lecture we will present some of the main theorems in the theory of AGT. We will start with the Extension and Embedding Theorems. Then, we will introduce the notions of sequential and parallel independence, together with the Local Church-Rosser and Parallelism Theorems. Finally, we will study the detection of conflicts in AGT, presenting the notion of critical pairs, introducing the Theorems of Completeness of Critical Pairs and of Local Confluence.
tea/coffee break
Fernando Orejas
In this lecture we will study two forms of restricting the application of graph transformation rules: via application conditions and via graph constraints, and the relations between them. Moreover, we will also see that graph constraints can be used to define a logic that can be used, for instance, for modelling software systems and for reasoning about graph properties.
lunch break
lecture by Detlef Plump

Sunday, 1st July

lecture by Detlef Plump
tea/coffee break
Reiko Heckel
Model-driven development (MDD) puts models at the centre of software development, as a primary artefact not just for capturing requirements and designs but also their implementation. This requires a semantically rigorous approach to modelling, integrating structural and dynamic aspects, allowing to capture and analyse both functional and non-functional requirements, lining to executable models and implementations. We introduce graph transformation as semantic foundation of MDD to provide such an approach throughout the software life-cycle, including the specification and analysis of functional and non-functional requirements, software architectures, as a basis for testing and reverse engineering of behavioural models.
lunch break
Fernando Orejas
In this lecture we will start defining TGGs and motivating their use in model transformation. Then we will present the main problems of model transformation, i.e. source to target and target to source model transformation, and model synchronization. For these problems we will present some solutions using TGGs, together with results that show the correctness, completeness of these solutions.


There are three registration options, depending on your choice of accommodation. The accommodation usually includes breakfast and dinner, while the lunches are provided by the school.

  • No accommodation: £200
  • Standard accommodation: £350
  • Premium accommodation: £450

In addition, we have a limited number of reduced-rate places (£100, without accommodation, or £250, including standard accommodation) for students or young researchers who would like to attend the school. These places are limited to early registration before the 8th of June. To apply for a reduced-rate place, please contact the organizers at wadt18 [at] cs.rhul.ac.uk, indicating an option for the type of registration (with, or without accommodation).

Registration with accommodation should take place before the 8th of June 2018.
Registration without accommodation should take place before the 15th of June 2018.

To register, plese visit the Royal Holloway online store.

In case you have any special dietary requirements, please contact the organizers.



The Leverhulme School on Graph Transformation Techniques will be organised by and held at Royal Holloway University of London in the historic town of Egham, which lies between London and Windsor.

A campus map is available in PDF or your favourite online map.


The Royal Holloway Conference Service provides up-to-date travel information. We summarise this information below.

by train
The nearest train station is Egham which is a 15–20 minute walk from Royal Holloway. Train journeys can be planned via National Rail.
by car
Royal Holloway is located on the A30, 19 miles from central London and about a mile south west of the town of Egham. It is two miles from junction 13 of the M25 (London orbital). After leaving the motorway at junction 13, take the A30 west, signposted to Bagshot and Camberley (this is the Egham bypass). At the first roundabout, take the second exit. At the second roundabout, take the second exit and continue up the A30, Egham Hill. The College is on the left at the top of the hill.

There is plenty of free parking, but please contact the organizers if you would like to enquire about a specific space.
Sat nav postcode is TW20 0EX.
by taxi
We recommend that you book in advance from the following companies.
by air
Train connections to the London airports can be checked/booked through the website of National Rail. From Heathrow, taxi or bus are by far the best options.

The number 8 runs between Heathrow Terminal 5 and Royal Holloway. From all other terminals, Terminal 5 can be reached from the Heathrow Central Station. An up-to-date timetable can be found here. An up-to-date map near RHUL can be found here. The nearest bus stop to Royal Holloway is a few minutes from campus.


On-campus accommodation will be guaranteed, as follows, depending on the registration option selected:

Standard accommodation – Founder’s Building
All accommodation has been recently refurbished in line with English Heritage standards. The Founder’s Building bedrooms are all standard rooms with guests sharing bathrooms on each corridor. Linen, towels and toiletries are provided and tea and coffee making facilities are available in shared pantries. Free car parking.
Premium en-suite accommodation – Butler, Tuke, Williamson, Wedderburn and Gower Halls
All premium en-suite bedrooms have double beds and en-suite shower rooms. Each bedroom is situated within a flat of eight rooms and each flat has a communal pantry with tea and coffee making facilities. All bedrooms have secure key card access and there are lifts to all floors. Linen, towels and toiletries are provided. A number of wheelchair accessible bedrooms are available in these halls. Free car parking.


If you have any questions or inquiries about lsgt2018 you can contact us

  • via email at wadt18 [at] cs.rhul.ac.uk
  • or at the following address:
    Leverhulme School on Graph Transformation Techniques
    José Luiz Fiadeiro
    Department of Computer Science
    Royal Holloway, University of London
    TW20 0EX