[TYPES/announce] Call for Participation: ANU Logic Summer School, Dec 4 -- 15, 2023

[Dirk Pattinson]

23rd ANU Logic Summer School
December 4 – 15, 2023
Canberra, Ngunnawal and Ngambri Country, Australia
https://urldefense.com/v3/__https://comp.anu.edu.au/lss/__;!!IBzWLUs!QmapP7nJWMXirczzyzAGTKYDK9KGBUjN6wJK96RLK0TwKfC92fZGigpsvEawww50FtrrGGcgCqHGokZZDq59Y0wAUyMpPRSHerhfZvjI4g$ 

OVERVIEW

The ANU Logic Summer School is an annual event that offers a two week long programme of lectures on mathematical, philosophical, and computational aspects of logic. 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): Foundations of Metalogic
Michael Norrish (ANU): Computability and Incompleteness
Ranald Clouston (ANU): Propositions and Types, Proofs and Programs
Fabian Muehlboeck (ANU): Defining and Reasoning About Programming Languages

Week 2:
Nick Smith (U. of Sydney): Logics of Vagueness and Indeterminacy
Bahareh Afshari (U. of Gothenburg): Proof Theory of Temporal Logic
Dominik Kirst (Ben Gurion U.): Synthetic Incompleteness Proofs
Ohad Kammar (U. of Edinburgh): Foundations for Type-Driven Probabilistic Modelling
Thomas Haines (ANU): Complexity Theory of Interactive Proof Systems


SOCIAL EVENTS

The summer school hosts a welcome reception on Sunday December 3, a workshop dinner on Thursday December 7, and organises an excursion to Canberra’s surrounds on Saturday December 9.

ACCOMMODATION

We do not organise accommodation for participants. The Canberra Accommodation Centre (https://urldefense.com/v3/__https://www.canberra-accommodation.com.au__;!!IBzWLUs!QmapP7nJWMXirczzyzAGTKYDK9KGBUjN6wJK96RLK0TwKfC92fZGigpsvEawww50FtrrGGcgCqHGokZZDq59Y0wAUyMpPRSHerhAlCskNA$ ) is reasonably priced and in walking distance from the ANU campus.

REGISTRATION

The registration fee for students is A$150 and includes the social events. Details on how to register, and fees for other categories of participants, are on the school’s website: https://urldefense.com/v3/__https://comp.anu.edu.au/lss/registration/__;!!IBzWLUs!QmapP7nJWMXirczzyzAGTKYDK9KGBUjN6wJK96RLK0TwKfC92fZGigpsvEawww50FtrrGGcgCqHGokZZDq59Y0wAUyMpPRSHergr5EksIQ$ .


ORGANISATION

The logic summer school is organised by Pramo Samarasinghe, Ian Shillito, Jim de Groot and Dirk Pattinson. Please direct all enquiries to lss.comp.cecs at anu.edu.au<mailto:lss.comp.cecs at anu.edu.au>.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230829/7eba1df5/attachment.htm>