thème LIRIS pour Hugo/ Events/ OptiCore/ Temporal Logic in Automated Reasoning Systems/ Temporal Logic in Automated Reasoning Systems 15 juillet 2024