Dutch Logic PhD Day 2023

---

 

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

Dutch Logic PhD Day 2022

---

 

The first-ever Dutch Logic PhD day took place on the 1st of July, 2022 (co-hosted by The Dutch Research School of Philosophy (OZSW)) in Utrecht. It was a great success, and we hope it will become a yearly tradition. 

 

Date and location: July 1st, 2022, Utrecht University (room 021, Janskerkhof 2-3, Utrecht).

Program: for an up-to-date version of the program and the abstracts, see here.

To accommodate for all submitted talks, long talks are 30 minutes including questions and short talks are 20 minutes including questions.

 

08:45 – 09:10 Arrival

09:10 – 09:15 Welcome (Robin)

 

Keynote (Chair: Robin)

09:15 – 10:00 Maria Aloni: From truthmakers to information states: disjunction and negation in BSML

 

Coffee (30 min)

 

Long Talks I (Chair: Daira)

10:30 – 11:00 Andrea De Domenico: Algorithmic correspondence and analytic rules for (D)LE logics

11:00 – 11:30 Takahiro Yamada: A formalisation of Wright's strict finitistic logic: the propositional case

11:30 – 12:00 Edoardo Baccini: Opinion Diffusion in Similarity-Driven Networks

 

Lunch (80 min)

 

Short Talks (Chair: Robert)

13:00 – 13:20 Maaike Los: Proportional Budget Allocations: Towards a Systematization This talk is cancelled

13:20 – 13:40 Hans-Dieter Hiep: Logic in Computer Science: A Short Introduction to Program Correctness

13:40 – 14:00 Loan Ho: Abstract Argumentation for Hybrid Intelligence Scenarios

 

Coffee (15 min)

 

Long Talks II (Chair: Tina)

14:15 – 14:45 Dean McHugh: Sufficiency and Imagination This talk is cancelled

14:15 – 14:45 Robert Passmann: TBA

14:45 – 15:15 Niccolò Rossi: A general approach to hyperintensional epistemic possibility

 

Coffee (30 min)

 

Long Talks III (Chair: Robin)

15:45 – 16:15 Maksim Gladyshev: Logical Framework for Reasoning about Group Responsibility for Taking Risks

16:15 – 16:45 Daehyun Yoo: The skeptical reasoning over conflicting economic principles

 

Coffee (30 min)

 

Keynote (Chair: Tina)

17:15 – 18:00 Revantha Ramanayake: Logic, Life, PhD

 

Reception with drinks 

18:00 – 19:00

 

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). If you do not fall under this target group but you are interested in attending, feel free to send us an e-mail at dutch.logic.phd.day@gmail.com.

Aim/objective: The goal of this event is to foster a community of PhD students in the Netherlands in all areas of logic, which will manifest itself not only at individual institutions, but in the Netherlands as a whole. This will encourage collaborations and 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. 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:

• Dr. Maria Aloni (ILLC, University of Amsterdam). Title talk: From truthmakers to information states: disjunction and negation in BSML.
• Dr. Revantha Remanayake (University of Groningen). Title talk: Logic, Life, PhD.

Abstract submission and registration: 

PhD students can submit abstracts and/or register until June 15^th 2022 [Extended Deadline];  abstracts should contain no more than 200 words. An abstract can focus on particular results of a PhD project, or on a method which 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.

In order to submit an abstract, please fill in the form on https://forms.gle/g3Arbn4mHZHqHqPcA. If you have any inquiries, or if you cannot use this form, it is also possible to send the abstract to dutch.logic.phd.day@gmail.com. In the latter case, please include your name, affiliated Dutch university, and a selection of the length of your talk. Talks can be either short (<20 minutes) or long (between 20-45 minutes).

If you wish to submit an abstract or attend, please also register on the OZSW website, or directly follow this link (note: you don't have to be an OZSW member to be able to register).

Organizers: