All courses | eCampus

APSA: Approximation and String Algorithms

Approximation and string algorithms: official website is https://algo.biodis.co/index.html

Enseignant responsable de l'UE: Mihaela Sighireanu

UE libre: No

Workshop "Scientific Watch: Advances on Alternating-Time Temporal Logics"

Description: The goal of this workshop is to study articles published in 2026 in major
conferences (AAMAS'26, KR'26, CAV'26, etc.) and workshops about logical formalisms dedicated
to knowledge reasoning and verification. More specifically, this year, we study papers
dedicated to recent advances on alternating-time temporal logics. Though ATL and similar
logics dedicated to strategic reasoning have been introduced more than 25 years ago, there
is still a strong activity about such logical formalisms. We shall discuss questions related to
scientific watch, critical analysis of recently published articles, conference program committees
rules, etc. Topics of interest related to alternating-time temporal logics include randomized ATL,
hierarchical systems, common knowledge, dynamic models.

Pedagogical objectives Based on very freshly published articles about alternating-time temporal
logics, we discuss general questions about scientific watch. Presentation of articles in 10min and
presentation in 30 minuts are expected from the students. Any question related to
the relevance of the works, to their originality or their correctness shall be also discussed.

Planning: The first session starts on Nov. 10th, 2026.

Grade 50% is based on the general participation to the workshop, 50% is based on two presentations (10min + 30min, details to be discussed).