{"id":69,"date":"2019-02-28T15:51:42","date_gmt":"2019-02-28T14:51:42","guid":{"rendered":"https:\/\/project.inria.fr\/fmai2019\/?page_id=69"},"modified":"2019-05-09T16:58:14","modified_gmt":"2019-05-09T14:58:14","slug":"program","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/fmai2019\/program\/","title":{"rendered":"Program"},"content":{"rendered":"

Thurday 2 May<\/span><\/strong><\/p>\n

09:40 Hall – Welcome with coffee
\n<\/strong><\/p>\n

10:00-12:30 Room Petri-Turing – Talk session – strategic reasoning<\/strong><\/p>\n

Chair: Sasha Rubin<\/strong><\/h6>\n\n\n\n\n\n\n\n
Yoram Moses<\/span><\/td>\nKnowledge and Distributed Coordination (slides)<\/span><\/a><\/td>\n<\/tr>\n
\n

Panagiotis\u00a0 Kouvaros<\/span><\/p>\n<\/td>\n

Verifying Agent Swarms<\/span><\/td>\n<\/tr>\n
Bastien Maubert<\/td>\nReasoning about Knowledge and Strategies (slides)<\/a><\/td>\n<\/tr>\n
Sophie Pinchinat<\/td>\nChain-Monadic Second Order Logic over Regular Automatic Trees and Epistemic Planning Synthesis<\/td>\n<\/tr>\n
Valentin Goranko<\/td>\nGeneralising the Dining Philosophers problem: competitive dynamic resource allocation in multi-agent systems (slides)<\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n

12:30 Hall –\u00a0 Buffet<\/strong><\/p>\n

14:00-15:00 Invited talk – Ann Now\u00e9<\/a> – Reinforcement Learning to converge or not to converge is this the question? <\/strong><\/p>\n

Chair:\u00a0<\/strong>Sophie Pinchinat<\/strong><\/h6>\n

15:00-16:00 Room Petri-Turing – Talk session – logical reasoning<\/strong><\/p>\n

Chair:\u00a0<\/strong>Sophie Pinchinat<\/strong><\/h6>\n\n\n\n\n
Abdallah Saffidine<\/td>\n\u00a0Practical Encodings of Factored Deterministic POMDPs into Probabilistic Planning (slides)<\/a><\/td>\n<\/tr>\n
Nicola Gigante<\/td>\n\u00a0Timeline-based planning: Expressiveness and Complexity (slides)<\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

16:00-16h30 Hall – Coffee break<\/strong><\/p>\n

16:30-18:30 Room Petri-Turing – Talk session – reasoning<\/strong><\/p>\n

Chair: Bastien Maubert<\/strong><\/h6>\n\n\n\n\n\n\n
Hans Van Ditmarsch and Vaishnavi Sundararajan<\/td>\nWho holds the best card? Secure communication of optimal secret bits (slides)<\/a><\/td>\n<\/tr>\n
St\u00e9phane Demri<\/td>\nModal Separation Logics: Complexity and Axiomatisation (slides)<\/a><\/td>\n<\/tr>\n
Andreas Herzig<\/td>\nAlternative axiomatisations of common knowledge (slides)<\/a><\/td>\n<\/tr>\n
Sylvie Sage<\/td>\nAcceptance-based Pragmatics and Conversational AI<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n

Friday 3 May<\/strong><\/span><\/p>\n

9:00-10h30 Room Petri-Turing – Talk session<\/strong><\/p>\n

Chair:\u00a0<\/strong>Fran\u00e7ois\u00a0Schwarzentruber<\/strong><\/h6>\n\n\n\n\n\n
Blaise Genest<\/td>\nGlobal PAC Bounds for Learning Discrete Time Markov Chains (slides)<\/a><\/td>\n<\/tr>\n
Kuldeep S. Meel<\/td>\n\u00a0Towards Verifying AI Systems: Testing of Samplers (slides)<\/a><\/td>\n<\/tr>\n
Catalin Dima<\/td>\nVerifying Strategic Abilities in Multi-agent Systems with Private Data Sharing (slides)<\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n

10:30-11h00 Hall – Coffee break<\/strong><\/p>\n

11h-12h30 Hall – Room Petri-Turing – Talk session – Alternating-time temporal logic – <\/strong><\/p>\n

Chair: Blaise Genest<\/strong><\/h6>\n\n\n\n\n\n
Dario Della Monica<\/td>\nParity-energy ATL for Qualitative and Quantitative Reasoning in MAS (slides)<\/a><\/td>\n<\/tr>\n
Vadim Malvone<\/td>\nReasoning about Natural Strategic Ability (slides)<\/a><\/td>\n<\/tr>\n
Alexandru Baltag<\/td>\nThe decidable logic of functional dependency<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n

12:30 Room Petri-Turing Buffet<\/strong><\/p>\n

14:00-16:00 Room M\u00e9tivier – Fran\u00e7ois Schwarzentruber. <\/strong>Epistemic reasoning in AI (habilitation defense)<\/strong><\/a><\/p>\n

16:00 Room Sein – Closing reception<\/strong><\/p>\n

 <\/p>\n

Saturday 4 May<\/strong><\/span><\/p>\n

\"\"<\/a>

March\u00e9 de Lices, Rennes – Photo Benoit Gendron<\/p><\/div>\n

This day will be off.
\nHowever, we highly advice to visit the “march\u00e9 des Lices” (place des Lices). This market place is typical.<\/p>\n","protected":false},"excerpt":{"rendered":"

Thurday 2 May 09:40 Hall – Welcome with coffee 10:00-12:30 Room Petri-Turing – Talk session – strategic reasoning Chair: Sasha Rubin Yoram Moses Knowledge and Distributed Coordination (slides) Panagiotis\u00a0 Kouvaros Verifying Agent Swarms Bastien Maubert Reasoning about Knowledge and Strategies (slides) Sophie Pinchinat Chain-Monadic Second Order Logic over Regular Automatic\u2026<\/p>\n

Continue reading<\/span><\/i><\/a> <\/p>\n","protected":false},"author":831,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-69","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/fmai2019\/wp-json\/wp\/v2\/pages\/69","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/fmai2019\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/fmai2019\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/fmai2019\/wp-json\/wp\/v2\/users\/831"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/fmai2019\/wp-json\/wp\/v2\/comments?post=69"}],"version-history":[{"count":65,"href":"https:\/\/project.inria.fr\/fmai2019\/wp-json\/wp\/v2\/pages\/69\/revisions"}],"predecessor-version":[{"id":280,"href":"https:\/\/project.inria.fr\/fmai2019\/wp-json\/wp\/v2\/pages\/69\/revisions\/280"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/fmai2019\/wp-json\/wp\/v2\/media?parent=69"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}