Logic List Mailing Archive

CfP: ANU Logic Summer School, 2 – 13 Dez 2024, Canberra / Ngunnawal and Ngambri Country (Australia)

24th ANU Logic Summer School
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 i
nformation sciences. Topics include not only the science of reasoning but a
lso computability theory, type theory and other tools for understanding pro
cesses, declarative programming, automatic proof generation, program verifi
cation and much more. The school is primarily geared at late undergraduate 
and masters students, but is open to all, including postgraduate and PhD st
udents, postdocs, and participants from industry.


PROGRAMME

The school features four introductory courses in the first week, and a seri
es of five lectures covering more advanced topics in the second week. The c
ourses 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 Langua
ges
Ranald Clouston (ANU): Propositions and Types, Proofs and Programs

Week 2:
Iris van der Giessen (U. of Amsterdam): Interpolation through the Lens of P
roof Theory
Mark Reynolds (U. of Western Australia): Verification via Temporal Logic: a
n Introduction
Tomasz Kowalski (La Trobe U. / Jagiellonian U.): Qualitative Calculi via Re
lation Algebras
Sophie Pinchinat (U. of Rennes): Automatic Structures and their Logical the
ory
Thomas Sewell (U. of New South Wales): Applying Logic in Software and Ineff
icient 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 Canberras s
urrounds on Saturday December 7.


ACCOMMODATION

We do not organise accommodation for participants. The Canberra Accommodati
on Centre (https://www.canberra-accommodation.com.au<https://www.canberra-a
ccommodation.com.au/>) is reasonably priced and in walking distance from th
e 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 schools website: https://comp.anu.edu.au/lss/registration/.


GRANTS

The Organising Committee of the ANU Logic Summer School is pleased to annou
nce 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, Pram
o Samarasinghe and Ian Shillito. Please direct all enquiries to lss.comp.ce
cs@anu.edu.au<mailto:lss.comp.cecs@anu.edu.au>.
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php