Embedded Files
Online once a month
A platform for the exchange of recent work in the area of first-order modal logic
A platform for the exchange of recent work in the area of first-order modal logic
Next talk(s)
Next talk(s)
Speaker: TBA
Date and time: TBA
Schedule
Schedule
Talks are held on Zoom on the first (occasionally the second) Monday of the month at 4:30-6:00 pm CET (and CEST when Central Europe observes daylight savings time). A session consists of a 60-minute talk plus 30 minutes of questions and discussion afterwards.
Topics of the seminar
Topics of the seminar
We aim for the talks to cover a wide variety of topics including, but not limited to, recent and ongoing work in:
Proof theory and semantics
General methods and techniques
First-order modal logics for epistemic logic, deontic logic, temporal logic, or others
Applications of first-order modal logic in Computer Science, Linguistics, Mathematics and Philosophy
Goals
Goals
The main goal of this seminar is to connect researchers in the area and encourage new collaborations. As speakers share their recent work and discoveries, we hope the main challenges of the field can be identified together as a collective community. Ideally, the seminar will also offer valuable insights to up-and-coming researchers and spark new research initiatives.
View the list of upcoming talks.
Please subscribe to our mailing list to be notified about upcoming talks and receive details on how to attend.
For queries and suggestions.
Page updated
Google Sites
Report abuse