These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
The calender view is not available on the mobile version of the website. You can view this information as a list.
You can also view this information as a list or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.
| << September 2022 | ||||||
|---|---|---|---|---|---|---|
| Sunday | Monday | Tuesday | Wednesday | Thursday | Friday | Saturday |
|
1
|
2
|
3
|
||||
|
4
|
5
|
6
|
7
|
8
|
9
|
10
|
|
11
|
12
|
13
|
14
|
15
|
16
|
17
|
|
18
|
19
|
20
|
21
|
22
|
23
|
24
|
|
25
|
26
|
27
|
28
|
29
|
30
|
|
7 September 2022, LLAMA seminar, Dominik Wehr
15 September 2022, Logic and Interactive Rationality (LIRa), Zoé Christoff
16 September 2022, Cool Logic, Annica Vieser
20 - 22 September 2022, Proofs and Formalization in Logic, Mathematics and Philosophy , Utrecht
On 20-22 September the workshop Proofs and Formalization in Logic, Mathematics and Philosophy takes place at Utrecht University, the Netherlands.
The workshop aims to bring together researchers from various areas whose work either directly concerns the role of proofs or formalization in logic, mathematics and philosophy, or is relevant for these topics in a more indirect way, e.g. by being an example of the role proofs or formalization play in these fields.
There is no registration fee, but if you wish to attend (part of) the workshop, please send an email to Rosalie Iemhoff and Robin Martinot: r.iemhoff at uu.nl, r.a.martinot at uu.nl.
20 - 22 September 2022, Proofs and Formalization in Logic, Mathematics and Philosophy , Utrecht
On 20-22 September the workshop Proofs and Formalization in Logic, Mathematics and Philosophy takes place at Utrecht University, the Netherlands.
The workshop aims to bring together researchers from various areas whose work either directly concerns the role of proofs or formalization in logic, mathematics and philosophy, or is relevant for these topics in a more indirect way, e.g. by being an example of the role proofs or formalization play in these fields.
There is no registration fee, but if you wish to attend (part of) the workshop, please send an email to Rosalie Iemhoff and Robin Martinot: r.iemhoff at uu.nl, r.a.martinot at uu.nl.
21 - 22 September 2022, Masterclass with Joel David Hamkins “The Set-Theoretic Multiverse:10 years after”, Konstanz (Germany) & virtual
The program includes a tutorial session about set-theoretic potentialism and the talk "Multiverse view on the axiom of constructibility” by Joel D. Hamkins as well as a panel discussion and contributed talks.
The masterclass will be held in a hybrid format. For registration and a link please send a mail to carolin.antos-kuby at uni-konstanz.de or gio.venturi at gmail.com.
21 September 2022, LLAMA seminar, Marianna Girlando
20 - 22 September 2022, Proofs and Formalization in Logic, Mathematics and Philosophy , Utrecht
On 20-22 September the workshop Proofs and Formalization in Logic, Mathematics and Philosophy takes place at Utrecht University, the Netherlands.
The workshop aims to bring together researchers from various areas whose work either directly concerns the role of proofs or formalization in logic, mathematics and philosophy, or is relevant for these topics in a more indirect way, e.g. by being an example of the role proofs or formalization play in these fields.
There is no registration fee, but if you wish to attend (part of) the workshop, please send an email to Rosalie Iemhoff and Robin Martinot: r.iemhoff at uu.nl, r.a.martinot at uu.nl.
21 - 22 September 2022, Masterclass with Joel David Hamkins “The Set-Theoretic Multiverse:10 years after”, Konstanz (Germany) & virtual
The program includes a tutorial session about set-theoretic potentialism and the talk "Multiverse view on the axiom of constructibility” by Joel D. Hamkins as well as a panel discussion and contributed talks.
The masterclass will be held in a hybrid format. For registration and a link please send a mail to carolin.antos-kuby at uni-konstanz.de or gio.venturi at gmail.com.
26 September 2022, Nordic Online Logic Seminar , Jan von Plato
The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.
This is the announcement for the next talk. Those who wish to receive the Zoom ID and password for it, as well as further announcements, can subscribe here: https://listserv.gu.se/sympa/subscribe/nordiclogic.
26 September 2022, EXPRESS-Philmath Seminar, A.C. Paseau
28 September 2022, LLAMA seminar, Giovanna D'Agostino
29 September 2022, The Utrecht Logic in Progress Series (TULIPS), Benjamin Rin
This is a hybrid talk. Contact the organizer for a link to the online meeting in Microsoft Teams.
29 September 2022, Logic and Interactive Rationality (LIRa), Thomas Randriamahazaka
30 September 2022, Cool Logic, Mike Cruchten
The theory of regular languages has been studied extensively and offers many nice connections to logic, algebra, and coalgebra. Unfortunately, the theory of omega-regular languages is slightly less well-behaved, in particular with regards to coalgebra. To bridge the gap we introduce the theory of regular lasso languages, a theory combining the simplicity of regular languages with the expressiveness of omega-regular languages. As with any other topic related to automata theory, plenty of pictures will be provided.