Appel à contributions

Appel à contributions

Sujets

Nous vous invitons à soumettre des articles sur tous les aspects de la logique modale, dont :

• history of modal logic 
• philosophy of modal logic 
• applications of modal logic 
• computational aspects of modal logic (complexity and decidability of modal and temporal logics, modal and temporal logic programming, model checking, model generation, theorem proving for modal logics) 
• theoretical aspects of modal logic (topological/algebraic/categorical perspectives on modal logic, coalgebraic modal logic, completeness and canonicity, correspondence and duality theory, many-dimensional modal logics, modal fixed point logics, model theory of modal logic, proof theory of modal logic) 
• specific instances and variations of modal logic (description logics, modal logics over non-boolean bases, dynamic logics and other process logics, epistemic and deontic logics, modal logics for agent-based systems, modal logic and game theory, modal logic and grammar formalisms, provability and interpretability logics, spatial and temporal logics, hybrid logic, intuitionistic logic, substructural logics, computationally light fragments of all such logics)

Des articles sur des sujets connexes pourront aussi être considérés.

Soumission d’articles

Il y aura deux types de soumissions pour AiML 2022 :

1. Des articles complets publiés dans le compte-rendu et présentés pendant la conférence.
2. Des articles succints présentés dans la conférence mais non publiés dans le compte-rendu.

Ces deux types d’articles doivent être soumis électroniquement par la page de soumission EasyChair, qui est disponible ici. Les auteurs doivent utiliser les fichiers de style Latex disponibles ici.

Au moins un auteur de chaque article (complet ou succinct) devra s’inscrire et être présent à la conférence.

Articles complets

Les auteurs sont invités à soumettre des papiers complet présentant des recherches originales et non publiées ailleurs, pour une présentation à la conférence et dans son compte-rendu.

Ces soumissions doivent comporter au maximum 15 pages, avec une annexe technique facultative de 5 pages maximum, ainsi qu’un abstract de 100-200 mots de texte brut. Les soumissions doivent être générées en LaTeX, en utilisant les fichiers de style et le modèle fournis ci-dessus.

Les auteurs doivent soumettre un résumé en texte brut via EasyChair avant la date limite de soumission du résumé, qui est avant la soumission complète de leur article.

Les articles complets acceptés seront présentés en 30 minutes à la conférence.

Articles succints

Les soumissions d’abstracts étendus, dans la limite de 5 pages écrites en utilisant le style LaTeX AiML fournis ci-dessous, seront soumis soumis à un examen allégé. Les soumissions acceptées seront mises à disposition pendant la conférence, et les auteurs auront jusqu’à 15 minutes pour présenter leurs travaux. Au moins l’un des auteurs doit s’inscrire et assister à la conférence.

Sponsors