finite-model-theory July 2023

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

Fwd: CFP: 5th Workshop on Artificial Intelligence and fOrmal
by Fabio Mogavero
11 months, 1 week

ILDS Coq and Lean Autumn School 2023 – THIRD CALL FOR PARTICIPATION
by Andrei Sipoș
11 months, 1 week

FROM 2023 – THIRD CALL FOR PAPERS
by Andrei Sipoș
11 months, 1 week

CFP: 5th Workshop on Artificial Intelligence and fOrmal VERification,
by Andrea Brunello
11 months, 1 week

Summer School on Reactive Synthesis + Workshop on Synthesis,
by Dario Della Monica
11 months, 2 weeks

FMCAD 2023 Student Forum: Call for Contributions
by Rozier, Kristin-Yvonne [AER E]
11 months, 3 weeks
Results per page: