The official ads are now out for the #ANU #Logic Summer School, to be held in #Canberra , Australia from 1-12 December. https://comp.anu.edu.au/lss/

Paraphrasing a bit to fit in a toot:

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

Week 1:
John Slaney (ANU): Foundations of Metalogic
Michael Norrish (ANU): Computability and Incompleteness
Peter Baumgartner (CSIRO): Overview of Automated Reasoning
Liam O'Connor (ANU): Introduction to Interactive Theorem-Proving with Isabelle

Week 2:
Sonia Marin (Birmingham): Intuitionistic Modal Logic
Chelsea Edmonds (UWA): Advanced Isabelle for Software Verification
Cláudia Nalon (Brasília): Resolution for Modal Logics and its Implementation
Gillian Russell (ANU): Barriers to Entailment
Vineet Rajani (UNSW): Modal Type Theories and Logical Relations

ORGANISATION

The logic summer school is organised by Ranald Clouston, Peter Hoefner, and Michael Norrish. Please direct all enquiries to lss.comp@anu.edu.au