#Tag
The official ads are now out for the #ANU #Logic Summer School, to be held in #Canberra , Australia from 1-12 December. https://comp.anu.edu.au/lss/
Paraphrasing a bit to fit in a toot:
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
Week 1:
John Slaney (ANU): Foundations of Metalogic
Michael Norrish (ANU): Computability and Incompleteness
Peter Baumgartner (CSIRO): Overview of Automated Reasoning
Liam O'Connor (ANU): Introduction to Interactive Theorem-Proving with Isabelle
Week 2:
Sonia Marin (Birmingham): Intuitionistic Modal Logic
Chelsea Edmonds (UWA): Advanced Isabelle for Software Verification
Cláudia Nalon (Brasília): Resolution for Modal Logics and its Implementation
Gillian Russell (ANU): Barriers to Entailment
Vineet Rajani (UNSW): Modal Type Theories and Logical Relations
ORGANISATION
The logic summer school is organised by Ranald Clouston, Peter Hoefner, and Michael Norrish. Please direct all enquiries to lss.comp@anu.edu.au
The official ads are now out for the #ANU #Logic Summer School, to be held in #Canberra , Australia from 1-12 December. https://comp.anu.edu.au/lss/
Paraphrasing a bit to fit in a toot:
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
Week 1:
John Slaney (ANU): Foundations of Metalogic
Michael Norrish (ANU): Computability and Incompleteness
Peter Baumgartner (CSIRO): Overview of Automated Reasoning
Liam O'Connor (ANU): Introduction to Interactive Theorem-Proving with Isabelle
Week 2:
Sonia Marin (Birmingham): Intuitionistic Modal Logic
Chelsea Edmonds (UWA): Advanced Isabelle for Software Verification
Cláudia Nalon (Brasília): Resolution for Modal Logics and its Implementation
Gillian Russell (ANU): Barriers to Entailment
Vineet Rajani (UNSW): Modal Type Theories and Logical Relations
ORGANISATION
The logic summer school is organised by Ranald Clouston, Peter Hoefner, and Michael Norrish. Please direct all enquiries to lss.comp@anu.edu.au
One for the #RSE crew - @jamessmithies is hiring for a Research Fellow (Computational Methods) at #ANU - 2 year fixed term
Focus on computational methods to support #DigitalHumanities
https://www.linkedin.com/jobs/view/4313700832
#FediHired
#GetFediHired
#HigherEd
#AcademicJobs
#FediHire
#FediHire_au
Last night I went to the Canberra launch of Omar Musa’s new novel, Fierceland, at ANU.
He talked about the importance of languages and taking the time to get each word right, linking plot lines back to the mythology of Borneo and Malaysia, and growing up Muslim in Australia.
Can’t wait to read it. Poets often make excellent novelists, in my experience.
Last night I went to the Canberra launch of Omar Musa’s new novel, Fierceland, at ANU.
He talked about the importance of languages and taking the time to get each word right, linking plot lines back to the mythology of Borneo and Malaysia, and growing up Muslim in Australia.
Can’t wait to read it. Poets often make excellent novelists, in my experience.
A Strategic Community #Roadmap for an #Australian#FAIR#Vocabulary Ecosystem
https://doi.org/10.25911/N6K8-F540
Three years ago, I participated in a very engaged workshop at #ANU on #vocabularies for FAIR #data management. It sharpened how I think about vocabularies. I now see them primarily as a #KnowledgeTransfer tool for representing domain expertise in an actionable form. And I think we do a terrible job both at highlighting how critical they are (particularly in an age where trusted expertise is harder to find) and also at making them easier for others to find and reuse.
I picture this scenario. A student is about to start collecting data for their thesis. They need to make choices about what variables to observe or what questions to ask participants, and they need to think about how they want to represent the results to support their analysis. In the ideal case, the actual data collecting effort is about populating an imagined but initially empty data matrix. If they could be assisted to find the best structured and most widely used (in their domain) vocabularies for any categorical values in their data, it would be possible to generate that template matrix with in-built validation tools, etc. The data they finally collect would have most of its metadata already defined and would be properly interoperable with data collected by others in their domain. Meta-analysis would be much simpler.
I am interested in why tools like this don't really exist, or at least why they are not mainstream. I think it's because vocabularies are seen as such an ultra-nerdy subset of the nerdy topic of #metadata rather than presented as an opportunity to stand on the shoulders of others. What can be done to make them more friendly and intuitive for such purposes?
Finally, after way too many struggles, we have a report and recommendations from from that meeting in 2022. I tried to add some of these ideas to the final product as best I could.
A Strategic Community #Roadmap for an #Australian#FAIR#Vocabulary Ecosystem
https://doi.org/10.25911/N6K8-F540
Three years ago, I participated in a very engaged workshop at #ANU on #vocabularies for FAIR #data management. It sharpened how I think about vocabularies. I now see them primarily as a #KnowledgeTransfer tool for representing domain expertise in an actionable form. And I think we do a terrible job both at highlighting how critical they are (particularly in an age where trusted expertise is harder to find) and also at making them easier for others to find and reuse.
I picture this scenario. A student is about to start collecting data for their thesis. They need to make choices about what variables to observe or what questions to ask participants, and they need to think about how they want to represent the results to support their analysis. In the ideal case, the actual data collecting effort is about populating an imagined but initially empty data matrix. If they could be assisted to find the best structured and most widely used (in their domain) vocabularies for any categorical values in their data, it would be possible to generate that template matrix with in-built validation tools, etc. The data they finally collect would have most of its metadata already defined and would be properly interoperable with data collected by others in their domain. Meta-analysis would be much simpler.
I am interested in why tools like this don't really exist, or at least why they are not mainstream. I think it's because vocabularies are seen as such an ultra-nerdy subset of the nerdy topic of #metadata rather than presented as an opportunity to stand on the shoulders of others. What can be done to make them more friendly and intuitive for such purposes?
Finally, after way too many struggles, we have a report and recommendations from from that meeting in 2022. I tried to add some of these ideas to the final product as best I could.
I have finished up with teaching my big introductory #Logic course at #ANU, leading 300+ students through propositional, first order, and temporal logic, through natural deduction and tableaux, and through formal semantics and translation from natural language. I did a huge overhaul of the existing course and made some mistakes en route for sure, but overall student feedback was very positive. Although I am not obliged to expose anything behind my LMS paywall, I feel strongly about disseminating teaching as a genuine intellectual output and have a public website up with most of my materials: https://comp.anu.edu.au/courses/comp2620/news/2025/02/17/welcome/
I have finished up with teaching my big introductory #Logic course at #ANU, leading 300+ students through propositional, first order, and temporal logic, through natural deduction and tableaux, and through formal semantics and translation from natural language. I did a huge overhaul of the existing course and made some mistakes en route for sure, but overall student feedback was very positive. Although I am not obliged to expose anything behind my LMS paywall, I feel strongly about disseminating teaching as a genuine intellectual output and have a public website up with most of my materials: https://comp.anu.edu.au/courses/comp2620/news/2025/02/17/welcome/
Here's a lovely piece by my #ANU#Cybernetics colleague, @theEllamo which talks about my #TokenWars talk, and how it's related to concepts like #PeakToken and the value of human-generated #data as the internet becomes polluted by #AI-generated slop.
There's a video link here to the #TokenWars talk, if you haven't seen it already.
Thanks, Ella!
People’s Inquiry shines a light on #Palestine repression at Australian #universities
https://overland.org.au/2025/07/the-peoples-inquiry-shines-a-light-on-palestine-repression-at-australian-universities/
#PalestineInquiry Preliminary Report
— Don’t talk or write about Palestine: it’s a career killer.
https://www.palestineinquiry.com/preliminary-report
#ANU Poster Policy - #WORONI the voice of Australian National University students since 1950
https://www.woroni.com.au/news/anu-poster-policy-takes-effect/
A space for Bonfire maintainers and contributors to communicate