Due to a sudden emergency the speaker for today will not be able to come and the organizers
have to cancel the talk. We're very sorry for the last-minute announcement.

Welcome to PhiMath 2024! In our first meeting for this academic year, we will discuss a paper by Linnebo and Shapiro on the notion of Potential Infinity.

On Saturday 5 October, the open day at the Amsterdam Science Park will take place as part of the Weekend of Science (Weekend van de Wetenschap). Companies and research institutes at the Science Park will open their doors to interested parties.

At the Faculty of Natural Sciences, Mathematics and Computer Science and other locations, visitors can attend guided tours, workshops and demonstrations.:
- Walk around the market with physics experiments, such as a 2-metre-high tornado!
- Taste a special ice cream made by chemistry students from liquid nitrogen.
- Make your own Pulsar, one of the most extraordinary stars!
- Take a journey through the universe in the NOVA mobile planetarium.
- Control a footballing Aldebaran Nao Robot yourself using a PlayStation controller!
and more.

We will have an event of the DaDriH series on October 8th between 15:00 and 16:30 (CEST), when Ylva Söderfeldt, Andrew Burchell, Julia Reed & Maria Skeppstedt (Uppsala) will give a talk titled "Topic timelines for enabling close and distant reading of discursive shifts". Ylva and colleagues will discuss an application of the recently developed time line extension of the topic modelling tool Topics2Themes.

This talk will provide a gentle introduction to the Shannon Capacity of graphs, a fundamental concept at the intersection of information theory and graph theory. The Shannon Capacity, introduced by Claude Shannon in 1956, quantifies the maximum amount of information that can be transmitted without error through a noisy communication channel, which is modeled as a graph. Despite decades of mathematical research, including work by members of our department, many seemingly basic problems surrounding Shannon Capacity remain open. We will survey some of these open questions.

Abstract:

In equational reasoning, congruence closure is known for being a semi-decision procedure that’s efficient in practice. Equality saturation can be seen as an extension of congruence closure that allows conditional rewriting and optimizing terms in the equivalence classes. It has been very successful in domains beside automated reasoning, like program optimisation in compilers. In this talk we wi...

Boo! 〣( º_º )〣 Ex Falso is celebrating Spooktober with a scary game night on Friday 11th from 18:00 to 23:00 in room F3.20 (Science Park 107, floor 3). Free snacks and drinks will be provided. If you are a Master of Logic/Logic Year/PhD student, feel free to drop by!

The first session of the Proof-Theoretic Semantics Seminar Series is coming up! This is a series of periodic online talks delivered by early career researchers working in proof-theoretic semantics or akin fields, organised by the PTS-Network.

On October 15, 4-5pm (UTC +1), Sophie Nagler (University of St Andrews) will present her work with the title "Inference behaviour semantics for all* connectives in two-dimensional sequent calculi".

On Wednesday 16 October there will be a workshop on the occasion of Marco Degano's PhD Defense. Speakers include Marco Degano, Jacopo Romoli, Raquel Veiga Busto, Sigrid Beck, Tomasz Klochowicz, Sonia Ramotowska, Milica Denić, Aleksi Anttila, Søren Knudstorp, Fan Yang and Donka Farkas.

Our second meeting of the year continues along the lines of potentialism. Now we turn to Frege Arithmetic and a genuinely potentialist account of it. Hybrid meeting!

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.