Sunday, June 16, 2024

Re: [DMANET] [SPAM] dmanet Digest, Vol 196, Issue 25

Dear Colleagues,

We are going to celebrate the 70th anniversary of our colleague and friend
Panos M. Pardalos on June 17, 2024, see https://www.ise.ufl.edu/pardalos/,
https://elliit.se/panos-m-pardalos/,
https://www.hse.ru/en/org/persons/44226286,
https://toxeus.org/panos-pardalos/.

We believe that it would be a good idea to publish a collection of papers
in honor of Panos.

The preliminary title of the collection is "*Theory, Algorithms and
Experiments in Applied Optimization: In Honor of Panos M. Pardalos' 70th
Birthday*" to emphasize Panos' contributions to his area of research in the
state-of-the-art in local and global optimization starting with his seminal
paper on "An exact algorithm for the maximum clique problem" cited more
than 800 times and continued with many solved problems in mathematical
theory of optimization, combinatorial optimization, integer programming,
deterministic and stochastic optimization, scheduling theory and its
applications, supply chain optimization, simulated annealing and genetic
algorithms, Pareto optimality, game theory and equilibria, Raman
spectroscopy for clinical oncology, cell formation in industrial
engineering, energy systems, natural gas industry, vehicle routing problem
and its variations, financial and stock markets, optimization in optimal
control and many other. The intended Publisher is Springer.

We cordially invite you to contribute to the volume. The book will be
processed by a peer reviewing procedure to help maintain a high quality
volume.

Nevertheless, your contribution may include a high portion of previously
published results if presented as a more or less comprehensive review. An
upper bound of your contribution is 50 pages. Topics of interest for
submission include, but are not limited to the above listed areas of Dr.
Pardalos' research activities. The format of your contribution is LaTex,
see for details

https://www.springer.com/gp/authors-editors/book-authors-editors/your-publication-journey/manuscript-preparation

Could you send a *preliminary title and abstract* of your submission as
soon as possible but not later than *July 31st, 2024*.

Your final version is expected as soon as possible but not later than *August
31st, 2024*. The intended date of this book publication is March 31st, 2025.

Please submit your abstracts, papers and questions to Boris Goldengorin,
goldengorin@gmail.com

Thank for your contribution,

The Editor Boris Goldengorin

.


On Thu, Jun 13, 2024 at 3:06 PM <dmanet-request@zpr.uni-koeln.de> wrote:

> Send dmanet mailing list submissions to
> dmanet@zpr.uni-koeln.de
>
> To subscribe or unsubscribe via the World Wide Web, visit
> https://www.zaik.uni-koeln.de/mailman/listinfo/dmanet
> or, via email, send a message with subject or body 'help' to
> dmanet-request@zpr.uni-koeln.de
>
> You can reach the person managing the list at
> dmanet-owner@zpr.uni-koeln.de
>
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of dmanet digest..."
>
>
> Today's Topics:
>
> 1. ITP 2024: Call for Participation (Besik Dundua)
> 2. Postdoc position at IMT Atlantique, Nantes, France
> (Simon Thevenin)
> 3. Release of Spectral Toolkit of Algorithms for Graphs (STAG)
> 2.0 (He Sun)
> 4. Call for Papers ISAAC 2024, Sydney, Australia (Seeun Umboh)
>
>
> ----------------------------------------------------------------------
>
> Message: 1
> Date: Thu, 13 Jun 2024 10:16:44 +0400
> From: Besik Dundua <bdundua@gmail.com>
> To: dmanet@zpr.uni-koeln.de
> Subject: [DMANET] ITP 2024: Call for Participation
> Message-ID:
> <
> CAJTLwnxsuBQv8Qk4arO4OmEQOUD+mAmOgnNYOX-Bgz7kqCDG7g@mail.gmail.com>
> Content-Type: text/plain; charset="UTF-8"
>
> ===============================
> ITP 2024 Call for Participation
> https://www.viam.science.tsu.ge/itp2024/
> ===============================
>
>
> The Fifteenth International Conference on Interactive Theorem Proving (ITP
> 2024)
> will take place on September 9-14, 2024 in Tbilisi, Georgia. It is
> planned as a hybrid meeting. It will mostly be a face-to-face (physical)
> meeting but facilities will be provided for remote presentation and
> remote attendance.
>
> The ITP conference series is concerned with all aspects of interactive
> theorem proving, ranging from theoretical foundations to
> implementation aspects and applications in program verification,
> security, and the formalization of mathematics. This will be the 15th
> conference in the ITP series, while predecessor conferences from which
> it has evolved have been going since 1988.
>
> ===============================
> Registration
> ===============================
>
> - Early Registration Deadlines
>
> ITP - 19th July
> Workshops/School: 2nd August
>
> - Late Registration Deadlines
>
> ITP - 16th August
> Workshops/School: 30th August
>
> https://www.viam.science.tsu.ge/itp2024/registration
>
>
> ===============================
> Invited Speakers
> ===============================
>
> Frédéric Blanqui, INRIA
> Tobias Nipkow, Technical University of Munich
>
> ===============================
> Tutorial
> ===============================
>
> Evgenia Karunus, Visualising Mathematical Proof: Paperproof
>
> ===============================
> Accepted papers
> ===============================
>
> https://www.viam.science.tsu.ge/itp2024/program
>
>
> ===============================
> Workshops
> ===============================
>
> The EuroProofNet 2nd Workshop on the Development, Maintenance, Refactoring
> and Search of Large Libraries of Proofs
> https://europroofnet.github.io/wg4-tbilisi24/
>
> The Isabelle Workshop 2024
> https://sketis.net/isabelle/isabelle-workshop-2024
>
> The Coq Workshop 2024
> https://coq-workshop.gitlab.io/2024/
>
> ===============================
> School
> ===============================
>
> Seventeenth International Tbilisi Summer School in Logic and Language
> https://www.logic.at/tbilisi24/
>
> ------------------------------
>
> Message: 2
> Date: Thu, 13 Jun 2024 09:22:04 +0200
> From: Simon Thevenin <simon.thevenin@imt-atlantique.fr>
> To: <dmanet@zpr.uni-koeln.de>
> Subject: [DMANET] Postdoc position at IMT Atlantique, Nantes, France
> Message-ID: <71148CE9-A461-494F-B74D-5F84103DC894@imt-atlantique.fr>
> Content-Type: text/plain; charset="UTF-8"
>
> We are looking for a Postdoc to work at IMT Atlantique in the context of
> the project ReconfiDurable
>
>
>
> The position is based on the campus of Nantes. We have funding for 18
> months to work on: Management of sustainable and reconfigurable
> manufacturing systems to face uncertainty and risks. A complete description
> is available here:
>
>
> https://filesender.renater.fr/?s=download&token=a33bd5b7-c5f8-4ffa-bddf-62e1a4291653
>
>
>
> Here is the link to apply:
> https://institutminestelecom.recruitee.com/l/en/o/post-doctorat-pilotage-de-systemes-manufacturiers-reconfigurables
>
>
>
> Simon Thevenin
>
>
>
> Simon THEVENIN
> Enseignant chercheur
> 02 51 85 82 26Technopôle Brest-Iroise CS 83818
> 29238 Brest Cedex 3
> La Chantrerie 4 rue Alfred Kastler BP 20722
> 44307 Nantes Cedex 3
> 2, rue de la Châtaigneraie CS 17608
> 35576 Cesson Sévigné Cedex
>
> Une école de l'IMT
>
>
>
>
>
>
>
>
>
>
>
>
>
>
> ------------------------------
>
> Message: 3
> Date: Thu, 13 Jun 2024 08:38:41 +0100
> From: He Sun <fdhsun@gmail.com>
> To: dmanet@zpr.uni-koeln.de
> Subject: [DMANET] Release of Spectral Toolkit of Algorithms for Graphs
> (STAG) 2.0
> Message-ID:
> <
> CAA8z83kF0MZmQKzj_u+Q5zuM_AP9TaAaSMrtjjaenZkWdZOwiQ@mail.gmail.com>
> Content-Type: text/plain; charset="UTF-8"
>
> We're pleased to announce that we have released STAG 2.0 this month.
> STAG, which stands for Spectral Toolkit of Algorithms for Graphs, is
> an open-source library for efficient spectral algorithms. It is the
> first such algorithmic library mainly written in C++, with a python
> wrapper STAGPy around the underlying C++ library for python users.
>
> In this latest update, we have included the implementation of the
> algorithms for locality sensitive hashing, kernel density estimation,
> and fast spectral clustering.
>
> More information on STAG 2.0, including the code, documentation, and
> the technical report, can be found at https://staglibrary.io/
>
> He Sun
>
>
> ------------------------------
>
> Message: 4
> Date: Thu, 13 Jun 2024 18:22:39 +1000
> From: Seeun Umboh <seeun.umboh@gmail.com>
> To: dmanet@zpr.uni-koeln.de
> Subject: [DMANET] Call for Papers ISAAC 2024, Sydney, Australia
> Message-ID:
> <CAHVK0+O4nGD5rLJk6wrDmoe6ZqfTkOxZ9rNb=
> 7qUVDG79JtBrQ@mail.gmail.com>
> Content-Type: text/plain; charset="UTF-8"
>
> The 35th International Symposium on Algorithms and Computation (ISAAC) will
> be held in Sydney, Australia, 8–12 December 2024.
>
> https://sites.google.com/view/isaac2024/home
>
>
>
> We have just posted the call for papers.
>
> https://easychair.org/cfp/isaac2024
>
>
>
> Important dates:
>
>
>
> Submissions due: June 28, 2024 (AoE)
>
> Notification of acceptance: September 2, 2024
>
> Camera-ready version due: September 30, 2024
>
>
>
> Send questions to isaac.2024.conference@gmail.com
>
>
>
> ------------------------------
>
> Subject: Digest Footer
>
> _______________________________________________
> dmanet mailing list
> dmanet@zpr.uni-koeln.de
> https://www.zaik.uni-koeln.de/mailman/listinfo/dmanet
>
>
> ------------------------------
>
> End of dmanet Digest, Vol 196, Issue 25
> ***************************************
>

Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir="ltr"><p class="MsoNormal" style="margin:0in;line-height:normal;font-size:11pt;font-family:Calibri,sans-serif"><span style="font-size:10pt;font-family:&quot;Times New Roman&quot;,serif;color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">Dear Colleagues,</span></p><p class="MsoNormal" style="margin:0in;line-height:normal;font-size:11pt;font-family:Calibri,sans-serif"><span style="font-size:10pt;font-family:&quot;Times New Roman&quot;,serif;color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial"> </span></p><p class="MsoNormal" style="margin:0in;line-height:normal;font-size:11pt;font-family:Calibri,sans-serif"><span style="font-size:10pt;font-family:&quot;Times New Roman&quot;,serif;color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">We are going to celebrate the 70<sup>th</sup> anniversary of our colleague and friend Panos M. Pardalos on June 17, 2024, see </span><a href="https://www.ise.ufl.edu/pardalos/" target="_blank" style="color:blue"><span style="font-size:10pt;font-family:&quot;Times New Roman&quot;,serif;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">https://www.ise.ufl.edu/pardalos/</span></a><span style="font-size:10pt;font-family:&quot;Times New Roman&quot;,serif;color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">, </span><a href="https://elliit.se/panos-m-pardalos/" target="_blank" style="color:blue"><span style="font-size:10pt;font-family:&quot;Times New Roman&quot;,serif;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">https://elliit.se/panos-m-pardalos/</span></a><span style="font-size:10pt;font-family:&quot;Times New Roman&quot;,serif;color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">, </span><a href="https://www.hse.ru/en/org/persons/44226286" target="_blank" style="color:blue"><span style="font-size:10pt;font-family:&quot;Times New Roman&quot;,serif;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">https://www.hse.ru/en/org/persons/44226286</span></a><span style="font-size:10pt;font-family:&quot;Times New Roman&quot;,serif;color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">, </span><a href="https://toxeus.org/panos-pardalos/" target="_blank" style="color:blue"><span style="font-size:10pt;font-family:&quot;Times New Roman&quot;,serif;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">https://toxeus.org/panos-pardalos/</span></a><span style="font-size:10pt;font-family:&quot;Times New Roman&quot;,serif;color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">.</span></p><p class="MsoNormal" style="margin:0in;line-height:normal;font-size:11pt;font-family:Calibri,sans-serif"><span style="font-size:10pt;font-family:&quot;Times New Roman&quot;,serif;color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial"> </span></p><p class="MsoNormal" style="margin:0in;line-height:normal;font-size:11pt;font-family:Calibri,sans-serif"><span style="font-size:10pt;font-family:&quot;Times New Roman&quot;,serif;color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">We believe that it would be a good idea to publish a collection of papers in honor of Panos.</span></p><p class="MsoNormal" style="margin:0in;line-height:normal;font-size:11pt;font-family:Calibri,sans-serif"><span style="font-size:10pt;font-family:&quot;Times New Roman&quot;,serif;color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">The preliminary title of the collection is "</span><b><span style="font-size:10pt;font-family:&quot;Times New Roman&quot;,serif;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">Theory, Algorithms and Experiments in Applied Optimization: In Honor of Panos M. Pardalos&#39; 70th Birthday</span></b><span style="font-size:10pt;font-family:&quot;Times New Roman&quot;,serif;color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">" to emphasize Panos' contributions to his area of research in </span><span style="font-size:10pt;font-family:&quot;Times New Roman&quot;,serif">the state-of-the-art in local and global optimization starting with his seminal paper on "An exact algorithm for the maximum clique problem" cited more than 800 times and continued with many solved problems in mathematical theory of optimization, combinatorial optimization, integer programming, deterministic and stochastic optimization, scheduling theory and its applications, supply chain optimization, simulated annealing and genetic algorithms, Pareto optimality, game theory and equilibria, Raman spectroscopy for clinical oncology, cell formation in industrial engineering, energy systems, natural gas industry, vehicle routing problem and its variations, financial and stock markets, optimization in optimal control and many other.<span style="color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial"> The intended Publisher is Springer.</span></span></p><p class="MsoNormal" style="margin:0in;line-height:normal;font-size:11pt;font-family:Calibri,sans-serif"><span style="font-size:10pt;font-family:&quot;Times New Roman&quot;,serif"> </span></p><p class="MsoNormal" style="margin:0in;line-height:normal;font-size:11pt;font-family:Calibri,sans-serif"><span style="font-size:10pt;font-family:&quot;Times New Roman&quot;,serif;color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">We cordially invite you to contribute to the volume. The book will be processed by a peer reviewing procedure to help maintain a high quality volume. </span></p><p class="MsoNormal" style="margin:0in;line-height:normal;font-size:11pt;font-family:Calibri,sans-serif"><span style="font-size:10pt;font-family:&quot;Times New Roman&quot;,serif;color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial"> </span></p><p class="MsoNormal" style="margin:0in;line-height:normal;font-size:11pt;font-family:Calibri,sans-serif"><span style="font-size:10pt;font-family:&quot;Times New Roman&quot;,serif;color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">Nevertheless, your contribution may include a high portion of previously published results if presented as a more or less comprehensive review. An upper bound of your contribution is 50 pages. Topics of interest for submission include, but are not limited to the above listed areas of Dr. Pardalos' research activities. The format of your contribution is LaTex, see for details</span></p><p class="MsoNormal" style="margin:0in;line-height:normal;font-size:11pt;font-family:Calibri,sans-serif"><a href="https://www.springer.com/gp/authors-editors/book-authors-editors/your-publication-journey/manuscript-preparation" target="_blank" style="color:blue"><span style="font-size:10pt;font-family:&quot;Times New Roman&quot;,serif;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">https://www.springer.com/gp/authors-editors/book-authors-editors/your-publication-journey/manuscript-preparation</span></a><span style="font-size:10pt;font-family:&quot;Times New Roman&quot;,serif;color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial"></span></p><p class="MsoNormal" style="margin:0in;line-height:normal;font-size:11pt;font-family:Calibri,sans-serif"><span style="font-size:10pt;font-family:&quot;Times New Roman&quot;,serif;color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial"> </span></p><p class="MsoNormal" style="margin:0in 0in 10pt;line-height:16.8667px;font-size:11pt;font-family:Calibri,sans-serif"><span style="font-size:10pt;line-height:15.3333px;font-family:&quot;Times New Roman&quot;,serif;color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">Could you send a <b>preliminary title and abstract</b> of your submission as soon as possible but not later than </span><b><span style="font-size:10pt;line-height:15.3333px;font-family:&quot;Times New Roman&quot;,serif;color:red;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">July 31<sup>st</sup>, 2024</span></b><span style="font-size:10pt;line-height:15.3333px;font-family:&quot;Times New Roman&quot;,serif;color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">.</span></p><p class="MsoNormal" style="margin:0in 0in 10pt;line-height:16.8667px;font-size:11pt;font-family:Calibri,sans-serif"><span style="font-size:10pt;line-height:15.3333px;font-family:&quot;Times New Roman&quot;,serif;color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">Your final version is expected as soon as possible but not later than </span><b><span style="font-size:10pt;line-height:15.3333px;font-family:&quot;Times New Roman&quot;,serif;color:red;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">August 31<sup>st</sup>, 2024</span></b><span style="font-size:10pt;line-height:15.3333px;font-family:&quot;Times New Roman&quot;,serif;color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">. The intended date of this book publication is March 31<sup>st</sup>, 2025.</span></p><p class="MsoNormal" style="margin:0in 0in 10pt;line-height:16.8667px;font-size:11pt;font-family:Calibri,sans-serif"><span style="font-size:10pt;line-height:15.3333px;font-family:&quot;Times New Roman&quot;,serif;color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">Please submit your abstracts, papers and questions to Boris Goldengorin, </span><a href="mailto:goldengorin@gmail.com" target="_blank" style="color:blue"><span style="font-size:10pt;line-height:15.3333px;font-family:&quot;Times New Roman&quot;,serif;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">goldengorin@gmail.com</span></a><span style="font-size:10pt;line-height:15.3333px;font-family:&quot;Times New Roman&quot;,serif;color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial"></span><span style="font-size:10pt;line-height:15.3333px;font-family:&quot;Times New Roman&quot;,serif"></span></p><p class="MsoNormal" style="margin:0in;line-height:normal;font-size:11pt;font-family:Calibri,sans-serif"><span style="font-size:10pt;font-family:&quot;Times New Roman&quot;,serif;color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">Thank for your contribution,</span></p><p class="MsoNormal" style="margin:0in 0in 10pt;line-height:16.8667px;font-size:11pt;font-family:Calibri,sans-serif"><span style="font-size:10pt;line-height:15.3333px;font-family:&quot;Times New Roman&quot;,serif;color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">The Editor Boris Goldengorin</span></p><p class="MsoNormal" style="margin:0in 0in 10pt;line-height:16.8667px;font-size:11pt;font-family:Calibri,sans-serif"><span style="font-size:12.8px;font-family:Arial,Helvetica,sans-serif">.</span></p><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Jun 13, 2024 at 3:06 PM &lt;<a href="mailto:dmanet-request@zpr.uni-koeln.de">dmanet-request@zpr.uni-koeln.de</a>&gt; wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Send dmanet mailing list submissions to<br>
        <a href="mailto:dmanet@zpr.uni-koeln.de" target="_blank">dmanet@zpr.uni-koeln.de</a><br>
<br>
To subscribe or unsubscribe via the World Wide Web, visit<br>
        <a href="https://www.zaik.uni-koeln.de/mailman/listinfo/dmanet" rel="noreferrer" target="_blank">https://www.zaik.uni-koeln.de/mailman/listinfo/dmanet</a><br>
or, via email, send a message with subject or body &#39;help&#39; to<br>
        <a href="mailto:dmanet-request@zpr.uni-koeln.de" target="_blank">dmanet-request@zpr.uni-koeln.de</a><br>
<br>
You can reach the person managing the list at<br>
        <a href="mailto:dmanet-owner@zpr.uni-koeln.de" target="_blank">dmanet-owner@zpr.uni-koeln.de</a><br>
<br>
When replying, please edit your Subject line so it is more specific<br>
than &quot;Re: Contents of dmanet digest...&quot;<br>
<br>
<br>
Today&#39;s Topics:<br>
<br>
   1. ITP 2024: Call for Participation (Besik Dundua)<br>
   2. Postdoc position at IMT Atlantique, Nantes, France<br>
      (Simon Thevenin)<br>
   3. Release of Spectral Toolkit of Algorithms for Graphs (STAG)<br>
      2.0 (He Sun)<br>
   4. Call for Papers ISAAC 2024, Sydney, Australia (Seeun Umboh)<br>
<br>
<br>
----------------------------------------------------------------------<br>
<br>
Message: 1<br>
Date: Thu, 13 Jun 2024 10:16:44 +0400<br>
From: Besik Dundua &lt;<a href="mailto:bdundua@gmail.com" target="_blank">bdundua@gmail.com</a>&gt;<br>
To: <a href="mailto:dmanet@zpr.uni-koeln.de" target="_blank">dmanet@zpr.uni-koeln.de</a><br>
Subject: [DMANET] ITP 2024: Call for Participation<br>
Message-ID:<br>
        &lt;<a href="mailto:CAJTLwnxsuBQv8Qk4arO4OmEQOUD%2BmAmOgnNYOX-Bgz7kqCDG7g@mail.gmail.com" target="_blank">CAJTLwnxsuBQv8Qk4arO4OmEQOUD+mAmOgnNYOX-Bgz7kqCDG7g@mail.gmail.com</a>&gt;<br>
Content-Type: text/plain; charset=&quot;UTF-8&quot;<br>
<br>
  ===============================<br>
ITP 2024 Call for Participation<br>
<a href="https://www.viam.science.tsu.ge/itp2024/" rel="noreferrer" target="_blank">https://www.viam.science.tsu.ge/itp2024/</a><br>
===============================<br>
<br>
<br>
The Fifteenth International Conference on Interactive Theorem Proving (ITP<br>
2024)<br>
will take place on September 9-14, 2024 in Tbilisi, Georgia. It is<br>
planned as a hybrid meeting.  It will mostly be a face-to-face (physical)<br>
meeting but facilities will be provided for remote presentation and<br>
remote attendance.<br>
<br>
The ITP conference series is concerned with all aspects of interactive<br>
theorem proving, ranging from theoretical foundations to<br>
implementation aspects and applications in program verification,<br>
security, and the formalization of mathematics. This will be the 15th<br>
conference in the ITP series, while predecessor conferences from which<br>
it has evolved have been going since 1988.<br>
<br>
===============================<br>
Registration<br>
===============================<br>
<br>
- Early Registration Deadlines<br>
<br>
ITP - 19th July<br>
Workshops/School: 2nd August<br>
<br>
- Late Registration Deadlines<br>
<br>
ITP - 16th August<br>
Workshops/School: 30th August<br>
<br>
<a href="https://www.viam.science.tsu.ge/itp2024/registration" rel="noreferrer" target="_blank">https://www.viam.science.tsu.ge/itp2024/registration</a><br>
<br>
<br>
===============================<br>
Invited Speakers<br>
===============================<br>
<br>
Frédéric Blanqui, INRIA<br>
Tobias Nipkow, Technical University of Munich<br>
<br>
===============================<br>
Tutorial<br>
===============================<br>
<br>
Evgenia Karunus, Visualising Mathematical Proof: Paperproof<br>
<br>
===============================<br>
Accepted papers<br>
===============================<br>
<br>
<a href="https://www.viam.science.tsu.ge/itp2024/program" rel="noreferrer" target="_blank">https://www.viam.science.tsu.ge/itp2024/program</a><br>
<br>
<br>
===============================<br>
Workshops<br>
===============================<br>
<br>
The EuroProofNet 2nd Workshop on the Development, Maintenance, Refactoring<br>
and Search of Large Libraries of Proofs<br>
<a href="https://europroofnet.github.io/wg4-tbilisi24/" rel="noreferrer" target="_blank">https://europroofnet.github.io/wg4-tbilisi24/</a><br>
<br>
The Isabelle Workshop 2024<br>
<a href="https://sketis.net/isabelle/isabelle-workshop-2024" rel="noreferrer" target="_blank">https://sketis.net/isabelle/isabelle-workshop-2024</a><br>
<br>
The Coq Workshop 2024<br>
<a href="https://coq-workshop.gitlab.io/2024/" rel="noreferrer" target="_blank">https://coq-workshop.gitlab.io/2024/</a><br>
<br>
===============================<br>
School<br>
===============================<br>
<br>
Seventeenth International Tbilisi Summer School in Logic and Language<br>
<a href="https://www.logic.at/tbilisi24/" rel="noreferrer" target="_blank">https://www.logic.at/tbilisi24/</a><br>
<br>
------------------------------<br>
<br>
Message: 2<br>
Date: Thu, 13 Jun 2024 09:22:04 +0200<br>
From: Simon Thevenin &lt;<a href="mailto:simon.thevenin@imt-atlantique.fr" target="_blank">simon.thevenin@imt-atlantique.fr</a>&gt;<br>
To: &lt;<a href="mailto:dmanet@zpr.uni-koeln.de" target="_blank">dmanet@zpr.uni-koeln.de</a>&gt;<br>
Subject: [DMANET] Postdoc position at IMT Atlantique, Nantes, France<br>
Message-ID: &lt;<a href="mailto:71148CE9-A461-494F-B74D-5F84103DC894@imt-atlantique.fr" target="_blank">71148CE9-A461-494F-B74D-5F84103DC894@imt-atlantique.fr</a>&gt;<br>
Content-Type: text/plain;       charset=&quot;UTF-8&quot;<br>
<br>
We are looking for a Postdoc to work at IMT Atlantique in the context of the project ReconfiDurable<br>
<br>
<br>
<br>
The position is based on the campus of Nantes. We have funding for 18 months to work on:  Management of sustainable and reconfigurable manufacturing systems to face uncertainty and risks. A complete description is available here:<br>
<br>
<a href="https://filesender.renater.fr/?s=download&amp;token=a33bd5b7-c5f8-4ffa-bddf-62e1a4291653" rel="noreferrer" target="_blank">https://filesender.renater.fr/?s=download&amp;token=a33bd5b7-c5f8-4ffa-bddf-62e1a4291653</a><br>
<br>
<br>
<br>
Here is the link to apply:  <a href="https://institutminestelecom.recruitee.com/l/en/o/post-doctorat-pilotage-de-systemes-manufacturiers-reconfigurables" rel="noreferrer" target="_blank">https://institutminestelecom.recruitee.com/l/en/o/post-doctorat-pilotage-de-systemes-manufacturiers-reconfigurables</a> <br>
<br>
<br>
<br>
Simon Thevenin<br>
<br>
<br>
<br>
Simon THEVENIN<br>
Enseignant chercheur<br>
02 51 85 82 26Technopôle Brest-Iroise CS 83818<br>
29238 Brest Cedex 3<br>
La Chantrerie 4 rue Alfred Kastler BP 20722<br>
44307 Nantes Cedex 3<br>
2, rue de la Châtaigneraie CS 17608<br>
35576 Cesson Sévigné Cedex<br>
<br>
Une école de l&#39;IMT<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
------------------------------<br>
<br>
Message: 3<br>
Date: Thu, 13 Jun 2024 08:38:41 +0100<br>
From: He Sun &lt;<a href="mailto:fdhsun@gmail.com" target="_blank">fdhsun@gmail.com</a>&gt;<br>
To: <a href="mailto:dmanet@zpr.uni-koeln.de" target="_blank">dmanet@zpr.uni-koeln.de</a><br>
Subject: [DMANET] Release of Spectral Toolkit of Algorithms for Graphs<br>
        (STAG) 2.0<br>
Message-ID:<br>
        &lt;<a href="mailto:CAA8z83kF0MZmQKzj_u%2BQ5zuM_AP9TaAaSMrtjjaenZkWdZOwiQ@mail.gmail.com" target="_blank">CAA8z83kF0MZmQKzj_u+Q5zuM_AP9TaAaSMrtjjaenZkWdZOwiQ@mail.gmail.com</a>&gt;<br>
Content-Type: text/plain; charset=&quot;UTF-8&quot;<br>
<br>
We&#39;re pleased to announce that we have released STAG 2.0 this month.<br>
STAG, which stands for Spectral Toolkit of Algorithms for Graphs, is<br>
an open-source library for efficient spectral algorithms. It is the<br>
first such algorithmic library mainly written in C++, with a python<br>
wrapper STAGPy around the underlying C++ library for python users.<br>
<br>
In this latest update, we have included the implementation of the<br>
algorithms for locality sensitive hashing, kernel density estimation,<br>
and fast spectral clustering.<br>
<br>
More information on STAG 2.0, including the code, documentation, and<br>
the technical report, can be found at <a href="https://staglibrary.io/" rel="noreferrer" target="_blank">https://staglibrary.io/</a><br>
<br>
He Sun<br>
<br>
<br>
------------------------------<br>
<br>
Message: 4<br>
Date: Thu, 13 Jun 2024 18:22:39 +1000<br>
From: Seeun Umboh &lt;<a href="mailto:seeun.umboh@gmail.com" target="_blank">seeun.umboh@gmail.com</a>&gt;<br>
To: <a href="mailto:dmanet@zpr.uni-koeln.de" target="_blank">dmanet@zpr.uni-koeln.de</a><br>
Subject: [DMANET] Call for Papers ISAAC 2024, Sydney, Australia<br>
Message-ID:<br>
        &lt;CAHVK0+O4nGD5rLJk6wrDmoe6ZqfTkOxZ9rNb=<a href="mailto:7qUVDG79JtBrQ@mail.gmail.com" target="_blank">7qUVDG79JtBrQ@mail.gmail.com</a>&gt;<br>
Content-Type: text/plain; charset=&quot;UTF-8&quot;<br>
<br>
The 35th International Symposium on Algorithms and Computation (ISAAC) will<br>
be held in Sydney, Australia, 8–12 December 2024.<br>
<br>
<a href="https://sites.google.com/view/isaac2024/home" rel="noreferrer" target="_blank">https://sites.google.com/view/isaac2024/home</a><br>
<br>
<br>
<br>
We have just posted the call for papers.<br>
<br>
<a href="https://easychair.org/cfp/isaac2024" rel="noreferrer" target="_blank">https://easychair.org/cfp/isaac2024</a><br>
<br>
<br>
<br>
Important dates:<br>
<br>
<br>
<br>
Submissions due: June 28, 2024 (AoE)<br>
<br>
Notification of acceptance: September 2, 2024<br>
<br>
Camera-ready version due: September 30, 2024<br>
<br>
<br>
<br>
Send questions to <a href="mailto:isaac.2024.conference@gmail.com" target="_blank">isaac.2024.conference@gmail.com</a><br>
<br>
<br>
<br>
------------------------------<br>
<br>
Subject: Digest Footer<br>
<br>
_______________________________________________<br>
dmanet mailing list<br>
<a href="mailto:dmanet@zpr.uni-koeln.de" target="_blank">dmanet@zpr.uni-koeln.de</a><br>
<a href="https://www.zaik.uni-koeln.de/mailman/listinfo/dmanet" rel="noreferrer" target="_blank">https://www.zaik.uni-koeln.de/mailman/listinfo/dmanet</a><br>
<br>
<br>
------------------------------<br>
<br>
End of dmanet Digest, Vol 196, Issue 25<br>
***************************************<br>
</blockquote></div>

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Saturday, June 15, 2024

[DMANET] DeepLearn 2024: regular registration July 12

******************************************************

11th INTERNATIONAL SCHOOL ON DEEP LEARNING
(and the Future of Artificial Intelligence)

DeepLearn 2024

Porto – Maia, Portugal

July 15-19, 2024

https://deeplearn.irdta.eu/2024/

******************************************************

Co-organized by:

University of Maia

Institute for Research Development, Training and Advice – IRDTA
Brussels/London

******************************************************

Regular registration: July 12, 2024

******************************************************

SCOPE:

DeepLearn 2024 will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of deep learning. Previous events were held in Bilbao, Genova, Warsaw, Las Palmas de Gran Canaria, Guimarães, Las Palmas de Gran Canaria, Luleå, Bournemouth, Bari and Las Palmas de Gran Canaria.

Deep learning is a branch of artificial intelligence covering a spectrum of current frontier research and industrial innovation that provides more efficient algorithms to deal with large-scale data in a huge variety of environments: computer vision, neurosciences, speech recognition, language processing, human-computer interaction, drug discovery, health informatics, medical image analysis, recommender systems, advertising, fraud detection, robotics, games, finance, biotechnology, physics experiments, biometrics, communications, climate sciences, geographic information systems, signal processing, genomics, materials design, video technology, social systems, etc. etc.

The field is also raising a number of relevant questions about robustness of the algorithms, explainability, transparency, and important ethical concerns at the frontier of current knowledge that deserve careful multidisciplinary discussion.

Most deep learning subareas will be displayed, and main challenges identified through 16 four-hour and a half courses, 2 keynote lectures, 1 round table and a few hackathon-type competitions among students, which will tackle the most active and promising topics. Renowned academics and industry pioneers will lecture and share their views with the audience. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Face to face interaction and networking will be main ingredients of the event. It will be also possible to fully participate in vivo remotely.

ADDRESSED TO:

Graduate students, postgraduate students and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees, so people less or more advanced in their career will be welcome as well.

Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses.

Overall, DeepLearn 2024 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen to and discuss with major researchers, industry leaders and innovators.

VENUE:

DeepLearn 2024 will take place in Porto, the second largest city in Portugal, recognized by UNESCO in 1996 as a World Heritage Site. The venue will be:

University of Maia
Avenida Carlos de Oliveira Campos - Castêlo da Maia
4475-690 Maia
Porto, Portugal

https://www.umaia.pt/en

STRUCTURE:

3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.

All lectures will be videorecorded. Participants will be able to watch them again for 45 days after the event.

An open session will give participants the opportunity to present their own work in progress in 5 minutes. Also companies will be able to present their technical developments for 10 minutes.

This year's edition of the school will schedule hands-on activities including mini-hackathons, where participants will work in teams to tackle several machine learning challenges.

Full live online participation will be possible. The organizers highlight, however, the importance of face to face interaction and networking in this kind of research training event.

KEYNOTE SPEAKERS:

Jiawei Han (University of Illinois Urbana-Champaign), How Can Large Language Models Contribute to Effective Text Mining?

Katia Sycara (Carnegie Mellon University), Effective Multi Agent Teaming

PROFESSORS AND COURSES:

Luca Benini (Swiss Federal Institute of Technology Zurich), [intermediate/advanced] Open Hardware Platforms for Edge Machine Learning

Gustau Camps-Valls (University of València), [intermediate] AI for Earth, Climate, and Sustainability

Nitesh Chawla (University of Notre Dame), [introductory/intermediate] Introduction to Representation Learning on Graphs

Daniel Cremers (Technical University of Munich), [introductory/advanced] Deep Networks for 3D Computer Vision

Peng Cui (Tsinghua University), [intermediate/advanced] Stable Learning for Out-of-Distribution Generalization: Invariance, Causality and Heterogeneity

Sergei V. Gleyzer (University of Alabama), [introductory/intermediate] Machine Learning Fundamentals and Their Applications to Very Large Scientific Data: Rare Signal and Feature Extraction, End-to-End Deep Learning, Uncertainty Estimation and Realtime Machine Learning Applications in Software and Hardware

Yulan He (King's College London), [introductory/intermediate] Machine Reading Comprehension with Large Language Models

Frank Hutter (University of Freiburg), [intermediate/advanced] AutoML

George Karypis (University of Minnesota), [intermediate/advanced] Optimizing LLM Inference

Hermann Ney (RWTH Aachen University / AppTek), [intermediate/advanced] Machine Learning and Deep Learning for Speech & Language Technology: A Probabilistic Perspective

Massimiliano Pontil (Italian Institute of Technology), [intermediate/advanced] Operator Learning for Dynamical Systems

Elisa Ricci (University of Trento), [intermediate] Continual and Adaptive Learning in Computer Vision

Wojciech Samek (Fraunhofer Heinrich Hertz Institute / Technical University of Berlin), [introductory/intermediate] From Feature Attributions to Next-Generation Explainable AI

Xinghua Mindy Shi (Temple University), [introductory/intermediate] Trustworthy Machine Learning for Human Health and Medicine

Michalis Vazirgiannis (École Polytechnique), [intermediate/advanced] Graph Machine Learning and Multimodal Graph Generative AI

James Zou (Stanford University), [introductory/intermediate] Large Language Models and Biomedical Applications [videorecorded]

OPEN SESSION:

An open session will collect 5-minute voluntary presentations of work in progress by participants.

They should submit a half-page abstract containing the title, authors, and summary of the research to david@irdta.eu by July 7, 2024.

INDUSTRIAL SESSION:

A session will be devoted to 10-minute demonstrations of practical applications of deep learning in industry.

Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. People in charge of the demonstration must register for the event.

Expressions of interest have to be submitted to david@irdta.eu by July 7, 2024.

HACKATHONS:

Hackathons will take place, where participants will work in teams to tackle several machine learning challenges. They will be coordinated by Professor Sergei V. Gleyzer. The challenges will be released 2 weeks before the beginning of the school. A jury will judge the submissions and the winners of each challenge will be announced on the final day. The winning teams will receive a small prize and the runners-up will get a certificate.

EMPLOYERS:

Organizations searching for personnel well skilled in deep learning will be provided a space for one-to-one contacts.

It is recommended to produce a 1-page .pdf leaflet with a brief description of the organization and the profiles looked for to be circulated among the participants prior to the event. People in charge of the search must register for the event.

Expressions of interest have to be submitted to david@irdta.eu by July 7, 2024.

SPONSORS:

Companies/institutions/organizations willing to be sponsors of the event can download the sponsorship leaflet from

https://deeplearn.irdta.eu/2024/sponsoring/

ORGANIZING COMMITTEE:

José Paulo Marques dos Santos (Maia, local chair)
Carlos Martín-Vide (Tarragona, program chair)
Sara Morales (Brussels)
José Luís Reis (Maia)
Luís Paulo Reis (Porto)
David Silva (London, organization chair)

REGISTRATION:

It has to be done at

https://deeplearn.irdta.eu/2024/registration/

The selection of 8 courses requested in the registration template is only tentative and non-binding. For logistical reasons, it will be helpful to have an estimation of the respective demand for each course.

Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration tool disabled when the capacity of the venue will have got exhausted. It is highly recommended to register prior to the event.

FEES:

Fees comprise access to all program activities and lunches.

There are several early registration deadlines. Fees depend on the registration deadline.

The fees for on site and for online participation are the same.

ACCOMMODATION:

Accommodation suggestions are available at

https://deeplearn.irdta.eu/2024/accommodation/

CERTIFICATE:

A certificate of successful participation in the event will be delivered indicating the number of hours of lectures. This should be sufficient for those participants who plan to request ECTS recognition from their home university.

QUESTIONS AND FURTHER INFORMATION:

david@irdta.eu

ACKNOWLEDGMENTS:

Universidade da Maia

Universidade do Porto

Universitat Rovira i Virgili

Institute for Research Development, Training and Advice – IRDTA, Brussels/London
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Friday, June 14, 2024

[DMANET] [Approaching Deadline - LPNMR 2024] Call For Papers

*** Please accept our apologies if you receive multiple copies of this CFP ***

====================================================
LPNMR 2024 - Call for Papers

17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024)
Dallas, Texas, USA | October 11-14, 2024
Website: https://lpnmr2024.demacs.unical.it/
Contact us: lpnmr2024@easychair.org
Submission: https://easychair.org/conferences/?conf=lpnmr2024
====================================================

====================================================
IMPORTANT DATES
====================================================

Paper registration: June 21, 2024
Submission deadline: June 28, 2024
Final notification: July 28, 2024
Final versions due: August 15, 2024
Conference: October 11-14, 2024

====================================================
FAST JOURNAL TRACK FOR BEST PAPERS
====================================================

The two best papers focused on general AI topics will be invited for publication in either the Artificial Intelligence Journal or the Journal of Artificial Intelligence Research, based on the preference of the authors.
Also, the 2-5 best papers with a logic programming focus will be invited for publication in the journal of Theory and Practice of Logic Programming.

====================================================
AIMS AND SCOPE
====================================================

LPNMR 2024 is the seventeenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and non-monotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications.
LPNMR 2024 aims to bring together researchers from LPNMR core areas and application areas of the aforementioned kind in order to share research experiences, promote collaboration and identify directions for joint future research.

====================================================
TOPICS
====================================================
Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. Conference topics include, but are not limited to:
Foundations of LPNMR Systems:
Semantics of new and existing languages
Action languages, causality
Formalization of Commonsense Reasoning and understanding its laws and nature
Relationships among formalisms
Complexity and expressive power
Inference algorithms and heuristics for LPNMR systems
Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities
Updates, revision, and other operations on LPNMR systems
Uncertainty in LPNMR systems
Implementation of LPNMR systems:
System descriptions, comparisons, evaluations
Algorithms and novel techniques for efficient evaluation
LPNMR benchmarks
Applications of LPNMR:
Use of LPNMR in Commonsense Reasoning and other areas of KR
LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies
Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking
Applications of LPNMR to bioinformatics, linguistics, psychology and other sciences
Integration of LPNMR systems with other computational paradigms
Embedded LPNMR: Systems using LPNMR subsystems

====================================================
SUBMISSION AND PUBLICATION
====================================================
LPNMR 2024 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories:

Technical papers
System descriptions
Application descriptions

The indicated number of pages includes title page, figures, tables, references and appendix. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer's Lecture Notes in Artificial Intelligence (LNAI) series. At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be written in English, present original research, and be formatted according to Springer's guidelines and technical instructions available at:
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines

Paper submission is enabled via the LPNMR 2024 Easychair site:
https://easychair.org/conferences/?conf=lpnmr2024


====================================================
MULTIPLE SUBMISSION POLICY
====================================================

LPNMR 2024 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings.

====================================================
VENUE
====================================================
LPNMR 2024 will be held on the campus of the University of Texas at Dallas in October 2024. Dallas, part of the Dallas/Fort-Worth metroplex, is a dynamic city with great tourist attractions. Renowned for its unique blend of modernity and rich cultural heritage, Dallas offers an array of attractions for visitors: from diverse range of museums, such as the Dallas Museum of Art and the Perot Museum of Nature and Science, to the Fort Worth Stockyards that feature the Cattle Drive (twice daily). Dallas boasts a thriving culinary scene, from sizzling steakhouses to trendy food trucks, to authentic Tex-Mex cuisine. With a wealth of entertainment options, including shopping districts, live music venues, and sports events, a visit to Dallas is a memorable experience.

====================================================
ORGANISING COMMITTEE
====================================================

General Chair:
Gopal Gupta, The University of Texas at Dallas

Program Chairs:
Carmine Dodaro, University of Calabria, Italy
M. Vanina Martinez, IIIA-CSIC, Spain

Publicity and Web Chair:
Giuseppe Mazzotta, University of Calabria, Italy

Workshop Chair:
Gerardo Simari, Universidad Nacional del Sur, Argentina


Saluti,
Giuseppe Mazzotta


--
------------------------------------------------------------------------------------------------------------------
Il banner è generato automaticamente dal servizio di posta elettronica
dell'Università della Calabria
<https://www.unical.it/5x1000>


**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] HIGHLIGHTS '24: Registrations Open and Last CFP (Submission deadline 17 June)

================================================
HIGHLIGHTS '24 and Jewels of Automata Theory '24 (Bordeaux, 16-20
September) and HCRW (21-27 September)
================================================

*Submission deadline is next Monday, 17 June.*

*Registration*
Registration is open *until Sunday, July 7*. Participants must register by
filling in the form in the webpage below.

*Registration page:*
https://framaforms.org/highlights-and-jewels-of-automata-theory-2024-1715936947

The registration fee for on-site attendance (covering lunch and coffee) is
80.25 EUR. Online attendance is free, but registration is required.

*Highlights' Collaborative Research Weak*
If you consider staying for HCRW, you can indicate it in the registration
form, and share your plans in the Zulip chat (registration at
https://highlights-conference.org/2024/zulip).

There are no fees for participation in HCRW.

Confirmed workshop during HCRW:
- Algebraic methods in automata theory
- TBA

For more details, see the full Call for Presentations below

================================================
HIGHLIGHTS'24, JEWELS OF AUTOMATA THEORY '24, (Bordeaux, France, 16-20
September 2024) AND HCRW (21-27 September)

*HIGHLIGHTS'24* and *Jewels of Automata Theory '24* are jointly scheduled *from
September 16 to September 20, 2024* at the *University of Bordeaux, France*,
in *LaBRI*. They will be followed by the *Highlights Collaborative Research
Week (HCRW)*, from *September 21 to 27, 2024*.

*HIGHLIGHTS'24* is the twelfth in the series of international conferences
"Highlights of Logic, Games and Automata", aiming at integrating the
community working in algorithmic model theory, automata theory, databases,
games for logic and verification, logic and verification. Papers from these
areas are dispersed across many conferences, which makes them difficult to
follow. A visit to the HIGHLIGHTS conference should offer a wide picture of
the latest research in the field and a chance to meet everybody in the
community, not just those who happen to publish in one particular
proceedings volume. There are no publications.

Jewels of Automata Theory 2024 will survey a wide picture of research in
automata theory and related mathematical fields. It will consist of invited
lectures which describe significant progress over the past years, and will
be a meeting point for both young and senior researchers to learn and to
discuss about automata theory, its connections with mathematics and its
applications.

*HIGHLIGHTS'24* key features:

- HIGHLIGHTS is a conference without publications, where speakers give
short presentations of their best work.
- The 2024 edition is colocated with Jewels of Automata Theory a
conference featuring invited talks on mathematical aspects of automata
theory.
- A chat of the conference is available during the event, and throughout
the year.
- There is an early round of submissions and notifications to help with
travel planning.
- The *Highlights' Collaborative Research Week* (*HCRW*) offers means
for research collaborations/discussions between participants. HCRW is
scheduled after the conference.
- The *Highlights Extended Stay Support Scheme* (*HESSS*) helps
participants find collaborators and organise visits in the vicinity of
HIGHLIGHTS.
- Highlights has now an environmental chair, Antoine Amarilli, in charge
of assessing the carbon footprint of the event.

We encourage you to attend and present your best work - be it already
published or not - at *HIGHLIGHTS'24*.
SCOPE

Representative areas include, but are not restricted to:

- Algebraic models of computation
- Algorithmic model theory
- Automata theory
- Databases
- Games for logic and verification
- Logic
- Verification

IMPORTANT DATES AND INFORMATION

- Registration to the chat of the conference at
https://highlights-conference.org/2024/zulip (no need if you did it last
year)
- HIGHLIGHTS'24 webpage: https://highlights-conference.org/2024/
- Jewels of Automata Theory'24 webpage:
https://highlights-conference.org/2024/jewels
- HCRW page: https://highlights-conference.org/2024/hcrw
- HESSS page: https://highlights-conference.org/2024/hesss
- Submission page:
https://openreview.net/group?id=highlights-conference.org/Highlights/2024/Conference
- Registration page:
https://framaforms.org/highlights-and-jewels-of-automata-theory-2024-1715936947
- Registration deadline: July 7, 2024
- Early submission deadline: April 15, 2024
- Regular submission deadline: June 17, 2024
- Regular notification: June 28, 2024
- Conference: September 16-20, 2024.
- *Highlights' Collaborative Research Weak* (*HCRW*): September 21 - 27,
2024.

MODALITIES OF ATTENDANCE

*HIGHLIGHTS'24* is an event that will take place on-site (barring
unforeseen circumstances), and the preferred form of participation is in
person. Remote attendance via a video stream will also be offered, but with
limited possible interactions for these participants.

Submission to Highlights'24 is open to everyone, and attendance to the
conference is not a requirement. The selection procedure will not take into
account in-person attendance. Authors who do not intend to attend
Highlights'24 in-person must commit to this choice when submitting their
talk proposal. If accepted, authors of such talk proposals will have the
opportunity to share a prerecorded video of their talk, which will be made
available on the conference website.

Before coming from far away, please review how your trip and international
flights are contributing to climate change. We encourage you to take the
train as much as possible, possibly taking the opportunity for visiting
colleagues on the way and thus decomposing the travel into smaller pieces.

More generally, we encourage you to make the most of your stay. This means
extending your journey to the previous and/or following weeks for more
scientific activities in Bordeaux and around. Several initiatives are here
to help you in this task:

- You can participate in the *Highlights' Collaborative Research
Week* (*HCRW
<https://highlights-conference.org/2024/hcrw>, September 21-27*) in the
week after HIGHLIGHTS, in Bordeaux.
- You can use the *Highlights Extended Stay Support Scheme* (*HESSS
<https://highlights-conference.org/2024/hesss>*) for finding
collaborators and organising visits.

SUBMISSIONS AND GUIDELINES

Submissions should take the form of a short abstract describing the content
of the presentation and its interest. It should serve as a proposal for a
presentation. Hence, submissions should have a single author — the speaker.
They can concern any recently published, to be published, or ongoing work
of the speaker. We expect you to present your favourite result of the year,
so there should be at most one submission per speaker. The abstract should
list co-authors, if any. Optionally, an extended abstract of up to two
pages may be attached as a PDF file.

We encourage both young and senior researchers to present.

The *submission deadline is Monday, June 17*, with a *notification by June
28*.

Submissions will not lead to publications. There are no formal proceedings
and we encourage the presentation of work published or presented elsewhere.

The talk (which is short, around 10 minutes) can be doubled with a poster.
Further information about poster submissions will be provided.

*Submission page:*
https://openreview.net/group?id=highlights-conference.org/Highlights/2024/Conference

(Note that it is required to have an account with openreview.net to submit
an abstract.)
REGISTRATION

Participants to HIGHLIGHTS'24 and Jewels of Automata Theory '24 must
register before *Sunday, July 7* by completing the form in the webpage
indicated below.

*Registration page*:
https://framaforms.org/highlights-and-jewels-of-automata-theory-2024-1715936947

The registration fee for on-site attendance is 80.25 EUR. Online attendance
is free, but registration is required.
HIGHLIGHTS COLLABORATIVE RESEARCH WEAK (HCRW)

*HIGHLIGHTS'24* will be followed by the *Highlights' Collaborative Research
Week* (*HCRW*), *from September 21 to 27 (including Saturday) at the
University of Bordeaux*.

Participants to HCRW are free to organise any scientific activity they
wish. Possibilities can be to

- meet someone in particular and work together,
- organise or attend a seminar/workshop/reading group,
- gather for solving open problems,
- solicit, offer and participate in a lecture.
Working spaces will be provided on site for these activities to take
place.

We encourage participants to offer activities in advance.

- HCRW webpage: https://highlights-conference.org/2024/hcrw
- If you intend to participate to HCRW, post it on the zulip stream.
- To offer or suggest activities, send your proposals to Théo Matricon:
theomatricon[at]gmail[dot]com

Confirmed workshops

- *Algebraic methods in automata theory.*
Possible topics include semigroups, decidability of classes of
languages, algebras, categories, monads, etc.
- TBA

HIGHLIGHTS EXTENDED STAY SUPPORT SCHEME (HESSS)

The *HESSS* is an incentive for collaborations between participants of the
conference and researchers working in research groups reachable by train
from the conference location. The objective is to foster interactions with
low carbon footprint. The mechanism is as follows:

- Research groups willing to participate in the scheme are listed on the
webpage: https://highlights-conference.org/2024/hesss. These groups are
offering to fund collaborations between HIGHLIGHTS participants and their
members.
- The pair of a HIGHLIGHTS participant and a member of a listed research
group submit a proposal, which takes the form of an email containing names,
period of collaboration, and a sentence describing the planned activity. It
has to be sent to the *HESSS* contact person of the research unit
(better through zulip).
- The decision of acceptance is up to the research group. In particular,
it may be subject to scientific scope, number of requests, or e.g.,
favouring distant participants.
- The only strict rule is that the visit should be around HIGHLIGHTS,
and no airplane should be taken by the visitor to travel from HIGHLIGHTS to
the visit location.

INVITED TALKS Joint invited speaker

- Mikołaj Bojańczyk (University of Warsaw, Poland)

HIGHLIGHTS'24:

- Albert Atserias (Technical University of Catalonia, Spain)
- Pablo Barcelo (Universidad Católica de Chile)
- Laure Daviaud (University of East Anglia, UK)

Jewels of Automata Theory'24

- Nathanaël Fijalkow (University of Bordeaux, France)
- Artur Jeż (University of Wrocław, Poland)
- Jarkko Kari (University of Turku, Finland)
- Barbara König (University Duisburg-Essen, Germany)
- Jérôme Leroux (University of Bordeaux, France)
- Anca Muscholl (University of Bordeaux, France)
- Karin Quaas (University of Leipzig, Germany)
- Daniel Smertnig (University of Ljubljana, Slovenia)
- Tatiana Starikovskaya (ENS Paris, France)
- Wolfgang Thomas (University of Aachen, Germany)
- Marc Zeitoun (University of Bordeaux, France)
- Georg Zetzsche (MPI-SWS Kaiserslautern, Germany)

COMMITTEES PROGRAM COMMITTEE HIGHLIGHTS'24

- C. Aiswarya (Chennai Mathematical Institute, India)
- Shaull Almagor (Technion, Israel)
- Christel Baier (TU Dresden, Germany)
- Azadeh Farzan (Univ. of Toronto, Canada)
- Sam van Gool (IRIF, France)
- Ichiro Hasuo (National Institute of Informatics, Japan)
- Bartek Klin (Univ. of Oxford, UK; chair)
- Barbara König (Univ. of Duisburg-Essen, Germany)
- Karoliina Lehtinen (LIS, Aix-Marseille Univ., France)
- Anthony Widjaja Lin (TU Kaiserslautern, Germany)
- Anca Muscholl (LaBRI, Univ. Bordeaux, France)
- Ana Sokolova (Univ. of Salzburg, Austria)
- Szymon Toruńczyk (Univ. of Warsaw, Poland)
- Sophie Pinchinat (IRISA Rennes, France)

ORGANISING COMMITTEE

- Sylvain Lombardy
- Corto Mascle
- Théo Matricon
- Rémi Morvan
- Vincent Penelle
- Pierre Vandenhove

SAFETOC COUNSELOR

- Rémi Morvan

STEERING COMMITTEE

- Antoine Amarilli (environmental chair)
- León Bohn (webmaster)
- Antonio Casares (publicity chair)
- Supratik Chakraborty
- Thomas Colcombet (chair)
- Sławek Lasota
- Sophie Tison

PROGRAM COMMITTEE Jewels of Automata Theory'24

- Manfred Droste(chair)
- Jorge Almeida
- Patricia Bouyer
- Véronique Bruyère
- Thomas Colcombet
- Laurent Doyen
- Dora Giammarresi
- Juhani Karhumäki
- Bartek Klin
- Markus Lohrey
- Sylvain Lombardy
- Damian Niwiński
- Jacques Sakarovitch
- Sylvain Schmitz
- Marinella Sciortino
- Jeffrey Shallit
- Alexandra Silva
- Benjamin Steinberg

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] postdoc position in algorithms at Charles University, Prague

There is a new opportunity for a one-year postdoc position (with a possibility
of extension) in algorithms at Computer Science Institute of Charles University
in Prague, Czechia, hosted by Pavel Veselý. The starting date is negotiable
(Fall 2024 or Winter 2025).

We're looking for a candidate with a strong background in algorithms who has
completed / will soon complete their Ph.D. degree in theoretical computer
science or mathematics within the last 5 years (with exceptions for individual
circumstances such as parental leave). The successful candidate will pursue
research in designing efficient algorithms and data structures, such as
streaming algorithms (quantile estimation, geometric problems, ...), online
scheduling algorithms, or data structures for genomic data.

Computer Science Institute of Charles University (https://iuuk.mff.cuni.cz) is a
lively, excellent, and inspiring workplace located in the beautiful historical
center of Prague. Prague's location in the heart of Europe makes it easy to
travel to many attractive locations, be it for work or leisure. Come join us!

Informal inquiries and applications, including a short letter of motivation
(research statement), professional CV with publications, and contact details of
2-3 references, should be sent to vesely@iuuk.mff.cuni.cz.

Deadline for the applications: June 26, 2024 (all applications received by the
deadline will be considered; later applications will be processed until the
position is filled).

More details: https://iuuk.mff.cuni.cz/~vesely/projects.html
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Thursday, June 13, 2024

[DMANET] [CFP: Deadline Extended] Sensing and Data Platforms: what is ahead of us (Special Session 11), IEEE MetroAgriFor Workshop

[Apologies if you receive multiple copies of this message]

Dear Researchers/Authors,
You are invited to submit your high-quality research findings to the
Special Session 11: "Sensing and Data Platforms: what is ahead of us" of
the 2024 IEEE International Workshop on Metrology for Agriculture and
Forestry (MetroAgriFor).

October 29-31, 2024 - Padua, Italy

Website: https://www.metroagrifor.org/special-session-11

Aims and Scope
The role of sensing, including in-situ, proximity and remote, is increasingly crucial for agriculture and forestry.
Huge investments have been made in this field - consider for instance satellite constellations for remote sensing, the thriving UAV sector, and the dawning sector of terrestrial rovers - and benefits are evident in several application areas.
The other side of the coin is represented by the data platforms used to collect, store, and process the huge amount of data coming from sensing platforms.
Such data platforms should, among others, provide interoperable data through open interfaces (APIs) to different classes of users, but such functionality has not yet reached its full potential.

In Europe, there have been several recent initiatives focused on enhancing data sharing and processing.
One key effort is the European Strategy for Data, which introduces the concept of a Common European Data Space and includes actions to deploy Agriculture and Green Deal sectorial data spaces.
Additionally, the Horizon Europe framework is providing funding for the establishment of European Partnerships that bring together the European Commission with private and/or public partners to address pressing challenges through collaborative research and innovation projects.
One such partnership, the European Partnership for Agriculture of Data, aims to support sustainable agriculture in the EU and improve policy monitoring and implementation by leveraging digital and data technologies for environmental observation.

The goal of this special session is to investigate the potential and the challenges of both sensing and data platforms, looking to future developments, and also considering economic and legal aspects to be carefully taken into consideration.

Contributions are expected to contribute to, but are not limited to, the following topics:

- sensing systems, both local and remote, and recent developments;
- state of the art of data platforms linked to sensing systems, standards, interoperability enablers, and sustainability of their business model;
- GEOSS Data Sharing and Management Principles, FAIR principles, and other interoperable solutions with the potential to further push the use of sensing data;
- economic and legal aspects that can fuel or limit the use of such systems.

Important dates
- Extended Abstract Submission: 𝖩̶𝗎̶𝗇̶𝖾̶ ̶𝟣̶𝟢̶ ̶𝟤̶𝟢̶𝟤̶𝟦̶ June 30, 2024
- Extended Abstract Notification: September 1, 2024
- Final Paper Submission: September 20, 2024

Submission Instruction
Authors should prepare an Extended Abstract (4-5 pages) that clearly
indicates the originality of the contribution and the relevance of the
work. The Extended Abstract should include the title of the paper, names
and affiliations of the authors, an abstract, keywords, an introduction
describing the nature of the problem and the state of the art in the field
of interest, a description of the contribution, the results achieved and
their applicability, conclusions, and references.
When the review process has been completed, authors receive a notification
of either acceptance or rejection of the submission. If the paper has been
accepted, the authors can prepare a final paper that incorporates the
reviewers' suggestions.
The format for the final paper is identical to the format for the extended
abstract except for the number of pages: the full paper has a required
minimum length of five (5) pages and a maximum of six (6) pages.

Special Session Organizers
- Manlio Bacco
Institute of Information Science and Technologies (ISTI), CNR, Italy
manlio.bacco@isti.cnr.it

- Federico Coro'
University of Perugia, Italy
federico.coro@unipg.it

- Paolo Mazzetti
Institute of Atmospheric Pollution Research - National Research Council, Italy
paolo.mazzetti@cnr.it

- Lorenzo Palazzetti
University of Perugia, Italy
lorenzo.palazzetti@unifi.it

- Cristina Domingo-Marimon
CREAF, Spain
cristina.domingo@uab.cat

- Margherita Di Leo
Arcadia SIT
Margherita.DI-LEO@ext.ec.europa.eu


Thank you for your consideration.

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] PhD position in Logic and Complexity, Sheffield (UK), Deadline: 1 July 2024

*******************************************************
* PhD position in Quantitative logics and complexity theory
* University of Sheffield, UK
* Fully funded for 3.5 years (both UK Home and International rates)
* Possible times to start: preferably Autumn 2024
*******************************************************

I am looking for a motivated PhD student to join the Foundations of Computation group (https://www.sheffield.ac.uk/cs/research/groups/foundations-computation) of The University of Sheffield (https://www.sheffield.ac.uk/cs). The topic of the PhD project is quite flexible, but should relate to my current research directions in quantitative logics and complexity theory. Here possible directions are temporal logics, logical foundations of neural networks, and logical foundations of database theory (for more details: https://www.findaphd.com/phds/project/quantitative-logics-and-complexity-theory/?p172593).

This PhD studentship will fund the full (UK or Overseas) tuition fee and provide a tax-free stipend at the standard UKRI rate (currently £19,237 for 2024/25) for 3.5 years. In addition, both the Department and research group provide funding for attending conferences.

Interested candidates are encouraged to contact me directly by email for further details (j.t.virtema@sheffield.ac <mailto:j.t.virtema@sheffield.ac>.uk). For more details on the possible topics, the candidate may refer to my recent works at http://www.virtema.fi/.

Best wishes,
Jonni
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] FSTTCS 2024 - Call for Papers

*FSTTCS 2024 - Call for Papers*
December 16–18, 2024 at IIT Gandhinagar, India

Website: https://www.fsttcs.org.in/2024/
Easychair: https://easychair.org/my/conference?conf=fsttcs2024

FSTTCS 2024 is the 44th conference on Foundations of Software Technology
and Theoretical Computer Science. It is organised by IARCS, the Indian
Association for Research in Computing Science, in association with ACM
India. It is a forum for presenting original results in foundational
aspects of Computer Science and Software Technology.

*IMPORTANT DATES*
(all dates are AoE)

Abstract Submission: July 5, 2024
Paper Submission: July 12, 2024
Notification: September 16, 2024
Camera Ready: October 4, 2024
Conference(s): December 16-18, 2024

*PAPER SUBMISSION*

Submissions must be in electronic form via EasyChair (
https://easychair.org/my/conference?conf=fsttcs2024) using the LIPIcs LaTeX
style file available here (
https://submission.dagstuhl.de/documentation/authors).

Submissions must not exceed 15 pages (excluding bibliography), but may
include a clearly marked appendix containing technical details. The
appendix will be read only at the discretion of the program committee.
Simultaneous submissions to journals or other conferences with published
proceedings are disallowed.

Reviewing for FSTTCS 2024 is double-blind. Hence, authors must make a
reasonable effort to ensure that their identity is not easily revealed from
the submission itself. Specifically, kindly replace your name and
affiliation on the first page with the submission number and do not include
any acknowledgements in your submission. Also, authors should cite their
prior work in a neutral manner (i.e., instead of saying "We showed", please
write "XYZ et al. showed"). Submitting a paper that is available at a
public preprint server (such as, arXiv) is admissible. In that case, please
do not cite that version of your work in the submission itself.

Accepted papers will be published as proceedings of the conference in the
Leibniz International Proceedings in Informatics (LIPIcs) as a free, open,
electronic archive with access to all. Authors will retain full rights over
their work. The accepted papers will be published under a CC-BY license.

For an accepted paper to be included in the proceedings, one of the authors
must commit to presenting the paper in person at the conference.

*TOPICS*

Track A:
Algebraic Complexity, Algorithms and Data Structures, Algorithmic Graph
Theory and Combinatorics, Approximation Algorithms, Combinatorial
Optimization, Communication Complexity, Computational Geometry,
Computational Learning Theory, Cryptography and Security, Data Streaming
and Sublinear algorithms, Economics and Computation, Parallel, Distributed
and Online Algorithms, Parameterized Complexity, Proof Complexity, Quantum
Computing, Randomness in Computing, Theoretical Aspects of Computational
Biology, Theoretical Aspects of Mobile and High-Performance Computing

Track B:
Automata, Games and Formal Languages, Logic in Computer Science, Modal and
Temporal Logics, Models of Concurrent, Distributed and Mobile Systems,
Models of Timed, Reactive, Hybrid and Stochastic and Quantum Systems, Model
Theory, Principles and Semantics of Programming Languages, Program Analysis
and Transformation, Security protocols, Specification, Verification and
Synthesis, Theorem Proving and Decision Procedures

*PROGRAM COMMITTEE*

Track A:
Aritra Banik (National Institute of Science Education and Research)
Siddharth Barman (Indian Institute of Science) – Track A Chair
Umang Bhaskar (Tata Institute of Fundamental Research)
Diptarka Chakraborty (National University of Singapore)
Debarati Das (Pennsylvania State University)
Klim Efremenko (Ben-Gurion University)
Sushmita Gupta (The Institute of Mathematical Sciences)
Rohit Gurjar (Indian Institute of Technology Bombay)
Arindam Khan (Indian Institute of Science)
Neeldhara Misra (Indian Institute of Technology, Gandhinagar)
Rajat Mittal (Indian Institute of Technology, Kanpur)
Kamesh Munagala (Duke University)
Prajakta Nimbhorkar (Chennai Mathematical Institute)
Manisha Padala (Indian Institute of Technology, Gandhinagar)
Jaikumar Radhakrishnan (Tata Institute of Fundamental Research)
Nidhi Rathi (Max Planck Institute for Informatics, University of Saarland)
Ramprasad Saptharishi (Tata Institute of Fundamental Research)
Sahil Singla (Georgia Tech)
Makrand Sinha (University of Illinois Urbana-Champaign)
Seeun William Umboh (The University of Melbourne)
Santhoshini Velusamy (Toyota Technological Institute at Chicago)
Michał Włodarczyk (University of Warsaw)
Meirav Zehavi (Ben-Gurion University)

Track B:
Parosh Aziz Abdulla (Uppsala University)
C. Aiswarya (Chennai Mathematical Institute)
S. Akshay (Indian Institute of Technology Bombay)
Christel Baier (Technical University Dresden)
Laure Daviaud (University of East Anglia)
Sibylle Fröschle (Technical University Hamburg)
Blaise Genest (CNRS)
Stefan Haar (INRIA, France)
Christoph Haase (University of Oxford)
Petr Jančar (Palacky University, Olomouc)
Ismaël Jecker (University of Franche-Comté)
Edon Kelmendi (Queen Mary University of London)
Sławomir Lasota (University of Warsaw) – Track B Chair
Ranko Lazic (University of Warwick)
Christof Löding (RWTH Aachen)
Meena Mahajan (The Institute of Mathematical Sciences)
Jean-Francois Raskin (Université Libre de Bruxelles)
Nathalie Sznajder (Sorbonne University)

*INVITED SPEAKERS*
Pankaj K Agarwal, Duke University
Suguman Bansal, Georgia Institute of Technology
Ioannis Caragiannis, Aarhus University
Dmitry Chistikov, University of Warwick
Uriel Feige, Weizmann Institute
Sebastian Siebertz, Universität Bremen

*STEERING COMMITTEE*
Paul Gastin (LSV, ENS Paris-Saclay)
Amit Kumar (Indian Institute of Technology, Delhi)
S Krishna (Indian Institute of Technology, Bombay)
G Ramalingam (Microsoft Research, Bangalore)
Venkatesh Raman (The Institute of Mathematical Sciences, Chennai)
Kavitha Telikepalli (Tata Institute of Fundamental Research, Mumbai)

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************