finite-model-theory February 2023

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

FSCD 2025: Call for Location
by Carsten Fuhs
1 year, 4 months

29th WoLLIC 2023 - 3rd Call for Papers (DEADLINE APPROACHING)
by Ruy Jose Guerra Barretto de Queiroz
1 year, 4 months

CiE 2023: FINAL CALL FOR PAPERS (EXTENDED DEADLINE)
by acie@acie.eu
1 year, 4 months

Postdoc Position on Hardware Verification via Model Learning, Royal
by Sammartino, Matteo
1 year, 4 months

RAMiCS 2023 - Call for participation
by Michael Winter
1 year, 4 months

VCLA International Student Awards - Call for Nominations
by Hackl, Andrea
1 year, 4 months
Results per page: