<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-ligatures:standardcontextual;
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;
mso-ligatures:none;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style>
</head>
<body lang="EN-AU" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal"><span style="font-family:"Courier New"">23rd ANU Logic Summer School<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">December 4 – 15, 2023<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">Canberra, Ngunnawal and Ngambri Country, Australia<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New""><a href="https://urldefense.com/v3/__https://comp.anu.edu.au/lss/__;!!IBzWLUs!QmapP7nJWMXirczzyzAGTKYDK9KGBUjN6wJK96RLK0TwKfC92fZGigpsvEawww50FtrrGGcgCqHGokZZDq59Y0wAUyMpPRSHerhfZvjI4g$">https://comp.anu.edu.au/lss/</a><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">OVERVIEW<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">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.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">PROGRAMME<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">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.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">Week 1:<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">John Slaney (ANU): Foundations of Metalogic<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">Michael Norrish (ANU): Computability and Incompleteness<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">Ranald Clouston (ANU): Propositions and Types, Proofs and Programs<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">Fabian Muehlboeck (ANU): Defining and Reasoning About Programming Languages<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">Week 2:<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">Nick Smith (U. of Sydney): Logics of Vagueness and Indeterminacy<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">Bahareh Afshari (U. of Gothenburg): Proof Theory of Temporal Logic<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">Dominik Kirst (Ben Gurion U.): Synthetic Incompleteness Proofs<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">Ohad Kammar (U. of Edinburgh): Foundations for Type-Driven Probabilistic Modelling<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">Thomas Haines (ANU): Complexity Theory of Interactive Proof Systems<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">SOCIAL EVENTS<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">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.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">ACCOMMODATION<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">We do not organise accommodation for participants. The Canberra Accommodation Centre (<a href="https://urldefense.com/v3/__https://www.canberra-accommodation.com.au__;!!IBzWLUs!QmapP7nJWMXirczzyzAGTKYDK9KGBUjN6wJK96RLK0TwKfC92fZGigpsvEawww50FtrrGGcgCqHGokZZDq59Y0wAUyMpPRSHerhAlCskNA$">https://www.canberra-accommodation.com.au</a>) is reasonably
priced and in walking distance from the ANU campus.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">REGISTRATION<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">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:
<a href="https://urldefense.com/v3/__https://comp.anu.edu.au/lss/registration/__;!!IBzWLUs!QmapP7nJWMXirczzyzAGTKYDK9KGBUjN6wJK96RLK0TwKfC92fZGigpsvEawww50FtrrGGcgCqHGokZZDq59Y0wAUyMpPRSHergr5EksIQ$">https://comp.anu.edu.au/lss/registration/</a>.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New""> <o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">ORGANISATION<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">The logic summer school is organised by Pramo Samarasinghe, Ian Shillito, Jim de Groot and Dirk Pattinson. Please direct all enquiries to
<a href="mailto:lss.comp.cecs@anu.edu.au">lss.comp.cecs@anu.edu.au</a>.<o:p></o:p></span></p>
</div>
</body>
</html>