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.

Rosalie Iemhoff's talk on October 12th has been postponed to early next year due to unforeseen circumstances.

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.

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.

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.

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.

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.

This is a hybrid talk. Please contact the organizer for a link to the online meeting.

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).

Tamar Johnson's talk will be rescheduled for sometime next semester.