RanaldClouston<p>I'm pleased to say that I'm helping to organise the <a href="https://fediscience.org/tags/ANU" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ANU</span></a> <a href="https://fediscience.org/tags/LogicSummerSchool" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicSummerSchool</span></a> , which will be running in its 33rd straight year! The website <a href="https://comp.anu.edu.au/lss/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">comp.anu.edu.au/lss/</span><span class="invisible"></span></a> is mostly TBA notices at the moment, of course, but we do have the dates: 1-12 December. This is an international event and we hope to be able to have a limited number of grants available for students to use to travel to <a href="https://fediscience.org/tags/Canberra" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Canberra</span></a> . <a href="https://fediscience.org/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a></p>