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.
<< March 2024 | ||||||
---|---|---|---|---|---|---|
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
|
31
|
1 March 2024, Joint NihiL-MLC Seminar, Giorgio Sbardolini
![](/images/illc/newsitem-lira.jpg)
7 March 2024, Logic and Interactive Rationality (LIRa), Cat Saint-Croix
8 March 2024, Formalisation, Optimisation, Algorithms, Mechanisms (FOAM), Kristin Yvonne Rozier
Abstract:
Temporal logics have become essential tools of many AI applications, from verification to planning to synthesis. Mission-time Linear Temporal Logic (MLTL) adds closed-interval integer bounds on the temporal operators of LTL, enabling unit-agnostic specification over finite traces. It is arguably the most-used variation of MTL, and the most-used subset of STL in industrial and AI applications. M...
8 March 2024, STiHAC Joint Meeting, Fatima Scha
13 March 2024, LLAMA seminar, Wolfgang Poiger
14 March 2024, The Utrecht Logic in Progress Series (TULIPS), Dragan Doder
This is a hybrid talk, please contact the organizer for a link.
19 March 2024, NihiL Seminar, Justin Bledin
19 March 2024, Joint NiHil-DIP Session, Justin Bledin
20 March 2024, LLAMA seminar, Sonia Marin
![](/images/illc/newsitem-lira.jpg)
21 March 2024, Logic and Interactive Rationality (LIRa), Daniel Greco
22 March 2024, EDEV Online Seminar, Antonio Piccolomini d'Aragona
The EDEV Online Seminars are part of the PRO3 project "Understanding Public Data: Experts, Decisions, Epistemic Values" promoted by SNS Pisa, IMT Lucca and IUSS Pavia. The project aims to explore the scaffoldings of the epistemological framework, which underlies public decision-making when confronted with complex scientific data. The methodological assumption underlying the project is that the tools provided by logic, epistemology, philosophy of science, and critical reasoning can make a substantial contribution to a number of pressing issues.
22 March 2024, DIP Colloquium cancelled
25 March 2024, Nordic Online Logic Seminar, Albert Visser
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. If you wish to receive the Zoom ID and password for it, as well as further announcements, please subscribe here:https://listserv.gu.se/sympa/subscribe/nordiclogic .
26 March 2024, PhD-in-DaDriH Seminar Series, Filippo Mosca
This talk will explore the application of Latent Dirichlet Allocation (LDA) Model to the writings of Ludwig Wittgenstein. Specifically, it will highlight what topic modeling is and why it can be useful for philosophical interpretation, show the two main stages of how LDA works in practice (data preprocessing and model execution), and address some major challenges in assembling the corpus of Wittgenstein's writings. Finally, initial results will be shown and the limitations and problems associated with these results will be pointed out.
![](/images/illc/newsitem-lira.jpg)