<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-b6a9dec2-7fff-6ce2-5c56-060a19b1606d"><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 deadline of the SETS 2023 workshop has been extended to</span><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:700;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;"> May 29, 2023</span><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;">. We have also added the "journal-first papers" submission category (papers that have been published in a journal during the last year but have never been presented at a conference or workshop). Please feel free to submit your contribution.</span></p>
<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:700;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">4th International Workshop about Sets and Tools (SETS 2023)</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:700;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Affiliated to CICM 2023</span></p>
<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:700;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">September 4, 2023 – Cambridge (UK)</span></p>
<br>
<p dir="ltr"
style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><a href="https://urldefense.com/v3/__https://www.lirmm.fr/sets2023/__;!!IBzWLUs!VBj8dteBSTcYt7lLLrC6_gXwsxoYHrpRfAtVGSzm7VpfcJsA3JS1PYzFCcR1tfIMSeqFbfIPgl3iZfT8YuELDUkYWcozSeVkMXyINY4A$" 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://www.lirmm.fr/sets2023/</span></a></p>
<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:700;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Call for Papers</span></p>
<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:700;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Aim</span></p>
<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;">Sets and constructs built upon them like relations, functions, sequences are the main modeling ingredients of formalisms such as VDM, Z, B, or Event-B. Sets also occur in the formalization of mathematics, as evidenced by the large library of the Mizar proof system, for example. In addition, still in the domain of theorem proving, there is an increasing interest to automate set theory (which is known to be a difficult problem), with some concrete realizations, such as mp (the "main prover" of Atelier B) or different decision procedures for SAT or SMT solvers. Sets are also the main features of some programming languages like the former SetL language or the more recent {log} language (pronounced as setlog).</span></p>
<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 workshop aims at bringing together researchers interested in set theory, especially to design tools for dealing with set theory, such as interactive or automated theorem provers, proof checkers, theories for general purpose proof tools, constraint solvers, programming languages etc. These tools may be dedicated or general purpose tools. Contributions by theoreticians working on set theories or fragments of set theories in the aim of designing concrete tools, and by practitioners using set-based tools are both welcome. We are also interested in contributions providing some comparisons between set modeling techniques and other formalisms, such as type theory (and variants) for instance. Finally, regarding the domains of application, we mainly expect contributions in the framework of formal methods, but not exhaustively, and contributions reporting formalizations of mathematics using set theory for example could be of interest for this workshop as well.</span></p>
<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:700;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Topics</span></p>
<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;">Topics of interest for this workshop include all aspects of set theory and corresponding tools. More specifically, some suggested topics are:</span></p>
<br>
<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;" 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;">Proof tools for sets</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;" 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;">Constraint solvers for sets</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;" 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;">Set-based programming 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;" 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 verification in set 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;" 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;">Encodings of set theory in provers</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;" 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;">Set theories for SMT solvers</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;" 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;">Use of set-based tools in formal methods</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;" 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;">Use of set-based tools in mathematics</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;" 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;">Comparison of set-based tools</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;" 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;">Comparison between set and type theories</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;" 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;">Experience reports</span></p></li>
</ul>
<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:700;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Contributions and Proceedings</span></p>
<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;">Submitted papers must be 6-15 pages in length, following the Springer LNCS format. These submissions may be:</span></p>
<br>
<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;" 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;">Research papers providing new concepts and results</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;" 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;">Position papers and research perspectives</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;" 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;">Experience reports</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;" 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;">Tool presentations</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;" 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;">Journal-first papers. That is, papers that have been published in a journal during the last year but have never been presented at a conference or workshop. The authors should submit an abstract and a reference indicating where the paper was published.</span></p></li>
</ul>
<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;">Proceedings, including all the papers selected for the workshop, will be published as online proceedings in the CEUR workshop proceedings series (CEUR-WS.org) together with the other workshop papers and informal submissions of CICM.</span></p>
<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:700;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Submission Web Site</span></p>
<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;">Contributions must be submitted electronically in PDF using the SETS 2023 EasyChair web site at the following address:</span></p>
<br>
<p dir="ltr"
style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=sets2023__;!!IBzWLUs!VBj8dteBSTcYt7lLLrC6_gXwsxoYHrpRfAtVGSzm7VpfcJsA3JS1PYzFCcR1tfIMSeqFbfIPgl3iZfT8YuELDUkYWcozSeVkMZb77neI$" 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://easychair.org/conferences/?conf=sets2023</span></a></p>
<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:700;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Contacts</span></p>
<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;">For any question regarding SETS 2023, contact the workshop co-chairs:</span></p>
<br>
<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;" 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;">Maximiliano Cristiá (</span><a href="mailto:cristia@cifasis-conicet.gov.ar" 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;">cristia@cifasis-conicet.gov.ar</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;">)</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;" 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;">David Delahaye (</span><a href="mailto:David.Delahaye@lirmm.fr" 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;">David.Delahaye@lirmm.fr</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;">)</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;" 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;">Olivier Hermant (</span><a href="mailto:Olivier.Hermant@minesparis.psl.eu" 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;">Olivier.Hermant@minesparis.psl.eu</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;">)</span></p></li>
</ul>
<div class="moz-signature"><br>
</div>
<div class="moz-signature">-- <br>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<div>
<div style="display:none;"> 7.5.8 - 27/08/2021 </div>
</div>
<table id="previsu" style="width: 500px; height: 200px; padding:
10px; background-color: transparent;" cellspacing="0"
cellpadding="0" border="0">
<tbody>
<tr>
<td id="donnees" colspan="3" style="vertical-align: top;
padding-bottom: 10px; border-bottom: 2px dotted rgba(0, 0,
0, 0.16); border-top: medium none;">
<p id="pnomcomplet" style="margin: 0px; padding: 0px;
line-height: 1.4;"><span id="pprenom" style="margin:
0px; padding: 0px; text-decoration: none; color:
black; font-family: "Arial", sans-serif;
font-size: 13px; font-weight: bold; font-style:
normal; line-height: 1.4; text-transform: uppercase;">David</span> <span
id="pnom" style="margin: 0px; padding: 0px;
text-decoration: none; color: black; font-family:
"Arial", sans-serif; font-size: 13px;
font-weight: bold; font-style: normal; line-height:
1.4; text-transform: uppercase;">DELAHAYE</span></p>
<p style="margin-bottom:-0.3cm"> </p>
<p id="ptitre" style="margin: 0px; padding: 0px;
line-height: 1.2; text-decoration: none; color: rgb(0,
43, 81); font-family: "Arial", sans-serif;
font-size: 13px; font-weight: bold; font-style: normal;
text-transform: uppercase;">Professor</p>
<p id="pinfos" style="display: block; font-weight: 300;
margin: 0px; padding: 0px; text-decoration: none; color:
rgb(0, 43, 81); font-family: "Arial",
sans-serif; font-size: 13px; font-style: normal;
line-height: 1;">Head of the Computer Science
Departement<br>
Faculty of Sciences</p>
<p style="margin-bottom:-0.2cm"> </p>
<p id="ppostale" style="margin: 0px; padding: 0px;
line-height: 1.2; font-weight: normal; font-size: 13px;"><span
id="pcasecourier" style="margin: 0px; padding: 0px;
text-decoration: none; color: black; font-family:
"Arial", sans-serif; font-size: 13px;
font-weight: normal; font-style: normal; line-height:
1.2;">LIRMM UMR 5506<br>
Bt. 4 – CC477 • 161 rue Ada<br>
34095 Montpellier Cedex 5 • France</span><span
id="padresse" style="margin: 0px; padding: 0px;
text-decoration: none; color: black; font-family:
"Arial", sans-serif; font-size: 13px;
font-weight: normal; font-style: normal; line-height:
1.2;"></span></p>
<p id="pnumeros" style="margin: 0px; padding: 0px;
text-decoration: none; color: black; font-family:
"Arial", sans-serif; font-size: 13px;
font-weight: 300; font-style: normal; line-height: 1.2;"><span
id="ptellabel" style="font-weight: normal; font-size:
13px;">Phone: </span><a href="tel:+33 (0)4 67 41 86
01" title="tel:+33 (0)4 67 41 86 01"
style="text-decoration: none; margin: 0px; padding:
0px; color: black; font-family: "Arial",
sans-serif; font-size: 13px; font-weight: 300;
font-style: normal; line-height: 1.2;"><span id="ptel">+33
(0)4 67 41 86 01</span></a></p>
<p id="pemail" style="margin: 0px; padding: 0px;
line-height: 1.2; text-decoration: none; color: black;
font-family: "Arial", sans-serif; font-size:
13px; font-weight: 300; font-style: normal;"><a
href="mailto:David.Delahaye@lirmm.fr"
title="mailto:David.Delahaye@lirmm.fr" style="margin:
0px; padding: 0px; text-decoration: none; color:
black; font-family: "Arial", sans-serif;
font-size: 13px; font-weight: 300; font-style: normal;
line-height: 1.2;">David.Delahaye@lirmm.fr</a></p>
<p id="pweb" style="margin: 0px; padding: 0px;
line-height: 1.2; text-decoration: none; color: black;
font-family: "Arial", sans-serif; font-size:
13px; font-weight: 300; font-style: normal;"><a href="https://urldefense.com/v3/__http://www.lirmm.fr/*delahaye/__;fg!!IBzWLUs!VBj8dteBSTcYt7lLLrC6_gXwsxoYHrpRfAtVGSzm7VpfcJsA3JS1PYzFCcR1tfIMSeqFbfIPgl3iZfT8YuELDUkYWcozSeVkMSuxHjrA$" title="http://www.lirmm.fr/~delahaye/" style="margin:
0px; padding: 0px; text-decoration: none; color:
black; font-family: "Arial", sans-serif;
font-size: 13px; font-weight: 300; font-style: normal;
line-height: 1.2;">http://www.lirmm.fr/~delahaye/</a></p>
</td>
</tr>
<tr>
<td colspan="3" style="height: 10px;"><br>
</td>
</tr>
<tr>
<td id="logo-universite"
style="height:90px;width:95px;text-align: center;
vertical-align: center; padding-top: 0px; padding-right:
25px; width: 1%;"><a id="logo-universite" href="https://urldefense.com/v3/__http://www.umontpellier.fr/__;!!IBzWLUs!VBj8dteBSTcYt7lLLrC6_gXwsxoYHrpRfAtVGSzm7VpfcJsA3JS1PYzFCcR1tfIMSeqFbfIPgl3iZfT8YuELDUkYWcozSeVkMYGN_v-M$" title=""><img
src="cid:part9.7DCFE632.54E9899C@lirmm.fr" alt=""
style="border: 0px !important;"></a></td>
<td id="logo-composante" style="border-left: 2px dotted
rgba(0, 0, 0, 0.16);padding-left:25px;text-align: center;
vertical-align: center; padding-top: 0px; padding-right:
0px; width: 1%;"><a id="logo-composante" href="https://urldefense.com/v3/__http://http:/*www.lirmm.fr/*delahaye/__;L34!!IBzWLUs!VBj8dteBSTcYt7lLLrC6_gXwsxoYHrpRfAtVGSzm7VpfcJsA3JS1PYzFCcR1tfIMSeqFbfIPgl3iZfT8YuELDUkYWcozSeVkMa0E7Tbu$" title="http://http://www.lirmm.fr/~delahaye/"><img
src="cid:part11.FE65941D.F5B7F4DB@lirmm.fr" alt=""
style="border: 0px !important;"></a></td>
<td id="donnees-2" style="padding: 0px 0 0 20px;">
<p id="petablissement" style="margin: 0px; padding: 0px;
line-height: 1.2;"><span id="pcomposante" style="margin:
0px; padding: 0px; text-decoration: none; color:
black; font-family: "Arial", sans-serif;
font-size: 13px; font-weight: 300; font-style: normal;
line-height: 1.2; text-transform: uppercase;">UNIVERSITÉ
DE MONTPELLIER</span></p>
<p id="ppostale" style="margin: 0px; padding: 0px;
line-height: 1.2; font-weight: normal; font-size: 13px;"><span
id="pcasecourier" style="margin: 0px; padding: 0px;
text-decoration: none; color: black; font-family:
"Arial", sans-serif; font-size: 13px;
font-weight: normal; font-style: normal; line-height:
1.2;">Département Informatique<br>
Bt. 16 – CC 12 • Place Eugène Bataillon<br>
</span><span id="padresse" style="margin: 0px; padding:
0px; text-decoration: none; color: black; font-family:
"Arial", sans-serif; font-size: 13px;
font-weight: normal; font-style: normal; line-height:
1.2;">34095 Montpellier cedex 05 • France</span></p>
<p style="margin-bottom:-0.2cm"> </p>
<p id="pweb" style="margin: 0px; padding: 0px;
line-height: 2;"><a href="https://urldefense.com/v3/__https://informatique-fds.edu.umontpellier.fr/__;!!IBzWLUs!VBj8dteBSTcYt7lLLrC6_gXwsxoYHrpRfAtVGSzm7VpfcJsA3JS1PYzFCcR1tfIMSeqFbfIPgl3iZfT8YuELDUkYWcozSeVkMTTGl6mg$" title="https://informatique-fds.edu.umontpellier.fr/" style="margin: 0px; padding: 0px; text-decoration:
none; color: rgb(0, 43, 81); font-family:
"Arial", sans-serif; font-size: 10px;
font-weight: 800; font-style: normal; line-height:
1.2; text-transform: uppercase;">informatique-fds.edu.umontpellier.fr</a></p>
<p id="rsoc" style="margin: 0px; padding: 0px;
line-height: 1.2;"> <a id="prsoc_t" href="#"
style="display: none;"><img src="#"
style="height:30px;"></a> <a id="prsoc_f" href="#"
style="display: none;"><img src="#"
style="height:30px;"></a> <a id="prsoc_y" href="#"
style="display: none;"><img src="#"
style="height:30px;"></a> <a id="prsoc_i" href="#"
style="display: none;"><img src="#"
style="height:30px;"></a> <a id="prsoc_l" href="#"
style="display: none;"><img src="#"
style="height:30px;"></a> </p>
</td>
</tr>
</tbody>
</table>
</div>
</body>
</html>