![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Conferences
Jun. 3rd, 2023 08:54 amThe 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).
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).
