LIRIS theme for Hugo/ Events/ OptiCore/ Temporal Logic in Automated Reasoning Systems/ Temporal Logic in Automated Reasoning Systems 15 July 2024