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.
<< October 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
|
31
|
6 October 2022, Logic and Interactive Rationality (LIRa), Lingyuan Ye
7 October 2022, Meaning, Logic, and Cognition (MLC) Seminar, Émile Enguehard
11 October 2022, The Berkeley Seminar, Gordon Plotkin
The Topos Institute Berkeley Seminar is a weekly, informal seminar on topics relevant to the Topos Institute Community, held at our Berkeley Campus. On Oct 11 a special seminar will be held in honor of Dana Scott's 90th birthday. Zoom/YouTube will be setup so participants can attend remotely.
12 October 2022, LLAMA seminar cancelled
Rosalie Iemhoff's talk on October 12th has been postponed to early next year due to unforeseen circumstances.
14 October 2022, Meaning, Logic, and Cognition (MLC) Seminar, Beste Kamali
14 October 2022, STiHAC Joint Meeting, Lucas Wansner
20 October 2022, ABC Day 2022 (ABC Networking Day)
ABC Day 2022 - an occasion to (re)connect with the ABC community, exchange ideas and foster new collaborations.
Sign up for a day packed with:
- Scientific Presentations from ABC Researchers
- Highlights from ABC Themes & Transversal Perspectives and
- Lots of Networking Opportunities
- A keynote ABC lecture from Luiz Pessoa (Marylan Neuroimaging Center)
Registration is now OPEN and required: please register here. In the registration form you will also find more details on the program, and have the opportunity to register for presenting your work with a poster, and gain a chance to win a poster award.
20 October 2022, Logic and Interactive Rationality (LIRa), Adam Bjorndhal
21 October 2022, STiHAC Joint Meeting, Clara List
21 October 2022, Cross-Alps Logic Seminar, Christian Rosendal
24 - 26 October 2022, Workshop "Connections between Epistemic Logic and Topology" (CELT2022), Amsterdam, the Netherlands / Online
The link between epistemic logic and topology has its roots, on the one hand, in the topological semantics of modal logic, and on the other hand, in the intimate relations between topology and concurrency, and between topology and distributed computing. Recent years have witnessed an explosion of new work in this area, from the development of more expressive logics capable of capturing fine topological structure, to the leveraging of topological tools to represent concepts such as observations, questions, and dependence relations, and encoding deep connections with distributed computing. The richness of this area has spawned a thriving, interdisciplinary research program with applications in learning theory, network epistemology, public and private communication, inquisitive semantics, philosophy of science, and knowledge representation in distributed computing, among others.
This workshop aims at bringing together scholars working on various ways of connecting logic and topology to showcase a variety of recent developments and applications in the area, and to foster new research collaborations.
24 October 2022, Nordic Online Logic Seminar , Melvin Fitting
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.
24 - 26 October 2022, Workshop "Connections between Epistemic Logic and Topology" (CELT2022), Amsterdam, the Netherlands / Online
The link between epistemic logic and topology has its roots, on the one hand, in the topological semantics of modal logic, and on the other hand, in the intimate relations between topology and concurrency, and between topology and distributed computing. Recent years have witnessed an explosion of new work in this area, from the development of more expressive logics capable of capturing fine topological structure, to the leveraging of topological tools to represent concepts such as observations, questions, and dependence relations, and encoding deep connections with distributed computing. The richness of this area has spawned a thriving, interdisciplinary research program with applications in learning theory, network epistemology, public and private communication, inquisitive semantics, philosophy of science, and knowledge representation in distributed computing, among others.
This workshop aims at bringing together scholars working on various ways of connecting logic and topology to showcase a variety of recent developments and applications in the area, and to foster new research collaborations.
24 - 26 October 2022, Workshop "Connections between Epistemic Logic and Topology" (CELT2022), Amsterdam, the Netherlands / Online
The link between epistemic logic and topology has its roots, on the one hand, in the topological semantics of modal logic, and on the other hand, in the intimate relations between topology and concurrency, and between topology and distributed computing. Recent years have witnessed an explosion of new work in this area, from the development of more expressive logics capable of capturing fine topological structure, to the leveraging of topological tools to represent concepts such as observations, questions, and dependence relations, and encoding deep connections with distributed computing. The richness of this area has spawned a thriving, interdisciplinary research program with applications in learning theory, network epistemology, public and private communication, inquisitive semantics, philosophy of science, and knowledge representation in distributed computing, among others.
This workshop aims at bringing together scholars working on various ways of connecting logic and topology to showcase a variety of recent developments and applications in the area, and to foster new research collaborations.
27 October 2022, The Utrecht Logic in Progress Series (TULIPS), Norbert Gratzl
This is a hybrid talk. Please contact the organizer for a link to the online meeting.
27 October 2022, Online panel discussion of the European Set Theory Society, Virtual
The European Set Theory Society has initiated a series of panel discussions with prominent set theorists that will take place around four times per year. The discussions will take place online. Four experts will be invited to describe the general area they represent, explain where the area is heading and discuss how it relates to other areas of set theory and mathematics.
The kick-off event will take place at 17:00-19:00 CEST on Thursday, 27 October 2022. The panelists are Michael Hrusak (Universidad Nacional Autónoma de México), Juliette Kennedy (University of Helsinki), Menachem Magidor (Hebrew University of Jerusalem) and Justin Tatch Moore (Cornell University).
28 October 2022, Meaning, Logic, and Cognition (MLC) Seminar cancelled
Tamar Johnson's talk will be rescheduled for sometime next semester.