December 2 – 13, 2024
Canberra, Ngunnawal and Ngambri Country, Australia
_https://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): Foundations of Metalogic
Michael Norrish (ANU): Computability and Incompleteness
Fabian Muehlboeck (ANU): Formalizing and Reasoning About Programming
Languages
Ranald Clouston (ANU): Propositions and Types, Proofs and Programs
Week 2:
Iris van der Giessen (U. of Amsterdam): Interpolation through the Lens
of Proof Theory
Mark Reynolds (U. of Western Australia): Verification via Temporal
Logic: an Introduction
Tomasz Kowalski (La Trobe U. / Jagiellonian U.): Qualitative Calculi via
Relation Algebras
Sophie Pinchinat (U. of Rennes): Automatic Structures and their Logical
theory
Thomas Sewell (U. of New South Wales): Applying Logic in Software and
Inefficient Computation
SOCIAL EVENTS
The summer school hosts a welcome reception on Sunday December 1, a
social dinner on Thursday December 5, and organises an excursion to
Canberra's surrounds on Saturday December 7.
ACCOMMODATION
We do not organise accommodation for participants. The Canberra
Accommodation Centre (https://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:
https://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 15th October 2024. For more details on conditions and
application, please consult: https://comp.anu.edu.au/lss/grants/.
ORGANISATION
The logic summer school is organised by Peter Hoefner, Dirk Pattinson,
Pramo Samarasinghe and Ian Shillito. Please direct all enquiries to
lss.comp.cecs@anu.edu.au.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
