programme

Friday, 29^th June

10:00–11:30

Ionuț Țuțu

Introduction to Category Theory

In this preliminary lecture, we give a brief but rather comprehensive overview of the basic categorical concepts and results used in the algebraic approach to graph transformation. The lecture is meant to be self contained, generally relying only on basic knowledge of set and graph theory. We discuss concepts such as category and functor, and we look at the way universal categorical constructions appear in various forms in concrete examples of categories.

References

• Andrzej Tarlecki's course on Category Theory in Foundations of Computer Science
  Categories      Limits and colimits
• Jirí Adámek, Horst Herrlich, George E. Strecker
  Abstract and Concrete Categories – The Joy of Cats

tea/coffee break

12:00–13:30

Ionuț Țuțu

Adhesive Categories in the context of Graph Transformation

This lecture is about adhesive categories – an essential development in the study of graph transformation that has enabled the simplification and unification of various notions of graphical structures considered in the area; examples include plain directed graphs, typed graphs, hypergraphs, and many others. We present the general concept, discuss concrete examples, and revisit a few important properties that hold in any adhesive category.

References

• Stephen Lack, Pawel Sobocinski: Adhesive Categories. FoSSaCS 2004: 273–288

lunch break

15:00–16:30

Fernando Orejas

Introduction to Algebraic Graph Transformation (AGT)

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.
Slides

Saturday, 30^th June

9:00–10:30

Fernando Orejas

Fundamental Results in AGT

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.
Slides

tea/coffee break

11:00–12:30

Fernando Orejas

Application Conditions and Graph Constraints

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.
Slides    Term graph

lunch break

14:00–15:30

Detlef Plump

Rule-based Graph Programming, Part 1

The first part of this short course introduces GP 2, a rule-based domain-specific language for graphs. The language is non-deterministic and computationally complete, and has a simple syntax and semantics to facilitate formal reasoning. A number of example programs and their properties will be discussed, and their execution with the GP 2 implementation demonstrated.
Slides

Sunday, 1^st July

9:00–10:30

Detlef Plump

Rule-based Graph Programming, Part 2

The second part of this course will explain the graph transformation framework underlying GP 2, the so-called double-pushout approach with relabelling. Based on this approach, a formal semantics of GP 2 in the style of structural operational semantics will be presented. Current research such as formal program verification with a Hoare-style proof calculus will be briefly addressed, too.
Slides    GP 2 compiler and Tim's visualisers

tea/coffee break

11:00–12:30

Reiko Heckel

Graph transformation for the modelling, testing and analysis of software systems

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.
Slides

lunch break

14:00–15:30

Fernando Orejas

Model Transformation and Triple Graph Grammars (TGGs)

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.
Slides

registration

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 8^th 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).

The LSGT bursaries have been allocated, but you may ask to be considered should any become free.

Registration should take place before the 15^th of June 2018.

To register, plese visit the Royal Holloway online store.

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

venue

Registration will take place in the foyer of the Moore Building on the campus plan and will be open at the following times: Friday 29 th June at 09:00–10:00. The Conference will take place in Moore 016 within the Moore Building.

location

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.

travel

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.

• Cabs Central: 01784 530468
• Gemini Taxis: 01784 471111
• Windsor Cars: 01753 677677
• Egham Cars: 01784 434646
• Holloway Taxis: 01784 818385

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.

accommodation

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.

sponsor

This series of lectures is supported by a Leverhulme Trust Visiting Professorship.

Copyright © 2018 lsgt.