Kings College,London
Graduate Summer School on
Maude and its Uses
25-26 July 2022
ONLINE



Instructors:

Professor José Meseguer (University of Illinois Urbana-Champaign and Leverhulme visiting professor at King's College London)
Professor Santiago Escobar (Universitat Politècnica de València)
Professor Francisco Durán (University of Malaga)

Programme

Monday 25 July
9:00 Welcome
9:05 Lecture 1: Syntax and Semantics of Maude Functional Modules (Part I).
Slides
10:00 Independent Study and Problem Solving - Helpdesk available.
Exercises
11:00 Tutorial

12:00 Lunch break

13:00 Lecture 2: Syntax and Semantics of Maude Functional Modules (Part II).
Slides   Video
14:00 Independent Study and Problem Solving - Helpdesk available.
Exercises
15:00 Tutorial

Tuesday 26 July
9:00 Lecture 3: Syntax and Semantics of Maude Functional Modules (Part III), and Syntax, Semantics and Model Checking of Maude System Modules (Part I).
Slides (First Part)   Slides (Second Part)   Video
10:00 Independent Study and Problem Solving - Helpdesk available.
Exercises
11:00 Tutorial

12:00 Lunch break

13:00 Lecture 4: Syntax, Semantics and Model Checking of Maude System Modules (Part II).
Slides   Video
14:00 Independent Study and Problem Solving - Helpdesk available.
Exercises
15:00 Tutorial
16:00 Closing

Participation

Graduate students and researchers from any academic or research institution are cordially invited to attend.


There is no registration fee but registration is required: please fill in the form here.
Registration Deadline: 21st July 2022.


Pre-requisite: No knowledge of Maude is required, but participants should install Maude before the first lecture. In the Problem Solving and Tutorial sessions it will be assumed that all participants have installed Maude. Information to install Maude is available here.
If, in spite of the detailed instructions on how to install Maude, any participants run into difficulties, they can send email asking for help to Professor Francisco Duran at fdm@uma.es. To ensure that we can provide proper help, we advise you to try the installation at least two or three days before Monday 25th July.

Platform

All the sessions will be online, using MS Teams. Note that to be able to join a session you need to be registered.

Local organisers:

Maribel Fernández and Anna Bamberger (King's College London) Maribel.Fernandez@kcl.ac.uk

Sponsors:

  • Department of Informatics, King's College London
  • Leverhulme Trust
    		•