Theory Announcements: 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"><span style="font-size:10pt;font-family:"Times New Roman",serif;color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">Dear Colleagues,<span style="font-size:10pt;font-family:"Times New Roman",serif;color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial"> <span style="font-size:10pt;font-family:"Times New Roman",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 70th anniversary of our colleague and friend Panos M. Pardalos on June 17, 2024, see <a href="https://www.ise.ufl.edu/pardalos/" target="_blank" style="color:blue"><span style="font-size:10pt;font-family:"Times New Roman",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/</a><span style="font-size:10pt;font-family:"Times New Roman",serif;color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">, <a href="https://elliit.se/panos-m-pardalos/" target="_blank" style="color:blue"><span style="font-size:10pt;font-family:"Times New Roman",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/</a><span style="font-size:10pt;font-family:"Times New Roman",serif;color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">, <a href="https://www.hse.ru/en/org/persons/44226286" target="_blank" style="color:blue"><span style="font-size:10pt;font-family:"Times New Roman",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</a><span style="font-size:10pt;font-family:"Times New Roman",serif;color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">, <a href="https://toxeus.org/panos-pardalos/" target="_blank" style="color:blue"><span style="font-size:10pt;font-family:"Times New Roman",serif;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">https://toxeus.org/panos-pardalos/</a><span style="font-size:10pt;font-family:"Times New Roman",serif;color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">.<span style="font-size:10pt;font-family:"Times New Roman",serif;color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial"> <span style="font-size:10pt;font-family:"Times New Roman",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 style="font-size:10pt;font-family:"Times New Roman",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 style="font-size:10pt;font-family:"Times New Roman",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' 70th Birthday<span style="font-size:10pt;font-family:"Times New Roman",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 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. <span style="font-size:10pt;font-family:"Times New Roman",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 style="font-size:10pt;font-family:"Times New Roman",serif;color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial"> <span style="font-size:10pt;font-family:"Times New Roman",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<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:"Times New Roman",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</a><span style="font-size:10pt;font-family:"Times New Roman",serif;color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial"><span style="font-size:10pt;font-family:"Times New Roman",serif;color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial"> <span style="font-size:10pt;line-height:15.3333px;font-family:"Times New Roman",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 preliminary title and abstract of your submission as soon as possible but not later than <span style="font-size:10pt;line-height:15.3333px;font-family:"Times New Roman",serif;color:red;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">July 31st, 2024<span style="font-size:10pt;line-height:15.3333px;font-family:"Times New Roman",serif;color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">.<span style="font-size:10pt;line-height:15.3333px;font-family:"Times New Roman",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 style="font-size:10pt;line-height:15.3333px;font-family:"Times New Roman",serif;color:red;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">August 31st, 2024<span style="font-size:10pt;line-height:15.3333px;font-family:"Times New Roman",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 31st, 2025.<span style="font-size:10pt;line-height:15.3333px;font-family:"Times New Roman",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, <a href="mailto:goldengorin@gmail.com" target="_blank" style="color:blue"><span style="font-size:10pt;line-height:15.3333px;font-family:"Times New Roman",serif;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial">goldengorin@gmail.com</a><span style="font-size:10pt;line-height:15.3333px;font-family:"Times New Roman",serif;color:black;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial"><span style="font-size:10pt;font-family:"Times New Roman",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 style="font-size:10pt;line-height:15.3333px;font-family:"Times New Roman",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. </div> <div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Jun 13, 2024 at 3:06 PM <<a href="mailto:dmanet-request@zpr.uni-koeln.de">dmanet-request@zpr.uni-koeln.de</a>> wrote: </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 
<a href="mailto:dmanet@zpr.uni-koeln.de" target="_blank">dmanet@zpr.uni-koeln.de</a> 
 
To subscribe or unsubscribe via the World Wide Web, visit 
<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> 
or, via email, send a message with subject or body 'help' to 
<a href="mailto:dmanet-request@zpr.uni-koeln.de" target="_blank">dmanet-request@zpr.uni-koeln.de</a> 
 
You can reach the person managing the list at 
<a href="mailto:dmanet-owner@zpr.uni-koeln.de" target="_blank">dmanet-owner@zpr.uni-koeln.de</a> 
 
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 <<a href="mailto:bdundua@gmail.com" target="_blank">bdundua@gmail.com</a>> 
To: <a href="mailto:dmanet@zpr.uni-koeln.de" target="_blank">dmanet@zpr.uni-koeln.de</a> 
Subject: [DMANET] ITP 2024: Call for Participation 
Message-ID: 
<<a href="mailto:CAJTLwnxsuBQv8Qk4arO4OmEQOUD%2BmAmOgnNYOX-Bgz7kqCDG7g@mail.gmail.com" target="_blank">CAJTLwnxsuBQv8Qk4arO4OmEQOUD+mAmOgnNYOX-Bgz7kqCDG7g@mail.gmail.com</a>> 
Content-Type: text/plain; charset="UTF-8" 
 
=============================== 
ITP 2024 Call for Participation 
<a href="https://www.viam.science.tsu.ge/itp2024/" rel="noreferrer" target="_blank">https://www.viam.science.tsu.ge/itp2024/</a> 
=============================== 
 
 
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 
 
<a href="https://www.viam.science.tsu.ge/itp2024/registration" rel="noreferrer" target="_blank">https://www.viam.science.tsu.ge/itp2024/registration</a> 
 
 
=============================== 
Invited Speakers 
=============================== 
 
Frédéric Blanqui, INRIA 
Tobias Nipkow, Technical University of Munich 
 
=============================== 
Tutorial 
=============================== 
 
Evgenia Karunus, Visualising Mathematical Proof: Paperproof 
 
=============================== 
Accepted papers 
=============================== 
 
<a href="https://www.viam.science.tsu.ge/itp2024/program" rel="noreferrer" target="_blank">https://www.viam.science.tsu.ge/itp2024/program</a> 
 
 
=============================== 
Workshops 
=============================== 
 
The EuroProofNet 2nd Workshop on the Development, Maintenance, Refactoring 
and Search of Large Libraries of Proofs 
<a href="https://europroofnet.github.io/wg4-tbilisi24/" rel="noreferrer" target="_blank">https://europroofnet.github.io/wg4-tbilisi24/</a> 
 
The Isabelle Workshop 2024 
<a href="https://sketis.net/isabelle/isabelle-workshop-2024" rel="noreferrer" target="_blank">https://sketis.net/isabelle/isabelle-workshop-2024</a> 
 
The Coq Workshop 2024 
<a href="https://coq-workshop.gitlab.io/2024/" rel="noreferrer" target="_blank">https://coq-workshop.gitlab.io/2024/</a> 
 
=============================== 
School 
=============================== 
 
Seventeenth International Tbilisi Summer School in Logic and Language 
<a href="https://www.logic.at/tbilisi24/" rel="noreferrer" target="_blank">https://www.logic.at/tbilisi24/</a> 
 
------------------------------ 
 
Message: 2 
Date: Thu, 13 Jun 2024 09:22:04 +0200 
From: Simon Thevenin <<a href="mailto:simon.thevenin@imt-atlantique.fr" target="_blank">simon.thevenin@imt-atlantique.fr</a>> 
To: <<a href="mailto:dmanet@zpr.uni-koeln.de" target="_blank">dmanet@zpr.uni-koeln.de</a>> 
Subject: [DMANET] Postdoc position at IMT Atlantique, Nantes, France 
Message-ID: <<a href="mailto:71148CE9-A461-494F-B74D-5F84103DC894@imt-atlantique.fr" target="_blank">71148CE9-A461-494F-B74D-5F84103DC894@imt-atlantique.fr</a>> 
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: 
 
<a href="https://filesender.renater.fr/?s=download&token=a33bd5b7-c5f8-4ffa-bddf-62e1a4291653" rel="noreferrer" target="_blank">https://filesender.renater.fr/?s=download&token=a33bd5b7-c5f8-4ffa-bddf-62e1a4291653</a> 
 
 
 
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> 
 
 
 
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 <<a href="mailto:fdhsun@gmail.com" target="_blank">fdhsun@gmail.com</a>> 
To: <a href="mailto:dmanet@zpr.uni-koeln.de" target="_blank">dmanet@zpr.uni-koeln.de</a> 
Subject: [DMANET] Release of Spectral Toolkit of Algorithms for Graphs 
(STAG) 2.0 
Message-ID: 
<<a href="mailto:CAA8z83kF0MZmQKzj_u%2BQ5zuM_AP9TaAaSMrtjjaenZkWdZOwiQ@mail.gmail.com" target="_blank">CAA8z83kF0MZmQKzj_u+Q5zuM_AP9TaAaSMrtjjaenZkWdZOwiQ@mail.gmail.com</a>> 
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 <a href="https://staglibrary.io/" rel="noreferrer" target="_blank">https://staglibrary.io/</a> 
 
He Sun 
 
 
------------------------------ 
 
Message: 4 
Date: Thu, 13 Jun 2024 18:22:39 +1000 
From: Seeun Umboh <<a href="mailto:seeun.umboh@gmail.com" target="_blank">seeun.umboh@gmail.com</a>> 
To: <a href="mailto:dmanet@zpr.uni-koeln.de" target="_blank">dmanet@zpr.uni-koeln.de</a> 
Subject: [DMANET] Call for Papers ISAAC 2024, Sydney, Australia 
Message-ID: 
<CAHVK0+O4nGD5rLJk6wrDmoe6ZqfTkOxZ9rNb=<a href="mailto:7qUVDG79JtBrQ@mail.gmail.com" target="_blank">7qUVDG79JtBrQ@mail.gmail.com</a>> 
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. 
 
<a href="https://sites.google.com/view/isaac2024/home" rel="noreferrer" target="_blank">https://sites.google.com/view/isaac2024/home</a> 
 
 
 
We have just posted the call for papers. 
 
<a href="https://easychair.org/cfp/isaac2024" rel="noreferrer" target="_blank">https://easychair.org/cfp/isaac2024</a> 
 
 
 
Important dates: 
 
 
 
Submissions due: June 28, 2024 (AoE) 
 
Notification of acceptance: September 2, 2024 
 
Camera-ready version due: September 30, 2024 
 
 
 
Send questions to <a href="mailto:isaac.2024.conference@gmail.com" target="_blank">isaac.2024.conference@gmail.com</a> 
 
 
 
------------------------------ 
 
Subject: Digest Footer 
 
_______________________________________________ 
dmanet mailing list 
<a href="mailto:dmanet@zpr.uni-koeln.de" target="_blank">dmanet@zpr.uni-koeln.de</a> 
<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> 
 
 
------------------------------ 
 
End of dmanet Digest, Vol 196, Issue 25 
*************************************** 
</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/
*
**********************************************************

Theory Announcements

Sunday, June 16, 2024

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

Mailing Lists

Search This Blog

Blog Archive