The blog shares information about the research activities of the French Collaborative Project Axiomatic Definitions (AXDEF) 2024-2027 [ANR-23-CE54-0012].
The project is funded by ANR and is directed by Paola Cantù, CNRS Research Director at CGGG (Aix-Marseille Université), in partership with Vincenzo de Risi, CNRS Research Directore at SPHERE (Université Paris Cité) et Pierre Wagner (Université Paris 1 Panthéon-Sorbonne). The project involves the participation of several other scientific partners in France, Austria, and Italy.
The blog announces events, open positions, call for papers related to the activity of the ANR project and includes publications by the members of the group.