Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Call for Participation: ANU Logic Summer School, Dec 2 -- 13, 2024

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for Participation: ANU Logic Summer School, Dec 2 -- 13, 2024


Chronological Thread 
  • From: Ian Shillito <Ian.Shillito AT anu.edu.au>
  • To: Coq Club <coq-club AT inria.fr>
  • Subject: [Coq-Club] Call for Participation: ANU Logic Summer School, Dec 2 -- 13, 2024
  • Date: Thu, 3 Oct 2024 06:17:29 +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=arcselector10001; 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=jCUfnKKQODv8N4aX6nSXjx83ugB/d0toH4Y0WlGF5UQ=; b=k2w/cb3Ul8+DeoyeIOGYAJk7tLNf8EkRF8U9nMa0PGVPhC6eiA7QYzb5a78hrDgQES98o4cVygRBaaUGr5Xaqq8AoSSZnAc7OZqUOJxZAmeP1pRT8ld9FGO7HBotefUR52UIG3rQ+rliNHKlSNPAS7TUhaLIdjtzY9Rn36RzjMOXQ8FktEgz9ThEanPut+F9SsQfTOV3JA1zKlqvDevS+O3ofWXF+zUZlpQMuoTFL/tZnAn6A1pMrjB2+cDDMsKe6hzGhq0th7G5YZlpJQbpRZlSWG3ktfMXdyWOUsrz3Uaixk59aDOn33W9IVNnr+NASso35nC1m54IWG7TWsEUNA==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=oIqIcvoKCeMl5fKl963xg+RftyAopMjvbyo4hhWCVgjX5WVMEeNrIAlfh684ePPDlmxMhM5D75vdTYJirVeDe8u4F2lO3DXLZeRQrRLczR8WzfOIpgBrUl8s69hAzdw09cW7UtOSvi4WVDNH8CLuScGJYSOleOjqezvfF9/hMd5WihZa69zog+R8pYZQuzmz/Yie+4HJJ5cfgReI5gc9cyMNic9CEOaUWRBAXA4pPRF+gOdEoS7Ct2cE45o5agez6JUzkzx6mHk1+AlNmqETWP6EKa782FFEGYJ1KdvuP3tpkw0zFHDP0DwGI2xv3TVZGiSh7kyEf7i2QSpJv6+t5A==
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Ian.Shillito AT anu.edu.au; spf=Pass smtp.mailfrom=Ian.Shillito AT anu.edu.au; spf=Pass smtp.helo=postmaster AT AUS01-ME3-obe.outbound.protection.outlook.com
  • Ironport-data: A9a23:xXD8Wq+vzCk9tJNW6bUFDrUDgnWTJUtcMsCJ2f8bNWPcYEJGY0x3x zMfCzjXOPbeNmD3fN8iaImwo00A6MOAztViSQI4/itEQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjP3OHPymYAL9EngZbRd+Tys8gg5Ulec8g4p56fC0GArlV ena+qUzA3f7nWctWo4ow/jb8k825Kyo4G9wUmEWPJingneOzxH5M7pEfcldH1OgKqFIE+izQ fr0zb3R1gs1KD9wYj8Nuu+TnnwiGtY+DyDW4pZlc/TKbix5m8AH+v1T2Mzwxqtgo27hc9hZk L2hvHErIOsjFvWkdO81C3G0H8ziVEHvFXCuzXWX6KSuI0P6n3TEwbJOAG0LAb8ky+tdIFAN7 eECNgxQYUXW7w626OrTpuhEr/kYdJCuGa5E/3ZqwHfeEOosRo3FT+PS/9hE0Twsh8dIW/HDe 84ebjkpZxPFC/FNEgtPTstmw6Hx3im5Km0AwL6WjfJfD2z77QV3loPtMd7Re8CNbcxTgwCVq n+A9nmR7hQyZYzHlmLYri/EaunnwiTeWbMPTPqDyudKiUCTwGg+NBMbbA7uyRW+ohXlAY4AQ 6AOwQIlqrF3/0i2RPHmThigqTiFuAQdUpxeCYUHBBqlz6PV50OcCzMNUyUZMdsg7pZmHXoty 0ODmM7vCXp3qrqJRHmB97CS6zSvJSwSKmxEbigBJecY3zX9iIN0rh7jc+pRLJ+4pPzEWint2 S628Sdr0t3/kvU3/6m8+FnGhRelqZ7IUhM5623rsoSNvlIRiGmNN93A1LTL0cusOrp1WXGog RA5dyW26ekPCdSImXeEXf5VRbavva/VaHvbnEJlGIQn+3K14Xm/cItM4TZ4YkB0LsIDfjyva 0jW0e+w2HOxFCX3BUOUS9vrYyjP8UQGPYi0PhwzRoYeCqWdjCfdoElTibe4hggBanQEn6AlI ou8es2xF3scAqkP5GPpHbhNgONznnxhmTu7qXXHI/KPgev2iJm9GeZtDbdyRr5ltPzsTPj9r 4gAa5Dak0U3vBPWPHCKrdNMRbz1EZTLLcut8ZAIHgJyCg9nE3smEPjf3fsqfJZ995m5Zc+Zl kxRrnRwkQKl7VWecVXiQik6NNvHA8wjxVplZnZEFQjzhBAejXOHtvx3m20fIeF4q4SODJdcE 5E4Ril3Kq0XG2SYo29BMsGVQU4LXE3DuD9i9hGNOFAXF6OMjSSTkjM9VlK3rXlcPTn9rsYkv byr2yXSRJdJFUwoD9/bZLjrhxm9tGQU0rA6FUbZAMhhSGO1+qhTKgv1kqAWJeMIIk793Te07 VudLioZgujvmLUL1uf1q5qKlKqTKNsmLHFmRzHayZ2UKRjl+nGSxN4cceSQIhHYemDG2ISjQ uR3z/v6DeA1o2wTl49SSpdq0qMMyN/9rJBKzglfPSvqbnb6LphCM3W5zc10makV/YBguCyyQ VOpxtlWHZ6rKfHVOgcdCyR9Z9vSyMxOvCfZ6MoEBXnT5Qh1zeKhalpTNRzdsx5tBuJ5H619y NhwpfNMzRK0jycrFdO0jip00WCoBV5YWoUFsqAqOqPaujAJ+HpjP6OFUjTX5auRYepiKkMpe z+YpJTTjoRmm3btTSABKmjv78F827I1pxF4/H0TLQ+om/3EpMMN8j9/zDAVdjlRnzJ7i79dG 24zLEBkB7S8zxExjuh5Ym2cMQVgBhqYx0/P92U0hFDpF3ePaGicA1A+aMCs/V8Y+V1yZjJ03 q+V40e7XCfIfPPe5DoTW0lkmsO+FPh0yA7Oo52nE/+kBLg/WyLu2YW1VFoLqjzmIMI/v1LGr u9U59RNabX3GCoTgq8jAayY6Oggcw+FL2l8Xv1RxqMFMmXCcjWU2zLVCUSOVu5SBv7Nq2mUN tdPI59RahGAyyq+lDAXKqoSKbtSnvRyxt4jeKvuFFEWoYmksTtln5LBxBfQ3FZxbY1Vrv88D YfNexapMG+a3yJUklCQivh0ADOzZN1caTDs2Oywzv4yKKsCl+NRamA37Kq/uiSEEQlg/i/Mh jj5WY3t87VAx7hvzqzWKYcSIyWvKNj2avaEzxDrjfRKcuH0EJnvsyE7lwDZGjp4bJorZsRPt LWSsdTI8lvPk5QoXkv4xZSQNal7yv+jfehQM/vJEkV/sQaeZPLR8T88qmGKEsFXnONn58P8e RaKQ5avfttEA+Vi4iVcVHlDNxNMUqjYfrnq/zignq7dFjkczg31A9e1/lD5bWxgV3EpOr+vL iTWqvqR9tRjg4AUPyA9BtZiGI1dDGL4fKkbK/ndlGK/NXa5pX+ktp/JtwsS2RuSBlaqSM/Fs I/4HD7gfxGMiYT05dB+sakpmzYIDXx40NICTmhE9/FY0zmFXXM7d8IDOpA7C7ZRoCz49Lf8Q BrvNGICKyHMbQ5oQCXGwubIf1mgX7QVG9LDODYW0VueaH62CKO+EbJRzHpczEksSATz7tOMC I84wWLxDCiT05syZOc0596Hu8lF6M7e5Eo1/RHar5SvLTcYWLkE7Sk0Vk4FHynKCNrEm0j3N HA4DzIMCl2yTUnqV91sYThJERUepyni1CgscTzJ+tvEpoGH16dV/ZUT4Q0oPmErN6zm5YLiR E8bg0Ok3lvOgzk2lPBsvNgkx6hpFfiMA862arf5QhEflL2x7WJhON4emS0IT4cp/ws3/5b1i Gy3+3ZnbKiaABk55VFU4VxhF1FNvrYkBjfUygPzuHnPjHTVCvDHLgOywluTxY7Y8sDeUoYxf NvWRE+XvhubuCairCQWWjH3YLCYKZl5KEQomRzEgn8/ftlAhYOd+H1cP5kG6u9s
  • Ironport-hdrordr: A9a23:K8ifJanR9WqQEI5DHb9WokZyAAzpDfO5imdD5ihNYBxZY6Wkfp +V8cjzhCWftN9OYhodcIi7Sc+9qADnhOdICOgqTMGftWzd1FdAQ7sSibcKrweAJ8SczJ8V6U 4DSdkYNDSYNzET4qjHCWKDYrUdKay8gcWVbJDlvhVQpG9RC51I3kNcMEK2A0d2TA5JCd4SD5 yH/PdKoDKmZDA+ctm7LmNtZZmJm/T70LbdJTIWDR8u7weDyRmy7qThLhSe1hACFxtS3LYZ93 TfmQCR3NTojxj78G6Q64bg1eUYpDLT8KoMOCVKsLlVFtzYsHflWG2mYczDgNl6mpDt1L9gqq i1n/5pBbUJ15qWRBD8nfKl4Xib7B8+r3X4yVWfmxLY0LLEbSN/BMxbiY1DdBzFr0ImodFnya pOm3mUrpxNEHr77VHADvXzJmJXf3CP0AgfuP9Wi2YaXZoVabdXo4Ba9ERJEI0YFCa/7Iw8Cu FhAMzV+f4TKDqhHgfkl3gqxMbpUmU4Hx+ATERHssuJ0yJOlHQ8y0cD3sQQknoJ6Zp4QZhZ4O bPNLhuidh1P7srRLM4AP1ETdq8C2TLTx6JOGWOIU7/HKVCIH7Jo46f2sRE2AhrQu148HIfou W/bLoDjx9OR6vHM7zz4KF2
  • Ironport-phdr: A9a23:oMkfrxRqjMcyRuJsyuDgHBeqh9psooGXAWYlg6HPa5pwe6iut67vI FbYra00ygOSBcOBsaoP0rKI+4nbGkU+or+580o+OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF 95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwbL1uI BmsswndqNUajYR/JqotyxbCv2dFdflRyW50Kl2fmArx6N238JB/7Spbpugv99RHUaX0fqQ4S aJXATE7OG0r58PlqAfOQxKX6nQTTmsZnBxIAxPY7B7hRZf+rjH6tutm1yaEO8D9UK05Vi6j7 6dvTx/olTsHOjsk+2zZlsB8kKRWqw+6qhdh34Dbfp2aNPtmfqPcY9waQ3ZBXt1MXCBFG4+wc pcDA/YEMetesoLzpUYBrQGmCAesGu3h1yNIiHH106Im3OssChvJ0BA8E98UrHjYsNX4OaEPW u611qnIyjDDYutV1zjn7ojDbw0vofGNXbJ0dcrRyFUvFwTYhViXqoLqJTWV2v4QvWib7upgU eavi287qwF2uTWg3MEsipTTio0L11/E6D91z5woJdChTkNwfNGrHodKuS6AK4t2Xt0tQ3tuu CsiyrAIuZy2cSsExZkl2RPTd/KKfoiK7x/9W+idPDl1iXZ5dL+igxu/8Eeux+L/W8WqzFpHo SVLn8XCuH0P1RHe986KQeZz8Eem3DaAzQHT6udcLE8uk6rbNoQtzaAtmZoOq0jMBDL2lF3qg 6CMcEUr4fan6/79Yrr8v5OTLZN7hR35MqQrn8y/Bvk3PRISX2ia/uS80qfv8lH+QLVPlPE5i LTZvZbHLsoYvq60GwBY3po55xqiEzur0s4UkWQbIF9GYh6LkovkN03WLPzmDPqzn1qhnTJ2y /zaIrLsA5DAImXfnLrkYLpw61NTxQ82wNxC6Z9ZDKwKLez3Wk/sr9zYEgE2MxapzebmCdRyy JsTVX6JD6SEKq3dq0WI6fgqI+SUZI8apjL9K/896vPyg3A3hEMRcbSw0ZUQZ361EO1qI0KCb nXymNsBFnoKvhYlQ+ztlV2CVyNca2yqX6Im4TE7FJypApvfRoCsh7yB2j23HppLZmBaDlCMF nDod4aeV/gQbyKSJ9dtkj0CVbe/V48szR6juBPgx7Z6MubZ+DcUuY//2NV2/eHfiBI/+SBsA 8SYyW6NTmV0nm0SRz8x2aByuU9zxU2F0aRinvJYFd1T5/dNUgc7KZ7cyPd3BMr0WgLcZNuGV kupQsi8DT4rU9I929kObF1lFNW4kh/DxzaqA6MSl7GTGZA46rjc0GTpJ8Zh13bG07EsgEUhQ stWLGGpmqp/9xXICIPSiEWYl6OqdbwG0yLX9WeDy3COvEBCXwJqX6XFRyNXWkyDhtPgrmjGU rXmXb8gK05KzdOIAqpMcNzgy1tcEqTNItPbNkO4nS+LBReMwrKQa8K+Wmwbmh7dCUwAkhwU1 X+AKE4zCjrnqn+IX28mLk7mf065qbo2k3i8VEJhiljSNyWJtpKw8x8R3rmHTu8Lm6kDoGEno il1G1C025TXDcCBrkxvZvYUessztXFA02+RrAlhJtq4Nak3p1cYNT93vkfq1glwIoxGjI4no G5sxRchYbmA3gZ5fiiDlYv1JqWRL2Dz+B61bKuD+1jYlu2W+6ML6eg/g1zloUekGldk+mg0m 8JN3S6k747RRBEXTYq3Uksz8E1ioKrGZyAm+47O/VRRCvHt9xrvgJcuDuZjzQu8ddBCNq/CD BX1D8ARG8mpLqothkStaRUHeutV8cbYJuuAcP2LkO6uNedkx3e9iHhfpZt6ygSK/jZ9TejB2 9AExeuZ102JTWW0ilDpqc3xlY1eAFNaVmOi1SjpApJQbaxubM4KD2mpOci+2tR5gdbkRXdZ8 FepA15O1tWufFKeaFn03AsY0kpywzTvuCK+iQd0kjUtr7aY9CXI3qLveAdBM3MKDGhugFHwI JSl2sgAVRvNDUBhnx+k6EDmgqlD8fgnaTCLHgERJ3iwdjE6Ac7S/vKYbsVC6Y0lq3BSWeW4O hWBT6Ll5gAdy2XlFndfwzYyc3ervI/4llp0kjH4Tj47oXzHdMV33Rqa6sbbQKsb/zMAAhJ4i D3TB0S7F9Cv4JOZm4qFu/30BAfDHtVDNDLmy4+Nrn7xxGRsRya/nvS3m8HgOQE8zGn228QsX DiC/3OeKsH7kq+9N+xgZExhAlTxvtF7Fo9JmYw1nJgM2HIei/155FI/mHzoeZVe0KP6Nz8WQ CIThsXS+E7j0VFiKXSAw8T4UG+cy41vfYvybmQT0yM7p8dEbcXcpJ1Nm21Oolu8qQPNZtB0m CpbxPczrncHy+0EowsiyCyBD6taQREeZHSz0U3Qv5bn/P0fbX3KE/D4zEdkmNG9ELyO6hpRX nr0YNZqHCN96Nl+LEOZ1XTy7o/+f9yDCLBb/haQkhrGk61UMMdtzrxT3XUhYDqt+yR1k71e7 1Qmx5yxsYmZJn84+au4BkUdLTjpf4YI/Smri69Cn8GQ1oTpH5N7GzxNUoG7KJDgWD8Uq/njM B6DVTMmrXLOU5vWG0mk6EZiq3PTFLiiMWzRKXUEi9x/Dkr4RgQXkEUPUTM2k4RsXCGjworac EZ94jEN4XbxrAYKx+51cRDiGDS6xk/genI/T56RKwBT5wdJ6hLOMMCQ2el0GjlR4pyrqAHeY nzefQlDCnsFH1CVH122dKf7/sHOqqLLY4j2Z+uLe7iFrvZSEuuF1Y76mJUz5C6Cb6DtdjFvH /wgxlEREGN4DoKFxm1WTTwTy3vWKcuSrw274TV56Ni47/nxQxrho4CIDvNEONFrsXhamI+7P vWLzGZ8IDdcjdYXwGPQjaMYxBgUgj1vcD+kFfIBszTMReTegP0fAxkeYiJ1fMxGisB0lhFKI tLeg8jp26RQp8MOUw4AcHG638ajaIoNPn23M07BCACTLrOaKDbXwsbxJ6ShVblXi+YSvBq13 FTTW0PuJTWMkTD1WgvnbbkK1XnEekUG6MfkIk4lAHOrVN/8bxynLNJ7xSY7x7E5nDKCNGIRN yR9b1IYrrCU6nA94L03EGhA43x5aOicznrBqbCAddBP6astW3QsxIc4qDwgxrBY7T9JXqlwk SrW9Zt1pk2+1/KI0nxhWQZPrTBCgMSKu19jMOPX7MolOz6M8RQT4GGXExlPqcFiD4ilmqlWj OPPlab3KStF29vS4I0RC9WSId/NYx9DeVL5XSXZCgcIV2vhLWbEm0lUi+2f7FW8k6Ni893Jt cFLTbVWElsoCvkdF0JpWsQYJ4t6VS8llrjdi9MU4X25r1/aQ8AQ7fWlHrqCRP7oLjiel7xNY RAFlKj5IYokPYr+w0V+a1N+kdeCCw/KUNtKuCEkch4srRAH7i1lVmNqkRGACEvl8DoJGPWzh BJzlgZufbFn6mL3+1lublvS+HlsyA9gw5O9x2jWKWO5Lb/sD90OTXOs6A5pdMu8GlgQD0X6n FQ4ZmqeAesJ1/04Mzgs0VKUuIMTS6MGC/QcOllIg6nQPqtg0EwA+Hj9gxYfvq2dT8MlzVRPE 9bkrmociVs7MJhpeuqIYvIOlwcYh7rQ7HWhjrljmVZHdUhRqDvAKmlU6ClqfvEnP3T6pOU0s F7bwmIRdjRUDKh45a47vkIlZbbaxnq5gecacxK/a7TEffPB4zCSx4nVGzZSngsJjxcXp7Eui JV6KhPGWRx3l+maT0xRZ5iFdFgdbtIMpiLaJX/c6LyUk5wpZ97vGLiwFb3c8/tOygetGAJjd 2zpxs0HA9+h3FyeJNq1dNbtKD0E2T+zfRCgIa8MfxiG1jAav8u40Zl7m5FHIS0QCnl8NiPx4 avLoggtg7yIW9JkOx/ysaMNMG9wVcGn3SdE7S0oMQ==
  • Ironport-sdr: 66fe3706_HHW9g0U3phVrt+2Fwu7HaEjL5aGwczJ1VnCmV1o+4gj/0l4 4eMF3t4PdG6+V9MR9yvEhQJ7vpgn6EBG0rpMD7A==

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 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): Reasoning in Temporal Logic

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 AT anu.edu.au.

 



  • [Coq-Club] Call for Participation: ANU Logic Summer School, Dec 2 -- 13, 2024, Ian Shillito, 10/03/2024

Archive powered by MHonArc 2.6.19+.

Top of Page