{"id":4,"date":"2011-12-08T11:55:34","date_gmt":"2011-12-08T11:55:34","guid":{"rendered":"http:\/\/project.inria.fr\/template1\/?page_id=4"},"modified":"2023-07-16T18:38:05","modified_gmt":"2023-07-16T16:38:05","slug":"home","status":"publish","type":"page","link":"https:\/\/aiml2022.irisa.fr\/fr\/","title":{"rendered":"Accueil"},"content":{"rendered":"<div class=\"wp-block-cover aligncenter has-background-dim-10 has-background-dim has-left-content is-layout-flow wp-block-cover-is-layout-flow\" style=\"background-image:url(https:\/\/aiml2022.irisa.fr\/files\/2021\/11\/shutterstock_1268064808_reduced-1.jpg)\"><p class=\"wp-block-cover-text\"><strong>Advances in Modal Logic<br>Rennes, 22-25 ao\u00fbt 2022<\/strong><\/p><\/div>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"home\">Avanc\u00e9es en logique modale 2022<br>Rennes, du 22 au 25 ao\u00fbt<\/h2>\n\n\n\n<blockquote class=\"wp-block-quote is-style-large is-layout-flow wp-block-quote-is-layout-flow\"><p>Les inscriptions sont ouvertes <strong><span style=\"text-decoration: underline;\">jusqu&rsquo;au 10&nbsp;ao\u00fbt<\/span><\/strong> !<\/p><cite><a href=\"https:\/\/aimllamassr2022.sciencesconf.org\/\">https:\/\/aimllamassr2022.sciencesconf.org\/<\/a><\/cite><\/blockquote>\n\n\n\n<p><em>Advances&nbsp;in&nbsp;Modal&nbsp;Logic<\/em> est une initiative visant \u00e0 pr\u00e9senter l&rsquo;\u00e9tat de l&rsquo;art de la logique modale et de ses applications. Cette initiative prend la forme d&rsquo;une s\u00e9rie de conf\u00e9rences et d&rsquo;une s\u00e9rie de volumes associ\u00e9e.<\/p>\n\n\n\n<p>Vous pouvez trouver plus d&rsquo;informations sur les \u00e9ditions pr\u00e9c\u00e9dentes de AiML sur <a href=\"http:\/\/www.aiml.net\">http:\/\/www.aiml.net<\/a>.<\/p>\n\n\n\n<p>AiML 2022 est co-organis\u00e9 avec le <em>Workshop&nbsp;on&nbsp;Logical&nbsp;Aspects&nbsp;of&nbsp;Multi-Agent&nbsp;Systems&nbsp;and&nbsp;Strategic&nbsp;Reasoning<\/em> (<a href=\"https:\/\/lamassr.github.io\/\">LAMAS&amp;SR 2022<\/a>) \u00e0 l&rsquo;<a href=\"https:\/\/www.irisa.fr\/\">IRISA<\/a>.<\/p>\n\n\n\n<h3 class=\"wp-block-heading\">\u00c0 propos du COVID-19<\/h3>\n\n\n\n<p>Les organisateurs locaux suivent de pr\u00e8s la situation \u00e9pid\u00e9mique. Nous privil\u00e9gions un format enti\u00e8rement sur place, mais nous utiliserons un format hybride ou \u00e0 distance selon la situation.<\/p>\n\n\n\n<h4 class=\"wp-block-heading\">Comit\u00e9 d&rsquo;organisation<\/h4>\n\n\n\n<p>All organizing staff are affiliated to <a href=\"https:\/\/www.irisa.fr\/\">IRISA<\/a>, except for additional affiliations listed next to their name.<br>Sophie Pinchinat (chair)<br>Sophie Maupil\u00e9<br>Aur\u00e9lie Amet<br>Guillaume Aucher<br>Dylan Bellier<br>Aymen Bazouzi<br> Fr\u00e9d\u00e9ric Bouvet<br> L\u00e9na\u00efg Cornanguer<br> Catherine Jacques-Orban<br> Antoine L&rsquo;Azou<br> Pierre Le Scornet<br> Herv\u00e9 Marchand<br> Nicolas Markey<br> Alexandre Terefenko, Universit\u00e9 de Mons<br> Adrien Thomas<\/p>\n\n\n\n<h4 class=\"wp-block-heading\">Pr\u00e9sidence du comit\u00e9 de programme<\/h4>\n\n\n\n<p>David Fern\u00e1ndez Duque, University of Ghent<br>Alessandra Palmigiano, Vrije Universiteit Amsterdam<\/p>\n\n\n\n<h4 class=\"wp-block-heading\">Comit\u00e9 de programme<\/h4>\n\n\n\n<p>Erman Acar, VU Amsterdam<br>Bahareh Afshari, University of Amsterdam<br>Natasha&nbsp;Alechina, University of Utrecht<br>Steve Awodey, Carnegie Mellon<br>Philippe Balbiani, CNRS, Toulouse University<br>Marta Bilkova, Academy of Sciences of the Czech Republic<br>Xavier Caicedo, University of los Andes<br>Walter Carnielli, State University of Campinas<br>Agata Ciabattoni, TU Wien<br>Ivano Ciardelli, University of Munich<br>Willem Conradie, University of the Witwatersrand<br>Laurent De Rudder, University of Liege<br>Tommaso Flaminio, Spanish National Research Council<br>Sabine Frittella, INSA Centre Val de Loire<br>Nick Galatos, University of Denver<br>Sam van Gool, IRIF, Universit\u00e9 de Paris<br>Giuseppe Greco, VU Amsterdam<br>Thomas Icard, Stanford University<br>Ramon Jansana University of Barcelona<br>Peter Jipsen,&nbsp;Chapman University<br>Joost Joosten, University of Barcelona<br>Stanislav Kikot, Sber Automotive Technologies<br>Philip Kremer, University of Toronto<br>Alexander Kurz, Chapman University<br>Roman&nbsp;Kuznets, TU Wien<br>Fei Liang, University of Shandong<br>Minghui Ma, Sun Yat-Sen University, Guangzhou<br>Morteza Moniri, Shahid Beheshti University<br>Tommaso Moraschini, University of Barcelona<br>Drew Moshier, Chapman University, Orange CA<br>Eric Pacuit, University of Maryland<br>Fedor Pakhomov, Ghent University<br>Sophie Pinchinat, IRISA, University of Rennes I<br>Daniele Porello, University of Genova<br>Vit Puncochar, Academy of Sciences of the Czech Republic<br>Revantha Ramanayake, University of Groningen<br>Christian Retor\u00e9, University of Montpellier<br>Umberto Rivieccio, Universidade Federal do Rio Grande do Norte<br>Claudette Robinson, University of Johannesburg<br>Gabriel&nbsp;Sandu, University of Helsinki<br>Igor Sedlar, Academy of Sciences of the Czech Republic<br>Ilya Shapirovsky, New Mexico State University<br>Apostolos Tzimoulis, VU Amsterdam<br>Sara Uckelman,&nbsp;Durham University<br>Jouko V\u00e4\u00e4n\u00e4nen, University of Helsinki<br>Heinrich Wansing, University of Bochum<br>Frank Wolter, University of Liverpool<\/p>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"important-dates\">Dates \u00e0 retenir<\/h2>\n\n\n\n<ul class=\"wp-block-list\"><li>Date limite de soumission des abstracts des articles complets : 7 mars 2022<\/li><li>Date limite de soumission des articles complets : 14 mars 2022<\/li><li>Notification d&rsquo;acceptation des articles complets : 13 mai 2022<\/li><li>Date limite de soumission des articles succints : 23 mai 2022<\/li><li> Notification d&rsquo;acceptation des articles succints : 6 juin 2022<\/li><li>Date limite d&rsquo;envoi des versions finales des articles complets et succints : 13 juin 2022<\/li><li><strong>Date&nbsp;limite&nbsp;d&rsquo;inscription:10&nbsp;ao\u00fbt&nbsp;2022<\/strong><\/li><li>Conf\u00e9rence : 22 ao\u00fbt &#8212; 25 ao\u00fbt 2022 (suivi de LAMAS&amp;SR 25 ao\u00fbt &#8212; 26 ao\u00fbt)<\/li><\/ul>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"invited-speakers\">Orateurs invit\u00e9s<\/h2>\n\n\n\n<div class=\"wp-block-columns has-2-columns 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\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"800\" src=\"https:\/\/aiml2022.irisa.fr\/files\/2021\/10\/WesleyHolliday-1024x800.jpeg\" alt=\"\" class=\"wp-image-110\" srcset=\"https:\/\/aiml2022.irisa.fr\/files\/2021\/10\/WesleyHolliday-1024x800.jpeg 1024w, https:\/\/aiml2022.irisa.fr\/files\/2021\/10\/WesleyHolliday-300x234.jpeg 300w, https:\/\/aiml2022.irisa.fr\/files\/2021\/10\/WesleyHolliday-768x600.jpeg 768w, https:\/\/aiml2022.irisa.fr\/files\/2021\/10\/WesleyHolliday-150x117.jpeg 150w, https:\/\/aiml2022.irisa.fr\/files\/2021\/10\/WesleyHolliday.jpeg 1280w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><figcaption><a href=\"https:\/\/sites.google.com\/site\/wesholliday\/\">Wesley Holliday<\/a><\/figcaption><\/figure><\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<p style=\"text-align:left\">Wesley H. Holliday is Professor of Philosophy and Chair of the Group in Logic and the Methodology of Science at the University of California, Berkeley. He earned his PhD from Stanford University in 2012, working under the supervision of Johan van Benthem and Krista Lawlor. His dissertation on epistemic logic won the E. W. Beth Dissertation Prize in 2013. At Berkeley he has worked mainly on modal and nonclassical logic, logic and natural language, logic and probability, and logic and social choice theory. Some of his papers on modal logic have appeared in AiML 2010, 2012, 2014, 2016, 2018, and 2020.<br><br><strong>Invited&nbsp;talk&nbsp;AiML 2022&nbsp;:<\/strong>  <br><a href=\"https:\/\/aiml2022.irisa.fr\/files\/2022\/07\/wesley-h-holliday-talk-aiml2022.pdf\">Non-classical modal logic for natural language<\/a><\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-columns has-2-columns 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\"><img loading=\"lazy\" decoding=\"async\" width=\"836\" height=\"627\" src=\"https:\/\/aiml2022.irisa.fr\/files\/2021\/10\/FrancescaPoggiolesi.jpg\" alt=\"\" class=\"wp-image-112\" srcset=\"https:\/\/aiml2022.irisa.fr\/files\/2021\/10\/FrancescaPoggiolesi.jpg 836w, https:\/\/aiml2022.irisa.fr\/files\/2021\/10\/FrancescaPoggiolesi-300x225.jpg 300w, https:\/\/aiml2022.irisa.fr\/files\/2021\/10\/FrancescaPoggiolesi-768x576.jpg 768w, https:\/\/aiml2022.irisa.fr\/files\/2021\/10\/FrancescaPoggiolesi-150x113.jpg 150w\" sizes=\"auto, (max-width: 836px) 100vw, 836px\" \/><figcaption><a href=\"https:\/\/sites.google.com\/site\/poggiolesi\/home\">Francesca Poggiolesi<\/a><\/figcaption><\/figure><\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<p style=\"text-align:left\">I obtained my PhD in Philosophy from the University of Florence, Italy and the University of Paris 1 Panth\u00e9on-Sorbonne, France. Before joining the IHPST UMR 8590, CNRS, where I have been a permanent member since 2015, I have held research and teaching positions at the VUB, Belgium and Aix-Marseille University. I have been actively working on the proof theory for modal logic for almost ten years. More recently I have moved my interests to more philosophical notions such as grounding or explanations; I use the techniques of proof theory to attempt to provide a rigorous account of these concepts.<br><br><strong>Invited&nbsp;talk AiML 2022&nbsp;:<\/strong><br><a rel=\"noreferrer noopener\" aria-label=\"Explanations in Logic (opens in a new tab)\" href=\"https:\/\/aiml2022.irisa.fr\/files\/2022\/07\/francesca-poggiolesi-talk-aiml2022.pdf\" target=\"_blank\">Explanations in Logic<\/a><\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-columns has-2-columns 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\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"1024\" src=\"https:\/\/aiml2022.irisa.fr\/files\/2021\/10\/WillemConradie-1024x1024.jpg\" alt=\"\" class=\"wp-image-109\" srcset=\"https:\/\/aiml2022.irisa.fr\/files\/2021\/10\/WillemConradie-1024x1024.jpg 1024w, https:\/\/aiml2022.irisa.fr\/files\/2021\/10\/WillemConradie-150x150.jpg 150w, https:\/\/aiml2022.irisa.fr\/files\/2021\/10\/WillemConradie-300x300.jpg 300w, https:\/\/aiml2022.irisa.fr\/files\/2021\/10\/WillemConradie-768x768.jpg 768w, https:\/\/aiml2022.irisa.fr\/files\/2021\/10\/WillemConradie.jpg 1632w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><figcaption><a href=\"https:\/\/sites.google.com\/site\/willemconradie\/\">Willem Conradie<\/a><\/figcaption><\/figure><\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<p style=\"text-align:left\">Willem Conradie is a professor in the School of Mathematics at the<br> University of the Witwatersrand (WITS), South Africa, where is also Assistant Dean for Teaching and Learning in the Faculty of  Science. Previously he was an associate professor and head of  department at the University of Johannesburg. After completing the  Master of Logic programme at the ILLC in 2002, he received a PhD in  Mathematics from WITS in 2007 under the supervision of Valentin Goranko. His main research  interests are in non-classical logics and their applications, on which he publishes regularly, with some recent contributions addressing the correspondence theory for non-distributive modal logics, new polarity and graph-based semantic for non-distributive modal logics suitable for interpretations of  these formalisms as logics of categorisation systems or as hyper-constructivists logics of informational entropy and evidential reasoning, as well as new algebraic semantics for hybrid logics. Conradie has co-authored the book \u201cLogic and Discrete Mathematics: A Concise Introduction\u201d published by Wiley UK. He serves on the council of the South African Mathematical Society, the council of the Association for Symbolic Logic and on the South African Mathematics Olympiad committee.<br><br><strong>Invited&nbsp;talk&nbsp;AiML&nbsp;2022&nbsp;:<\/strong>  <br><a href=\"https:\/\/aiml2022.irisa.fr\/files\/2022\/07\/willem-conradie-talk-aiml2022.pdf\">On parametric phenomena in correspondence theory<\/a><\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-columns has-2-columns 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\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"754\" src=\"https:\/\/aiml2022.irisa.fr\/files\/2021\/10\/RinekeVerbrugge-1024x754.jpeg\" alt=\"\" class=\"wp-image-111\" srcset=\"https:\/\/aiml2022.irisa.fr\/files\/2021\/10\/RinekeVerbrugge-1024x754.jpeg 1024w, https:\/\/aiml2022.irisa.fr\/files\/2021\/10\/RinekeVerbrugge-300x221.jpeg 300w, https:\/\/aiml2022.irisa.fr\/files\/2021\/10\/RinekeVerbrugge-768x566.jpeg 768w, https:\/\/aiml2022.irisa.fr\/files\/2021\/10\/RinekeVerbrugge-150x110.jpeg 150w, https:\/\/aiml2022.irisa.fr\/files\/2021\/10\/RinekeVerbrugge.jpeg 1393w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><figcaption><a href=\"https:\/\/rinekeverbrugge.nl\/\">Rineke Verbrugge<\/a><\/figcaption><\/figure><\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<p style=\"text-align:left\">Rineke Verbrugge is a pioneer in building bridges between logic and cognitive science. She holds the chair of Logic and Cognition at the University of Groningen\u2019s Bernoulli Institute of Mathematics, Computer Science and Artificial Intelligence. Verbrugge\u2019s research spans an area covering provability logic, teamwork in multi-agent environments, and social cognition.  Since her PhD on logic and the foundations of mathematics at the University of Amsterdam in 1993, Verbrugge has published more than 170 peer-reviewed international publications and a monograph, Teamwork in Multi-Agent Systems, with Barbara Dunin-K\u0119plicz. Verbrugge has led the NWO Vici-project \u201cCognitive systems in interaction: Logical and computational models of higher-order social cognition\u201d. She is one of the six principal investigators of the Gravitation project \u201cHybrid Intelligence: Augmenting Human Intellect\u201d that runs in the Netherlands in 2020-2030. Verbrugge is associate editor of the Journal of Logic, Language and Information and has been program (co-)chair of several workshops and conferences, including AiML 2020 and TARK 2023, as well as chair of the Dutch Association for Logic. Since 2021, Verbrugge is an elected member of the Royal Netherlands Academy of Sciences (KNAW).<br><br><strong>Joint invited&nbsp;talk&nbsp;AiML &amp;&nbsp;LAMAS&amp;SR&nbsp;2022&nbsp;<\/strong>:  <br><a href=\"https:\/\/aiml2022.irisa.fr\/files\/2022\/07\/rineke-verbrugge-talk-aiml2022-lamassr2022.pdf\">Not the sky, but the third floor is the limit: Zero-one laws for provability logic, S4, and K4<\/a><\/p>\n<\/div>\n<\/div>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"contact-us\">Contactez-nous<\/h2>\n\n\n\n<p>Les demandes d&rsquo;informations doivent \u00eatre envoy\u00e9es \u00e0 la pr\u00e9sidence du PC :<br><\/p>\n\n\n\n<div class=\"wpcf7 no-js\" id=\"wpcf7-f199-o2\" lang=\"en-US\" dir=\"ltr\" data-wpcf7-id=\"199\"><form action=\"\/fr\/wp-json\/wp\/v2\/pages\/4#wpcf7-f199-o2\" method=\"post\" class=\"wpcf7-form init\" novalidate=\"novalidate\" data-status=\"init\">\n<div style=\"display: none;\">\n<input type=\"hidden\" name=\"_wpcf7\" value=\"199\" \/>\n<input type=\"hidden\" name=\"_wpcf7_version\" value=\"6.0.6\" \/>\n<input type=\"hidden\" name=\"_wpcf7_locale\" value=\"en_US\" \/>\n<input type=\"hidden\" name=\"_wpcf7_unit_tag\" value=\"wpcf7-f199-o2\" \/>\n<input type=\"hidden\" name=\"_wpcf7_container_post\" value=\"0\" \/>\n<input type=\"hidden\" name=\"_wpcf7_posted_data_hash\" value=\"\" \/>\n<\/div>\n<p><label> Votre nom (obligatoire)<br \/>\n<span class=\"wpcf7-form-control-wrap\" data-name=\"your-name\"><input class=\"wpcf7-form-control wpcf7-text wpcf7-validates-as-required\" aria-required=\"true\" aria-invalid=\"false\" value=\"\" type=\"text\" name=\"your-name\" \/><\/span> <\/label>\n<\/p>\n<p><label> Votre courriel<br \/>\n<span class=\"wpcf7-form-control-wrap\" data-name=\"your-email\"><input class=\"wpcf7-form-control wpcf7-email wpcf7-validates-as-required wpcf7-text wpcf7-validates-as-email\" aria-required=\"true\" aria-invalid=\"false\" value=\"\" type=\"email\" name=\"your-email\" \/><\/span> <\/label>\n<\/p>\n<p><label> Sujet<br \/>\n<span class=\"wpcf7-form-control-wrap\" data-name=\"your-subject\"><input class=\"wpcf7-form-control wpcf7-text\" aria-invalid=\"false\" value=\"\" type=\"text\" name=\"your-subject\" \/><\/span> <\/label>\n<\/p>\n<p><label> Votre message<br \/>\n<span class=\"wpcf7-form-control-wrap\" data-name=\"your-message\"><textarea cols=\"40\" rows=\"10\" class=\"wpcf7-form-control wpcf7-textarea\" aria-invalid=\"false\" name=\"your-message\"><\/textarea><\/span> <\/label>\n<\/p>\n<p><input class=\"wpcf7-form-control wpcf7-submit has-spinner\" type=\"submit\" value=\"Send\" \/>\n<\/p><div class=\"wpcf7-response-output\" tabindex=\"-1\"><\/div>\n<\/form>\n<\/div>\n\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>Avanc\u00e9es en logique modale 2022Rennes, du 22 au 25 ao\u00fbt Les inscriptions sont ouvertes jusqu&rsquo;au 10&nbsp;ao\u00fbt ! https:\/\/aimllamassr2022.sciencesconf.org\/ Advances&nbsp;in&nbsp;Modal&nbsp;Logic est une initiative visant \u00e0 pr\u00e9senter l&rsquo;\u00e9tat de l&rsquo;art de la logique modale et de ses applications. Cette initiative prend la forme d&rsquo;une s\u00e9rie de conf\u00e9rences et d&rsquo;une s\u00e9rie de volumes&#8230;<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/aiml2022.irisa.fr\/fr\/\"><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":"open","template":"","meta":{"_mc_calendar":[],"footnotes":""},"class_list":["post-4","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/aiml2022.irisa.fr\/fr\/wp-json\/wp\/v2\/pages\/4","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=4"}],"version-history":[{"count":220,"href":"https:\/\/aiml2022.irisa.fr\/fr\/wp-json\/wp\/v2\/pages\/4\/revisions"}],"predecessor-version":[{"id":627,"href":"https:\/\/aiml2022.irisa.fr\/fr\/wp-json\/wp\/v2\/pages\/4\/revisions\/627"}],"wp:attachment":[{"href":"https:\/\/aiml2022.irisa.fr\/fr\/wp-json\/wp\/v2\/media?parent=4"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}