finite-model-theory June 2023

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

GandALF 2023: Deadline extension (abstract and paper submission)
by Gabriele Puppis
7 months, 4 weeks

CfP High-Performance Computing and Formal Methods: Deadline July 10th
by Rosemary Monahan
8 months, 1 week

Final Call for Participation: Logic Mentoring Workshop (LMW@LICS 2023)
by Ilina Stoilkovska
8 months, 1 week

CALL FOR NOMINATION - FSCD Steering Committee Membership Election
by Carsten Fuhs
8 months, 2 weeks

The Decision Problem for Effective Procedures - Celebration of the
by jean-yves beziau
8 months, 2 weeks

Postdoc position and Ph.D. position @ King's College London
by Hubie Chen
8 months, 2 weeks

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

Call for participation: VALU3S Summer School on Validation and
by Rosemary Monahan
8 months, 3 weeks

GandALF 2023: Last Call For Papers.
by Gabriele Puppis
8 months, 3 weeks

ESSLLI 2023 - Early Bird Registration extended to June 14
by Žitnik, Slavko
8 months, 3 weeks
Results per page: