<html aria-label="message body">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<p style="margin: 0px 0px 16px; text-align: center; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 17.3px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"><b>CALL FOR PAPERS</b> </span></p>
<p style="margin: 0px 0px 16px; text-align: center; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 17.3px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"><b>LAMAS & SR 2026</b> </span></p>
<p style="margin: 0px 0px 16px; text-align: center; text-indent: 48px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"><i>International Workshop on Logical Aspects of Multi-Agent Systems and Strategic Reasoning</i> </span></p>
<p style="margin: 0px; text-align: center; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgb(56, 101, 115);">
<span style="font-kerning: none; color: rgba(0, 0, 0, 0.85)"><b>Website: </b><a href="https://strategic-reasoning.github.io/lamassr26/"><span style="font-kerning: none; color: rgb(56, 101, 115);"><b>https://strategic-reasoning.github.io/lamassr26/</b></span></a></span><span style="font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 16px; line-height: normal; font-size-adjust: none; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; font-kerning: none; color: rgba(0, 0, 0, 0.85);"> </span></p>
<p style="margin: 0px 0px 16px; text-align: center; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none">Co-located with <b>KR 2026</b> (as part of <b>FLoC 2026</b>) <br>
Lisbon, Portugal • <b>July 19, 2026</b> </span></p>
<p style="margin: 0px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"> </span></p>
<p style="margin: 0px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none">Logic and strategic reasoning play a central role in multi-agent systems. Logic can be used, for instance, to express the agents' abilities, knowledge, and objectives. Strategic reasoning refers to algorithmic methods that allow
for the development of good behavior for the agents of the system. At the intersection, we find logics that can express the existence of strategies or equilibria and can be used to reason about them. The LAMAS&SR workshop merges two international workshops:
LAMAS (Logical Aspects of Multi-Agent Systems), which focuses on all kinds of logical aspects of multi-agent systems from the perspectives of artificial intelligence, computer science, and game theory, and SR (Strategic Reasoning), devoted to all aspects of
strategic reasoning in formal methods and artificial intelligence. Over the years the communities and research themes of both workshops got closer, with a significant overlap in the participants and organizers of both events. For this reason, the two events
have been unified under the same flag, formally joining the two communities. As such, the LAMAS&SR workshop aims to bring together researchers working on different aspects of either logic or strategic reasoning in computer science, artificial intelligence,
and multi-agent systems research, both from a theoretical and a practical viewpoint. </span></p>
<p style="margin: 0px 0px 10.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 16px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"> </span></p>
<p style="margin: 0px 0px 10.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 16px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"><b>TOPICS </b> </span></p>
<p style="margin: 0px 0px 10.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none">The topics covered by LAMAS&SR include, but are not limited to: </span></p>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none">Logical systems for specification, analysis, and reasoning about MAS </span></li></ul>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none">Logic-based modeling of multi-agent systems </span></li></ul>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none">Dynamical multi-agent systems </span></li></ul>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none">Deductive systems and decision procedures for logics for MAS </span></li></ul>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none">Development and implementation of methods for verification of MAS </span></li></ul>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none">Logic-based tools for multi-agent systems </span></li></ul>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none">Logics for reasoning about strategic abilities </span></li></ul>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none">Formal aspects of mechanism design, verification, and synthesis </span></li></ul>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none">Formal aspects of knowledge representation and reasoning </span></li></ul>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none">Logical foundations of decision theory for multi-agent systems </span></li></ul>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none">Strategic reasoning in formal verification </span></li></ul>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none">Automata theory for strategy synthesis </span></li></ul>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none">Applications and tools for cooperative and adversarial reasoning </span></li></ul>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none">Robust planning and optimization in multi-agent systems </span></li></ul>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none">Risk and uncertainty in multi-agent systems </span></li></ul>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none">Quantitative aspects in strategic reasoning </span></li></ul>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none">Neuro-symbolic AI for multi-agent systems </span></li></ul>
<p style="margin: 0px 0px 10.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 16px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"> </span></p>
<p style="margin: 0px 0px 10.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 16px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"><b>IMPORTANT DATES</b> </span></p>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"><b>April 30, 2026 </b></span><span style="font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 16px; line-height: normal; font-family: Helvetica; font-size-adjust: none; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; font-kerning: none;"><b>(AoE)</b></span><span style="font-kerning: none"><b>:
</b>Paper Submission Deadline </span></li></ul>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"><b>May 14, 2026: </b>Notification of Acceptance </span></li></ul>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"><b>July 19, 2026: </b>Workshop </span></li></ul>
<p style="margin: 0px 0px 10.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 16px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"> </span></p>
<p style="margin: 0px 0px 10.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 16px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"><b>INVITED SPEAKERS</b> </span></p>
<ul>
<li style="margin: 0px 0px 16px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 16px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="text-decoration-line: underline; font-kerning: none; color: rgb(56, 101, 115);"><a href="https://giuseppeperelli.github.io/">Giuseppe Perelli,</a></span><span style="font-kerning: none"> “La Sapienza University of Rome”, Italy </span></li></ul>
<ul>
<li style="margin: 0px 0px 16px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 16px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="text-decoration-line: underline; font-kerning: none; color: rgb(56, 101, 115);"><a href="https://cv.hal.science/stephane-demri">Stéphane Demri</a></span><span style="font-kerning: none">,
</span><span style="font-kerning: none; color: #000000">CNRS</span><span style="font-kerning: none">, ENS Paris-Saclay, France </span></li></ul>
<p style="margin: 0px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 16px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"> </span></p>
<p style="margin: 0px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 16px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"><b>SUBMISSION</b> </span></p>
<p style="margin: 0px 0px 10.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 16px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"> </span></p>
<p style="margin: 0px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none">Authors are invited to submit extended abstracts of up to 4 pages plus 1 page for references only, in the format of the KR 2026 conference (<a href="https://kr.org/KR2026/files/KR26_authors_kit.zip"><span style="font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-size-adjust: none; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; font-kerning: none; color: rgb(16, 60, 192);">KR26_authors_kit.zip</span></a>).
Both published and unpublished works are welcome. Submissions are subject to a single-blind review process (submissions should not be anonymous). </span></p>
<p style="margin: 0px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none">Although there will be no formal proceedings, accepted extended abstracts will be available on the workshop website. Submissions must be in PDF and will be handled via HotCRP using the following link:
<a href="https://submissions.floc26.org/lamas-sr/paper/new"><span style="font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-size-adjust: none; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; font-kerning: none; color: rgb(56, 101, 115);">https://submissions.floc26.org/lamas-sr/paper/new</span></a></span><span style="font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 16px; line-height: normal; font-family: Helvetica; font-size-adjust: none; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; font-kerning: none;"> </span></p>
<p style="margin: 0px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none">Submissions from PC members are also allowed. Since the workshop will have informal proceedings, extended versions of the accepted papers can also be submitted elsewhere. </span></p>
<p style="margin: 0px 0px 10.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 16px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"> </span></p>
<p style="margin: 0px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"><b>PROCEEDINGS </b> </span></p>
<p style="margin: 0px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"> </span></p>
<p style="margin: 0px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none">The informal proceedings will be available as a single PDF file from the workshop website. Extended and revised versions of the best papers presented at the workshop will be invited for a journal special issue. </span></p>
<p style="margin: 0px 0px 10.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 16px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"> </span></p>
<p style="margin: 0px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 16px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"><b>COMMITTEES</b> </span></p>
<p style="margin: 0px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 16px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"> </span></p>
<p style="margin: 0px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"><b>Workshop Chairs</b> </span></p>
<p style="margin: 0px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"> </span></p>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="text-decoration-line: underline; font-kerning: none; color: rgb(56, 101, 115);"><a href="https://home.lmf.cnrs.fr/Rberthon/">Raphaël Berthon</a></span><span style="font-kerning: none">, Laboratoire Méthodes Formelles, Université Paris-Saclay, France </span></li></ul>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="text-decoration-line: underline; font-kerning: none; color: rgb(56, 101, 115);"><a href="https://antoniodistasio.github.io/">Antonio Di Stasio</a></span><span style="font-kerning: none">, City St George’s University of London, UK </span></li></ul>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="text-decoration-line: underline; font-kerning: none; color: rgb(56, 101, 115);"><a href="https://rgalimullin.gitlab.io/">Rustam Galimullin</a></span><span style="font-kerning: none">, University of Bergen, Norway </span></li></ul>
<p style="margin: 0px 0px 0px 48px; text-indent: -48px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"> </span></p>
<p style="margin: 0px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"><b>Program Committee </b> </span></p>
<p style="margin: 0px; font-style: normal; font-variant-caps: normal; font-width: normal; line-height: normal; font-family: Times; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85); min-height: 14px;">
<span style="font-kerning: none"></span><br>
</p>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"><b>Thomas Ågotnes</b>, University of Bergen, Norway </span></li></ul>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"><b>Guy Avni</b>, University of Haifa, Israel </span></li></ul>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"><b>Francesco Belardinelli</b>, Imperial College London, United Kingdom </span></li></ul>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"><b>Davide Catta</b>, Université Sorbonne Paris Nord (LIPN), France </span></li></ul>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"><b>Catalin Dima</b>, Université Paris-Est Créteil, France </span></li></ul>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"><b>Angelo Ferrando</b>, University of Modena and Reggio Emilia, Italy </span></li></ul>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"><b>Valentin Goranko</b>, Stockholm University, Sweden </span></li></ul>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"><b>Wojciech Jamroga</b>, University of Luxembourg </span></li></ul>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"><b>Fenrong Liu</b>, Tsinghua University, China </span></li></ul>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"><b>Emiliano Lorini</b>, CNRS, France </span></li></ul>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"><b>Munyque Mittelmann</b>, Université Sorbonne Paris Nord (LIPN), France </span></li></ul>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"><b>Aniello Murano</b>, University of Napoli “Federico II”, Italy </span></li></ul>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"><b>Sasha Rubin</b>, University of Sydney, Australia </span></li></ul>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"><b>Chenwei Shi</b>, Tsinghua University </span></li></ul>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"><b>Francesco Spegni</b>, Università Politecnica delle Marche, Italy </span></li></ul>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"><b>Yanjing Wang</b>, Peking University, China </span></li></ul>
<ul>
<li style="margin: 0px 0px 14.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"><b>Martin Zimmermann</b>, Aalborg University, Denmark </span></li></ul>
<p style="margin: 0px 0px 16px 48px; text-indent: -48px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"> </span></p>
<p style="margin: 0px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 14.7px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"> </span></p>
<p style="margin: 0px 0px 10.7px; font-style: normal; font-variant-caps: normal; font-width: normal; font-size: 16px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; color: rgba(0, 0, 0, 0.85);">
<span style="font-kerning: none"> </span></p>
<div><span style="font-kerning: none"><br>
</span></div>
</body>
</html>