[DMANET] Deadline Extension: International Joint Conferences (Hybrid) - Published by Springer LNNS Series (Scopus)

* Deadline Extension: please circulate this CFP to your colleagues and
networks **

------------On multiple requests from several authors, we have extended
the submission deadline till October 20, 2023---------------

------------International Joint Conferences - Published by Springer LNNS
Series (Scopus)---------------
** ISDA 2023 - HIS 2023 - SoCPaR 2023 - IBICA 2023 - IAS 2023 -
NaBIC 2023 - WICT 2023 **

* Onsite and On the World Wide Web *

Publisher: Springer Verlag, LNNS Series
Indexed by: SCOPUS, DBLP, INSPEC, SCImago etc.

* Venue details and accommodation details are now published *
Onsite Venues: Olten, Switzerland; Porto, Portugal; Kaunas, Lithuania;
Kochi, India
Please visit: https://mirlabs.org/ias23/venue2.php [1]

**Important Dates**
---------------------
Paper submission due: September 30, 2023
Notification of paper acceptance: October 31, 2023
Registration and Final manuscript due: November 10, 2023

Conferences: December 11-15, 2023

-- 23rd International Conference on Intelligent Systems Design and
Applications (ISDA 2023)
http://www.mirlabs.net/isda23
Proceedings of ISDA'22:
https://link.springer.com/book/10.1007/978-3-031-27440-4 [2]
Submission link: https://cmt3.research.microsoft.com/ISDA2023 [3]

-- 23rd International Conference on Hybrid Intelligent Systems (HIS
2023)
http://www.mirlabs.net/his23
Proceedings of HIS'22:
https://link.springer.com/book/10.1007/978-3-031-27409-1 [4]
Submission link: https://cmt3.research.microsoft.com/ICHIS2023 [5]

-- 19th International Conference on Information Assurance and Security
(IAS 2023)
http://www.mirlabs.org/ias23
Proceedings of IAS'22:
https://link.springer.com/book/10.1007/978-3-031-27409-1 [4]
Submission link: https://cmt3.research.microsoft.com/IAS2023 [6]

-- 15th International Conference on Soft Computing and Pattern
Recognition (SoCPaR 2023)
http://www.mirlabs.org/socpar23 [7]
Proceedings of SoCPaR'22:
https://link.springer.com/book/10.1007/978-3-031-27524-1 [8]
Submission link: https://cmt3.research.microsoft.com/SOCPAR2023 [9]

-- 15th World Congress on Nature and Biologically Inspired Computing
(NaBIC 2023)
http://www.mirlabs.net/nabic23
Proceedings of NaBIC'22:
https://link.springer.com/book/10.1007/978-3-030-96302-6 [10]
Submission link: https://cmt3.research.microsoft.com/NABIC2023 [11]

-- 14th International Conference on Innovations in Bio-Inspired
Computing and Applications (IBICA 2023)
http://www.mirlabs.net/ibica23
Proceedings of IBICA'22:
https://link.springer.com/book/10.1007/978-3-031-27499-2 [12]
Submission link: https://cmt3.research.microsoft.com/IBICA2023 [13]

-- 13th World Congress on Information and Communication Technologies
(WICT 2023)
http://www.mirlabs.org/wict23
Proceedings of WICT'22:
https://link.springer.com/book/10.1007/978-3-031-27499-2 [12]
Submission link: https://cmt3.research.microsoft.com/WICT2023 [14]

**Plenary Talks**
------------------------
Christine Zarges, Aberystwyth University, UK
Theresa Schmiedel, University of Applied Sciences and Arts Northwestern
Switzerland, Basel, Switzerland
Ke Feng, Singapore-ETH Centre, The National University of Singapore,
Singapore
Stefka Fidanova, Bulgarian Academy of Sciences, Bulgaria
Diego Oliva, Universidad de Guadalajara, Mexico
Sebastian Ventura, University of Cordoba, Spain
Ana Maria Madureira, Instituto Superior de Engenharia do Porto, Portugal
Nuno Bettencourt, Instituto Superior de Engenharia do Porto, Portugal
Aboul Ella Hassanien, Cairo University, Egypt
Milan Tuba, Singidunum University, Serbia
Dalia Kriksciuniene, Vilnius University / Kaunas University of Applied
Sciences, Lithuania
Kusum Deep, Indian Institute of Technology Roorkee, India
João Pedrosa, Instituto de Engenharia de Sistemas e Computadores,
Portugal

** About the International events **
--------------------------------------------------

Provides an international forum to share the latest research results,
ideas and experiences in intelligent systems design and applications;
soft computing; information assurance and security; nature-inspired
computing, pattern recognition; and information and communication
technologies by bringing together the leading communities in this
research space. These events are built on a solid history, through ISDA
to WICT, connecting young researchers with highly experienced peers to
forge connections, which can last for many years.

** Topics (not limited to) **
--------------------------------------

Networking

Mobile Computing
Mobile Adhoc Networks (MANET)
Vehicle Ad Hoc Networks (VANET)
Intelligent Systems and Applications
Hybrid Intelligent Systems
Soft Computing and Pattern Recognition
Nature and Biologically Inspired Computing
Innovations in Bio-Inspired Computing and Applications
Information and Assurance Security
Innovations in Information and Communication Technologies
Wireless Networks
Data Mining
IoT, Cloud Computing
Software Engineering
Digital Learning
Cybersecurity

**Submission Guidelines**
-------------------------------------
Submission of paper should be made through the submission page from the
conference web page.
Please refer to the conference website for guidelines to prepare your
manuscript.

Paper format templates:
https://www.springer.com/de/authors-editors/book-authors-editors/manuscript-preparation/5636#c3324
[15]

**Technical Contact**
---------------------------
Dr. Ajith Abraham
Email: ajith.abraham@ieee.org

Links:
------
[1] https://mirlabs.org/ias23/venue2.php
[2] https://link.springer.com/book/10.1007/978-3-031-27440-4
[3] https://cmt3.research.microsoft.com/ISDA2023
[4] https://link.springer.com/book/10.1007/978-3-031-27409-1
[5] https://cmt3.research.microsoft.com/ICHIS2023
[6] https://cmt3.research.microsoft.com/IAS2023
[7] http://www.mirlabs.org/socpar23
[8] https://link.springer.com/book/10.1007/978-3-031-27524-1
[9] https://cmt3.research.microsoft.com/SOCPAR2023
[10] https://link.springer.com/book/10.1007/978-3-030-96302-6
[11] https://cmt3.research.microsoft.com/NABIC2023
[12] https://link.springer.com/book/10.1007/978-3-031-27499-2
[13] https://cmt3.research.microsoft.com/IBICA2023
[14] https://cmt3.research.microsoft.com/WICT2023
[15]
https://www.springer.com/de/authors-editors/book-authors-editors/manuscript-preparation/5636#c3324
**********************************************************
*
* 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] 3 Research fellowships at IBS Extremal Combinatorics and Probability Group (w. Hong Liu)

Dear Colleagues,

The Extremal Combinatorics and Probability Group (ECOPRO) at the Institute
for Basic Science (IBS) invites applications for up to 3 research
fellowship positions. These are purely research positions and will have no
teaching duties. The appointment is initially 2 years with possible
extension (+3 more years) upon outstanding performance.

ECOPRO is a research group started in April 2022 at IBS, led by Prof. Hong
Liu. We welcome highly motivated postdoc researchers with outstanding
research potential in all fields of combinatorics with emphasis on extremal
and probabilistic combinatorics, graph theory, Ramsey theory, additive
number theory and discrete geometry.

Combinatorics at IBS:

- ECOPRO: https://www.ibs.re.kr/ecopro/
- Related group: Discrete Mathematics Group, led by Prof. Sang-il Oum
https://dimag.ibs.re.kr/

For application details, see any of the following advert links:

- mathjobs: https://www.mathjobs.org/jobs/list/23201
- ECOPRO hiring page: https://www.ibs.re.kr/ecopro/hiring/

The deadline for application is* December 8, 2023*.

A complete application packet should include:

1. AMS standard cover sheet (preferred) or cover letter (PDF format)
2. Curriculum vitae including a publication list (PDF format)
3. Research statement (PDF format)
4. Application for the IBS & Consent to Collection and Use of Personal
Information (PDF file)
5. At least 3 recommendation letters

*How to apply: *submit items 1-4 to ecopro@ibs.re.kr. Recommendation
letters should be sent to ecopro@ibs.re.kr directly from the letter
writers. Informal inquiries can be sent to hongliu@ibs.re.kr.

Best,
Hong

**********************************************************
*
* 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] ISAIM 2024: Second Call for Papers

SECOND CALL FOR PAPERS

Eighteenth International Symposium on
ARTIFICIAL INTELLIGENCE and MATHEMATICS
ISAIM 2024
https://isaim2024.cs.ou.edu/
January 8-10, 2024
Fort Lauderdale, Florida

PAPER SUBMISSION DEADLINE: Monday, October 9, 2023

The International Symposium on Artificial Intelligence and Mathematics (ISAIM) is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intelligence. This is the fifteenth Symposium in the series, which is sponsored by Annals of Mathematics and Artificial Intelligence. We seek submissions of recent results with a particular emphasis on the foundations of AI and mathematical methods used in AI. Papers describing applications are also encouraged, but the focus should be on principled lessons learned from the development of the application. Traditionally, the Symposium attracts participants from a variety of disciplines, thereby providing a unique forum for scientific exchange. The three-day Symposium includes invited speakers, presentations of technical papers, and special topic sessions.

SPECIAL TOPIC INVITED SESSIONS:

o Boolean and pseudo-Boolean Functions
-Organized by Endre Boros, Rutgers University, and Yves Crama, University of Liege

o Alternative Models for Fairness in AI
-Organizers: John Hooker, Tae Wan Kim, and Derek Leben, Carnegie Mellon University

o Deep Reinforcement Learning Workshop: Bridging Theory and Practice
-Organized by Abhishek Gupta, University of Washington, and Zhaorang Wang, Northwestern University

PAPER SUBMISSION:

Paper submission will be electronic via the submission link to OpenReview on the Paper Submission page of the Symposium website (https://isaim2024.cs.ou.edu/). Papers must be formatted in accordance with the guidelines given there. The site will start accepting submissions on October 1st, 2023.

The submission deadline is Tuesday, October 9, 2023 (11:59PM PDT). Papers will be reviewed by members of the Program Committee. Authors will be notified of acceptance or rejection by Wednesday, November 8, 2023. Final versions of accepted papers, for inclusion in the conference electronic proceedings, are due by Wednesday, November 29, 2023.

Work that will have been published as of January 2024 should not be submitted to ISAIM unless it introduces a significant addition to the previously published work. However, the ISAIM web site proceedings are not archival, so papers submitted to ISAIM can be under review at the time of submission and can be submitted elsewhere after ISAIM.

Authors of a selected set of papers from the Symposium will be invited to submit full versions of their papers for inclusion in a special volume of the Annals of Mathematics and Artificial Intelligence, published by Springer. Those invited submissions will be subject to refereeing at the usual standards of the journal, and authors will receive more details with the acceptance notice. Papers must of course be new and unpublished to be considered for the special volume.

Any questions regarding paper submission should be sent to the Program Committee Chairs (Claudio Gentile and Aldo Pacchiano) at the email address <isaim-l@lists.ou.edu>.

IMPORTANT DATES:

Paper submission: Tuesday, October 9, 2023
Notification: Wednesday, November 8, 2023
Final version due: Wednesday, November 29, 2023
Workshop: January 8-10, 2024, Ft. Lauderdale, Florida

ORGANIZERS:

o General Chair: Martin Charles Golumbic, University of Haifa
o Conference Chair: Frederick Hoffman, Florida Atlantic University
o Program Committee Chairs: Claudio Gentile, Google Research, New York
Aldo Pacchiano, Boston University
o Local Organizer: Maria Provost, Florida Atlantic University
o Publications & Publicity Chair: Dimitrios I. Diochnos, University of Oklahoma

Join isaim@googlegroups.com to receive announcements related to ISAIM.

**********************************************************
*
* 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] Call for Papers - Fourth Workshop on Human-Centered Computational Sensing (HCCS’24) @ PerCom 2024 (third call)

Dear Colleagues,

We are pleased to invite you to participate in the Fourth Workshop on
Human-Centered Computational Sensing (HCCS'24)
<https://sites.google.com/view/hccs24/home>, which will be co-located with
the 22nd IEEE International Conference on Pervasive Computing and
Communications (PerCom'24) <http://percom.org/>in Biarritz, France, from
March 11-15, 2024.

The fourth edition of the Human-Centered Computational Sensing (HCCS'24)
Workshop at PerCom 2024 aims to advance and promote research about how
unobtrusive observations of human beings' cognitive, behavioral,
physiological, and contextual data are increasingly enabling new computing
experiences. The workshop will additionally stimulate dialog about the
implications of computational sensing for society. Traditionally, sensors
have been understood narrowly as physiological measurements often captured
with wearable devices. This workshop adopts a broader, human-focused view,
envisioning sensing as time-evolving measurable data directly linked to
individuals and, by extension, to their communities. With this
understanding, sensing involves human reactions and interactions observed
in spoken, written, or signed language, eye gaze, facial and bodily
expressions, social networks, geospatial patterns, and other such
human-generated data. Advances in multimodal human data acquisition and
fusion have the potential to significantly impact all areas of human life -
productivity, health and well-being, training and education, human-computer
interaction, accessibility, safety, and security, as well as gaming,
sports, and entertainment.

Relevant topics include but are not limited to::

- Novel methodologies for collecting and processing multimodal human
sensing data, including remote/online data collection
- Co-sensing of multiple individuals, groups, or communities
- Detection and analysis of human social interactions, behaviour and
habits
- Localization and proximity-detection systems
- User acceptance, quality of experience, and social impact studies
- Accessibility of human sensing technologies
- New interventions acting on human-centered computational sensing
- Fusion of multifaceted, heterogeneous, and/or incommensurable human
sensing data
- Artificial intelligence and machine learning algorithms for
responsible behavioral analysis with human sensing data
- Interactive machine learning guided by humans, with sensing
technologies
- Edge and fog computing architectures for human sensing
- Applications of human-centered computational sensing
- Innovative Human-Computer Interactions based on sensing
- Innovative visualizations and representations of human sensing data
- Evaluation metrics and methodologies
- Experimental analysis with human sensing data from real-world
applications
- Human-centered sensing for healthcare, industry, and social good
- Educational insights from teaching human sensing technologies
- Experiences and lessons learned from research projects focused on
human-centered computational sensing
- Privacy and ethical considerations for human-centered computational
sensing
- Design of human computation sensing promoting diversity.

*Organizers will consider the possibility of inviting authors of selected
papers accepted to HCCS'24 to submit an extended work to a Special Issue of
an international journal.*

---Submission and Registration:
Authors are invited to submit technical or theoretical papers for
presentation at the workshop, describing original, previously unpublished
work, which is not currently under review by another workshop, conference,
or journal. Papers should present novel perspectives within the general
scope of the workshop.
Accepted workshop papers will be included and indexed in the IEEE digital
libraries (Xplore).
Papers may be no more than 6 pages in length. Authors can purchase one
additional page for the camera-ready version. Papers in excess of the page
limits will not be considered for review or publication. All papers must be
typeset in double-column IEEE format using 10pt fonts on US letter paper,
with all fonts embedded. The IEEE LaTeX and Microsoft Word templates, as
well as related information, can be found at the IEEE website.

Submission must be made via EDAS using https://edas.info/N31320.

It is a requirement that all the authors listed in the submitted paper are
also listed in EDAS. The author section of EDAS will be locked after the
workshop submission deadline to ensure that conflict-of-interest can be
properly enforced during the review process. If the list of authors differs
between the paper and EDAS, the paper may not be reviewed.
Each accepted workshop paper requires a full PerCom registration (no
registration is available for workshops only). Papers that are not
presented at the workshop will not be published in the proceedings.

---Important Dates:

- Paper submission deadline: November 17th, 2023 23:59 EST timezone
- Paper notification: January 8th, 2024
- Camera Ready Deadline: February 2nd, 2024
- Registration: same as main conference PerCom 24 papers (no
workshop-only registration)
- HCCS Workshop at PerCom 2024: To be announced (11 or 15 March 2024)

For more information, including the workshop's scope, submission
guidelines, and topics of
interest, please visit the workshop website
<https://sites.google.com/view/hccs24/home> or find the attached Call for
Papers (CFP).

We look forward to your contributions and participation in HCCS'24. If you
have any questions, please do not hesitate to contact us.

Best regards,
Rochester Institute of Technology
Rochester, NY 14623
Email: rt7331@rit.edu
Tel: +1 718-208-0664

Content-Type: text/plain; charset="UTF-8"; name="cfp.txt"
Content-Disposition: attachment; filename="cfp.txt"
Content-Transfer-Encoding: base64
Content-ID: <f_ln556odz0>
X-Attachment-Id: f_ln556odz0

77u/KiBDYWxsIGZvciBQYXBlcnMgKg0KDQoNCkZvdXJ0aCBXb3Jrc2hvcCBvbiBIdW1hbi1DZW50
ZXJlZCBDb21wdXRhdGlvbmFsIFNlbnNpbmcgKEhDQ1PigJkyNCkgY28tbG9jYXRlZCB3aXRoIHRo
ZSAyMm5kIElFRUUgSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIFBlcnZhc2l2ZSBDb21wdXRp
bmcgYW5kIENvbW11bmljYXRpb25zIChQZXJDb20gMjAyNCksIE1hcmNoIDExLTE1LCAyMDIyIC0g
QmlhcnJpdHosIEZyYW5jZS4NCg0KDQpodHRwczovL3NpdGVzLmdvb2dsZS5jb20vdmlldy9oY2Nz
MjQvDQoNCg0KVGhlIGZvdXJ0aCBlZGl0aW9uIG9mIHRoZSBIdW1hbi1DZW50ZXJlZCBDb21wdXRh
dGlvbmFsIFNlbnNpbmcgKEhDQ1PigJkyNCkgV29ya3Nob3AgYXQgUGVyQ29tIDIwMjQgYWltcyB0
byBhZHZhbmNlIGFuZCBwcm9tb3RlIHJlc2VhcmNoIGFib3V0IGhvdyB1bm9idHJ1c2l2ZSBvYnNl
cnZhdGlvbnMgb2YgaHVtYW4gYmVpbmdz4oCZIGNvZ25pdGl2ZSwgYmVoYXZpb3JhbCwgcGh5c2lv
bG9naWNhbCwgYW5kIGNvbnRleHR1YWwgZGF0YSBpcyBpbmNyZWFzaW5nbHkgZW5hYmxpbmcgbmV3
IGNvbXB1dGluZyBleHBlcmllbmNlcy4gVGhlIHdvcmtzaG9wIHdpbGwgYWRkaXRpb25hbGx5IHN0
aW11bGF0ZSBkaWFsb2cgYWJvdXQgdGhlIGltcGxpY2F0aW9ucyBvZiBjb21wdXRhdGlvbmFsIHNl
bnNpbmcgZm9yIHNvY2lldHkuIFRyYWRpdGlvbmFsbHksIHNlbnNvcnMgaGF2ZSBiZWVuIHVuZGVy
c3Rvb2QgbmFycm93bHkgYXMgcGh5c2lvbG9naWNhbCBtZWFzdXJlbWVudHMgb2Z0ZW4gY2FwdHVy
ZWQgd2l0aCB3ZWFyYWJsZSBkZXZpY2VzLiBUaGlzIHdvcmtzaG9wIGFkb3B0cyBhIGJyb2FkZXIs
IGh1bWFuLWZvY3VzZWQgdmlldywgZW52aXNpb25pbmcgc2Vuc2luZyBhcyB0aW1lLWV2b2x2aW5n
IG1lYXN1cmFibGUgZGF0YSBkaXJlY3RseSBsaW5rZWQgdG8gaW5kaXZpZHVhbHMgYW5kLCBieSBl
eHRlbnNpb24sIHRvIHRoZWlyIGNvbW11bml0aWVzLiBXaXRoIHRoaXMgdW5kZXJzdGFuZGluZywg
c2Vuc2luZyBpbnZvbHZlcyBodW1hbiByZWFjdGlvbnMgYW5kIGludGVyYWN0aW9ucyBvYnNlcnZl
ZCBpbiBzcG9rZW4sIHdyaXR0ZW4sIG9yIHNpZ25lZCBsYW5ndWFnZSwgZXllIGdhemUsIGZhY2lh
bCBhbmQgYm9kaWx5IGV4cHJlc3Npb25zLCBzb2NpYWwgbmV0d29ya3MsIGdlb3NwYXRpYWwgcGF0
dGVybnMsIGFuZCBvdGhlciBzdWNoIGh1bWFuLWdlbmVyYXRlZCBkYXRhLiBBZHZhbmNlcyBpbiBt
dWx0aW1vZGFsIGh1bWFuIGRhdGEgYWNxdWlzaXRpb24gYW5kIGZ1c2lvbiBoYXZlIHRoZSBwb3Rl
bnRpYWwgdG8gc2lnbmlmaWNhbnRseSBpbXBhY3QgYWxsIGFyZWFzIG9mIGh1bWFuIGxpZmUgLSBw
cm9kdWN0aXZpdHksIGhlYWx0aCBhbmQgd2VsbC1iZWluZywgdHJhaW5pbmcgYW5kIGVkdWNhdGlv
biwgaHVtYW4tY29tcHV0ZXIgaW50ZXJhY3Rpb24sIGFjY2Vzc2liaWxpdHksIHNhZmV0eSBhbmQg
c2VjdXJpdHksIGFzIHdlbGwgYXMgZ2FtaW5nLCBzcG9ydHMsIGFuZCBlbnRlcnRhaW5tZW50Lg0K
DQoNCiogUmVsZXZhbnQgdG9waWNzIGluY2x1ZGUgYnV0IGFyZSBub3QgbGltaXRlZCB0bzoNCg0K
DQogIC0gTm92ZWwgbWV0aG9kb2xvZ2llcyBmb3IgY29sbGVjdGluZyBhbmQgcHJvY2Vzc2luZyBt
dWx0aW1vZGFsIGh1bWFuIHNlbnNpbmcgZGF0YSwgaW5jbHVkaW5nIHJlbW90ZS9vbmxpbmUgZGF0
YSBjb2xsZWN0aW9uDQogIC0gQ28tc2Vuc2luZyBvZiBtdWx0aXBsZSBpbmRpdmlkdWFscywgZ3Jv
dXBzLCBvciBjb21tdW5pdGllcw0KICAtIERldGVjdGlvbiBhbmQgYW5hbHlzaXMgb2YgaHVtYW4g
c29jaWFsIGludGVyYWN0aW9ucywgYmVoYXZpb3VyIGFuZCBoYWJpdHMNCiAgLSBMb2NhbGl6YXRp
b24gYW5kIHByb3hpbWl0eS1kZXRlY3Rpb24gc3lzdGVtcyANCiAgLSBVc2VyIGFjY2VwdGFuY2Us
IHF1YWxpdHkgb2YgZXhwZXJpZW5jZSwgYW5kIHNvY2lhbCBpbXBhY3Qgc3R1ZGllcw0KICAtIEFj
Y2Vzc2liaWxpdHkgb2YgaHVtYW4gc2Vuc2luZyB0ZWNobm9sb2dpZXMNCiAgLSBOZXcgaW50ZXJ2
ZW50aW9ucyBhY3Rpbmcgb24gaHVtYW4tY2VudGVyZWQgY29tcHV0YXRpb25hbCBzZW5zaW5nDQog
IC0gRnVzaW9uIG9mIG11bHRpZmFjZXRlZCwgaGV0ZXJvZ2VuZW91cywgYW5kL29yIGluY29tbWVu
c3VyYWJsZSBodW1hbiBzZW5zaW5nIGRhdGENCiAgLSBBcnRpZmljaWFsIGludGVsbGlnZW5jZSBh
bmQgbWFjaGluZSBsZWFybmluZyBhbGdvcml0aG1zIGZvciByZXNwb25zaWJsZSBiZWhhdmlvcmFs
IGFuYWx5c2lzIHdpdGggaHVtYW4gc2Vuc2luZyBkYXRhDQogIC0gSW50ZXJhY3RpdmUgbWFjaGlu
ZSBsZWFybmluZyBndWlkZWQgYnkgaHVtYW5zLCB3aXRoIHNlbnNpbmcgdGVjaG5vbG9naWVzDQog
IC0gRWRnZSBhbmQgZm9nIGNvbXB1dGluZyBhcmNoaXRlY3R1cmVzIGZvciBodW1hbiBzZW5zaW5n
IA0KICAtIEFwcGxpY2F0aW9ucyBvZiBodW1hbi1jZW50ZXJlZCBjb21wdXRhdGlvbmFsIHNlbnNp
bmcNCiAgLSBJbm5vdmF0aXZlIEh1bWFuLUNvbXB1dGVyIEludGVyYWN0aW9ucyBiYXNlZCBvbiBz
ZW5zaW5nDQogIC0gSW5ub3ZhdGl2ZSB2aXN1YWxpemF0aW9ucyBhbmQgcmVwcmVzZW50YXRpb25z
IG9mIGh1bWFuIHNlbnNpbmcgZGF0YQ0KICAtIEV2YWx1YXRpb24gbWV0cmljcyBhbmQgbWV0aG9k
b2xvZ2llcw0KICAtIEV4cGVyaW1lbnRhbCBhbmFseXNpcyB3aXRoIGh1bWFuIHNlbnNpbmcgZGF0
YSBmcm9tIHJlYWwtd29ybGQgYXBwbGljYXRpb25zDQogIC0gSHVtYW4tY2VudGVyZWQgc2Vuc2lu
ZyBmb3IgaGVhbHRoY2FyZSwgaW5kdXN0cnksIGFuZCBzb2NpYWwgZ29vZA0KICAtIEVkdWNhdGlv
bmFsIGluc2lnaHRzIGZyb20gdGVhY2hpbmcgaHVtYW4gc2Vuc2luZyB0ZWNobm9sb2dpZXMNCiAg
LSBFeHBlcmllbmNlcyBhbmQgbGVzc29ucyBsZWFybmVkIGZyb20gcmVzZWFyY2ggcHJvamVjdHMg
Zm9jdXNlZCBvbiBodW1hbi1jZW50ZXJlZCBjb21wdXRhdGlvbmFsIHNlbnNpbmcNCiAgLSBQcml2
YWN5IGFuZCBldGhpY2FsIGNvbnNpZGVyYXRpb25zIGZvciBodW1hbi1jZW50ZXJlZCBjb21wdXRh
dGlvbmFsIHNlbnNpbmcNCiAgLSBEZXNpZ24gb2YgaHVtYW4gY29tcHV0YXRpb24gc2Vuc2luZyBw
cm9tb3RpbmcgZGl2ZXJzaXR5Lg0KDQoNCk9yZ2FuaXplcnMgd2lsbCBjb25zaWRlciB0aGUgcG9z
c2liaWxpdHkgb2YgaW52aXRpbmcgYXV0aG9ycyBvZiBzZWxlY3RlZCBwYXBlcnMgYWNjZXB0ZWQg
dG8gSENDU+KAmTI0IHRvIHN1Ym1pdCBhbiBleHRlbmRlZCB3b3JrIHRvIGEgU3BlY2lhbCBJc3N1
ZSBvZiBhbiBpbnRlcm5hdGlvbmFsIGpvdXJuYWwuDQoNCg0KKiBTdWJtaXNzaW9uIGFuZCBSZWdp
c3RyYXRpb246DQoNCg0KQXV0aG9ycyBhcmUgaW52aXRlZCB0byBzdWJtaXQgdGVjaG5pY2FsIG9y
IHRoZW9yZXRpY2FsIHBhcGVycyBmb3IgcHJlc2VudGF0aW9uIGF0IHRoZSB3b3Jrc2hvcCwgZGVz
Y3JpYmluZyBvcmlnaW5hbCwgcHJldmlvdXNseSB1bnB1Ymxpc2hlZCB3b3JrLCB3aGljaCBpcyBu
b3QgY3VycmVudGx5IHVuZGVyIHJldmlldyBieSBhbm90aGVyIHdvcmtzaG9wLCBjb25mZXJlbmNl
LCBvciBqb3VybmFsLiBQYXBlcnMgc2hvdWxkIHByZXNlbnQgbm92ZWwgcGVyc3BlY3RpdmVzIHdp
dGhpbiB0aGUgZ2VuZXJhbCBzY29wZSBvZiB0aGUgd29ya3Nob3AuDQpBY2NlcHRlZCB3b3Jrc2hv
cCBwYXBlcnMgd2lsbCBiZSBpbmNsdWRlZCBhbmQgaW5kZXhlZCBpbiB0aGUgSUVFRSBkaWdpdGFs
IGxpYnJhcmllcyAoWHBsb3JlKS4NClBhcGVycyBtYXkgYmUgbm8gbW9yZSB0aGFuIDYgcGFnZXMg
aW4gbGVuZ3RoLiBBdXRob3JzIGNhbiBwdXJjaGFzZSBvbmUgYWRkaXRpb25hbCBwYWdlIGZvciB0
aGUgY2FtZXJhLXJlYWR5IHZlcnNpb24uIFBhcGVycyBpbiBleGNlc3Mgb2YgdGhlIHBhZ2UgbGlt
aXRzIHdpbGwgbm90IGJlIGNvbnNpZGVyZWQgZm9yIHJldmlldyBvciBwdWJsaWNhdGlvbi4gQWxs
IHBhcGVycyBtdXN0IGJlIHR5cGVzZXQgaW4gZG91YmxlLWNvbHVtbiBJRUVFIGZvcm1hdCB1c2lu
ZyAxMHB0IGZvbnRzIG9uIFVTIGxldHRlciBwYXBlciwgd2l0aCBhbGwgZm9udHMgZW1iZWRkZWQu
IFRoZSBJRUVFIExhVGVYIGFuZCBNaWNyb3NvZnQgV29yZCB0ZW1wbGF0ZXMsIGFzIHdlbGwgYXMg
cmVsYXRlZCBpbmZvcm1hdGlvbiwgY2FuIGJlIGZvdW5kIGF0IHRoZSBJRUVFIHdlYnNpdGUuDQoN
Cg0KU3VibWlzc2lvbiBtdXN0IGJlIG1hZGUgdmlhIEVEQVMgdXNpbmcgaHR0cHM6Ly9lZGFzLmlu
Zm8vTjMxMzIwLg0KDQoNCkl0IGlzIGEgcmVxdWlyZW1lbnQgdGhhdCBhbGwgdGhlIGF1dGhvcnMg
bGlzdGVkIGluIHRoZSBzdWJtaXR0ZWQgcGFwZXIgYXJlIGFsc28gbGlzdGVkIGluIEVEQVMuIFRo
ZSBhdXRob3Igc2VjdGlvbiBvZiBFREFTIHdpbGwgYmUgbG9ja2VkIGFmdGVyIHRoZSB3b3Jrc2hv
cCBzdWJtaXNzaW9uIGRlYWRsaW5lIHRvIGVuc3VyZSB0aGF0IGNvbmZsaWN0LW9mLWludGVyZXN0
IGNhbiBiZSBwcm9wZXJseSBlbmZvcmNlZCBkdXJpbmcgdGhlIHJldmlldyBwcm9jZXNzLiBJZiB0
aGUgbGlzdCBvZiBhdXRob3JzIGRpZmZlcnMgYmV0d2VlbiB0aGUgcGFwZXIgYW5kIEVEQVMsIHRo
ZSBwYXBlciBtYXkgbm90IGJlIHJldmlld2VkLg0KRWFjaCBhY2NlcHRlZCB3b3Jrc2hvcCBwYXBl
ciByZXF1aXJlcyBhIGZ1bGwgUGVyQ29tIHJlZ2lzdHJhdGlvbiAobm8gcmVnaXN0cmF0aW9uIGlz
IGF2YWlsYWJsZSBmb3Igd29ya3Nob3BzIG9ubHkpLiBQYXBlcnMgdGhhdCBhcmUgbm90IHByZXNl
bnRlZCBhdCB0aGUgd29ya3Nob3Agd2lsbCBub3QgYmUgcHVibGlzaGVkIGluIHRoZSBwcm9jZWVk
aW5ncy4NCg0KDQoqIEltcG9ydGFudCBEYXRlczoNCg0KDQogICAtIFBhcGVyIHN1Ym1pc3Npb24g
ZGVhZGxpbmU6IE5vdmVtYmVyIDE3dGgsIDIwMjMgMjM6NTkgRVNUIHRpbWV6b25lDQogICAtIFBh
cGVyIG5vdGlmaWNhdGlvbjogSmFudWFyeSA4dGgsIDIwMjQNCiAgIC0gQ2FtZXJhIFJlYWR5IERl
YWRsaW5lOiBGZWJydWFyeSAybmQsIDIwMjQNCiAgIC0gUmVnaXN0cmF0aW9uOiBzYW1lIGFzIG1h
aW4gY29uZmVyZW5jZSBQZXJDb20gMjQgcGFwZXJzIChubyB3b3Jrc2hvcC1vbmx5IHJlZ2lzdHJh
dGlvbikNCiAgIC0gSENDUyBXb3Jrc2hvcCBhdCBQZXJDb20gMjAyNDogVG8gYmUgYW5ub3VuY2Vk
ICgxMSBvciAxNSBNYXJjaCAyMDI0KQ0KDQoNCg0KDQoqIE9yZ2FuaXplcnM6DQoNCg0KV29ya3No
b3AgY28tY2hhaXJzDQogICAtIEZyYW5jYSBEZWxtYXN0cm8gKElJVC1DTlIpDQogICAtIE1pY2hl
bGUgR2lyb2xhbWkgKElTVEktQ05SKQ0KICAgLSBGYWJyaWNlIFRoZW9sZXlyZSAoQ05SUykNCg0K
DQpQdWJsaWNpdHkgY28tY2hhaXJzDQogICAtIFJhamVzaCBUaXR1bmcgKFJvY2hlc3RlciBJbnN0
aXR1dGUgb2YgVGVjaG5vbG9neSkNCiAgIC0gVmlldCBEdW5nIE5ndXllbiAoUm9jaGVzdGVyIElu
c3RpdHV0ZSBvZiBUZWNobm9sb2d5KQ0KICAgLSBNYXR0aWEgRy4gQ2FtcGFuYSAoSUlULUNOUikN
Cg0KDQpTdGVlcmluZyBDb21taXR0ZWUNCiAgIC0gQ2VjaWxpYSBPLiBBbG0gKFJvY2hlc3RlciBJ
bnN0aXR1dGUgb2YgVGVjaG5vbG9neSkNCiAgIC0gUmV5bm9sZCBCYWlsZXkgKFJvY2hlc3RlciBJ
bnN0aXR1dGUgb2YgVGVjaG5vbG9neSk
**********************************************************
*
* 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] SIAM Conference on Discrete Mathematics (DM24) - Call for Participation

The call for participation for the SIAM Conference on Discrete Mathematics (DM24)<https://www.siam.org/conferences/cm/conference/dm24> is now open!

SIAM Conference on Discrete Mathematics (DM24)

This is the conference of the SIAM Activity Group on Discrete Mathematics<https://www.siam.org/membership/activity-groups/detail/discrete-mathematics>.

This conference is being held jointly with: SIAM Annual Meeting (AN24)<https://www.siam.org/conferences/cm/conference/an24> and SIAM Conference on Applied Mathematics Education (ED24)<https://www.siam.org/conferences/cm/conference/ed24>.

Location:

Spokane Convention Center, Spokane, Washington, U.S.

Dates:

July 8-11, 2024

The Call for Participation is available here<https://www.siam.org/conferences/cm/conference/dm24>.

Submission Deadlines (11:59 p.m. Eastern Time):

January 10, 2024 - Minisymposium Proposal Submissions

January 31, 2024 - Contributed Lecture and Minisymposium Presentation Abstracts

SIAM Student Travel Award and Early Career Travel Award Applications:

April 8, 2024 - Travel Fund Application Deadline (11:59 p.m. Eastern Time)

Please click here<https://www.siam.org/conferences/cm/submissions-and-deadlines/dm24-submissions-deadlines> for detailed submission information.

Organizing Committee Co-Chairs:

Peter Keevash, University of Oxford, United Kingdom

Blair D. Sullivan, University of Utah, U.S.

Organizing Committee:

Noga Alon, Princeton University, U.S.

Alexander Barvinok, University of Michigan, U.S.

Henry Cohn, Microsoft Research New England, U.S.

Igor Pak, University of California, Los Angeles, U.S.

Luke Postle, University of Waterloo, Canada

Emilie Purvine, Pacific Northwest National Laboratory, U.S.

Lisa Sauermann, Massachusetts Institute of Technology, U.S.

Jan Vondrak, Stanford University, U.S.

Tandy Warnow, University of Illinois Urbana-Champaign, U.S.

Julia Wolf, University of Cambridge, United Kingdom

#SIAMDM24

For additional information, contact the SIAM Conference Department<mailto:meetings@siam.org>.

Did you know? SIAM regular members can nominate up to two students per year for free membership. Nominate now<https://www.siam.org/forms/nominate-a-student> and remember to renew your 2024 membership<https://my.siam.org/> if you haven't yet!

**********************************************************
*
* 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] Assistant/Associate/Full professor - AI in Complex Systems

The Department of Industrial and Systems Engineering at University of Florida in Gainesville, Florida, has an opening for a full-time open-rank tenured or tenure-track faculty position. We seek persons with expertise in various ISE methods and artificial intelligence (AI) for modeling, analyzing, or optimizing complex systems. Areas of methodological emphasis/focus include (but are not limited to) stochastic modeling, data analytics, machine learning, natural language processing, operations research, and optimization. The ideal candidate will have prior experience in the interplay between ISE methods and AI applications in specific domain(s), including (but not limited to): financial systems and financial technology (FinTech); supply chains and logistics; cybersecurity and privacy; fairness, equity and ethics in AI algorithms; interpretability/ explainability of AI; social networks and social science (in general); sustainable AI systems; and energy and/or transportation systems.

Please go to https://listserv.zib.de/mailman/listinfo/opt-net for more information. Thanks!

Best regards,
Yu

**********************************************************
*
* 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] PLanQC (Programming Languages for Quantum Computing) 2024: Call for Submissions

PLanQC 2024: Programming Languages for Quantum Computing

Call for Submissions

We invite members of the programming languages and quantum computing
communities to submit talk proposals for the 4th International Workshop on
Programming Languages for Quantum Computing (PLanQC 2024), co-located in
January 2024 with POPL in London, the United Kingdom.

PLanQC aims to bring together researchers from the fields of programming
languages and quantum information, exposing the programming languages
community to the unique challenges of programming quantum computers. It
will promote the development of tools to assist in the process of
programming quantum computers, as they exist today and as they are likely
to exist in the near to distant future.

Submissions to PLanQC should take the form of 2-5 page abstracts
(single-column, 11pt acmsmall style, not including references), with links
to larger preprints when appropriate. Work in progress is welcome. We hope
to make PLanQC maximally accessible to the programming languages community.
Thus, abstracts should cover cutting edge ideas and results, but not be
opaque to new, potential entrants to quantum computing coming from
programming languages. Abstracts will be reviewed for quality and relevance
to the workshop, and accepted authors will be invited to give talks or
poster presentations. We will not be publishing formal proceedings, but the
extended abstracts, along with links (where available) to full papers will
be posted to the website of the workshop.

Workshop topics include (but are not limited to):

• High-level quantum programming languages

• Verification tools for quantum programs

• Novel quantum programming abstractions

• Quantum circuit and program optimizations

• Hardware-aware circuit compilation and routing

• Error handling, mitigation, and correction

• Instruction sets for quantum hardware

• Other techniques from traditional programming languages (e.g., types,
compilation/optimization, foreign function interfaces) applied to the
domain of quantum computation.

-------------------------------------------------------------------------

Important dates:

• Submission deadline: 3 November 2024 (anywhere on earth)

• Author notification: 6 December 2024

• Workshop: TBA (tentatively: 20 January 2024)

-------------------------------------------------------------------------

Important links:

• Website: https://popl24.sigplan.org/home/planqc-2024

• Submission: https://planqc2024.hotcrp.com/
<https://planqc2022.hotcrp.com/>

-------------------------------------------------------------------------

Program Committee:

Matthew Amy, Simon Fraser University

Ross Duncan, Cambridge Quantum Computing Ltd

Cassandra Granade, Microsoft

Kesha Hietala, University of Maryland

Robin Kaarsgaard, University of Southern Denmark

Jennifer Paykin, Intel Labs

Robert Rand, University of Chicago

Mathys Rennela (chair), INRIA / ENS Paris

Neil Julien Ross, Dalhousie University

Amr Sabry, Indiana University

Peter Selinger, Dalhousie University

Kate Smith, Northwestern University

Michael Walter, Ruhr University Bochum

John van de Wetering, University of Amsterdam

Margherita Zorzi, University of Verona

Organizing Committee:

Matt Amy, Simon Fraser University

Ross Duncan, Cambridge Quantum Computing

Robert Rand, University of Chicago

Neil Julien Ross, Dalhousie University

Mathys Rennela, INRIA / ENS Paris

**********************************************************
*
* 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] Open Rank Search in Data Science for Health at Lehigh University

The Department of Industrial and Systems Engineering at Lehigh University
invites applications at all ranks for a position in Data Science for Health.

Junior (tenure-track) applicants should apply at
https://academicjobsonline.org/ajo/jobs/25984

Senior applicants should apply at
https://academicjobsonline.org/ajo/jobs/25975

Review of applications will begin on October 15, 2023.

Please feel free to reach out to the Search Committee Chair (Ted Ralphs) at
ted@lehigh.edu with questions.

Dr. Ted Ralphs
Professor, Industrial and Systems Engineering
Lehigh University
(610) 628-1280
ted 'at' lehigh 'dot' edu
coral.ie.lehigh.edu/~ted

**********************************************************
*
* 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] EuroCG 2024: First Call for Contributions

[ Sorry if you have received multiple copies of this email. ]

==================
Call for Contributions
==================

40th European Workshop on Computational Geometry
March 13-15 2024, Ioannina, Greece
https://eurocg2024.math.uoi.gr/

EuroCG 2024 will be held March 13-15, 2024 in Ioannina, Greece. EuroCG is
an annual workshop that combines a strong scientific tradition with a
friendly and informal atmosphere. The workshop is a forum where established
researchers and students can meet, discuss their work, present their
results, and establish scientific collaborations.

===============
Important Dates
===============

Submission Deadline: January 10, 2024
Acceptance Notification: February 12, 2024
Early Registration ends: February 21, 2024
Camera-ready version: February 21, 2024
EuroCG 2024: March 13-15, 2024
All deadlines are 23:59 AoE.

===============
Invited speakers
===============

- Walter Didimo (University of Perugia, Italy)
- Ioannis Emiris (Athena Research Center / National & Kapodistrian
University of Athens, Greece)
- Xavier Goaoc (Université de Lorraine, Nancy, France)

===============
Topics of interest
===============

Topics of interest cover all aspects of computational geometry, including
but not limited to the following:

- discrete and combinatorial geometry and topology,
- design and analysis of geometric algorithms and data structures,
- implementation and experimental evaluation of geometric algorithms,
- numerical and algebraic issues arising from implementations,
- analysis of geometric configurations,
- geometric modeling, visualization and simulation,
- combinatorial optimization,
- graph drawing,
- structural molecular biology,
- geometric puzzle analysis,
- geographic information systems,
- robotics and virtual worlds, and
- computer-aided design and manufacturing.

===========
Submission
===========

We invite authors to submit extended abstracts of their original research.
Submissions must be formatted in LaTeX using a supplied class file, and not
be longer than 175 lines of text. Submissions will be handled through
EasyChair.

Authors must use the LaTeX class files eurocg24 and eurocg24-submission,
which are based on the LIPICS class file. These class files should
automatically count all lines containing text, excluding title and
references, and excluding figures. Authors are expected to make reasonable
effort to make sure all lines that contain text are counted: the class file
should be considered an aid, and the responsibility of correctly counting
lines remains with the authors. A zip file containing an example of how to
use the class file can be found here.

Your submission should provide a clear statement of your results including
proofs. The main (175 line) body of your submission should be
self-contained and contain a clear and succinct description of your
results. Content that does not fit in the main body due to space
restrictions must be placed into a clearly marked appendix, which will only
be read at the discretion of the program committee.

================
Acceptance Policy
================

EuroCG is a non-competitive forum. We will accept all submissions which are
original, correct, well-presented, non-trivial, and in scope. The program
committee judges submissions on these five criteria, each of which can lead
to rejection. If a submission satisfies all criteria, then it will be
accepted: there is no competition against other submissions.

- Originality. If a submission does not contain original research by the
authors, or if there is good reason to believe this is the case, this is a
reason for rejection. We do not accept submissions which have already been
accepted for publication elsewhere. However, we do explicitly allow
submissions that are under review at another conference or journal (at the
time of submission to EuroCG).

- Correctness. If the main / a major result of a submission is not correct,
this is a reason for rejection. If an attentive reviewer cannot establish
correctness of the results from the content of the submission, this is a
reason for rejection. However, an acceptance at EuroCG is no correctness
guarantee.

- Presentation. If a submission is written in a way that makes it
unreadable, or it does not follow the submission guidelines as listed in
the call for contributions, this is a reason for rejection.

- Technical Depth. If a submission is trivial, this is a reason for
rejection. However, there is no "minimum level" of technical depth required.

- Scope. If a submission is out of scope, this is a reason for rejection.
However, we wish to be inclusive in our interpretation of scope, which
includes but is not limited to the list of topics in the call for
contributions.

============
Proceedings
============

EuroCG does not have formally reviewed proceedings. A booklet of abstracts,
without ISBN, will be accessible online on the website for the benefit of
the community and must be regarded as a collection of preprints rather than
a formally reviewed selection of papers. Results presented at EuroCG are
expected to appear in other conferences with formal proceedings and/or in
journals. In particular, papers that have been submitted to other formally
reviewed conferences are eligible for presentation at EuroCG, assuming they
have not been presented at a conference or published in a journal by the
time of the conference. Authors of selected papers will be invited to
submit extended versions to a special issue of the Computational Geometry
Theory and Applications (CGTA) journal.

Authors of accepted submissions are expected to present their work at the
conference (in-person). Failure to do so, may result in removal of the
contribution from the booklet of abstracts and conference website.

There will also be a voting for the Best Student Presentation.

==================
Program Committee
==================

Patrizio Angelini (John Cabot University)
Gill Barequet (Technion - Israel Institute of Technology)
Michael A. Bekos - co-chair (University of Ioannina)
Kevin Buchin (Technical University Dortmund)
Markus Chimani (Osnabrück University)
Sabine Cornelsen (University of Konstanz)
Giordano Da Lozzo (Roma Tre University)
Ioannis Z. Emiris (Athena Research Center / National & Kapodistrian
University of Athens)
Loukas Georgiadis (University of Ioannina)
Joachim Gudmundsson (The University of Sydney)
Siddharth Gupta (University of Warwick)
Balázs Keszegh (Alfréd Rényi Institute of Mathematics)
Anna Lubiw (University of Waterloo)
Eunjin Oh (Pohang University of Science and Technology)
Tim Ophelders (Utrecht University and TU Eindhoven)
Leonidas Palios (University of Ioannina)
Charis Papadopoulos - co-chair (University of Ioannina)
Maria Saumell (Czech Technical University in Prague)
Lena Schlipf (Universität Tübingen)
Christiane Schmidt (Linköping University)
Bettina Speckmann (Eindhoven University of Technology)
Joachim Spoerhase (University of Sheffield)
Frank Staals (Utrecht University)
Sabine Storandt (University of Konstanz)
Antonios Symvonis (National Technical University of Athens)
Alessandra Tappini (University of Perugia)
Torsten Ueckerdt (Karlsruhe Institute of Technology)
Yelena Yuditsky (Université libre de Bruxelles)
Ivor van der Hoog (Technical University of Denmark)

====================
Organizing Committee
====================

Michael A. Bekos - co-chair (University of Ioannina)
Charis Papadopoulos - co-chair (University of Ioannina)
Maria Eleni Pavlidi (University of Ioannina)
Konstantina Tzouvara (University of Ioannina)
George Velissaris (University of Ioannina)

Looking forward to seeing you in Ioannina.
The organizers.

**********************************************************
*
* 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] Multiple Continuing (Tenure-Track) Academic Positions, School of Computer Science, University of Sydney

Dear colleagues,

The School of Computer Science at the University of Sydney (Sydney,
Australia) is seeking applications for several academic positions at all
levels. Successful applicants will have an excellent research record and be
able to teach a range of courses. The school is embarking on an exciting
growth journey, adding several new continuing positions, which will
complement our core areas of strength and push the frontiers to new
research areas. We are particularly interested in applicants that enhance
the range of research in the School or build connections between our
research areas.

The School of Computer Science at the University of Sydney welcomes
outstanding applicants in all areas of computer science, in particular in:
all areas of systems research, all areas of AI/ML, software engineering,
programming languages and visualisation.

All positions are full-time, continuing (tenure-track) roles based in
Sydney.

For the full details on the positions and to apply, please visit the
following link:
https://usyd.wd3.myworkdayjobs.com/en-US/USYD_EXTERNAL_CAREER_SITE/details/Multiple-Continuing--Tenure-Track--Academic-Positions--School-of-Computer-Science_0111116-2

Closing date: 11:59pm, 30 November 2023 (Sydney time)

Regards,
André van Renssen

Dr. André van Renssen (he/him) | Lecturer and Deputy Undergraduate Director
School of Computer Science | Faculty of Engineering
The University of Sydney

**********************************************************
*
* 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] Postdoctoral fellow in discrete mathematics in Amsterdam

Dear colleagues,

We seek outstanding, highly motivated researchers for a postdoc in discrete
mathematics in Amsterdam, with a priority towards *extremal/probabilistic
combinatorics* and *structural graph theory*.

The *two-year* position would be embedded in the Discrete Mathematics and
Quantum Information (DMQI) group at the Korteweg-de Vries Institute for
Mathematics at the *University of Amsterdam*. It would also be embedded in
a Dutch multi-site consortium, *NETWORKS*, devoted to the algorithmic,
combinatorial, stochastic analysis of large-scale networks. The scope of
potential research is wide, but should relate well to the (broad) themes of
NETWORKS and be compatible with interests of the DMQI group.

The working conditions are good and subject to the collective agreement for
Dutch university employees (CAO NU). The Netherlands is a compact,
comfortable, well-connected country, enjoying a high standard of living.
Amsterdam is a fun, open, international, and vibrant city.

*Note on eligibility*: because of the funding, the EU COFUND programme,
there are some special criteria, in particular, being with 3 years of PhD
and not having resided in the Netherlands for too long in the previous 3
years.

The deadline for application is *20 October 2023*.

There is some flexibility in the starting date, but preferred is *1 January
2024*.

NETWORKS and the DMQI group are active in promoting openness, diversity,
equity and inclusion. As such, we *welcome and encourage applicants of all
backgrounds*.

For particulars of the application procedure, see

https://www.thenetworkcenter.nl/uploaded_files/document/230920_Networks_Cofund_Infopackage_UvA_DMQI.pdf

To apply, go to

https://vacatures.uva.nl/UvA/job/Postdoctoral-fellow/779466602/

Do not hesitate to write to Ross Kang (r.kang@uva.nl) with any informal
inquiries.

**********************************************************
*
* 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] Discrete Maths&CS, thematic month: deadline for grant application

Dear all,

A thematic month will be hosted at CIRM (Marseille, France) about
discrete mathematics & computer science during February 2024.
It will consist in 5 successive weeks as follows:
- week 1 (Jan 29 - Feb 2): introductory research school on all topics
and their interactions;
- week 2 (Feb 5 - Feb 9): GAGTA, Geometric and Asymptotic Group Theory
with Applications;
- week 3 (Feb 12 - Feb 16): Complexity of Simple Dynamical Systems,
celebrating Jarkko Kari's 60th birthday;
- week 4 (Feb 19 - Feb 23): Randomness, Information & Complexity;
- week 5 (Feb 26 - Mar 1): Combinatorics on Words.

More details, including updated lists of speakers for each week and
registration instructions are available at:
https://conferences.cirm-math.fr/3007.html

Young researchers are particularly encouraged to attend the 1st week,
and other weeks, and can apply for financial support (at least for
accomodation, maybe transport).
This has to be done by submitting a CV and cover letter through the
registration form:

**BEFORE NOVEMBER 1st.**
(the applicants should receive an answer by mid-november)

In parallel, young researchers from developing countries can apply for
a CIMPA fellowship:

**BEFORE OCTOBER 15th: https://www.cimpa.info/en/node/7399 .**

Participation to several weeks or the entire month is warmly
encouraged. The CIRM offers all-inclusive accommodation (including
week-ends) with an excellent work environment in a peaceful atmosphere
at the gates of the beautiful Calanques national park.
More info on CIRM: https://www.cirm-math.com/participants.html .

Looking forward to seeing you at CIRM!
The organizing committee

**********************************************************
*
* 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] Full Professor at Graz University of Technology (Austria)

We are looking for a candidate with proven scientific expertise who will
represent the field of "Foundations of Computer Science" in research and
teaching. Applications from any subfield of theory are welcome.

Website: https://jobs.tugraz.at/en/jobs/420c4db3-04e5-03d8-b900-644692009399
Email: professorship@igi.tugraz.at
**********************************************************
*
* 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] Four PhD Positions in Computer Science.

We are looking for PhD candidates to join the TACsy (Training Alliance
for Computational Systems Chemistry) Marie-Skłodowska-Curie Joint
Doctoral Network. This network consists of fifteen (15) highly
interlinked PhD projects, of which these particular four calls are
for:

* DC1 PhD Position in Computer Science
https://www.sdu.dk/en/service/ledige_stillinger/1215300

* DC3 PhD Position in Computer Science/Cheminformatics
https://www.sdu.dk/en/service/ledige_stillinger/1215301

* DC6 PhD Position in Computer Science/Cheminformatics/Applied Mathematics
https://www.sdu.dk/en/service/ledige_stillinger/1215302

* DC13 PhD Position in Computer Science/Machine Learning
https://www.sdu.dk/en/service/ledige_stillinger/1215303

The application deadline is 23 October 2023. The anticipated start
date is 1 January 2024, but flexibility in both directions is
possible. All positions are fully funded, with very competitive
salaries.

The TACsy consortium encompasses 11 partners across six countries in
Europe and North America, including both academic institutions and
industrial partners. The consortium consists of world-class scientists
with competences spanning chemistry, biochemistry, computer science,
and machine learning. All doctoral candidates will work with two
research groups, and will obtain a degree from both host institutions,
and complete research stays either at world-leading industry partners
or at prestigious non-European academic partners:

University of Southern Denmark (DK)
University of Vienna (AT)
Leipzig University (DE)
Friedrich-Schiller-University Jena (DE)
TU Vienna (AT)
The University of Sheffield (UK)
European Molecular Biology Laboratory (EMBL)
BASF SE (DE)
Fluigent SA (FR)
Thermo Fisher Scientific GMBH (DE)
Harvard Medical School (US)

The candidates will all be part of a strong joint PhD training
programme, with a focus on career development, application writing,
communication skills, and community building through scientific summer
schools.

TACsy wishes our staff to reflect the diversity of society and thus
welcomes applications from all qualified candidates regardless of
personal background. We are searching for a diverse group of
candidates with very different backgrounds and qualities, who inspire
and motivate each other. We want every talent to feel at home in our
organisations and to have the same career opportunities. The position
of working hours is flexible in order to accommodate individual needs
and allow for the best possible work-life balance for each candidate.

* More details on TACsy and the projects: https://tacsy.eu/

* For questions, please contact project leader Daniel Merkle, tel.:
+45 6550 2322, e-mail: daniel@imada.sdu.dk.

**********************************************************
*
* 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] Call for Applications: Berlin Mathematical School (BMS) – Get Your Math PhD in Berlin

Dear DMANET Community,

The application for the BMS program is open and we kindly ask you to forward our call for applications to your colleagues and students all around the world.

Berlin Mathematical School (BMS) – Get Your Math PhD in Berlin

The Berlin Mathematical School is the graduate school of the Cluster of Excellence MATH+ (http://www.mathplus.de <http://www.mathplus.de/>) and a joint endeavor of the mathematics departments at the universities in Berlin: Freie Universität (FU), Humboldt-Universität (HU) and Technische Universität (TU).

We offer an excellent doctoral program taught in English in a broad and active research environment together with mentoring programs, language courses, soft-skills seminars, funding for summer schools and conferences, a buddy program and funding for students with children.

"Mathematics as a whole" is a leading principle of the BMS. Its focus encompasses fields that are traditionally termed "pure" or "applied" mathematics, though we prefer not to make that distinction. Instead, research topics are grouped into eight parts, each covering a broad, but coherent, part of mathematics:

1. Differential geometry, global analysis, and mathematical physics
2. Algebraic and arithmetic geometry, number theory
3. Stochastics and mathematical finance
4. Discrete mathematics and optimization
5. Geometry, topology, and visualization
6. Numerical analysis and scientific computing
7. Applied analysis and differential equations
8. Mathematics of data science

For applicants with a Bachelor, Phase I offers a basic graduate phase of 3-4 semesters completed by a qualifying exam. Phase II is the research phase and open to candidates with a Master's degree. It lasts 4-6 semesters in which candidates conduct specialized research and attend at least one advanced course per semester.

All you need to know about applying to the BMS is available online:
http://www.math-berlin.de/images/guidelines/BMS_PhD_Application_Guidelines.pdf <http://www.math-berlin.de/images/guidelines/BMS_PhD_Application_Guidelines.pdf>

You can apply at: http://www.math-berlin.de/application

Application Deadlines
The first round application deadline of 1 December 2023 is for
- Phase I applicants requiring admission with scholarship
- Phase II who want to start before August 2024.

The second round application deadline of 1 April 2024 is for
- Phase I applicants requiring admission only
- Phase II applicants who want to start in August, September or October 2024.

Contact: application@math-berlin.de

Best regards,

Holger Reich, BMS Chair
Gavril Farkas, BMS Vice-Chair
John M. Sullivan, BMS Vice-Chair
Annika Preuß-Vermeulen, BMS Coordinator
and Nadja Wisniewski, MATH+ Managing Director

Berlin Mathematical School (BMS)
MATH+: The Berlin Mathematics Research Center
Cluster of Excellence

Technische Universität Berlin
Sekr. MA 2-2
Strasse des 17. Juni 136
10623 Berlin, Germany

www.mathplus.de
www.math-berlin.de

--
Prof.Dr.Christian Haase Arnimallee 3 (Zi 036)
Mathematik D-14195 Berlin
Freie Universität Berlin Fon: +49 (0) 30 838-59184

**********************************************************
*
* 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] SNAMS 2023 Workshops CFP, Abu Dhabi, UAE. November 21-24, 2023.

The 10th International Conference on Social Networks Analysis, Management
and Security Workshops (SNAMS-2023)

https://emergingtechnet.org/SNAMS2023/workshops.php

Abu Dhabi, UAE. November 21-24, 2023.

*(Technically Co-Sponsored by IEEE UAE Section)*
*SNAMS 2023 Workshops CFP*

*The 11th International workshop on Big Data and Social Networking
Management and Security (BDSN 2023) *
http://emergingtechnet.org/SNAMS2023/Workshops/BDSN2023/

*The 7th International Workshop on Data Science Engineering and its
Applications (DSEA 2023) *
http://emergingtechnet.org/SNAMS2023/Workshops/DSEA2023/

*The 9th International Workshop on Online Social Networks Technologies
(OSNT 2023) *
http://emergingtechnet.org/SNAMS2023/Workshops/OSNT2023/

*The 7th International Workshop on Advances in Natural Language Processing
(ANLP 2023) *
http://emergingtechnet.org/SNAMS2023/Workshops/ANLP2023/

* The 6th International Workshop on Sentiment Analysis and Mining of Social
Networks (SAMSN 2023) *
http://emergingtechnet.org/SNAMS2023/Workshops/SAMSN2023/

* The International Workshop on Cognitive and Neural Systems (CNS 2023) *
http://emergingtechnet.org/SNAMS2023/Workshops/CNS2023/index.php

All accepted papers will be published in the conference proceedings and
submitted to IEEE.
*Submissions Guidelines and Proceedings*

Manuscripts should be prepared in 10-point font using the IEEE 8.5" x 11"
two-column format (IEEE Templates
<https://www.ieee.org/conferences_events/conferences/publishing/templates.html>).
All papers should be in PDF format, and submitted electronically at Paper
Submission Link. A full paper must not exceed the stated length (including
all figures, tables and references). Submitted papers must present original
unpublished research that is not currently under review for any other
conference or journal. Papers not following these guidelines may be
rejected without review. Also submissions received after the due date,
exceeding length limit, or not appropriately structured may also not be
considered. Authors may contact the Program Chair for further information
or clarification.

All submissions are peer-reviewed by at least three reviewers. Accepted
papers will appear in the SNAMS Proceedings, and be submitted to IEEE for
inclusion.

Submitted papers must include original work, and must not be under
consideration for another conference or journal. Submission of regular
papers must not exceed 8 pages and must follow the IEEE paper format.
Please include up to 7 keywords, complete postal and e-mail address, and
fax and phone numbers of the corresponding author. Authors of accepted
papers are expected to present their work at the conference. Submitted
papers that are deemed of good quality but that could not be accepted as
regular papers will be accepted as short papers. Length of short papers
*Important Dates*

*Submission Date: 1 October 2023 *
Notification to Authors: 25 October 2023
Camera Ready and Registration: 5 November 2023

Please send any inquiry to the SNAMS at: emergingtechnetwork@gmail.com

**********************************************************
*
* 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] Call for nominations: 2023 Victor Lesser Distinguished Dissertation Award

Call for nominations: 2023 Victor Lesser Distinguished Dissertation Award

IFAAMAS, the International Foundation for Autonomous Agents and
Multiagent Systems, is pleased to announce the call for the 2023
Victor Lesser Distinguished Dissertation Award.

The award is named after Professor Victor Lesser, a long-standing
member of the AAMAS community who has supervised a large number of
outstanding PhD students in the area. It is awarded for dissertations
written as part of a PhD, defended in the specified period, and
nominated by the supervisor (with supporting references), which show
originality, significance and impact, and are supported by high
quality publications.

Nominations are invited for the award which is sponsored by IFAAMAS
and will be presented at AAMAS-2024.

Eligible doctoral dissertations are those defended between October 1,
2022 and September 30, 2023 (both endpoints included) in the area of
Autonomous Agents or Multiagent Systems.

The award includes a certificate and a 1500 EUR payment.

Important Dates:
Submission deadline: Oct 31th, 2023

Selection procedure:
The selection of the dissertation will be based on the originality,
significance, and impact of the work. Evidence of such impact includes
publications at highly selective conferences and journals in the
field, with due importance given to the AAMAS conference series and
JAAMAS. Research output that resulted primarily from the student's
initiative will be considered more favourably.

The selection committee will be the final arbiter in the decision
process. The selection committee might also decide to consult external
assessors, and reserves the right to not award the prize if the
nominations do not meet the expected quality level.

Every submitted dissertation must be nominated by the thesis
supervisor and must be supported by the following 4 (four) documents,
all of which should be delivered via the (Google Form) link below by
Oct 31th, 2023:

a) A link to a PDF file of the dissertation. If the dissertation is
not written in English, the nomination must include an accessible link
to a substantial manuscript in English, with the nominee as the first
author, published in a peer-reviewed journal or conference.

b) A PDF that contains a list of publications that have arisen from
the dissertation, with links to the published papers.

c) A recommendation from the dissertation supervisor, on departmental
letterhead, nominating the dissertation for the 2023 Victor Lesser
Distinguished Dissertation Award. The recommendation should explain
the contribution of the dissertation to the field of autonomous agents
and multiagent systems, argue the merit and possible future impact of
the work, and highlight, where relevant, how the work resulted from
the initiative of the student. Finally, this document should certify
the eligibility of the PhD by asserting that the PhD was successfully
defended between October 1st, 2022 and September 30th, 2023.

d) A PDF with the names, email addresses, and affiliations of at least
one and at most three referees, familiar with the research of the
candidate and experts in the pertinent research area, who will
directly email their recommendations for the candidate to the chair of
the selection committee (Svetlana Obraztsova,
svetlanaobraztsova@cunet.carleton.ca). A reference letter should be no
more than 500 words in length and should be on an official letterhead,
signed and emailed as a PDF file. To ease the recovery of these
emails, it is recommended that the subject of the recommendation
letter email should be "2023 Victor Lesser Award: Recommendation:
<name of the candidate>"

Note: it is the responsibility of the dissertation supervisor to
contact the referees and ensure that letters (max 500 words, signed,
and on letterhead) are submitted by the deadline.

Though the nomination is to be submitted by the nominee's dissertation
supervisor, it is required that the nominee has consented that the
dissertation be considered for this award and, if selected for the
award, commits to attend the AAMAS-2024 conference, where they will
receive the award and will give a presentation on the work contained
in the dissertation at a special session of the conference. The cost
of attending the conference is not covered by the award.

Submission Link: https://forms.gle/bc2VWuH9xmMxjagi6
Submission deadline: Oct 31th, 2023

For questions, please contact the chair of the selection committee:
Svetlana Obraztsova, svetlanaobraztsova@cunet.carleton.ca

Best of luck,
Svetlana Obraztsova

**********************************************************
*
* 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/
*
**********************************************************

Re: [DMANET] 2nd Fortaleza Workshop in Combinatorics (ForWorC 2023)

Dear all,

Registration for the 2nd edition of the *Fortaleza Workshop in
Combinatorics (ForWorC 2023)* is now open, until 27 october. It is free,
but mandatory through the Indico system. Please use the following: link
<https://indico.pg.utfpr.edu.br/event/17/>.

The program of the event has also been updated.

For further information, please visit: pgmat.ufc.br/forworc2 or contact
julio@mat.ufc.br .

On the behalf of the organizing committee,

Em ter., 5 de set. de 2023 às 09:56, Julio Araujo <julio@mat.ufc.br>
escreveu:

> Dear all,
>
> We are pleased to announce the 2nd edition of the *Fortaleza Workshop in
> Combinatorics (ForWorC 2023)*. It will happen from *06 to 10 november
> 2023* at the Mathematics Department of the Federal University of Ceará
> (UFC), Fortaleza, Brazil.
>
> The event has 9 invited speakers
>
> - Fábio Botler (Universidade Federal do Rio de Janeiro, Brazil)
> - Erika Martins Coelho (Universidade Federal de Goiás, Brazil)
> - Celina de Figueiredo (Universidade Federal do Rio de Janeiro, Brazil)
> - Tatiane Fernandes Figueiredo (Universidade Federal do Ceará, Brazil)
> - Carlos Hoppen (Universidade Federal do Rio Grande do Sul, Brazil)
> - Nicolas Nisse (INRIA Sophia-Antipolis, Université Côte d'Azur,
> France)
> - Rosiane de Freitas Rodrigues (Universidade Federal do Amazonas,
> Brazil)
> - Ignasi Sau (LIRMM, CNRS, Université de Montpellier, France)
> - Mario Valencia Pabon (LORIA, Université de Lorraine, France)
>
> and two mini-courses
>
> - Mini-course 1: Profs. Roberto Parente (UFBA, Brazil) and Guilherme
> Mota (USP, Brazil). Introduction to Ramsey Theory and Extremal
> Combinatorics.
> - Mini-course 2: Prof. Ignasi Sau (LIRMM, CNRS, France). Algorithmic
> aspects of the theory of Graph Minors.
>
> besides sessions for presentations of open problems and collaborative work.
>
> For further information, please visit: pgmat.ufc.br/forworc2 or contact
> julio@mat.ufc.br .
>
> On the behalf of the organizing committee,
>
> --
> Júlio Araújo
> *matematica.ufc.br/julio <http://matematica.ufc.br/pt/julio>*
>

--
Júlio Araújo
*matematica.ufc.br/julio <http://matematica.ufc.br/pt/julio>*

**********************************************************
*
* 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] Multiple PhD/Postdoc positions at Chair of IT Security at Brandenburg University of Technology

The newly established Young Investigator Group (YIG) "COSYS - Control
Systems and Cyber Security Lab" at the Chair of IT Security at the
Brandenburg University of Technology Cottbus-Senftenberg has several
open PhD/Postdoc positions in the following areas: intrusion detection
systems for critical infrastructures, secure cyber-physical systems,
artificial intelligence / machine learning for traffic analysis,
honeypots, and privacy enhancing techniques. The available positions are
funded as 100% TV-L E13 tariff in Germany and limited until 31.07.2026,
with possibility for extension.

Candidates must hold a Master's degree (or equivalent) and PhD (only for
Postdocs) in Computer Science or related disciplines, or be close to
completing it. If you are interested, please send your CV, transcript of
records from your Master studies, and an electronic version of your
Master's thesis (if possible), as a single pdf file. The positions will
remain open until they are filled.

For more information, please  take a look at
https://www.b-tu.de/en/fg-it-sicherheit/team/open-positions/ (nevermind
the submission deadline mentioned there, it can be outdated) or contact
me directly.

Best regards,
Ivan

--
Dr. Ivan Pryvalov
Junior Research Group Leader of the Young Investigator Group "COSYS - Control Systems and Cyber Security Lab"
Chair of IT Security
Brandenburg University of Technology Cottbus-Senftenberg

VG 1C, room 2.13
Konrad-Wachsmann-Allee 5
D-03046 Cottbus
Tel: +49 355 69-3367
https://www.b-tu.de/en/fg-it-sicherheit

**********************************************************
*
* 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] Third edition of the Workshop Metabolism and mathematical models: Two for a tango

Dear all,

This is the first announcement for the 3rd Edition of the workshop "Metabolism and
mathematical models: Two for a tango" that will take place on November 14-15, 2023.
The workshop will be virtual as was the case for the 1st and 2nd Editions.

The topic of the workshop is metabolism in general. As in the previous cases, a special
- but not exclusive! - focus will be placed on parasitology. Besides an exploration of the
biological, biochemical and biomedical aspects of metabolism, the workshop will also aim
at presenting some of the mathematical modelling, algorithmic theory and software
development that have become crucial to explore such aspects.

More details will be provided soon but initial information may be already found on
this page:
https://team.inria.fr/erable/en/events/workshop-metabolism-and-mathematical-models-two-for-a-tango-3rd-edition/.

As you can see, we'll be very happy to have six Keynote speakers:

Barbara Bakker (Faculty of Medical Sciences, University of Groningen, The Netherlands)
Igor Cestari (Institute of Parasitology, McGill University, Montréal, Canada)
Vassily Hatzimanikatis (École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland)
Steffen Klamt (Max Planck Institute for Dynamics of Complex Technical Systems, Magdeburg, Germany)
Ina Koch (Goethe Universität, Frankfurt am Main, Germany)
Laura-Isobel McCall (San Diego State University, US)

Besides the talks given by the above Keynote speakers, there will be two sessions,
one per day, of 30 minutes each, dedicated to a discussion of some specific open
questions. More details on these will be provided very soon.

The workshop will take place in the afternoons, from 2pm to 5:30pm CET time.

Registration is free but is required. To register, go to this link:
https://www.eventbrite.com/e/workshop-metabolism-and-mathematical-models-two-for-a-tango-3rd-edition-tickets-721094622427?utm-campaign=social&utm-content=attendeeshare&utm-medium=discovery&utm-term=listing&utm-source=cp&aff=ebdsshcopyurl.

If you are interested, keep tuned, both to your mails for the second announcement
with all information, and to the web page of the workshop.

Do not hesitate to spread the news widely among your colleagues and to post the
announcement in lists you may know.

Cheers from the organisers,

Ariel Silber (Dept. of Parasitology, Institute of Biomedical Sciences, Univ. of São Paulo, Brazil)
Marie-France Sagot (Inria, CNRS and Univ. of Lyon 1, France)
Sara Tanqueiro (Instituto Superior Técnico and INESC-ID, Lisbon, Portugal)
Susana Vinga (Instituto Superior Técnico and INESC-ID, Lisbon, Portugal)
**********************************************************
*
* 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] NFM 2024 Call for papers

The NASA Formal Methods community invites you to submit a paper to:

The 16th NASA Formal Methods Symposium
NFM 2024

June 4-6, 2024
Moffett Field, California

--------------------------------------------------
Important Dates:
--------------------------------------------------

Abstract submission: December 1, 2023
Full paper submission: December 8, 2023
Notification: February 16, 2024
Camera-ready version: March 15, 2024

--------------------------------------------------
Theme of the Symposium:
--------------------------------------------------

The widespread use and increasing complexity of mission-critical and
safety-critical systems at NASA and in the aerospace industry requires advanced
technologies to address their specification, design, verification, validation,
and certification processes. For example, there is an increasing need for
autonomous systems in deep space missions including NASA's Moon to Mars
exploration plans. The NASA Formal Methods Symposium is a forum to foster
collaboration between theoreticians and practitioners from NASA, other
government agencies, academia, and industry, with the goal of identifying
challenges and providing solutions towards achieving assurance for such
critical systems. The focus of this symposium is on formal techniques for
software and system assurance for applications in space, aviation, robotics,
and other NASA-relevant safety-critical systems. This year's symposium extends
the focus to safety assurance of machine learning enabled autonomous systems,
formal methods for digital transformation, and accessibility for new
industries.

--------------------------------------------------
Topics of Interest:
--------------------------------------------------

Advances in Formal Methods
* Formal verification, model checking, and static analysis
* Interactive and automated theorem proving
* Program and specification synthesis, code transformation and generation
* Run-time verification and test case generation
* Techniques and algorithms for scaling formal methods
* Design for verification and correct-by-design techniques
* Requirements generation, specification, and validation

Safety Assurance of Autonomous Systems
* Verification of machine learning (ML) enabled systems
* Run-time monitoring or model checking to ensure safe operation
* Formal specifications and modeling of ML enabled systems
* Case-studies/experience reports exploring the application of formal methods
in autonomous safety-critical, cyber-physical and hybrid systems
* Using formal evidence for certification of ML enabled systems

Formal Methods in Practice
* Experience reports of application of formal methods in industry
* Use of formal methods in education
* Applications of formal methods in:
- concurrent and distributed systems
- fault-detection, diagnostics, and prognostics systems
- human-machine interaction analysis

Safety Assurance of Autonomous Systems
* Verification of machine learning (ML) enabled systems
* Runtime monitoring or model checking to ensure safe operation
* Formal specifications and modeling of ML enabled systems
* Case-studies/experience reports exploring the application of formal methods
in autonomous safety-critical, cyber-physical and hybrid systems
* Using formal evidence for certification of ML enabled systems

Formal Methods for Digital Transformation
* Applications related to Digital Twin & Digital Thread
* Verification for integrated design and manufacturing
* AI digital assistants for system design
* Runtime monitoring for Smart Campus & Smart Cities

Accessibility of Formal Methods for New Industries
* "New Space" markets
* Advanced Air Mobility and Startup Aviation
* Formal Methods as a Service

--------------------------------------------------
Submissions:
--------------------------------------------------

There are two categories of submissions:
* Regular Papers (15 pages) including references, describing fully developed
work and complete results
* Short Papers (6 pages) including references, in one of the categories below:
- Tool papers describing novel and publicly available tools
- Case studies detailing applications of formal methods
- New emerging ideas in the topics of interest

All papers should be in English and describe original work that has not been
published or submitted elsewhere. NFM24 will be a hybrid conference. Authors of
accepted papers are encouraged to present their work in person at the
conference.

There will be a tool demonstration session at the conference, where tool
developers get to showcase their tools interactively with the attendees. All
tool papers, under the short papers category, are required to participate in
the tool demonstration session. uthors of regular papers are also welcome to
participate in the tool demonstration session to showcase their application.

All submitters who are interested in participating in the tool demonstration
session must include an additional appendix (maximum 4 pages and will not
appear in the proceedings) containing the description of the proposed demo and
the URL to a screencast demonstrating the tool. Authors of all accepted papers
additionally have an opportunity to present a poster.

All submissions will be fully reviewed by members of the Program Committee.
Accepted regular and short papers will be published in the Formal Methods
subline of Springer's Lecture Notes in Computer Science (LNCS) and must use
LNCS style formatting described on
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines.
Papers must be submitted in PDF format at the EasyChair submission site,
https://easychair.org/conferences/?conf=nfm2024.

--------------------------------------------------
Location and Cost:
--------------------------------------------------

The symposium will take place at the NASA Ames Conference Center,
Moffett Field, California, USA.

There will be no registration fee charged to participants. All
interested individuals, including non-US citizens, are welcome to
attend, listen to the talks, and participate in discussions. However,
all attendees must register.

Nathan Benz
Divya Gopinath
Nija Shi

NFM '24 Chairs
nfm24-chairs@lists.nasa.gov

**********************************************************
*
* 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] Final Call for Papers - CALDAM 2024 (with Extended Deadline)

Final Call for Papers - CALDAM 2024 (with Extended Deadline)

The International Conference on Algorithms and Discrete Applied Mathematics
(CALDAM), held under the aegis of the Association for Computer Science and
Discrete Mathematics (ACSDM), is intended to bring together researchers
working in the areas of algorithms and applied discrete mathematics and
provide a high-quality forum for the dissemination and discussion of
research results in these broad areas. CALDAM has originated from the
ongoing efforts to promote research in Algorithms and Discrete Mathematics.

The tenth CALDAM (CALDAM 2024) will be organized by Indian Institute of
Technology, Bhilai from 15th to 17th of February 2024. The conference
webpage: https://events.iitbhilai.ac.in/caldam2024/

The CFP and the submission link can be found here:
https://events.iitbhilai.ac.in/caldam2024/cfp/

Full papers describing original research in the areas of design, analysis
and experimental evaluation of algorithms and in discrete applied
mathematics, as listed below. Papers must be typeset using LaTeX/LaTeX2e and
may not exceed 12 pages in LNCS style, including bibliographic references.
Further details may be included in a clearly marked appendix that will be
read at the discretion of the program committee. Only electronic submission
is allowed. Submitted papers must describe previously unpublished work and
may not be submitted concurrently to another conference with refereed
proceedings or to a refereed journal.

CALDAM Topics:

Approximation Algorithms | Combinatorial Algorithms | Combinatorial
Optimization | Combinatorics | Computational Biology | Computational
Complexity | Computational Geometry | Data Structures | Discrete Geometry |
Experimental Algorithm Methodologies | Graph Algorithms | Graph Drawing |
Graph Theory | Parallel and Distributed Algorithms | Parameterized
Complexity | Network Optimization | Online Algorithms | Randomized
Algorithms

Proceedings:

As in earlier CALDAMs, the proceedings of accepted papers of CALDAM 2024
will be published in the Lecture Notes in Computer Science by Springer.
Also, selected papers of CALDAM 2024 are likely to be published in a special
issue of Discrete Applied Mathematics (DAM) journal of Elsevier.

Important Dates:

Last date for Paper Submission: September 27, 2023, AOE October 3, 2023,
AOE

Notification of Acceptance: November 12, 2023

Camera-ready Version: November 22, 2023, AoE

Thanks and regards

Rishi Ranjan Singh

**********************************************************
*
* 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/
*
**********************************************************