Language Design and Implementation with the Spoofax Language Workbench — Postponed until later date

At the request of the speaker, this course day will be rescheduled to a later date, to be decided.

An IPA course day will take place Thursday February 3rd, 2022, starting at 10:00. (The course day is scheduled to be back-to-back with the SEN Symposium 2022, which is tentatively scheduled to be held on Friday February 4th, 2022.)

The course day will be on Language Design and Implementation with the Spoofax Language Workbench, and be presented by Eelco Visser.

Content

The Spoofax language workbench supports the design of programming languages using high-level meta languages for syntax definition (SDF3), static semantics (Statix), and transformation (Stratego). In this course we explore these meta-languages and you will construct a small language, deriving an IDE and compiler from your language definition.

IPA’s Advanced Courses

IPA organises Advanced Courses on each of its major research fields: Algorithmics and Complexity, Formal Methods and Software Technology. Each of these Advanced Courses intends to give an overview of (part of) the research of IPA in this specific field.

The Advanced Courses focus on subject areas where successful research is being conducted by groups in IPA, with some prominent (inter)national speakers as well. Course components consist of lectures mixed with active training (exercises, assignments, etc.).

Outside pandemic times, these Advanced Courses are scheduled as five consecutive course days on site, typically at TU/e. For now, we instead schedule a series of standalone course days for each of the three research fields. We will determine whether these are held online or in person (hopefully!) based on Covid restrictions at the time.

Required for Credit

As part of the IPA educational programme, IPA PhD candidates are required to follow the three advanced courses but are exempted for the advanced course that covers the field of specialisation of the candidate (but welcome to follow it). Following the Advanced Course for a field and obtaining credit for it (2 ECTS) normally requires attending at least 4 course days from that field’s course week; in pandemic times, it requires attending 4 course days from the course day series for the field.

Registration and preparation

Registration will open later.

Schedule

The overall schedule of the course days is as follows: course days will start at 10.00 and last until approximately 16.00 hours. There will be one or two short breaks in the morning and afternoon at the discretion of the lecturer, and a longer lunch break at, roughly, 12.15-13.30.