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

The fluff has started to fly. It is time for University students to start worrying about their exams.

#ANU #ExamTimeIsComing

At the Senate's Estimates today, #Bishop waxed lyrical about the funds she has personally brought into ANU from Philanthropists in WA and elsewhere (Over $60M). She also mentioned that in 2019 ANU's financial position was 'vastly' better (ie. before she took it over), and then COVID happen, nasty Covid made everything dearer and expenditure went up apparently. That was the entire focus in her defence. Verbal garbage a plenty avoiding any explanations for ANU's alledged financial woes or financial mismanagement.

I blame the #Senators for focussing on #Bishop rather than ANU's financial management and the doctered financial reports which show something like $142M deficit whereas the auditors had the university with a $90M surplus. Instead they wasted time on student numbers, student scholarships and the Kambri programme giving Bishop the lecturn she gladly used. Funny though, she now accepts credit for turning the ANU financial position around -- just like that in a few months, magically.

It's also convenient that the interim #Vice Prof Brown was the one who made changes to RenewANU implementations in January this year and is implementing those changes now.

Senators Shoebridge, Pocock and Faruqui were more on point (on leadership and finance) and made a few uncomfortable - Covid came up again then. But it was confirmed that ANU's dire financial position stems from an accounting perspective (different buckets of money)

Giving Bishop an opportunity to glaze the cherry and ignore accounting practices was irresponsible. And I am now convinced that the Chancellor is blind to her conduct and reponsibility for the current state of affairs on campus.

Throughout, Bishop appears in total denial else she's completely clueless.

#ANU #RenewANU #SenateEstimates

If you haven't watched the Senate Estimate hearing with ANU Chancellors answering questions from Senators.

Link to Vid:

https://www.aph.gov.au/News_and_Events/Watch_Read_Listen/ParlView/video/3951731

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.

https://www.penguin.com.au/books/fierceland-9781926428796

#ANU #reading #bookstodon

An Audit of the #ANU accounts show … surprise, surprise … that there is no black hole and the ANU in fact made a $90m profit in 2023-24.

—————
Quote:

To be clear, as a government owned, not-for-profit entity, the ANU is under no pressure to maximise its profits so that it can maximise dividends paid to shareholders.

“On the contrary, when the ANU made a surplus of $89.9 million in 2024 it did so by spending less money on its students, staff and community than it received.

—————

#Auspol

https://australiainstitute.org.au/post/the-anus-hidden-90m-budget-surplus/

Here is a headline (a report title to be precise) which would cause no surprise in the private sector. This sort of thing goes on all the times in our capitalist markets. But to have it label a report on the financial books of a not-for-profit PUBLIC institution is the epitome of #Corruption #Ineptitude #Mismanagement and #Buffoonery

Cooking the books at the
Australian National University
An analysis of the ANU accounts

Read more:

https://australiainstitute.org.au/wp-content/uploads/2025/10/P1906-Cooking-the-books-at-ANU-Web.pdf

#ANU #BishopMustGo #ANUCouncil #NeoLiberalism #InUnity #JoinYourUnionNow #JasonClareMP @JasonClareMP

Is there anything else required to convince everyone that the issue and the problems with ANU’s alleged financial troubles is anything but financial trouble?

Squarely, this misapprehension is a direct result of #Mismanagement and #AccrualAccounting neither of which ought to be experienced by an education institution.

Time for the #Education #Minister Jason Clare to dismiss the council outright and implement the recommended fixes that were commended to him Including scrapping the #JobReadyGraduate #Morrison crap!

“If we believe the auditor, there is no crisis at the ANU. To be clear, as a government owned, not-for-profit entity, the ANU is under no pressure to maximise its profits so that it can maximise dividends paid to shareholders. On the contrary, when the ANU made a surplus of $89.9 million in 2024 it did so by spending less money on its students, staff and community than it received.” (Source: The Australian Institute)

#ANU #NeoLiberalism #Managerialism #BishopMustGo #ANUCouncil #AusPol #JasonClareMP #InUnity #JoinYourUnionNow

Read more:

https://australiainstitute.org.au/post/the-anus-hidden-90m-budget-surplus/

Great meet the author event tonight with Frank Bongiorno in conversation with Virginia Haussegger about her new book (launched tonight) *Unfinished Revolution*. Elizabeth Reid was there too!

#Books #History #Politics #Feminism #ANU #Australia