# ANU International Logic Summer School, 7–18 December

**URL:** <https://discourse.rocq-prover.org/t/anu-international-logic-summer-school-7-18-december/3092>\
**Category:** Announcements\
**Created:** [August 23, 2026, 10:22am UTC](https://discourse.rocq-prover.org/t/anu-international-logic-summer-school-7-18-december/3092 "2026-08-23T10:22:30Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![michaeln](https://avatars.discourse-cdn.com/v4/letter/m/b19c9b/32.png) [@michaeln](https://discourse.rocq-prover.org/u/michaeln)\
**Post date:** [August 23, 2026, 10:22am UTC](https://discourse.rocq-prover.org/t/anu-international-logic-summer-school-7-18-december/3092/1 "2026-08-23T10:22:30Z")

</div>

**34th Annual ANU Logic Summer School**  
**December 7 – 18, 2026**  
**Canberra, Ngunnawal and Ngambri Country, Australia**  
[comp.anu.edu.au/lss](http://comp.anu.edu.au/lss)

## OVERVIEW

The ANU Logic Summer School is an annual event that offers a two week long programme of lectures on modern logic, the foundational discipline of the information sciences. Topics include not only the science of reasoning but also computability theory, type theory and other tools for understanding processes, declarative programming, automatic proof generation, program verification and much more. The school is primarily geared at late undergraduate and masters students, but is open to all, including postgraduate and PhD students, postdocs, and participants from industry.

## PROGRAMME

The school features four introductory courses in the first week, and a series of five lectures covering more advanced topics in the second week. The courses are given by a mix of local, domestic, and international speakers.

### Week 1

- John Slaney (ANU): _Fundamentals of Metalogic_
- Ranald Clouston (ANU): _Foundations (Plural) of Mathematics_
- Peter Höfner (ANU): _Introduction to CTL Model Checking_
- Liam O’Connor (ANU): _Introduction to Interactive Theorem-Proving with Isabelle_

### Week 2

- Amal Ahmed (Northeastern University) : _Logical Relations: From Type Soundness to Compiler Correctness and Specification of ABIs_
- Natasha Dobrinen (University of Notre Dame): _Infinite Ramsey Theory and Logic_
- Rod Downey (Victoria University of Wellington): _Algorithmic Information Theory_
- K. Rustan M. Leino (Harmonic) : _Proofs as Part of Programming_
- Sara Negri (University of Genoa) : _Proof Theory of Modal and Non-Classical Logics: the Method of Labelled Sequent Calculi_

## SOCIAL EVENTS

The summer school hosts a welcome reception on Sunday, 6 December, a social dinner on Tuesday, 15 December, and organises an excursion to Canberra’s surrounds on Saturday, 12 December.

## ACCOMMODATION

We do not organise accommodation for participants. The [Canberra Accommodation Centre](http://www.canberra-accommodation.com.au) is reasonably priced and in walking distance from the ANU campus.

## REGISTRATION

The registration fee for students is A$160 and includes the social events. Details on how to register, and fees for other categories of participants, are on the [school’s website](http://comp.anu.edu.au/lss/registration).

## GRANTS

The Organising Committee of the ANU Logic Summer School is pleased to announce a limited number of grants that might cover, in part, the registration fee, accommodation costs, travel expenses. The deadline for applications is 18 September 2026. For more details on conditions and application, please consult [our web-page](http://comp.anu.edu.au/lss/grants).

## ORGANISATION

The logic summer school is organised by Ranald Clouston, Peter Höfner, and Michael Norrish. Please direct all enquiries to [lss.comp@anu.edu.au](mailto:lss.comp@anu.edu.au).