{"id":345,"date":"2022-05-02T22:42:38","date_gmt":"2022-05-02T20:42:38","guid":{"rendered":"https:\/\/aiml2022.irisa.fr\/?page_id=345"},"modified":"2022-05-18T16:17:17","modified_gmt":"2022-05-18T14:17:17","slug":"call-for-papers","status":"publish","type":"page","link":"https:\/\/aiml2022.irisa.fr\/fr\/call-for-papers\/","title":{"rendered":"Appel \u00e0 contributions"},"content":{"rendered":"<h2 class=\"wp-block-heading\">Appel \u00e0 contributions<\/h2>\n\n\n\n<h4 class=\"wp-block-heading\">Sujets<\/h4>\n\n\n\n<p>Nous vous invitons \u00e0 soumettre des articles sur tous les aspects de la logique modale, dont :<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>history of modal logic&nbsp;<\/li><li>philosophy of modal logic&nbsp;<\/li><li>applications of modal logic&nbsp;<\/li><li>computational aspects of modal logic (complexity and decidability of&nbsp;modal and temporal logics, modal and temporal logic programming,&nbsp;model checking, model generation, theorem proving for modal logics)&nbsp;<\/li><li>theoretical aspects of modal logic (topological\/algebraic\/categorical perspectives&nbsp;on modal logic, coalgebraic modal logic, completeness and canonicity,&nbsp;correspondence and duality theory, many-dimensional modal logics,&nbsp;modal fixed point logics, model theory of modal logic, proof theory&nbsp;of modal logic)&nbsp;<\/li><li>specific instances and variations of modal logic (description logics,&nbsp;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)<\/li><\/ul>\n\n\n\n<p>Des articles sur des sujets connexes pourront aussi \u00eatre consid\u00e9r\u00e9s.<\/p>\n\n\n\n<h4 class=\"wp-block-heading\">Soumission d&rsquo;articles<\/h4>\n\n\n\n<p>Il y aura deux types de soumissions pour AiML 2022 :<\/p>\n\n\n\n<ol class=\"wp-block-list\"><li>Des <strong>articles complets<\/strong> publi\u00e9s dans le compte-rendu et pr\u00e9sent\u00e9s pendant la conf\u00e9rence.<\/li><li>Des <strong>articles succints<\/strong> pr\u00e9sent\u00e9s dans la conf\u00e9rence mais non publi\u00e9s dans le compte-rendu.<\/li><\/ol>\n\n\n\n<p>Ces deux types d&rsquo;articles doivent \u00eatre soumis \u00e9lectroniquement par la page de soumission EasyChair, qui est disponible <a href=\"https:\/\/easychair.org\/conferences\/?conf=aiml2022\">ici<\/a>. Les auteurs doivent utiliser les fichiers de style Latex disponibles <a href=\"https:\/\/aiml2022.irisa.fr\/files\/2021\/11\/aiml2022_style_files_definitive.zip\">ici<\/a>.<\/p>\n\n\n\n<p>Au moins un auteur de chaque article (complet ou succinct) devra s&rsquo;inscrire et \u00eatre pr\u00e9sent \u00e0 la conf\u00e9rence.<\/p>\n\n\n\n<h5 class=\"wp-block-heading\">Articles complets<\/h5>\n\n\n\n<p> Les auteurs sont invit\u00e9s \u00e0 soumettre des papiers complet pr\u00e9sentant des recherches originales et non publi\u00e9es ailleurs, pour une pr\u00e9sentation \u00e0 la conf\u00e9rence et dans son compte-rendu.<\/p>\n\n\n\n<p>Ces soumissions doivent comporter au maximum 15 pages,  avec une annexe technique facultative de 5 pages maximum, ainsi qu&rsquo;un <em>abstract<\/em> de 100-200 mots de texte brut. Les soumissions doivent \u00eatre g\u00e9n\u00e9r\u00e9es en LaTeX, en utilisant les fichiers de style et le mod\u00e8le fournis ci-dessus.<\/p>\n\n\n\n<p>Les auteurs doivent soumettre un r\u00e9sum\u00e9 en texte brut via EasyChair avant la date limite de soumission du r\u00e9sum\u00e9, qui est avant la soumission compl\u00e8te de leur article.<\/p>\n\n\n\n<p>Les articles complets accept\u00e9s seront pr\u00e9sent\u00e9s en 30 minutes \u00e0 la conf\u00e9rence.<\/p>\n\n\n\n<h5 class=\"wp-block-heading\">Articles succints<\/h5>\n\n\n\n<p>Les soumissions d&rsquo;<em>abstracts<\/em> \u00e9tendus, dans la limite de 5 pages \u00e9crites en utilisant le style LaTeX AiML fournis ci-dessous, seront soumis soumis \u00e0 un examen all\u00e9g\u00e9. Les soumissions accept\u00e9es seront mises \u00e0 disposition pendant la conf\u00e9rence, et les auteurs auront jusqu&rsquo;\u00e0 15 minutes pour pr\u00e9senter leurs travaux. Au moins l&rsquo;un des auteurs doit s&rsquo;inscrire et assister \u00e0 la conf\u00e9rence.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Sponsors<\/h2>\n\n\n\n<div class=\"wp-block-columns has-3-columns sponsor-column is-layout-flex wp-container-core-columns-is-layout-9d6595d7 wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<div class=\"wp-block-image\"><figure class=\"aligncenter\"><a href=\"https:\/\/www.univ-rennes1.fr\/\" target=\"_blank\" rel=\"noreferrer noopener\"><img loading=\"lazy\" decoding=\"async\" width=\"1000\" height=\"505\" src=\"https:\/\/aiml2022.irisa.fr\/files\/2022\/05\/323739_UR1-gris-PNG.png\" alt=\"\" class=\"wp-image-362\" srcset=\"https:\/\/aiml2022.irisa.fr\/files\/2022\/05\/323739_UR1-gris-PNG.png 1000w, https:\/\/aiml2022.irisa.fr\/files\/2022\/05\/323739_UR1-gris-PNG-300x152.png 300w, https:\/\/aiml2022.irisa.fr\/files\/2022\/05\/323739_UR1-gris-PNG-768x388.png 768w, https:\/\/aiml2022.irisa.fr\/files\/2022\/05\/323739_UR1-gris-PNG-150x76.png 150w\" sizes=\"auto, (max-width: 1000px) 100vw, 1000px\" \/><\/a><\/figure><\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<div class=\"wp-block-image\"><figure class=\"aligncenter\"><a href=\"https:\/\/www.irisa.fr\/\" target=\"_blank\" rel=\"noreferrer noopener\"><img loading=\"lazy\" decoding=\"async\" width=\"346\" height=\"78\" src=\"https:\/\/aiml2022.irisa.fr\/files\/2022\/05\/logoIRISA.png\" alt=\"\" class=\"wp-image-433\" srcset=\"https:\/\/aiml2022.irisa.fr\/files\/2022\/05\/logoIRISA.png 346w, https:\/\/aiml2022.irisa.fr\/files\/2022\/05\/logoIRISA-300x68.png 300w, https:\/\/aiml2022.irisa.fr\/files\/2022\/05\/logoIRISA-150x34.png 150w\" sizes=\"auto, (max-width: 346px) 100vw, 346px\" \/><\/a><\/figure><\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<div class=\"wp-block-image\"><figure class=\"aligncenter\"><a href=\"https:\/\/www.inria.fr\" target=\"_blank\" rel=\"noreferrer noopener\"><img loading=\"lazy\" decoding=\"async\" width=\"784\" height=\"283\" src=\"https:\/\/aiml2022.irisa.fr\/files\/2022\/05\/inria_logo_rouge_cmjn.png\" alt=\"\" class=\"wp-image-431\" srcset=\"https:\/\/aiml2022.irisa.fr\/files\/2022\/05\/inria_logo_rouge_cmjn.png 784w, https:\/\/aiml2022.irisa.fr\/files\/2022\/05\/inria_logo_rouge_cmjn-300x108.png 300w, https:\/\/aiml2022.irisa.fr\/files\/2022\/05\/inria_logo_rouge_cmjn-768x277.png 768w, https:\/\/aiml2022.irisa.fr\/files\/2022\/05\/inria_logo_rouge_cmjn-150x54.png 150w\" sizes=\"auto, (max-width: 784px) 100vw, 784px\" \/><\/a><\/figure><\/div>\n<\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-columns has-3-columns sponsor-column is-layout-flex wp-container-core-columns-is-layout-9d6595d7 wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<div class=\"wp-block-image\"><figure class=\"aligncenter\"><a href=\"https:\/\/fondation.univ-rennes1.fr\/\" target=\"_blank\" rel=\"noreferrer noopener\"><img loading=\"lazy\" decoding=\"async\" width=\"600\" height=\"338\" src=\"https:\/\/aiml2022.irisa.fr\/files\/2022\/05\/logo-Fondation-Rennes1-couleur-baseline.png\" alt=\"\" class=\"wp-image-365\" srcset=\"https:\/\/aiml2022.irisa.fr\/files\/2022\/05\/logo-Fondation-Rennes1-couleur-baseline.png 600w, https:\/\/aiml2022.irisa.fr\/files\/2022\/05\/logo-Fondation-Rennes1-couleur-baseline-300x169.png 300w, https:\/\/aiml2022.irisa.fr\/files\/2022\/05\/logo-Fondation-Rennes1-couleur-baseline-150x85.png 150w\" sizes=\"auto, (max-width: 600px) 100vw, 600px\" \/><\/a><\/figure><\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<div class=\"wp-block-image\"><figure class=\"aligncenter\"><a href=\"https:\/\/www.mdpi.com\/journal\/games\" target=\"_blank\" rel=\"noreferrer noopener\"><img loading=\"lazy\" decoding=\"async\" width=\"931\" height=\"292\" src=\"https:\/\/aiml2022.irisa.fr\/files\/2022\/05\/Games_Logo-01.png\" alt=\"\" class=\"wp-image-363\" srcset=\"https:\/\/aiml2022.irisa.fr\/files\/2022\/05\/Games_Logo-01.png 931w, https:\/\/aiml2022.irisa.fr\/files\/2022\/05\/Games_Logo-01-300x94.png 300w, https:\/\/aiml2022.irisa.fr\/files\/2022\/05\/Games_Logo-01-768x241.png 768w, https:\/\/aiml2022.irisa.fr\/files\/2022\/05\/Games_Logo-01-150x47.png 150w\" sizes=\"auto, (max-width: 931px) 100vw, 931px\" \/><\/a><\/figure><\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<div class=\"wp-block-image\"><figure class=\"aligncenter\"><a href=\"http:\/\/www.irisa.fr\/equipes\/logica\" target=\"_blank\" rel=\"noreferrer noopener\"><img loading=\"lazy\" decoding=\"async\" width=\"336\" height=\"104\" src=\"https:\/\/aiml2022.irisa.fr\/files\/2022\/05\/logo-logica.png\" alt=\"\" class=\"wp-image-469\" srcset=\"https:\/\/aiml2022.irisa.fr\/files\/2022\/05\/logo-logica.png 336w, https:\/\/aiml2022.irisa.fr\/files\/2022\/05\/logo-logica-300x93.png 300w, https:\/\/aiml2022.irisa.fr\/files\/2022\/05\/logo-logica-150x46.png 150w\" sizes=\"auto, (max-width: 336px) 100vw, 336px\" \/><\/a><\/figure><\/div>\n<\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-columns has-3-columns sponsor-column is-layout-flex wp-container-core-columns-is-layout-9d6595d7 wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<figure class=\"wp-block-image\"><a href=\"https:\/\/metropole.rennes.fr\/\" target=\"_blank\" rel=\"noreferrer noopener\"><img loading=\"lazy\" decoding=\"async\" width=\"591\" height=\"236\" src=\"https:\/\/aiml2022.irisa.fr\/files\/2022\/05\/RM_quadriNOIR.png\" alt=\"\" class=\"wp-image-434\" srcset=\"https:\/\/aiml2022.irisa.fr\/files\/2022\/05\/RM_quadriNOIR.png 591w, https:\/\/aiml2022.irisa.fr\/files\/2022\/05\/RM_quadriNOIR-300x120.png 300w, https:\/\/aiml2022.irisa.fr\/files\/2022\/05\/RM_quadriNOIR-150x60.png 150w\" sizes=\"auto, (max-width: 591px) 100vw, 591px\" \/><\/a><\/figure>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<div class=\"wp-block-image\"><figure class=\"aligncenter\"><a href=\"https:\/\/www.bretagne.bzh\/\" target=\"_blank\" rel=\"noreferrer noopener\"><img loading=\"lazy\" decoding=\"async\" width=\"113\" height=\"114\" src=\"https:\/\/aiml2022.irisa.fr\/files\/2022\/05\/logo.jpeg\" alt=\"\" class=\"wp-image-432\"\/><\/a><\/figure><\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<div class=\"wp-block-image\"><figure class=\"aligncenter\"><a href=\"https:\/\/mitsubishielectric.com\/\" target=\"_blank\" rel=\"noreferrer noopener\"><img loading=\"lazy\" decoding=\"async\" width=\"500\" height=\"337\" src=\"https:\/\/aiml2022.irisa.fr\/files\/2022\/05\/mitsu_logo_01.png\" alt=\"\" class=\"wp-image-367\" srcset=\"https:\/\/aiml2022.irisa.fr\/files\/2022\/05\/mitsu_logo_01.png 500w, https:\/\/aiml2022.irisa.fr\/files\/2022\/05\/mitsu_logo_01-300x202.png 300w, https:\/\/aiml2022.irisa.fr\/files\/2022\/05\/mitsu_logo_01-150x101.png 150w\" sizes=\"auto, (max-width: 500px) 100vw, 500px\" \/><\/a><\/figure><\/div>\n<\/div>\n<\/div>","protected":false},"excerpt":{"rendered":"<p>Appel \u00e0 contributions Sujets Nous vous invitons \u00e0 soumettre des articles sur tous les aspects de la logique modale, dont : history of modal logic&nbsp; philosophy of modal logic&nbsp; applications of modal logic&nbsp; computational aspects of modal logic (complexity and decidability of&nbsp;modal and temporal logics, modal and temporal logic programming,&nbsp;model&#8230;<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/aiml2022.irisa.fr\/fr\/call-for-papers\/\"><span>Continue reading<\/span><i class=\"crycon-right-dir\"><\/i><\/a> <\/p>\n","protected":false},"author":2089,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_mc_calendar":[],"footnotes":""},"class_list":["post-345","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/aiml2022.irisa.fr\/fr\/wp-json\/wp\/v2\/pages\/345","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/aiml2022.irisa.fr\/fr\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/aiml2022.irisa.fr\/fr\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/aiml2022.irisa.fr\/fr\/wp-json\/wp\/v2\/users\/2089"}],"replies":[{"embeddable":true,"href":"https:\/\/aiml2022.irisa.fr\/fr\/wp-json\/wp\/v2\/comments?post=345"}],"version-history":[{"count":8,"href":"https:\/\/aiml2022.irisa.fr\/fr\/wp-json\/wp\/v2\/pages\/345\/revisions"}],"predecessor-version":[{"id":495,"href":"https:\/\/aiml2022.irisa.fr\/fr\/wp-json\/wp\/v2\/pages\/345\/revisions\/495"}],"wp:attachment":[{"href":"https:\/\/aiml2022.irisa.fr\/fr\/wp-json\/wp\/v2\/media?parent=345"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}