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
11 months, 3 weeks

CfP High-Performance Computing and Formal Methods: Deadline July 10th
by Rosemary Monahan
12 months

Final Call for Participation: Logic Mentoring Workshop (LMW@LICS 2023)
by Ilina Stoilkovska
12 months

CALL FOR NOMINATION - FSCD Steering Committee Membership Election
by Carsten Fuhs
1 year

The Decision Problem for Effective Procedures - Celebration of the
by jean-yves beziau
1 year

Postdoc position and Ph.D. position @ King's College London
by Hubie Chen
1 year

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

Call for participation: VALU3S Summer School on Validation and
by Rosemary Monahan
1 year

GandALF 2023: Last Call For Papers.
by Gabriele Puppis
1 year

ESSLLI 2023 - Early Bird Registration extended to June 14
by Žitnik, Slavko
1 year
Results per page: