<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div class="elementToProof" style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
24th ANU Logic Summer School</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
December 2 – 13, 2024</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Canberra, Ngunnawal and Ngambri Country, Australia</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(70, 120, 134);">
<u><a href="https://urldefense.com/v3/__https://comp.anu.edu.au/lss/__;!!IBzWLUs!RbKzA29wo8-ysdXBsOcRbYHSSvmriYZ3kap7mQuNoNNEf9OEVD_KhdS-zNZtwf8pf9m95n4aHcLfUwr86onxyH6ccBgwB0kuppeDa9V7Osk$" target="_blank" id="OWA94993dcb-9886-2290-0f08-3f7fbe6742c0" class="OWAAutoLink" title="Original URL: https://comp.anu.edu.au/lss/. Click or tap if you trust this link." style="color: rgb(70, 120, 134);">https://comp.anu.edu.au/lss/</a></u></div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
OVERVIEW</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
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.</div>
<div class="elementToProof" style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
PROGRAMME</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
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.</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Week 1:</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
John Slaney (ANU): Foundations of Metalogic</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Michael Norrish (ANU): Computability and Incompleteness</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Fabian Muehlboeck (ANU): Formalizing and Reasoning About Programming Languages</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Ranald Clouston (ANU): Propositions and Types, Proofs and Programs</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Week 2:</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Iris van der Giessen (U. of Amsterdam): Interpolation through the Lens of Proof Theory</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Mark Reynolds (U. of Western Australia): Verification via Temporal Logic: an Introduction</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Tomasz Kowalski (La Trobe U. / Jagiellonian U.): Qualitative Calculi via Relation Algebras</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Sophie Pinchinat (U. of Rennes): Automatic Structures and their Logical theory</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Thomas Sewell (U. of New South Wales): Applying Logic in Software and Inefficient Computation</div>
<div class="elementToProof" style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
SOCIAL EVENTS</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
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.</div>
<div class="elementToProof" style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
ACCOMMODATION</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
We do not organise accommodation for participants. The Canberra Accommodation Centre (<span style="color: rgb(70, 120, 134);"><u><a href="https://urldefense.com/v3/__https://www.canberra-accommodation.com.au/__;!!IBzWLUs!RbKzA29wo8-ysdXBsOcRbYHSSvmriYZ3kap7mQuNoNNEf9OEVD_KhdS-zNZtwf8pf9m95n4aHcLfUwr86onxyH6ccBgwB0kuppeDf-nf6gk$" target="_blank" id="OWA0d224531-6b7f-e8fc-4ea6-f77b73439201" class="OWAAutoLink" title="Original URL: https://www.canberra-accommodation.com.au/. Click or tap if you trust this link." style="color: rgb(70, 120, 134);">https://www.canberra-accommodation.com.au</a></u></span>)
is reasonably priced and in walking distance from the ANU campus.</div>
<div class="elementToProof" style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
REGISTRATION</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
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:
<span style="color: rgb(70, 120, 134);"><u><a href="https://urldefense.com/v3/__https://comp.anu.edu.au/lss/registration/__;!!IBzWLUs!RbKzA29wo8-ysdXBsOcRbYHSSvmriYZ3kap7mQuNoNNEf9OEVD_KhdS-zNZtwf8pf9m95n4aHcLfUwr86onxyH6ccBgwB0kuppeDX0U7wqg$" target="_blank" id="OWAfe33b2bc-8f3f-5ecf-4bd2-6fe64ce95d48" class="OWAAutoLink" title="Original URL: https://comp.anu.edu.au/lss/registration/. Click or tap if you trust this link." style="color: rgb(70, 120, 134);">https://comp.anu.edu.au/lss/registration/</a></u></span>.</div>
<div class="elementToProof" style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
GRANTS</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
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: <span style="color: rgb(70, 120, 134);">
<u><a href="https://urldefense.com/v3/__https://comp.anu.edu.au/lss/grants/__;!!IBzWLUs!RbKzA29wo8-ysdXBsOcRbYHSSvmriYZ3kap7mQuNoNNEf9OEVD_KhdS-zNZtwf8pf9m95n4aHcLfUwr86onxyH6ccBgwB0kuppeDz_IS8o0$" target="_blank" id="OWA7a68e9d0-0f92-edd7-da17-ffca69ba2d8d" class="OWAAutoLink" title="Original URL: https://comp.anu.edu.au/lss/grants/. Click or tap if you trust this link." style="color: rgb(70, 120, 134);">https://comp.anu.edu.au/lss/grants/</a></u></span>.</div>
<div class="elementToProof" style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
ORGANISATION</div>
<div style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
</div>
<div class="elementToProof" style="margin: 0cm; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
The logic summer school is organised by Peter Hoefner, Dirk Pattinson, Pramo Samarasinghe and Ian Shillito. Please direct all enquiries to
<span style="color: rgb(70, 120, 134);"><u><a href="mailto:lss.comp.cecs@anu.edu.au" id="OWA0a5f76a6-64a9-7d3e-d2bb-d4b9c1bb7fd3" class="OWAAutoLink" style="color: rgb(70, 120, 134);">lss.comp.cecs@anu.edu.au</a></u></span>.</div>
</body>
</html>