<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
  </head>
  <body>
    <p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;" id="docs-internal-guid-b44b0d3d-7fff-0502-19c3-86e140eff9a9"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">[apologies for cross-postings]</span></p>
    <br>
    <br>
    <p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">The Thirteenth International Symposium on Games, Automata, Logics, and Formal Verification will be held in Madrid (Spain) on September 21-23, 2022.</span></p>
    <p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">The aim of </span><a href="https://urldefense.com/v3/__https://gandalf2022.software.imdea.org/__;!!IBzWLUs!VAaj7X1mLc69Rm8tfKH4p4mS3Mpim8FPx2kQmIbIucsqUioE_LrKEErE4rNmDygkDEwSmRSXJcvS1r4NiQ10RfnIXwvOEMqsKQUhlMaX0lo$" style="text-decoration:none;"><span style="font-size:11pt;font-family:Arial;color:#1155cc;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:underline;-webkit-text-decoration-skip:none;text-decoration-skip-ink:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">GandALF 2022</span></a><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;"> is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization. Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers discussing new ideas that are at an early stage of development are also welcome. The topics covered by the conference include, but are not limited to, the following:</span></p>
    <ul style="margin-top:0;margin-bottom:0;padding-inline-start:48px;">
      <li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;margin-left: -6pt;padding-left: 6pt;" aria-level="1"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;" role="presentation"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Automata Theory</span></p></li>
      <li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;margin-left: -6pt;padding-left: 6pt;" aria-level="1"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;" role="presentation"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Automated Deduction</span></p></li>
      <li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;margin-left: -6pt;padding-left: 6pt;" aria-level="1"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;" role="presentation"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Computational aspects of Game Theory</span></p></li>
      <li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;margin-left: -6pt;padding-left: 6pt;" aria-level="1"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;" role="presentation"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Concurrency and Distributed computation</span></p></li>
      <li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;margin-left: -6pt;padding-left: 6pt;" aria-level="1"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;" role="presentation"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Decision Procedures</span></p></li>
      <li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;margin-left: -6pt;padding-left: 6pt;" aria-level="1"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;" role="presentation"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Deductive, Compositional, and Abstraction Techniques for Verification</span></p></li>
      <li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;margin-left: -6pt;padding-left: 6pt;" aria-level="1"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;" role="presentation"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Finite Model Theory</span></p></li>
      <li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;margin-left: -6pt;padding-left: 6pt;" aria-level="1"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;" role="presentation"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">First-order and Higher-order Logics</span></p></li>
      <li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;margin-left: -6pt;padding-left: 6pt;" aria-level="1"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;" role="presentation"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Formal Languages</span></p></li>
      <li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;margin-left: -6pt;padding-left: 6pt;" aria-level="1"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;" role="presentation"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems</span></p></li>
      <li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;margin-left: -6pt;padding-left: 6pt;" aria-level="1"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;" role="presentation"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Games and Automata for Verification</span></p></li>
      <li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;margin-left: -6pt;padding-left: 6pt;" aria-level="1"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;" role="presentation"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Game Semantics</span></p></li>
      <li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;margin-left: -6pt;padding-left: 6pt;" aria-level="1"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;" role="presentation"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Logical aspects of Computational Complexity</span></p></li>
      <li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;margin-left: -6pt;padding-left: 6pt;" aria-level="1"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;" role="presentation"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Logics of Programs</span></p></li>
      <li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;margin-left: -6pt;padding-left: 6pt;" aria-level="1"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;" role="presentation"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Modal and Temporal Logics</span></p></li>
      <li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;margin-left: -6pt;padding-left: 6pt;" aria-level="1"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;" role="presentation"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Model Checking</span></p></li>
      <li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;margin-left: -6pt;padding-left: 6pt;" aria-level="1"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;" role="presentation"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Models of Reactive and Real-Time Systems</span></p></li>
      <li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;margin-left: -6pt;padding-left: 6pt;" aria-level="1"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;" role="presentation"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Probabilistic Models (Markov Decision processes)</span></p></li>
      <li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;margin-left: -6pt;padding-left: 6pt;" aria-level="1"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;" role="presentation"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Program Analysis and Software Verification</span></p></li>
      <li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;margin-left: -6pt;padding-left: 6pt;" aria-level="1"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;" role="presentation"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Reinforcement Learning</span></p></li>
      <li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;margin-left: -6pt;padding-left: 6pt;" aria-level="1"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;" role="presentation"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Run-time Verification and Testing</span></p></li>
      <li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;margin-left: -6pt;padding-left: 6pt;" aria-level="1"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;" role="presentation"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Specification and Verification of Finite and Infinite-state Systems</span></p></li>
      <li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;margin-left: -6pt;padding-left: 6pt;" aria-level="1"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;" role="presentation"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Synthesis</span></p></li>
    </ul>
    <h1 dir="ltr" style="line-height:1.38;margin-top:20pt;margin-bottom:6pt;"><span style="font-size:20pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Important Dates</span></h1>
    <div dir="ltr" style="margin-left:-5.4pt;" align="left">
      <table style="border:none;border-collapse:collapse;">
        <colgroup><col width="264"><col width="264"></colgroup><tbody>
          <tr style="height:0pt">
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Abstract Submission:</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">May 27, 2022</span></p>
            </td>
          </tr>
          <tr style="height:0pt">
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Paper Submission:</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">June 3, 2022</span></p>
            </td>
          </tr>
          <tr style="height:0pt">
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Notification:</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">July 24, 2022</span></p>
            </td>
          </tr>
          <tr style="height:0pt">
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Camera-ready:</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">August 12, 2022</span></p>
            </td>
          </tr>
          <tr style="height:0pt">
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Conference:</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">September 21-23, 2022</span></p>
            </td>
          </tr>
        </tbody>
      </table>
    </div>
    <p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">⚠ : submission, Notification and Camera-ready dates are </span><a href="https://urldefense.com/v3/__https://time.is/Anywhere_on_Earth__;!!IBzWLUs!VAaj7X1mLc69Rm8tfKH4p4mS3Mpim8FPx2kQmIbIucsqUioE_LrKEErE4rNmDygkDEwSmRSXJcvS1r4NiQ10RfnIXwvOEMqsKQUh_Ok5vKA$" style="text-decoration:none;"><span style="font-size:11pt;font-family:Arial;color:#1155cc;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:underline;-webkit-text-decoration-skip:none;text-decoration-skip-ink:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">AoE</span></a></p>
    <h1 dir="ltr" style="line-height:1.38;margin-top:20pt;margin-bottom:6pt;"><span style="font-size:20pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Publication</span></h1>
    <p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">The proceedings will be published by </span><a href="https://urldefense.com/v3/__http://www.eptcs.org/__;!!IBzWLUs!VAaj7X1mLc69Rm8tfKH4p4mS3Mpim8FPx2kQmIbIucsqUioE_LrKEErE4rNmDygkDEwSmRSXJcvS1r4NiQ10RfnIXwvOEMqsKQUhZlnfmyM$" style="text-decoration:none;"><span style="font-size:11pt;font-family:Arial;color:#1155cc;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:underline;-webkit-text-decoration-skip:none;text-decoration-skip-ink:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Electronic Proceedings in Theoretical Computer Science</span></a><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">. Authors of the best papers will be invited to submit a revised version of their work to a special issue of </span><a href="https://urldefense.com/v3/__https://lmcs.episciences.org/__;!!IBzWLUs!VAaj7X1mLc69Rm8tfKH4p4mS3Mpim8FPx2kQmIbIucsqUioE_LrKEErE4rNmDygkDEwSmRSXJcvS1r4NiQ10RfnIXwvOEMqsKQUhTana76M$" style="text-decoration:none;"><span style="font-size:11pt;font-family:Arial;color:#1155cc;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:underline;-webkit-text-decoration-skip:none;text-decoration-skip-ink:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Logical Methods in Computer Science</span></a><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">. The previous editions of GandALF already led to special issues of the International Journal of Foundations of Computer Science (GandALF 2010), Theoretical Computer Science (GandALF 2011 and 2012), Information and Computation (GandALF 2013, 2014, 2016, 2017, 2019 and 2020), Acta Informatica (GandALF 2015) and Logical Methods in Computer Science (2021).</span></p>
    <h1 dir="ltr" style="line-height:1.38;margin-top:20pt;margin-bottom:6pt;"><span style="font-size:20pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Submission</span></h1>
    <p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Submitted papers should not exceed 14 pages (excluding references and clearly marked appendices) using EPTCS format (please use the LaTeX style provided </span><a href="https://urldefense.com/v3/__http://style.eptcs.org__;!!IBzWLUs!VAaj7X1mLc69Rm8tfKH4p4mS3Mpim8FPx2kQmIbIucsqUioE_LrKEErE4rNmDygkDEwSmRSXJcvS1r4NiQ10RfnIXwvOEMqsKQUhqn3X_5c$" style="text-decoration:none;"><span style="font-size:11pt;font-family:Arial;color:#1155cc;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:underline;-webkit-text-decoration-skip:none;text-decoration-skip-ink:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">here</span></a><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">, be unpublished and contain original research. For papers reporting experimental results, authors are encouraged to make their data available with their submission. Submissions must be in PDF format and will be handled via the HotCRP Conference system at the following address:</span></p>
    <p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><a href="https://urldefense.com/v3/__https://hotcrp.software.imdea.org/gandalf2022__;!!IBzWLUs!VAaj7X1mLc69Rm8tfKH4p4mS3Mpim8FPx2kQmIbIucsqUioE_LrKEErE4rNmDygkDEwSmRSXJcvS1r4NiQ10RfnIXwvOEMqsKQUhNwdTWyo$" style="text-decoration:none;"><span style="font-size:11pt;font-family:Arial;color:#1155cc;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:underline;-webkit-text-decoration-skip:none;text-decoration-skip-ink:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">https://hotcrp.software.imdea.org/gandalf2022</span></a></p>
    <h1 dir="ltr" style="line-height:1.38;margin-top:20pt;margin-bottom:6pt;"><span style="font-size:20pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Invited Speakers</span></h1>
    <ul style="margin-top:0;margin-bottom:0;padding-inline-start:48px;">
      <li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;margin-left: -6pt;padding-left: 6pt;" aria-level="1"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;" role="presentation"><a href="https://urldefense.com/v3/__https://www.mimuw.edu.pl/*wczerwin/__;fg!!IBzWLUs!VAaj7X1mLc69Rm8tfKH4p4mS3Mpim8FPx2kQmIbIucsqUioE_LrKEErE4rNmDygkDEwSmRSXJcvS1r4NiQ10RfnIXwvOEMqsKQUhmHMHLbY$" style="text-decoration:none;"><span style="font-size:11pt;font-family:Arial;color:#1155cc;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:underline;-webkit-text-decoration-skip:none;text-decoration-skip-ink:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Wojciech Czerwiński</span></a><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">, University of Warsaw, Poland</span></p></li>
      <li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;margin-left: -6pt;padding-left: 6pt;" aria-level="1"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;" role="presentation"><a href="https://urldefense.com/v3/__https://www7.in.tum.de/*esparza/__;fg!!IBzWLUs!VAaj7X1mLc69Rm8tfKH4p4mS3Mpim8FPx2kQmIbIucsqUioE_LrKEErE4rNmDygkDEwSmRSXJcvS1r4NiQ10RfnIXwvOEMqsKQUhZvsuxG0$" style="text-decoration:none;"><span style="font-size:11pt;font-family:Arial;color:#1155cc;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:underline;-webkit-text-decoration-skip:none;text-decoration-skip-ink:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Javier Esparza</span></a><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">, Technische Universität München, Germany</span></p></li>
      <li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;margin-left: -6pt;padding-left: 6pt;" aria-level="1"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;" role="presentation"><a href="https://urldefense.com/v3/__https://www.cs.bgu.ac.il/*dana/__;fg!!IBzWLUs!VAaj7X1mLc69Rm8tfKH4p4mS3Mpim8FPx2kQmIbIucsqUioE_LrKEErE4rNmDygkDEwSmRSXJcvS1r4NiQ10RfnIXwvOEMqsKQUh3KbKw_k$" style="text-decoration:none;"><span style="font-size:11pt;font-family:Arial;color:#1155cc;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:underline;-webkit-text-decoration-skip:none;text-decoration-skip-ink:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Dana Fisman</span></a><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">, Ben-Gurion University, Israel</span></p></li>
      <li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;margin-left: -6pt;padding-left: 6pt;" aria-level="1"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;" role="presentation"><a href="https://urldefense.com/v3/__https://ii.uni.wroc.pl/*jma/index.phtml__;fg!!IBzWLUs!VAaj7X1mLc69Rm8tfKH4p4mS3Mpim8FPx2kQmIbIucsqUioE_LrKEErE4rNmDygkDEwSmRSXJcvS1r4NiQ10RfnIXwvOEMqsKQUhVBi30ws$" style="text-decoration:none;"><span style="font-size:11pt;font-family:Arial;color:#1155cc;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:underline;-webkit-text-decoration-skip:none;text-decoration-skip-ink:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Jerzy Marcinkowski</span></a><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">, University of Wrocław, Poland</span></p></li>
    </ul>
    <h1 dir="ltr" style="line-height:1.38;margin-top:20pt;margin-bottom:6pt;"><span style="font-size:20pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Program Committee</span></h1>
    <div dir="ltr" style="margin-left:-5.4pt;" align="left">
      <table style="border:none;border-collapse:collapse;">
        <colgroup><col width="247"><col width="223"><col width="58"></colgroup><tbody>
          <tr style="height:0pt">
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Pierre Ganty★</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">IMDEA Software Institute</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Spain</span></p>
            </td>
          </tr>
          <tr style="height:0pt">
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Dario Della Monica★</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">University of Udine</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Italy</span></p>
            </td>
          </tr>
          <tr style="height:0pt">
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Christel Baier</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">TU Dresden</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Germany</span></p>
            </td>
          </tr>
          <tr style="height:0pt">
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Suguman Bansal</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">University of Pennsylvania</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">USA</span></p>
            </td>
          </tr>
          <tr style="height:0pt">
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Nathalie Bertrand</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Inria</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">France</span></p>
            </td>
          </tr>
          <tr style="height:0pt">
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Filippo Bonchi</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">University of Pisa</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Italy</span></p>
            </td>
          </tr>
          <tr style="height:0pt">
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Laura Bozzelli</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Università degli Studi di Napoli Federico II</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Italy</span></p>
            </td>
          </tr>
          <tr style="height:0pt">
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Véronique Bruyère</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">University of Mons</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Belgium</span></p>
            </td>
          </tr>
          <tr style="height:0pt">
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">David de Frutos Escrig</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Universidad Complutense de Madrid</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Spain</span></p>
            </td>
          </tr>
          <tr style="height:0pt">
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Cezara Drăgoi</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Informal systems</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;"><br>
            </td>
          </tr>
          <tr style="height:0pt">
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Mohamed Faouzi Atig</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Uppsala University</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Sweden</span></p>
            </td>
          </tr>
          <tr style="height:0pt">
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Adrian Francalanza</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">University of Malta</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Malta</span></p>
            </td>
          </tr>
          <tr style="height:0pt">
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Orna Kupferman</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">The Hebrew University</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Israel</span></p>
            </td>
          </tr>
          <tr style="height:0pt">
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Konstantinos Mamouras</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Rice University</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">USA</span></p>
            </td>
          </tr>
          <tr style="height:0pt">
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Roland Meyer</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">TU Braunschweig</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Germany</span></p>
            </td>
          </tr>
          <tr style="height:0pt">
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Fabio Mogavero</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Università degli Studi di Napoli Federico II</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Italy</span></p>
            </td>
          </tr>
          <tr style="height:0pt">
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Paritosh Pandya</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">IIT Bombay</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">India</span></p>
            </td>
          </tr>
          <tr style="height:0pt">
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Paweł Parys</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">University of Warsaw</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Poland</span></p>
            </td>
          </tr>
          <tr style="height:0pt">
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Guillermo Pérez</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">University of Antwerp</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Belgium</span></p>
            </td>
          </tr>
          <tr style="height:0pt">
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Pierre-Alain Reynier</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">LIS, Aix-Marseille University & CNRS</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">France</span></p>
            </td>
          </tr>
          <tr style="height:0pt">
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Andrea Turrini</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Institute of Software, Chinese Academy of Sciences</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">China</span></p>
            </td>
          </tr>
          <tr style="height:0pt">
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Georg Zetzsche</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Max Planck Institute for Software Systems (MPI-SWS)</span></p>
            </td>
            <td style="vertical-align:top;padding:0pt 5.4pt 0pt
              5.4pt;overflow:hidden;overflow-wrap:break-word;">
              <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Germany</span></p>
            </td>
          </tr>
        </tbody>
      </table>
    </div>
    <p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">★: co-chair</span></p>
    <h1 dir="ltr" style="line-height:1.38;margin-top:20pt;margin-bottom:6pt;"><span style="font-size:20pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Steering Committee</span></h1>
    <table style="border:none;border-collapse:collapse;">
      <colgroup><col width="176"><col width="176"><col width="176"></colgroup><tbody>
        <tr style="height:0pt">
          <td style="vertical-align:top;padding:0pt 5.4pt 0pt
            5.4pt;overflow:hidden;overflow-wrap:break-word;">
            <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Luca Aceto</span></p>
          </td>
          <td style="vertical-align:top;padding:0pt 5.4pt 0pt
            5.4pt;overflow:hidden;overflow-wrap:break-word;">
            <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Reykjavik University</span></p>
          </td>
          <td style="vertical-align:top;padding:0pt 5.4pt 0pt
            5.4pt;overflow:hidden;overflow-wrap:break-word;">
            <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Iceland</span></p>
          </td>
        </tr>
        <tr style="height:0pt">
          <td style="vertical-align:top;padding:0pt 5.4pt 0pt
            5.4pt;overflow:hidden;overflow-wrap:break-word;">
            <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Javier Esparza</span></p>
          </td>
          <td style="vertical-align:top;padding:0pt 5.4pt 0pt
            5.4pt;overflow:hidden;overflow-wrap:break-word;">
            <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">University of Munich</span></p>
          </td>
          <td style="vertical-align:top;padding:0pt 5.4pt 0pt
            5.4pt;overflow:hidden;overflow-wrap:break-word;">
            <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Germany</span></p>
          </td>
        </tr>
        <tr style="height:0pt">
          <td style="vertical-align:top;padding:0pt 5.4pt 0pt
            5.4pt;overflow:hidden;overflow-wrap:break-word;">
            <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Salvatore La Torre</span></p>
          </td>
          <td style="vertical-align:top;padding:0pt 5.4pt 0pt
            5.4pt;overflow:hidden;overflow-wrap:break-word;">
            <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">University of Salerno</span></p>
          </td>
          <td style="vertical-align:top;padding:0pt 5.4pt 0pt
            5.4pt;overflow:hidden;overflow-wrap:break-word;">
            <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Italy</span></p>
          </td>
        </tr>
        <tr style="height:0pt">
          <td style="vertical-align:top;padding:0pt 5.4pt 0pt
            5.4pt;overflow:hidden;overflow-wrap:break-word;">
            <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Angelo Montanari</span></p>
          </td>
          <td style="vertical-align:top;padding:0pt 5.4pt 0pt
            5.4pt;overflow:hidden;overflow-wrap:break-word;">
            <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">University of Udine</span></p>
          </td>
          <td style="vertical-align:top;padding:0pt 5.4pt 0pt
            5.4pt;overflow:hidden;overflow-wrap:break-word;">
            <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Italy</span></p>
          </td>
        </tr>
        <tr style="height:0pt">
          <td style="vertical-align:top;padding:0pt 5.4pt 0pt
            5.4pt;overflow:hidden;overflow-wrap:break-word;">
            <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Mimmo Parente</span></p>
          </td>
          <td style="vertical-align:top;padding:0pt 5.4pt 0pt
            5.4pt;overflow:hidden;overflow-wrap:break-word;">
            <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">University of Salerno</span></p>
          </td>
          <td style="vertical-align:top;padding:0pt 5.4pt 0pt
            5.4pt;overflow:hidden;overflow-wrap:break-word;">
            <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Italy</span></p>
          </td>
        </tr>
        <tr style="height:0pt">
          <td style="vertical-align:top;padding:0pt 5.4pt 0pt
            5.4pt;overflow:hidden;overflow-wrap:break-word;">
            <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Jean-François Raskin</span></p>
          </td>
          <td style="vertical-align:top;padding:0pt 5.4pt 0pt
            5.4pt;overflow:hidden;overflow-wrap:break-word;">
            <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Université libre de Bruxelles</span></p>
          </td>
          <td style="vertical-align:top;padding:0pt 5.4pt 0pt
            5.4pt;overflow:hidden;overflow-wrap:break-word;">
            <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Belgium</span></p>
          </td>
        </tr>
        <tr style="height:0pt">
          <td style="vertical-align:top;padding:0pt 5.4pt 0pt
            5.4pt;overflow:hidden;overflow-wrap:break-word;">
            <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Martin Zimmermann</span></p>
          </td>
          <td style="vertical-align:top;padding:0pt 5.4pt 0pt
            5.4pt;overflow:hidden;overflow-wrap:break-word;">
            <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Aalborg University</span></p>
          </td>
          <td style="vertical-align:top;padding:0pt 5.4pt 0pt
            5.4pt;overflow:hidden;overflow-wrap:break-word;">
            <p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Denmark</span></p>
          </td>
        </tr>
      </tbody>
    </table>
    <p><br>
    </p>
    <p><br>
    </p>
    <pre class="moz-signature" cols="72">-- 
Dario Della Monica, Assistant Professor (RTD-B, tenure track)
Department of Mathematics, Computer Science, and Physics
University of Udine
via delle Scienze, 206 - 33100 Udine, Italy
cell: (+39) 328 2477327
email: dario.dellamonica [at] uniud.it
skype: dariodellamonica
web site: <a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__http://users.dimi.uniud.it/*dario.dellamonica/__;fg!!IBzWLUs!VAaj7X1mLc69Rm8tfKH4p4mS3Mpim8FPx2kQmIbIucsqUioE_LrKEErE4rNmDygkDEwSmRSXJcvS1r4NiQ10RfnIXwvOEMqsKQUhKEtTD-A$">http://users.dimi.uniud.it/~dario.dellamonica/</a>
</pre>
  </body>
</html>