Conferences

[dmm]

The details will be in comments (I have mixed feeling about all this).

I am seeing people talking about their talks being accepted for Strange Loop. It seems that this will be the last Strange Loop conference (I have no idea why).

Terence Tao is co-organizing "AI to Assist Mathematical Reasoning" online workshop (June 12-14).

Joint conference of "Algebra and Coalgebra in Computer Science" and "Mathematical Foundations of Programming Semantics" is on June 19-23 (free for those who participate online).

Comments

[dmm]

So, stepping back, we are gradually moving towards a situation when AI can assist us to understand things and do things, but correctness is not at all guaranteed.

In this sense, when I am looking at the abstracts of CALCO 2023 & MFPS XXXIX, https://coalg.org/calco-mfps-2023/ and pondering how to make this kind of difficult math understandable and usable, AI assistance is the only thing I am hoping for.

So, what Terence Tao is co-organizing here is one of the things which are quite relevant, but the program is a bit too bureaucratic for my taste:

https://terrytao.wordpress.com/2023/06/02/ai-to-assist-mathematical-reasoning-a-workshop/

https://www.nationalacademies.org/documents/embed/link/LF2255DA3DD1C41C0A42D3BEF0989ACAECE3053A6A9B/file/D5DBCD07BFB3B3835BA234DD7CC8F45DED111D71E18F?noSaveAs=1

So... I don't know whether this is at all useful to attend...