Dutch Logic PhD Day 2023

The second edition of the Dutch Logic PhD Day will be held in Groningen! Make sure not to miss it. Information on last year's edition can be found here.

Date and location: June 23rd, 2023, University of Groningen. Room 5161.0165 in the Bernoulliborg. Address: Nijenborgh 9, 9747 AG Groningen (at the Zernike Campus).

NB: the entrance of the building is on the east side (not facing the street). For more information on how to get there, see here.

Program: for the program as well as the abstracts, see here.

10:00 - 10:30    RECEPTION/COFFEE

10:30 - 11:15    Keynote Speaker - Herman Geuvers: Truth Table Natural Deduction

11:15 - 12:30    Talks

Søren Brinck Knudstorp: Logics of Truthmaker Semantics: Comparison, Compactness and Decidability  (long)

Josephine Dik: Disambiguating permissions: A contribution from Mimamsa (short)

J.D. Top: Towards an epistemic logic with Theory of Mind limitations (long)

12:30 - 13:30    LUNCH

13:30 - 14:30    Talks

Ruben Mud: Betweenness in Enriched Categories (long)

Andrea De Domenico: How to translate from display to labelled calculi (short)

Anton Chernev: A dual adjunction between Ω-automata and Wilke algebras (short)

14:30 - 15:00    COFFEE BREAK

15:00 - 16:15    Talks

Flavia Naehrlich: Homogeneity effects in natural language semantics (long)

Aleksi Anttila: Further remarks on the "non-semantic" nature of the dual negation (short)

Rodrigo Nicolau Almeida: Structural Completeness in (Bi)Intuitionistic Rule Systems (short)

Celestine P. Lawrence: The nature of Boolean logic in a system of absolute value equations (short)

16:15 - 16:45    COFFEE BREAK

16:45 - 17:30    Keynote Speaker - Natasha Alechina: Reasoning about responsibility

17:30 - 18:30    DRINKS

Target group: PhD students in logic (and related areas) in the Netherlands (if places are available, the event is also open to master's students). Participation is free. If you do not fall under this target group but are interested in attending, feel free to e-mail us at dutch.logic.phd.day@gmail.com.

Aim/objective: The Dutch Logic PhD Day 2023 is a VvL event that aims at connecting PhD students in Logic and related areas (Philosophy, AI and Computer Science) from all over the Netherlands. We hope that this will encourage collaborations and the exchange of ideas between PhD students, leading to a more unified Dutch research community in logic for young researchers. Logic research in the Netherlands is most known to take place in Amsterdam (at the Institute for Logic, Language and Computation), Utrecht and Groningen, but logic-related research can be found at many other Dutch universities. Interaction between these universities is scarce, and this event should encourage PhD students to reach out to colleagues in other Dutch cities, in order to build an academic network and remain connected to logic research at different universities.

Keynote speakers

We are happy to confirm the following keynote speakers:

• Natasha Alechina (Utrecht University)
• Herman Geuvers (Radboud University)

Registration

If you plan to attend the event, please fill in the participation form at https://forms.gle/U5fViBRaqA3KJuyX9.

Abstract submission

PhD students can submit abstracts until May 30th, 2023; abstracts should contain no more than 200 words. An abstract can focus on the particular results of a PhD project, or on a method that is intended to lead to future results. We encourage PhD students to describe the embedding of their talk into the overall goal of their PhD. The talk should be accessible to peers from different disciplines within logic.

To submit an abstract, please fill in the abstract submission form at https://forms.gle/ept3fHgKomyDsquT7.

Contact

If you have any inquiries, or if you cannot use this form, contact us at dutch.logic.phd.day@gmail.com.

Organizers

Maaike Los (University of Groningen) - m.d.los AT rug.nl

Daira Pinto Prieto (University of Amsterdam) - d.pintoprieto AT uva.nl

Tina Trucco Dalmas (University of Groningen) - f.c.trucco.dalmas AT rug.nl

Edoardo Baccini (University of Groningen) - e.baccini AT rug.nl

Daniël Otten (University of Amsterdam) - daniel AT otten.co

Nima Motamed (Utrecht University) - n.motamed AT uu.nl