finite-model-theory May 2023

finite-model-theory@lists.rwth-aachen.de
  • 12 participants
  • 12 discussions

Call for Participation: Logic Mentoring Workshop (LMW@LICS 2023)
by Ilina Stoilkovska
8 months, 3 weeks

Religious Symbolism and Symbolic Logic, Sinaia, Sept 3-8, 2023 - CfP
by jean-yves beziau
9 months

Extended submission deadline -- FTfJP 2023
by Aaron Tomb
9 months

FSCD 2023: Call for Participation (early registration deadline: 31
by Carsten Fuhs
9 months, 1 week

Ackermann Award: Second call for nominations - Deadline 1st July
by Maribel Fernandez
9 months, 1 week

Call for Papers on Dynamic Logics and related subjects [JLAMP]
by Diana Costa
9 months, 2 weeks

ICALP 2023 -- Call for Participation
by Kousha Etessami
9 months, 2 weeks

[fm-announcements] FMICS 2023 - Deadline extension
by Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements
9 months, 2 weeks

CiE 2023: CALL FOR PARTICIPATION - CALL FOR INFORMAL PRESENTATIONS
by acie@acie.eu
9 months, 2 weeks

FMCAD 2023: Final Call for Papers with *** Deadlines Extension ***
by Rozier, Kristin-Yvonne [AER E]
9 months, 2 weeks
Results per page: