ℒ = − ¼ FμνFμν + ψ̄(i∂̸ − m)ψ

fpuk
Liverpool 2026

Organised at Liverpool

7–9 September 2026 University of Liverpool UK

A variety of talks, a gong show, and poster presentations covering a wide range of topics in formal theory.

Speakers

Featured Speakers

AR

Ana-Maria Raclariu (review)

King's College London

DB

Daniel Brennan (review)

University of Birmingham

PK

Pavel Koftun (review)

University of Southampton

JH

Jelle Hartong

University of Edinburgh

CN

Carlos Nunez

Swansea University

PH

Po-Shen Hsin

King's College London

DV

David Vegh

Queen Mary University

SE

Simon Ekhammar

King's College London

DT

Daniel Thompson

Swansea University

CC

Christopher Couzens

University of Oxford

AA

Andrea Antinucci

University of Oxford

AC

Andrei Constantin

University of Birmingham

AW

Alison Warman

University of Oxford

TA

Tim Adamo

University of Edinburgh

Programme

What to expect

A focused meeting combining talks, short presentations, posters, and discussion. Timetable is preliminary.

Talks

Invited and contributed talks across a wide range of topics in formal theory.

Gong Show

Quick-fire presentations of new ideas, open problems, and works-in-progress.

Poster Session

Share your research and connect with the community during the poster session.

Timetable

Meeting Schedule

Click a day header to expand its sessions.

Monday 7 September

12:00–13:00

Lunch

Arrival

13:00–14:00

Review Talk

Talk

14:00–14:30

Talk 1

Talk

14:30–15:00

Talk 2

Talk

15:00–15:30

Coffee Break

Break

15:30–16:00

Talk 3

Talk

16:00–16:30

Talk 4

Talk

16:30–17:00

Talk 5

Talk
Tuesday 8 September

09:30–10:30

Review Talk

Talk

10:30–11:00

Talk 1

Talk

11:00–11:30

Coffee Break

Break

11:30–12:30

Gong Show

Gong Show

12:30–13:30

Lunch + Posters

Lunch

13:30–14:00

Talk 2

Talk

14:00–14:30

Talk 3

Talk

14:30–15:00

Talk 4

Talk

15:00–15:30

Coffee Break

Break

15:30–16:00

Talk 5

Talk

16:00–16:30

Talk 6

Talk

16:30–17:00

Talk 7

Talk
Wednesday 9 September

09:30–10:30

Review Talk

Talk

10:30–11:00

Talk 1

Talk

11:00–11:30

Coffee

Coffee

11:30–12:00

Talk 2

Talk

12:00–12:30

Talk 3

Talk

12:30–13:30

Lunch and Departure

Departure

The Venue

Hosted at the University of Liverpool

The conference and accommodation is intended for UK researchers working in the Formal Theory remit. For such people the fees and accommodation could be covered subject to availability.

We can reimburse travel and accommodation expenses for up to 60 participants. Please express your interest in participation by sending an email to the organisers using the contact details below before 15 July 2026.

Accommodation needs to be booked by participants. We will provide links to hotels close to the conference site.

Historic campus in the heart of Liverpool

Close to the waterfront and Albert Dock

Excellent links across the UK and beyond