Conferences
Jun. 3rd, 2023 08:54 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
dmmThe 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).
no subject
Date: 2023-06-03 01:18 pm (UTC)https://thestrangeloop.com/2023/sessions.html - most of the program is posted
https://www.thestrangeloop.com/ - September 21-22
I am not sure why they decided to end this conference series (of course, it's not clear how long the remnants of the "world as we know it" will last; it might be that Fall 2024 would not make much sense anyway, especially for an in-person conference).