Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Call for Participation: ANU Logic Summer School, Dec 4 -- 15, 2023

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for Participation: ANU Logic Summer School, Dec 4 -- 15, 2023


Chronological Thread 
  • From: Dirk Pattinson <dirk.pattinson AT anu.edu.au>
  • To: "coq-club AT inria.fr" <coq-club AT inria.fr>
  • Subject: [Coq-Club] Call for Participation: ANU Logic Summer School, Dec 4 -- 15, 2023
  • Date: Tue, 29 Aug 2023 00:31:07 +0000
  • Accept-language: en-AU, en-US
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=anu.edu.au; dmarc=pass action=none header.from=anu.edu.au; dkim=pass header.d=anu.edu.au; arc=none
  • Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=R0qYacolNuyLoRbuV23PeqtI4ArYYVrq2s8H8rHuIFk=; b=NRk4x5T4TLpU0wvqdJGTSxDTyyrm8VrFLJGOPLiV32K8cp3DR78AdKJNLL//M1mZxE8KGijRFZtj0MpinrKglprkci94w3w0pCtMa9vytS+Qy4RozIwJuZS/2LHUp6Hpzv+ZphkE20TtRxNbqk4korYC2v77PeLY9/WRx6hU2410tJSkf4qRh+gK/1QjROb0tv0gPY+l/rvqvaG9rI9ewiIT5z7II4ESkLfVV4pRq/5vmFpYx/bpDo+vke7yyKcSq8q7a0qrzIHOa4U2AGYfQriFeUr3KcIDDwqstf8Hrn6G9aO/MfMqPEVBsZz5o0Dqr6JJQrGiHXMjowdXPAJQdw==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=OZnN8TRDznZqkwvxzmFVS9XviKZm89ojM6udl4NXOa7s3FPTn5iHHIfw/x+bYOcuF+yvXmMDn9eC7Ik1tqKatU6UdQHF1NpDy4N8mRnPYSimGSmX3ndhL/ZQTLIeb4eQ4JqJkJ7B1cKwRmqKCxu6JwzWw4tbQE+5RlYtzsgmqyCoGeKXt2ncB4Yftoq8g6L+blUmkohBt64x3fncoF5O72DA4OauZRTdllG34Cv8oaI5q96e0PL79CFdaJAFgmVql0fghZ3yhHDYLpBaxFrN14jW4RkJOP/9mcv4lSFiBbP8etepX2HeAOznwZnWS3ofPFnXQxQlVenY8CgEhfAGcQ==
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=dirk.pattinson AT anu.edu.au; spf=Pass smtp.mailfrom=dirk.pattinson AT anu.edu.au; spf=Pass smtp.helo=postmaster AT AUS01-SY4-obe.outbound.protection.outlook.com
  • Ironport-data: A9a23:9zaRQ60HhXwLjSa2OvbD5eB0kn2cJEfYwER7XKvMYLTBsI5bp2EEx mROCGDUb/7bYmL0ftwlO97j8xgF68eGnIA2GwRl3Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOHNIQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3Zhn9gVaYDkpOs/jY8EM17Kyu0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSlECJkVPKCSHXjCCd86HJW2C909ViM3kwBqEd+uBeEzlc5 cAEMD9YO3hvh8ruqF66YsBRvZx6afLaYMYYsHwmyizFB/E7R5yFW7/N+dJTwDY3gIZJAOraY M0aLzFoaXwsYTUTYhFOUM14xb/3wCCkLFW0q3rNzUYzy2TS1g83yLHxLNvTYduMbcxTgwCVq n+A9nmR7hQybYbEkWrUqyzz7gPJtSnidL8pOI+SyvR7iVivymkUUxskSWLu9JFVjWb7AbqzM Xc88S036KM26UaDVcj4RxT+oXievxdaVcA4LgEhwASEy66R+BfFD3UfFmdGboZ/75BwQiE23 FiUmd+vHSZorLCeVXOa8PGTsC+2Pi8Wa2QFYEfoUDc43jUqm6lr5jqnczqpOPTdYgTdSGuqk QOZ5jMznasShsMt3qC2twKPyTG1q5SDCkZ/6gzLVyj3pkl0day0VbyOsFL71PdnKJrGb1+ju HNfpdOSwtpTBr6wlQuMYt43IpeX29i/Pgbxu2VfR6say2z1+lqIX5xh3zVlFUI4bucGYWDIZ WHQiyNw5bhSHnuga5JqUb2LUuAv4/HBFMvkZN/QfNFhcph8Ty7Z3SBMNGq7/XHhr1goqo47Y aykSMeLCW0LL5hnwB6dZfYv4ZVyyg8QnWrsFI3GlTK52r+gVVupYLYiMmrWSNsm7amB8T7nw /wGO+SkkxxgAfDDOA/J+osuLHcPH3gxJbbyj+d1LuejAA5XKFsNOs/r44EKWtJaxvxOt+Ly4 HuCdFdSywP/iV35OAy6UC1fR421b6lvj0AQHHIKDQ6z1mkBcLSfyv4VV6EKcIkN8M1hyv9JT Mc5RfiQP8QXShr71mQcSbLfsL1dcA+agFPSHii9Pxk6UZ1SZy3I3d7GVDXR0TYrNXOLivcHv 7f69Af/RMtaSytAEsrpNfGLyXmgtyMnnNMpZVPCeIVOch7SqIJFejL4n6I1KZtUKDHo5DiT5 yCJCzg2+MjPpI4U9oHSpKam9o2GLcp3LnB4LUL6s4mkEDb8xXWy57NPS8OKdm35eEKo3fz6f sRT7fX3EMNfrWZwq4AmTopal/Mv1eXgt5px71pBDn7US3+JF7k5AH2N/fcXh5133rUD5DeHA BOeyOJ7Z4eMFtjuSmMKBQwfae+G6/EYtx/S4dkxI2T4/CVHx6WGY2oDIyizjDFhE5UtPLMH2 esBvOsk2z67gDcuMfeEiXlazHTTD3oiV658iIoWLrW2gSUWy3ZDQ6fmNAnI3L+1Ze9xb3Yae g2vuPKahpB35FbzTH4oJH2cgctfncsvvT5J/n8jJnOIuNrPgMIq7iJrqBAyYF10zwpG4c13K GNEJ014HoTQ3jZK1exofXGgJBFFPzKdonfO8loukHbIaXWoWkjmDnwPCczU8G83q2tjLyVmp peGw2PbYBPWVcDW3Bpqf3V6qvbmHOdDxieblO+JR826ToQHOxz7iaqTZE0NmRvtIeU1oGbl/ eBK3uJBWZfXBB4qgZ8QKteljOwLaRW+OmZ9b+lr//oJEUHiaTiC42WyBH7rSPxdBc7h0BGeO 5ViKPsaAl76nGyLoysADKEBH65skbR7rJAec7fsPigdv6HZsjNtt4nK+zPjgHMwBe9jits5N pibYgfq/rZ8XpeIszSlQAh41muEjR0sTTDHhLnwy9RVUpUJvadrbF041aayszONKgx78hmIv QTFIajL0+hlzocqlIzpekmGLxvhMsv9DYxk7yjq2+mir/uWWSsNi+/RglDhIkJbMaZXUskfe XGlrovsxE2c1FopezmxpnRCfpWlIe27WvcRP87qanBH9cdHtAkA/DNbk12FxVd1fB+xKyVpq 8ZUqCd9SDLNZ+pg+Q==
  • Ironport-hdrordr: A9a23:A81F26sE1Fh/3domjKXAw+Bs7skC44Mji2hC6mlwRA09TyXGra 2TdaUgvyMc1gx7ZJh5o6HnBEDyewKkyXcV2/hmAV7GZmXbUQSTXeVfBOfZogEIeBeOv9K1t5 0QFJSWYeeYZTcVsS+Q2njaLz9U+qjjzEnev5a9854Cd2FXQpAlyz08JheQE0VwSgUDL4E+Do Cg6s1OoCflUWgLb+ygb0N1FNTrlpnurtbLcBQGDxko5E2lljWz8oP3FBCew1M3Ty5P+7E/6m LI+jaJrJlL8svLhyM05VWjoKi+q+GRhOerw/b8y/T9Hw+cxjpAor4RG4Fq8gpF491Ho2xa6O Uk6y1QRPibrUmhNl1d6CGdoTXIwXIl8H/pz0XwuwqcneXpAD09EMZPnoRfb1/Q7Fchpsh11O ZR03uerIc/N2K0oM3R3am6a/hRrDvHnVMy1eoIy3BPW4oXb7Fc6YQZ4UNOCZ8FWCb38pouHu ViBNzVoK8+SyLsU1nJ+m10hNC8VHU6GRmLBkAEp8yOyjBT2HR01VERysATlmoJsJg9V55H7e LZNbkArsA7cuYGKaZmQOsRS8q+DWLABRrKLWKJOFziULoKPnrcwqSHkIndJNvaCaDg4KFC56 gpCmkoyFLaU3iedfGz4A==
  • Ironport-phdr: A9a23:0aR50BBNi2+3kzMcfifQUyQU3UwY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua8zygaSAM6AsbptsKn/i+jYQ2sO4JKM4jgpUadncFs7s/gQhBEqG8WfCEf2f7bAZi0+G 9leBhc+pynoeUdaF9zjaFLMv3a88SAdGgnlNQpyO+/5BpPeg9642uys+pDfeRhEiTS9bL99I hi6sxjau9ULj4dlNqs/0AbCrGFSe+RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3T bpDDDQ7KG81/9HktQPCTQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8 qxlSgLniD0fOjA57m/Zl9BwgqxYrh29qBNy2JTbbJ2JOPdkYq/RYdMXSGxcVchRTSxBBYa8Y pMBAeoAJ+ZYrJT2qUEUohuiGQmsBeXvyiRPhn/wwKY31PkuEQDc3AwjBd4OqG7brMnpNKcTV +C1167IzTPYYvxM3zf99ZLEfQ48rvGRR75/a9fRxFApGgjYgVqetZbrMCmJ1uQRrWeb9exgW PqxhmMpqwx8vySiyMcjhITKhY8Y1l7J+Ct6zYs7O9G2SE12bMCkHpVfuSyUN5Z7T8A8T2xnp Ss31LIIt56mcCUIzpks2hDRa/uCc4eS4xLjUv6cLi1+hHJ4Yr6wmQu98VW6xuLmS8m4yEpFo TBDktbXqH8NzQbT5dKeRvRn4kiuxTGP1wXW6uFDPE87j7bbK58mwr42jJYcrUPDHirslErsk a+bcFgv9Ouw6+n/bbjquoWQO5Johgz8KKgih9CzDOYiPgQTUWWW+/yw2KPi8EHlTrhHi+A6n rXFv53bIMkXu7K1DgpI3Yk97huyCiqq3MoekHIaNlxKYgiHgJLsO1zWIPD3E/O/g1O0nTp3y f/II6HtDojUInbekrjscq9x60lHxwUt19xf4I9UCq0aL/L0R0/xssHXAgUhMwyuxObnFMty2 Z8CWWKOBa+ZNrnesViV5uIzJ+mMY4gVuDXnJ/c54P7uiGc1mV4bfaa3wZsacH+1Euh8L0mEf XbhgM0NHXoWsgc8VuDmlVOPXDxLa3a3Ra085zU7CIy8DYfEQ4CgmKGO3CahHp1VfGxGEkqDE Wv0d4WFXfcMcyWSIsl6nzMeU7ihVpUt2g+zuw/n0bZoNPfU9jUetZ34zNd1/fHclQku9TxoC MSQy3yBQ3lunmwUXz82wLx/oUtlx1if1qh4muVUGsBX5/NUSQg3LoXczux/C9DqQA3NZNaJS FC8QtWnGz49VNwxw8VdK3p6Tp+piQmG1C63CZcUkaaKDdo66OiUi3P2PoN2z2vM/KgnlVgvB MVVYz6InKl6oiTSHY2Bq0yFi6esbqMalHrB9X2Ai3KHoF1ZVhV3V43MW21Za0fL693ksBCRB 4SyAKgqZ1MSgfWJLbFHP4WBZTRuQf7iPI6beGetgyKqAh3OwLqQbY3scmFb3SPHCUFCnRpAt W2eO10YASGs63nbECQoDUjmNk/t6+o4sHqnUk4y1AaMR0Rnyvy49gNTjOHPA+gL0Oc8sTw64 y5xAE772tvXD9SaoA80cKRGYpUl6Utb1GTCsApVN5q9aa1umxgXblc/pFvggi1+EZ4Iis02t DUqwQ51fLqfy09EfiiE0IrYE4DscjC3xyHzLqnc1xfZzcqc/boJ5LIgsVL/sQq1F00ktXJ6z 91S1Hja7ZLPZOYLebT2VEt/tx1zprWAJzI4+5uRz3pnd6+9rj7F3dstQuoj0BepOdlFYuuCE 0fpHssWCtLLSqRikkW1bh8CIOFZ9bIld8Kgefyc3ae3PeFm1Du4hGVD6Yp53wqC7S15AuLP2 p8Exbmf0G7lH3/wjU2i9Nj+hZxFYyoVGEK2zzWiCYJMIKRvPM4KBWqoP8yr14BmnZe+PhwQv FWnBl4AxIqoYU/ONxqkhVIWjBxI5yX8xnjdrXQ8iTwio6uB0Tabxu3jcEBCIWtXXCx4ilyqJ 4GojtccVUzubg4zlRLj61yposoT7Kl5MWTXRl9FOibsKGQ3GKexrLnEe8dT9JIuqiJReO26f BaXRqO7qgZQgEaBVyNOgSs2cT2noMCzkx1giySFJWpvrXzCfsdYzBHCotHQWLhYw3BVIUsww SmSDV+6Md6z+NySnJqWqeGyWVWqUZhLeDXqx4eN3MeizVVjGgb33/W6m9m9VBM/zTe+zd5hE yPBsBf7ZIDvkaW8K+NuOEdyVhfw7M9zG4c2lYVV5tlY1XkAhdON9GYbkGHoNtNz0KTjKncBW HgC3pbZ7RPk10tqMn+Sj96hECzFnY04P4b8OzhJkismiqICQL+Z9rlFgTd4rhKjoATdbOI81 jYRxP0y6WIL1uQAuQ4j1CKYUdVwVQFTOS3hkQjN7sjr8P0RPT7wN+Hoiwwnxo/yadPK6htRU 3v4ZJo4SCp578EldUnJzGW28IbvPt/ZcdMUsBSQ1RbGlelcbpwrxZ9ozWJqP3zwuXo9xqs1l xtriNu2vZKEbX1k4L64BAVfMBX8Yd5V9z3wy69D1JXzvcjnDtB6FzMHUYG9B/6pCjFUrf37K weICzo6gn6dBPzSERLZ4Vos/BetW9i7cnqQInce19BrQhKQcVdejA4jVzI/hpclFwquyZ+pY AJj6zsW/FK9tgpUx7ciKUzkSmmG7lTNCH98WN2FIRFR9A0H+0rFLZnU8LdoBy8Btpy58l7Xd jTDNVtEVTlbCAvfXTWBdvGv/YeSqeHAX7jndqKcb+nW8b4MEKvYjZO3jNk8p27VZJ7fbis7V 6ZniBgEASAceYyRmi1RGXYez3ufNpfC9hngonYl/IfjobzqQFy9v4LXUukLaIw99Uzu2vXTb 7bI1nQ+dG49tNtExGeWmuIWhAdA0ng3JTfxSe9SvnaVFPCC3fIORx8DNXEpPZMRvftlh1tDZ ZaA2N2tjuYq3LloUTInHRTggp/7P5BSfTOxPQrMVhyAaubXK2WTkZOwPP30SKUM3rgO8UTo4 XDDVRekZ2jm9XGhVgjzY70UynDBekQY4MbkL15sETSxEIqgM0Xkdocx1Xpvn/U1ni+YbDNEd 2IkKAUV6OXXtH094L03GnQdvCM+da/ZxWDBqbGfc8hesOM3UH0sy6QGvzJijeMStX4MReQpy nKO9Jg25Qj4yq/XjWA/NXgG4jdT2NDR5BskY/6EsMMYATCcu0hUpWSIV0ZT+4IjU4Gy/fAWk p+VzeryMGsQqoiFu5pFQZGKbprAaiNEU1KhGSaIXlJfHHjyaTyZ3hIbyLbIrzWUtsRo8MGy3 sBVF/kCBQJzTrRAUAxkBIBQes8qGGp/wPjC1JJOvT3k9nyzDI1buJvDS/6fU8L0cXDF0OEdY QsMnerja5wUKYDhwFRsLFJ9mcyPEk7UF7ihuwVZZxQv6AVI+Xl6FCgo3l79Lxmq6zkVHOK1m Rg/jk1/Z/4s/XHi+QV/Kl3PrSo22E4//LetySiWayL0JbysUJt+IhfP7xF0CaKnBgF/YEu1g FBuMyrCS/RJlbx8eGt3iQja/5xSBfpbSq4CaxgVoJPfL/klylVTrCy7yFQPubODUMM90lJyL tj19C0I0hkrdNMvIK3MOKdFhkNdgK6DpG7g1+w8xhMfO1dY8G6Wf31t2gRAPb0nKiy0u+10v FDa3WIbJy5VD6Vs+6k1pSZfc6yawint0qBOMBW0Pu2bdeaCvnTY0NSPSRU2318JkE9M+f531 90iegyaTRNKrvPZGhIXOM7FMQwQYdBV8S2ZcSeUsqPVyI5pPoOmEebAROmT8qsYnwStAUx6e uZEptREBZSq3EzCeI3/K6UZzBw2+AnxDHy4N6wQPSm6zHIAqcz5y4Jr145AID1bGX96LSi8+ rfQoEktneaHW9A1JHwdW8FXUxB+EN3/kClfsXNaCTCx2e9M0wmO4Qj3oSHIBSX9Zd5uN7+EI AlhA9as9XAj4rC73BTJp47GKTiwZrEA8pffrPkXrJGdB7ZIQKlh5g3CzpJASSXiUnaTQ4LtY cmqLdFqNZutVz67SgDt12pzFp+ueo7rdu/R32SKDc5VqNXJgWplbJflUGlYQ1Ap+6kC/P4uP FVfJcZkJ0au70NnaOS+OFnKiNz2GjT0cGIEQaUHlbfoIOAHqkhkJu6ilil6R8ljnbDuqBwDG MlR3EOZmafrZpEAA3L6QiUPIlyW9yRlzzMzZr5qmrVth06Q1DtUezGTKr4zYTQd7YhlXAGcf S0tWGFgHwfO382eu0atx+5ApSIFxoQNiLQXviSm5c3ROGr0Cv7s9M+d9iMkaZJOS0JZOIr+Z MaKqdXXg26GJHExmiS4a3bjUsFrxp1XKi8eR+RUk2Y4P8BAoZBG9Uc6SsY5IfpIFbUoobepL zFjCHxLpcf8f4qGwXoPjvr60qaIzn+t
  • Ironport-sdr: 64ed3c5e_e9l21/qCHPJPlLuazJWl9DKJ/WVfLTb8kQPS9GeArOr79Fk 2guHEwd5cO/N3JKUvCOh+Km809aLkYMDQr/j8cA==

23rd ANU Logic Summer School

December 4 – 15, 2023

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 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://www.canberra-accommodation.com.au) 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://comp.anu.edu.au/lss/registration/.

 

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.



  • [Coq-Club] Call for Participation: ANU Logic Summer School, Dec 4 -- 15, 2023, Dirk Pattinson, 08/29/2023

Archive powered by MHonArc 2.6.19+.

Top of Page