[DMANET] Call for Posters - ACM MobiCom 2023

* Call for Posters *

https://sigmobile.org/mobicom/2023/posters_cfp.html

* Important Dates *

Deadlines Dates
*Poster Submission Deadline July 1st 2023, 11:59 PM AoE *
Notification July 31st 2023
Camera-ready August 7th 2023

* Posters/SRC Program Committee *

- Aravindh Raman (Telefonica Research, Barcelona, Spain)
aravindh.raman@telefonica.com
- Carmen Delgado (i2CAT Foundation, Barcelona, Spain)
carmen.delgado@i2cat.net
- Mariya Zheleva (University at Albany, New York, USA) mzheleva@albany.edu

Following the long tradition of poster presentations, ACM MobiCom 2023
solicits submissions
for the Poster Program that feature early research work and preliminary
results. The MobiCom
2023 Poster Session will provide an excellent opportunity for initial
feedback on your early
research results and give your ongoing projects early visibility.
We invite submissions on all areas of mobile computing and wireless
networking research,
including but not limited to:

- Fundamental understanding of mobile computing and wireless networking
- Applications of machine learning to mobile/wireless research
- Backscatter communication and wireless power
- Mobile edge computing and cloud computing for mobile services
- Decentralized networks and systems
- Embedded and energy-harvesting systems
- Experimental platforms and infrastructures for wireless/mobile
research
- Implanted and wearable computing
- Intersection between mobile/wireless research, cloud computing, and
software-defined networking
- Long-range/Low-power wide-area wireless networking
- Low-latency networking
- Machine-to-machine communications
- Millimeter wave and terahertz communications
- Mobile data science & analysis
- Mobile health
- Mobile systems for smart spaces (e.g. smart factories, smart
workspace, smart agriculture)
- Mobile web, video, virtual reality, and other applications
- Next generation of mobile networks (5G, 6G and beyond)
- Non-terrestrial networks (e.g. UAS, Satellite Networks)
- Novel applications of wireless signals
- Performance evaluation of mobile and wireless networks, protocols,
and systems
- Reconfigurable surfaces and meta materials for mobile systems
- Robotic and drone-based networking
- Security and privacy challenges/solutions for mobile/wireless systems
- Sensing with radio, light, sound, and acoustics
- Ubiquitous computing and mobile human computer interaction
- Visible light communications
- Wireless communication and sensing for space/underwater systems
- Wireless localization and tracking

* Poster Submission Instructions*
The posters should be submitted via HotCRP:
https://mobicom23posters.hotcrp.com

The submission should be formatted as a paper or extended abstract,
describing
the research to be presented in the poster and should be submitted as a PDF
file of at
most 3 pages, including all figures and references. Paper text blocks must
follow ACM
guidelines: double-column US letter size of 8.5 x 11 inches with fonts no
smaller than
10 point size. The extended abstract must include the authors' names,
affiliations, and
email addresses.

All poster submissions will be reviewed by the Posters committee. Once your
poster is
accepted, we will include the abstract of your poster on the conference
website and publish
it in the main proceedings and the ACM digital library. All poster
submissions will be
considered for the "MobiCom'23 Best Poster Award".

The MOBICOM poster session will also serve as an ACM MOBICOM Student
Research
Competition (SRC). The ACM SRC offers a unique forum for graduate students
(i.e., enrolled
in a master or Ph.D. program) and undergraduate students (students enrolled
in a program
below master level) to present their original research before a panel of
judges and attendees.
Student authors are strongly encouraged to include their poster submissions
in the ACM
MobiCom Student Research Competition.

We look forward to your submissions. Please feel free to contact us with
any questions
about submitting a Poster.

**********************************************************
*
* 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] CfP: ALGOCLOUD 2023 - 8th International Symposium on Algorithmic Aspects of Cloud Computing

Call for Papers: ALGOCLOUD 2023 - 8th International Symposium on Algorithmic Aspects of Cloud Computing

*September 4-8, 2023 - part of ALGO 2023*

*https://algo-conference.org/2023/algocloud/
New Submission deadline: 12 July 2023, 23:59 GMT*

The *International Symposium on Algorithmic Aspects of Cloud Computing*
(ALGOCLOUD) is an annual event aiming to tackle the diverse new topics in
the emerging area of algorithmic aspects of computing and data management
in modern cloud-based systems interpreted broadly so as to include edge-
and fog-based systems, cloudlets, cloud micro-services, virtualization
environments, decentralized systems, as well as dynamic networks.

ALGOCLOUD aims at bringing together researchers, students, and
practitioners to present research activities and results on topics related
to algorithmic, design, and development aspects of modern cloud-based
systems. The 8th edition of this symposium (ALGOCLOUD 2023) is co-located
with ALGO 2023 http://algo-conference.org/2023, a leading international
event of researchers working on algorithms and their engineering.

*Submission Guidelines*ALGOCLOUD welcomes submissions on all theoretical,
design, and implementation aspects of modern cloud-based systems. ALGOCLOUD
is particularly interested in novel algorithms in the context of cloud and
edge computing, cloud architectures, cloud-edge continuum as well as
experimental work that evaluates contemporary cloud-edge approaches and
pertinent applications. ALGOCLOUD also welcomes demonstration manuscripts,
which discuss successful system developments, as well as
experience/use-case articles and high-quality survey papers. Contributions
may span a wide range of algorithms for modeling, practices for building
and techniques for evaluating operations and services in a variety of
systems, including but not limited to, virtualized infrastructures, cloud
computing platforms, edge computing platforms, fog computing platforms,
datacenters, cloud-storage options, cloud data management, non-traditional
key-value stores on the cloud, HPC architectures, decentralized systems, as
well as dynamic networks.

All papers must be original and not simultaneously submitted to another
journal or conference. The following paper categories are welcome:

- *Regular papers*: Authors are invited to submit high-quality
manuscripts reporting original unpublished research in the topics related
to the symposium. A regular paper submission should clearly motivate the
importance of the problem being addressed, discuss prior work and its
relationship to the paper, explicitly and precisely state the paper's key
contributions, and outline the key technical ideas and methods used to
achieve the main results. A regular paper submission should not exceed 12
pages, including title page and abstract but excluding references and an
optional appendix. Authors should include all necessary details in their
submission so that the Technical Program Committee (TPC) can judge the
correctness, importance, and originality of their work. Any material (e.g.,
proofs or experimental results) omitted (from the main part of 12 pages)
due to space limitations can be put into the optional appendix, which will
be read at the TPC's discretion. Regular papers will be allotted up to 20
pages in the proceedings.

- *Short papers*: A short paper submission may present work-in-progress
on a specific topic, or work appeared elsewhere but is worth publicizing it
in the symposium, or a demonstration of a system or library, or an
experience/use-case paper, or a vision paper. Authors should clearly
motivate the importance of their contribution, discuss prior work and its
relationship to the paper, and in general provide sufficient details in
their submission so that the TPC can judge the quality and importance of
their work. A short paper submission should be at least 2 and at most 8
pages. Short papers will be allotted up to 8 pages in the proceedings.

- *Survey papers*: A survey paper submission concerns the write-up of a
high-quality survey paper on an emerging hot topic. Authors are asked to
submit a proposal between 5 and 10 pages, that clearly motivates the
importance of the topic, and contains the structure of the survey paper
along with the most important references that will be critically reviewed
and presented. If the proposal is accepted, then authors will be given
sufficient time (until end of September 2023) to prepare the full version
of their survey paper that needs to pass a quality control check by the
TPC, in order to be finally accepted and appear in the proceedings. Survey
papers will be allotted up to 40 pages in the proceedings.

All papers should be submitted electronically via the EasyChair submission
system at the submissions website:
https://easychair.org/conferences/?conf=algocloud23

Submissions must be in the form of a single pdf file prepared using the
LNCS latex templates and style files (available, together with Springer's
authors' guidelines, from
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines).
Springer's proceedings LaTeX templates are also available on Overleaf (
https://www.overleaf.com/latex/templates/springer-lecture-notes-in-computer-science/kzwwpvhwnvfj#.WsdHOy5uZpg
).

By submitting a paper the authors acknowledge that in case of acceptance at
least one of the authors must register at ALGO/ALGOCLOUD 2023 and present
the paper (this holds for all types of papers, including accepted survey
proposals).

Springer encourages authors to include their ORCIDs in their papers. In
addition, the corresponding author of each paper, acting on behalf of all
of the authors of that paper, must complete and sign a Consent-to-Publish
form. The corresponding author signing the copyright form should match the
corresponding author marked on the paper. Once the files have been sent to
Springer, changes relating to the authorship of the papers cannot be made.
Springer's proceedings LaTeX templates are available in Overleaf. Accepted
papers will be included in the post-proceedings published by Springer in
its Lecture Notes in Computer Science series.

*List of Topics*

- Algorithms for Decentralized Systems
- Algorithms for Dynamic Networks
- Cloud-Edge Continuum
- IoT and Cloud Computing
- Fog and Edge Computing
- Mobile Edge Computing
- Stream processing for Cloud-Edge continuum
- In-network stream processing
- Machine Learning for Cloud-Edge
- Federated Learning in Cloud-Edge Architectures
- Resource Management and Scheduling
- Resource Management in Mobile Edge Computing
- Data Center and Infrastructure Management
- Distributed Caching and Load Balancing
- Distributed Storage management
- Privacy, Security and Anonymization
- Game-theoretic Approaches for Cloud-Edge Computing
- Economic models and Pricing
- Cloud-Edge deployment tools and their analysis
- Novel code deployment models
- Energy and Power Management
- Analysis of Algorithms and Data Structures
- Search and Retrieval Algorithms for cloud infrastructures
- Caching and Load-Balancing
- Storage Structures and Indexing for Cloud Database

*Publication*
ALGOCLOUD23 proceedings will be published in the Lecture Notes in Computer
Science (LNCS) series by Springer.

*Venue*
The symposium is co-located with ALGO 2023 http://algo-conference.org/2023,
a leading international event of researchers working on algorithms and
their engineering. The symposium will be held in Amsterdam, the Netherlands.

**********************************************************
*
* 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] Reachability Problems 2023: LAST CALL FOR PAPERS

Reminder: THE DEADLINE HAS BEEN EXTENDED TO: July 4th !

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

RP 2023: CALL FOR PAPERS

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

The 17th International Conference on Reachability Problems (RP'23) will be organised by the laboratory I3S (Université Côte d'Azur, CNRS) and LIX (Ecole Polytechnique, CNRS).

Website: https://www.lix.polytechnique.fr/RP2023
In 2020 and 2021 the conference was virtual due to COVID restrictions. As in 2022, this year RP will be organised as a physical meeting in Nice, offering a possibility to authors with travel restrictions to give online presentations.

Papers presenting original contributions related to reachability problems in different computational models and systems are being sought. This will also be the occasion to review recent breakthroughs by renowned invited experts and survey emerging trends and emphasise on key open challenges. Participants are kindly encouraged to discuss core scientific issues that need to be further tackled.

The conference proceedings will be published in Springer's Lecture Notes in Computer Science (LNCS). A selection of articles among the contributed papers will be invited to a special issue of a journal (TBA).

TOPICS

The conference is specifically aimed at gathering together scholars from diverse disciplines and backgrounds interested in reachability problems that appear in

Algebraic structures
Automata theory and formal languages
Computational game theory
Concurrency and distributed computation
Decision procedures in computational models
Graphs and dynamical networks
Hybrid dynamical systems
Logic and model checking
Verification of finite and infinite-state systems

Topics of interest include (but are not limited to):

- reachability problems in infinite-state systems,
- rewriting systems, dynamical and hybrid systems;
- reachability problems in computational games and distributed systems;
- reachability problems in dynamical networks,
- reachability problems in logic and verification;
- reachability problems in formal methods;
- reachability analysis in different computational models, counter timed/ cellular/ communicating automata;
- Petri nets; computational and combinatorial aspects of algebraic structures (semigroups, groups and rings);
- frontiers between decidable and undecidable reachability problems;
- predictability in iterative maps and new computational paradigms.

INVITED SPEAKERS

Confirmed:

- Nathalie Aubrun (CNRS, Paris-Saclay, France)
- Jarkko Kari (University of Turku, Finland)
- Bruno Martin (University of Nice, France)
- Shinnosuke Seki (University of Electro-Communications, Japan)

GUIDELINES FOR SUBMISSION.

THERE ARE TWO CATEGORIES OF SUBMISSIONS:

1) REGULAR PAPERS

Authors are invited to submit an extended abstract of a full paper with at most 12 pages (excluding the bibliography and potential appendices) formatted according to the LNCS guidelines, through EasyChair: https://easychair.org/conferences/?conf=rp2023
2) PRESENTATION-ONLY

In addition to the formal presentations based on our LNCS proceedings volume, we invite researchers to submit a paper which recently appeared (or which is going to appear) in proceedings of another conference, or which has not yet been submitted. Neither the paper nor the abstract will be published in the proceedings.

IMPORTANT DATES

Abstract of full papers: JULY 4 (EXTENDED)
Full papers: JULY 4 (EXTENDED)
Notification: 13 August 2023
Final Version: 20 August 2023

Presentation-only papers

-Abstracts: 23 August 2023
- Notification: 30 August 2023

RP CONFERENCE: OCTOBER 11-13, 2023

CONFERENCE CHAIRS:

- Olivier Bournez (IP Paris, Ecole Polytechnique, FR)
- Enrico Formenti (Univ. Côté d'Azur, FR)
- Igor Potapov, University of Liverpool - Publication chair

PROGRAM COMMITTEE:

- Parosh Aziz Abdulla (Uppsala University, Sweden)
- Udi Boker (Reichman University, Herzliya, Israel)
- Christel Baier (Technical University of Dresden, Germany)
- Veronica Becher (Universidad de Buenos Aires, Argentina)
- Benedikt Bollig (CNRS, LMF, ENS Paris-Saclay, France)
- Olivier Bournez (Ecole Polytechnique, LIX, IPP, France)
- Emilie Charlier (Université de Liège Belgium)
- Stéphane Demri (CNRS, LMF, ENS Paris-Saclay, France)
- Javier Esparza (Technical University of Munich, Germany)
- Enrico Formenti (Université Côte d'Azur, France)
- Gilles Geeraerts (Université libre de Bruxelles, Belgium)
- Roberto Giacobazzi (University of Verona, Italy)
- Daniel Graça (University of Algarve, Portugal)
- Christoph Haase (University of Oxford, United Kingdon)
- Peter Habermehl (IRIF, Université Paris Cité, France)
- Vesa Halava (University of Turku, Finland)
- Mika Hirvensalo (Department of Mathematics and Statistics, University of Turku, Finland)
- Akitoshi Kawamura (Kyoto Univeristy, Japan)
- Dietrich Kuske (Technical University of Ilmenau, Germany)
- Martin Kutrib (University of Giessen, Germany)
- Jérôme Leroux (CNRS, LaBRI, Université de Bordeaux, France)
- Igor Potapov (University of Liverpool, United Kingdom)
- Tali (Nathalie) Sznajder (LIP6, Sorbonne Université, France)

STEERING COMMITTEE

- Parosh Aziz Abdulla (SE)
- Olivier Bournez (FR)
- Vesa Halava (FI)
- Alain Finkel (FR)
- Oscar Ibarra (USA)
- Juhani Karhumaki (FI)
- Jérôme Leroux (FR)
- Joël Ouaknine (GER)
- Igor Potapov (UK)
- James Worrell (UK)

PREVIOUS EVENTS:

2022: RP'22 in Kaiserlautern, DE
LNCS proceedings volume 13608/2022, Springer Verlag
2021: RP'21 in Liverpool, UK
LNCS proceedings volume 13035/2021, Springer Verlag
2020: RP'20 in Paris, France
LNCS proceedings volume 12448/2020, Springer Verlag
2019: RP'19 in Brussels, Belgium
LNCS proceedings volume 11674/2019, Springer Verlag
2018: RP'18 in Marseille, France,
LNCS proceedings volume 11123/2018, Springer Verlag
2017: RP'17 in London, UK,
LNCS proceedings volume 10506/2017, Springer Verlag
2016: RP'16 in Aalborg, Denmark,
LNCS proceedings volume 9328/2016, Springer Verlag
2015: RP'15 in Warsaw, Poland
LNCS proceedings, Volume 9328/2015, Springer Verlag
2014: RP'14 in Oxford, UK
LNCS proceedings, Volume 8762/2014, Springer Verlag
2013: RP'13 in Uppsala, Sweden
LNCS proceedings, Volume 8169/2013, Springer Verlag
2012: RP'12 in Bordeaux, France
LNCS proceedings, Volume 7550/2012, Springer Verlag
2011: RP'11 in Genova, Italy
LNCS proceedings, Volume 6945/2011, Springer Verlag
2010: RP'10 in Brno, Czech Republic
LNCS proceedings, Volume 6227/2010, Springer Verlag
2009: RP'09 in Palaiseau, France
LNCS proceedings, Volume 5797/2009, Springer Verlag
2008: RP'08 in Liverpool, UK
ENTCS proceedings, Volume 223, Elsevier
2007: RP'07 in Turku, Finland
TUCS General Publication Series, Volume 45, TUCS,
Turku Centre for Computer Science
**********************************************************
*
* 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/ *
**********************************************************
**********************************************************
*
* 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] Denes Konig Prize - Call for Nominations

Do you know a colleague in the early stages of their career who has made an outstanding contribution to the field of discrete mathematics? Then please consider nominating them for 2024 Dénes König Prize!

The SIAM Activity Group on Discrete Mathematics awards the Dénes König Prize every two years to an individual or individuals in their early career for outstanding research contributions in an area of discrete mathematics. One key paper must be cited as evidence of the contributions, though a body of papers may be discussed in the nomination. The prize will be awarded in 2024 at the next SIAM Conference on Discrete Mathematics.

For the 2024 award, the paper must have been published between the dates of January 1, 2021 - December 31, 2023. Each candidate must have received their PhD no earlier than 2020.

You can find the full prize specifications and requirements, and a list of previous awardees here:
https://www.siam.org/prizes-recognition/activity-group-prizes/detail/siag-dm-denes-konig-prize <https://www.siam.org/prizes-recognition/activity-group-prizes/detail/siag-dm-denes-konig-prize>

Click here to submit your nomination:
https://siam.smapply.org/prog/2024_siam_prize_program/

Nominations close on October 15, 2023.

**********************************************************
*
* 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 PhD or PostDoc position at University of Bonn (Laura Vargas Koch)

We have an opening for either a PhD student or a PostDoc position at the University of Bonn, starting in October 2023 or later, see also https://sites.google.com/view/lvargaskoch/ .

Topic:
The research topics will be chosen from combinatorial optimization and/or algorithmic game theory, depending on the candidate's background, experience and interest. One potential topic for a PhD student are flows over time from an optimization as well as a game-theoretical perspective. Moreover, there is the opportunity to apply combinatorial optimization to applied projects in chip design or routing.

We offer:
Bonn offers excellent opportunities for both industrial collaborations and theoretical research in discrete mathematics, particularly in approximation algorithms and algorithmic game theory. The presence of the Hausdorff Center, which organizes various workshops and trimester programs, is a major advantage. The PostDoc position is a one year position with the possibility of extending it for another year. The PhD position is for a duration of three years. The positions are full-time positions and the salary is in accordance with E13 (https://www.finanzverwaltung.nrw.de/system/files/media/document/file/Tabelle%20TV-L.pdf ).
The teaching requirement of both positions is very low.

What you should bring:

PostDoc
- Applicants should hold a PhD degree in mathematics, computer science, operations research, or a related field.
- A strong interest in discrete mathematics, combinatorial optimization, and/or algorithmic game theory is required.

PhD
- Applicants should have a master's degree in mathematics, computer science, operations research, data science or a related field.
- A strong interest in discrete mathematics or algorithmic game theory,
- and a strong interest in real-world mathematical optimization challenges is required.
- Proficiency in C++ programming is required due to the involvement in industrial collaborations.

Application:
If you are interested, please feel encouraged to reach out with any question to lauravargaskoch@gmail.com . For an application please send your CV and a brief statement of interest. For the PostDoc position, please also include a research statement.
**********************************************************
*
* 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] ISSAC 2023 - Registration Ends on June 30th, 2023

Please, help us distribute this announcement.
----------------------------------------------------------------------

ISSAC 2023

International Symposium on Symbolic and Algebraic Computation
July 24-27 2023
Tromsø, Norway

REGISTRATION ENDS ON JUNE 30th, 2023

https://www.issac-conference.org/2023/

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

This is a reminder that the registration for ISSAC2023 is ending on June 30th, 2023 (anywhere on Earth).
Please note that no cash registration will be possible and that all registrations should be made through
the online registration system (see https://www.issac-conference.org/2023/registration.php for details).

Any questions about registration can be sent by email to hugues.verdure@uit.no .

Academy of Mathematics and Systems Science
No.55 Zhongguancun East Road, Haidian District,
Beijing 100190, China
Tel: 86-10-82541436
http://www.mmrc.iss.ac.cn/~ryfeng
**********************************************************
*
* 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] CFP: Student Forum, FMCAD 2023

Please consider submitting or encouraging your students to submit to this
year's FMCAD student forum. More information can be found here:

https://fmcad.org/FMCAD23/student_forum/

Student Forum
Continuing the tradition of the previous years, FMCAD 2023 is hosting a
Student Forum that provides a platform for students at any career stage
(undergraduate or graduate) to introduce their research to the wider Formal
Methods community, and solicit feedback.

Main Activities
Each student will give a short presentation and present their poster in the
poster session.

Submissions for the event must be short reports describing research ideas
or ongoing work that the student is currently pursuing and must be within
the scope of FMCAD. Work, part of which has been previously published, will
be considered; the novel aspect to be addressed in future work must be
clearly described in such cases. All submissions will be reviewed by the
Student Forum's program committee.

Important Dates
Student forum submission: July 12, 2023
Student forum notification: Aug 10, 2023
These deadlines are 11:59 pm AoE (Anywhere on Earth)

Format
The event will consist of short presentations by the student authors of
each accepted submission and of a poster that will be on display throughout
the duration of the conference. All participants of the conference are
encouraged to attend the talks and approach the students during the poster
presentation. Instructions for the preparation of the talks and poster
sessions will be announced on notification of acceptance.

Visibility
Accepted submissions will be listed, with title and author name, in the
event description in the conference proceedings. The authors will also have
the option to upload their slide deck/poster/presentation to the FMCAD
website. The report itself will not appear in the FMCAD proceedings. Thus,
the presentation at the forum should not interfere with potential future
submissions of this research (to FMCAD or elsewhere).

Travel Awards
Most of the applicants will receive travel reimbursement after the
conference (the amount of support will be announced later). The first
author of each contribution will be given priority over other authors.
Please make sure you hold on to all receipts for reimbursement. Further
instructions on how to apply for travel grants will be on the website.

**********************************************************
*
* 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] ADYN Summer School on Algorithm Engineering for Network Problems in Potsdam, Germany

We are happy to announce a summer school on Algorithm Engineering for
Network Problems in Potsdam from 19th to 22nd September 2023. It
consists of lectures on different approaches to modern algorithm
engineering research. The target audience are PhD students and PostDocs
with an interest in algorithms, algorithm research and/or network problems.

Lectures will be given by
    *Hannah Bast (University of Freiburg): Knowledge Graphs,
    *Thomas Bläsius (Karlsruhe Institute of Technology): Geometric
Inhomogeneous Random Graphs,
    *Gerth Stolting Brodal (Aarhus University): Algorithm Engineering
the Theory,
    *Giuseppe F. Italiano (LUISS University Rome): Temporal Graphs,
    *Riko Jacob (IT University Copenhagen): Algorithms and Data
Structures - Lower bounds for various models of computation,
    *Henning Meyerhenke (Humboldt-University Berlin): NetworKit,
    *Francesco Silvestri (University of Padova): Algorithms for Tensor
Cores and Processing in Memory.

Location: The summer school will take place at the campus of the Hasso
Plattner Institute in Potsdam, Germany, at the border to Berlin.
Detailed directions can be found here:
https://hpi.de/en/the-hpi/organization/directions.html

Fee & Cost:
    *There will be no participation fee as the school is funded by the
DFG Research Unit ADYN FOR 2975.
    *Lunch and coffee will provided.
    *Accomodation and travel will not be reimbursed for participants.

Organizers:
    *Tobias Friedrich (Hasso Plattner Institute, University of Potsdam),
    *Pascal Lenzner (Hasso Plattner Institute, University of Potsdam),
    *Ulrich Meyer (Goethe University Frankfurt),
    *George Skretas (Hasso Plattner Institute, University of Potsdam).

Registration: The official registration will start in the next days and
will end on 31st July 2023.

More information and the registration can be found here:
https://hpi.de/ae2023/

We are looking forward to welcoming you soon in Potsdam!

**********************************************************
*
* 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] WINE 2023: Call for Papers and Tutorials

***************************************************
* SECOND CALL FOR PAPERS WINE 2023
* Submission Deadline: July 7, 2023 (AoE)
* Conference: December 4-8, 2023
* Location: ShanghaiTech University
***************************************************

The submission link is given below.
https://easychair.org/conferences/?conf=wine2023

For more details, please visit the conference website at the following
address.
https://wine2023.shanghaitech.edu.cn/index.html

***************************************************
* CALL FOR TUTORIALS WINE 2023
* Submission Deadline: July 28, 2023 (AoE)
* Tutorial Day: December 4, 2023
* Location: ShanghaiTech University
***************************************************

We are also looking for tutorial sessions to be held on December 4, 2023,
see the following call for tutorials:
https://wine2023.shanghaitech.edu.cn/call-for-tutorials.html

We are looking forward to seeing you in Shanghai.
Jugal, Max, and Yuqing

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

[DMANET] Postdoc position in Algorithms / Optimization / Algorithmic Game Theory at Hamburg University of Technology

POSTDOC POSITION IN ALGORITHMS/OPTIMIZATION AT HAMBURG UNIVERSITY OF
TECHNOLOGY (TUHH)
--
The Institute of Algorithms and Complexity at TUHH: Hamburg University
of Technology (www.algo.tuhh.de) in Hamburg, Germany offers an exciting
opportunity to work as a postdoctoral researcher at the forefront of
algorithms/optimization.

The successful candidate should have a thorough background on either
algorithms for discrete/combinatorial optimization problems,
mathematical programming, algorithmic game theory, or related field.

The position is offered for a period of 3 years. The salary of the
position is determined according to level TV-L E-14 of the German public
sector. The exact amount of salary depends on experience, family
circumstances, tax classification and other factors. Travel funding is
available, for attending conferences and workshops, and visiting other
researchers.

The successful candidate will join the TUHH Institute for Algorithms and
Complexity (www.algo.tuhh.de <https://www.algo.tuhh.de>), whose research
covers a broad spectrum of algorithmic research; this includes
algorithmic game theory, combinatorial optimization, approximation and
parameterized algorithms, and applications in operations research and
discrete mathematics. The Institute for Algorithms and Complexity at TU
Hamburg currently hosts several international researchers, so English is
used on a daily basis as a working language.

The institute is located in the newly built Hamburg Innovation Port
(www.hamburg-innovation-port.com/wp-content/uploads/2018/09/01-HIPtuhhlogowasser_web.jpg ),
harbour and Hamburg's famous opera house (Elbphilharmonie). Several
other computer science institutes of the TU Hamburg are located in the
area, as well as DASHH - Data Science in Hamburg, the Helmholtz Graduate
School for the Structure of Matter, and the German Air and Space
Research Center (DLR). They are all located in the Free and Hanseatic
City of Hamburg, which is Germany's second largest city, home to a
population of about 1.8 million people. It is a famous city of
entertainment, trade and commerce, with several universities and much
research in algorithms.

TU Hamburg offers several attractive benefits, including subsidized
public transport for the Hamburg metropolitan area, a sports centre on
campus, family-friendly working hours, healthy campus initiatives, and more.

An excellent PhD degree in (Applied) Mathematics, Computer Science,
Operations Research, Engineering or related field is required. Affinity
with optimization, algorithms, or discrete mathematics is preferred. In
particular, background in algorithms and complexity, or mathematical
optimization is appreciated. Programming experience is considered a plus.

Interested individuals should submit their applications by 11 July 2023.
For a full job description and details on how to apply see
https://www.tuhh.de/algo/jobs/postdoc/senior-positions. Any questions
regarding the position should be directed to Prof. Matthias Mnich
(algo@tuhh.de).

Hamburg University of Technology regards diversity as an integral part
of academic excellence and is committed to employment equity and
accessibility for all employees. As such, we encourage applications from
women, persons with disabilities, members of diverse gender identities,
and others who may contribute to the further diversification of ideas.
In Hamburg, you will have the opportunity to work across disciplines and
collaborate with an international community of scholars and a diverse
student body.
**********************************************************
*
* 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] [Deadline Extended] Call for Demos - ACM MobiCom 2023

* Call for Demos *
https://sigmobile.org/mobicom/2023/demos.html

* Important Dates *
Deadlines Dates
Submission Deadline July 1, 2023, 11:59 PM AoE *July 15,
2023, 11:59 PM AoE*
Notification July 31, 2023
* August 7, 2023*
Camera-ready August 7, 2023
*August 14, 2023*

* Demo Chairs *
- Andra Lutu (Telefonica Research, Spain): andra.lutu@telefonica.com
- Ilenia Tinnirello (Università degli studi di Palermo, Italy):
ilenia.tinnirello@unipa.it

The ACM MobiCom 2023 Demo session solicits the submission of research,
platform, and product demonstrations,
and exhibits from both academia and industry. Demonstrations should
showcase innovative research or product
prototypes, platforms, and applications in the areas of mobile computing
and wireless and mobile networking. We
strongly encourage demos based on novel applications in the domain of
mobile computing and wireless systems.
We also welcome live demos reproducing evaluation results of papers
appearing in ACM MobiCom 2023 or past
editions as well as other relevant venues. Please refer to the main
conference introduction and CFP for the general
areas that are relevant to the typical MobiCom audience.

* Submission Instructions *
Please send your proposal of demo or exhibit as a "demo paper" through
HotCRP at the following link:
https://mobicom2023demos.hotcrp.com/

The demo paper should be a summary or extended abstract describing the
research to be presented, details about
what will be actually shown to the audience, maximum 2 pages in US letter
size (8.5 x 11 inches) with fonts no smaller
than 10 point size, in PDF file format with one extra page for references.
To comply to these requirements, you might
find useful the official ACM templates for LaTeX and Word. LaTeX users
should use the following document class:

\documentclass[sigconf,10pt]{acmart}

Demo submissions accept single-blind submissions. Once your demo submission
is accepted, we will include the
abstract of your demo paper on the conference website and publish it in the
main proceedings and the ACM digital
library. All demo submissions will be considered for the "MobiCom '23 Best
Demo Award".

Student authors of demo submissions can also opt-in for this year's Student
Research Competition (see the
Mobicom'23 Poster CFP for more details). The SRC offers a unique forum for
graduate students (i.e., enrolled in
a master or Ph.D. program) and undergraduate students (students enrolled in
a program below master level) to
present their original research before a panel of judges and attendees.

Student authors are strongly encouraged to include their demo submissions
in the ACM MobiCom SRC.

* Demo presentation *
For accepted demo submissions, authors will prepare for demonstrating their
work during the dedicated demo session.
Please note that the session will only run on-premise, and we expect
authors to address questions from conference
attendees in a live demo session onsite (no hybrid mode).

We look forward to your submissions. Please feel free to contact us with
any questions
about submitting a Demo.

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

[DMANET] Postdoc position at University of Leeds, UK

Applications are invited for a 9 month EPSRC funded Research Fellow post at the School of Computing, University of Leeds, UK.

The post is funded by DMS-EPSRC grant "The Power of Graph Structure", that is led by Professor Kristina Vušković (University of Leeds) on the UK side and by Professor Maria Chudnovsky (Princeton University) on the USA side. The Research Fellow will join the Algorithms and Complexity Research Group at the School of Computing at University of Leeds, and will collaborate with both PIs on the project research agenda.

This project focuses on developing techniques for structural and algorithmic study of hereditary graph classes, with the aim of gaining insight into the boundaries of what is computationally feasible. We aim to understand how to exploit structure in order to construct efficient algorithms for classical optimization problems, such as coloring, clique and stable set problems.

The applicant should have a PhD (or close to completion) in Mathematics, Computer Science, or a similar subject, as well as research experience including, but not limited to, structural graph theory, combinatorial optimization and graph algorithms.

Further information about the post and instructions on how to apply can be found at

https://jobs.leeds.ac.uk/Vacancy.aspx?ref=EPSCP1132

Informal enquires can be sent to Kristina Vušković at k.vuskovic@leeds.ac.uk<mailto:k.vuskovic@leeds.ac.uk>.
Closing date: July 25, 2023
Start date: flexible

**********************************************************
*
* 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] First CFP: 19th Information Assurance and Security -- Hybrid Event - Springer Publication

* First Call for Papers - please circulate this CFP to your colleagues
and networks **

-- 19th International Conference on Information Assurance and Security
(IAS 2023) --

IAS 2023 Theme: Large Language Models and Generative AI for Information
Security
=======================================================================

http://www.mirlabs.org/ias23
http://www.mirlabs.net/ias23

Onsite and On the World Wide Web

Onsite Venues:
Olten, Switzerland : https://en.wikipedia.org/wiki/Olten [1]
Porto, Portugal : https://en.wikipedia.org/wiki/Porto [2]
Vilnius, Lithuania : https://en.wikipedia.org/wiki/Vilnius [3]
Kochi, India : https://en.wikipedia.org/wiki/Kochi [4]

December 12-14, 2023

IAS 2023 will be a hybrid conference that will run fully in-person and
fully virtually to take advantage of the best that the two modalities
can offer. Besides regular paper presentations, the technical programme
will include 8-10 plenary lectures and poster sessions. IAS 2023
Organising Committee also recognises the benefits of virtual conferences
allowing participation at a cheaper rate. This allows a higher number of
research scholars and students to attend. Selected authors will have the
option to attend and present the papers virtually or present in one of
the three venues in Europe and Asia.

Proceedings of IAS'23 will be published with Springer Verlag in their
Lecture Notes in Networks and Systems (LNNS) series.
(https://www.springer.com/series/15179 [5]) (Approval Pending)

Proceedings of IAS'22:
https://link.springer.com/book/10.1007/978-3-031-27409-1 [6]
Indexed by: SCOPUS, INSPEC, WTI Frankfurt eG, zbMATH, SCImago, DBLP, EI
Compendex, Japanese Science and Technology Agency (JST), SpringerLink

History of IAS series: http://www.mirlabs.net/ias23/previous.php [7]

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

**About IAS 2023**
---------------------

Information assurance and security have become important
research issues in the networked and distributed information
sharing environments. Finding effective ways to protect information
systems, networks, and sensitive data within the critical information
infrastructure is challenging even with the most advanced technology
and trained professionals. The 19th International Conference on
Information Assurance and Security (IAS) aims to bring together
researchers, practitioners, developers, and policymakers involved
in various information assurance and security disciplines to exchange
ideas and learn the latest development in this crucial field.

**Topics (not limited to)**
---------------------------
Information Assurance, Security Mechanisms, Methodologies and Models
Authentication and Identity
Management Authorization and Access Control
Trust Negotiation, Establishment and Management
Anonymity and User Privacy
Data Integrity and Privacy
Network Security
Operating System Security
Database Security
Intrusion Detection
Security Attacks
Security Oriented System Design
Security and Performance trade-off
Security Management and Strategy
Security Verification, Evaluations and Measurements
Secure Software Technologies
New Ideas and Paradigms for Security
Cryptography
Cryptographic Protocols
Key Management and Recovery
Secure System Architectures and Security Application
Image Engineering, Multimedia Signal Processing and Communication
Security

**Submission Guidelines**
-------------------------
Submission of a 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
[8]

IAS'23 Submission Link:
http://www.mirlabs.org/ias23/submission.php [9]

** IAS 2023 Organization **
----------------------------

General Chairs
Ajith Abraham, Machine Intelligence Research Labs, USA
Ana Maria Madureira, ISEP, Porto, Portugal
Cengiz Kahraman, Istanbul Technical University, Turkey

Program Chair
Yuchuan Sun, Beijing Normal University, China

Publication Chair
Anu Bajaj, Thapar Institute of Engineering and Technology, India

Web Services Chair
Kun Ma, University of Jinan, China

Publicity Chair
Pooja Manghirmalani Mishra, Machine Intelligence Research Labs, India

International Program Committee
TBA

Note: If you would like to propose a special session, please email Ms.
Mabrouka Salmi <salmimabrouka7@gmail.com> with a cc to Dr. Anu Bajaj
<er.anubajaj@gmail.com>

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

Links:
------
[1] https://en.wikipedia.org/wiki/Olten
[2] https://en.wikipedia.org/wiki/Porto
[3] https://en.wikipedia.org/wiki/Vilnius
[4] https://en.wikipedia.org/wiki/Kochi
[5] https://www.springer.com/series/15179
[6] https://link.springer.com/book/10.1007/978-3-031-27409-1
[7] http://www.mirlabs.net/ias23/previous.php
[8]
https://www.springer.com/de/authors-editors/book-authors-editors/manuscript-preparation/5636#c3324
[9] http://www.mirlabs.org/ias23/submission.php
**********************************************************
*
* 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] Last Call for SPECIES Scholarships; Extended Deadline: 03/07/2023 (AoE)

(Apologies for cross-posting)

**************************************************************************************************
Last Call for SPECIES Scholarships

Extended Deadline: 03/07/2023 (AoE)
Website: https://species-society.org/scholarships-2023/
Email: students@species-society.org
**************************************************************************************************

Applications for the 2023 SPECIES scholarships are still open. Due to some requests, we have decided to extend the application deadline over the weekend. The new deadline is 03/07/2023 (AoE). There will be no further extensions.

The scholarships are aimed at current research students and recent PhD graduates. They involve an in-person internship of three months in one of the listed host institutions (see link below). The recipients of the scholarships will receive an allowance of 900 euros per month as contribution towards accommodation and living expenses during the research visit.

More information on conditions of the scholarships and how to apply: https://species-society.org/scholarships-2023/

List of host institutions and their projects: https://species-society.org/scholarship-hosts-2023/

----------------------------------------------------------------------------------------------------------------------
Y Brifysgol orau yn y DU am Ansawdd ei Dysgu a Phrofiad Myfyrwyr
Best University in the UK for Teaching Quality and Student Experience
(The Times and Sunday Times, Good University Guide 2021)
Rydym yn croesawu gohebiaeth yn Gymraeg a Saesneg. Cewch ateb Cymraeg i bob gohebiaeth Gymraeg ac ateb Saesneg i bob gohebiaeth Saesneg. Ni fydd gohebu yn Gymraeg yn arwain at oedi.
We welcome correspondence in Welsh and English. Correspondence received in Welsh will be answered in Welsh and correspondence in English will be answered in English. Corresponding in Welsh will not involve any delay.

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

[DMANET] PhD Opportunities in AI at University College Dublin

Dear Colleagues

Please disseminate the following to any potential interested candidate.

In the Management Information Systems Subject Area of the College of
Business at University College Dublin (Ireland), there are currently
scholarship opportunities for PhD positions with interest in the following
topics:
- Trustworthy AI
- Sports, Health & Wellbeing

If you are interested to know more and potentially join the
interdisciplinary team in UCD's Natural Computing Research & Applications
group, reach out to myself or any of my colleagues Michael O'Neill, Mark
Connor and Miguel Nicolau.

Many thanks.

Kind regards

Dr Annunziata Esposito Amideo

**********************************************************
*
* 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] Deadline: Fifth International Conference on Microservices

International Conference on Microservices: Call for Papers
==========================================================

Fifth International Conference on Microservices

October 10th-12th 2023, Pisa, Italy

https://www.conf-micro.services/2023/

Important Dates (EXTENDED)
---------------

- Submission deadline : July 09th, 2023 (AoE) (extended)
- Notification to authors: July 19th, 2023 (AoE) (extended)
- Camera-ready due: July 30th, 2023 (AoE)
- Early bird registration until: July 30th, 2023 (AoE)
- October 10th-12th, 2023

Theme and Topics
----------------

Microservices are pervading enterprise IT, with many big companies already adopting microservice architectures to deliver their core businesses. Microservices indeed provide an alternative to traditional software architectures, which brings various additional benefits, including increased flexibility, scalability, and improved resilience to failures. Additionally, microservices allow for faster and more efficient development, as well as better collaboration between cross-functional teams. As the technology landscape continues to evolve and become more complex, the importance of microservices in building modern, scalable, and effective applications cannot be overstated. 

The 5th International Conference on Microservices (Microservices 2023) seeks contributions from both industry and academia covering all aspects and phases of the design and implementation of microservice architectures, as well as experiences based on daily working with them. Topics of interests include, but are not limited to, the following:
- Software engineering methods for microservices, specifically (but not limited to) agile service design practices, behavior- and domain-driven design
- Formal models for microservices
- Programming languages, notations, and techniques for microservices
- Verification (both static and runtime) of microservice systems
- Testing for microservices: unit tests, system tests, acceptance and regression tests, test-driven service development
- DevOps for microservices, in particular (but not limited to) continuous deployment and distributed monitoring
- Microservices in the context of development, security, and operations (DevSecOps)
- Secure by design in the context of Microservices
- Microservice operation and contributor analysis
- Microservice management: fault, configuration, accounting/cost, performance, security
- Co-change and change impact analysis
- Discovery/recovery and reverse engineering of microservices solutions
- Microservice evolution
- Global governance for microservices
- Methodologies for identification, specification, and realization of candidate services
- Patterns for cloud-native application architectures; service API design and management
- Microservices infrastructure components: API gateways, side cars, and service meshes; reactive messaging brokers; service registries; service containers and cluster managers; infrastructure as code
- Function-as-a-service and serverless cloud offerings; service-based event sourcing and data streaming architectures
- Security and other service quality concerns (consistency, availability, recoverability) in microservices; dealing with General Data Protection Regulation (GDPR) compliance and other data privacy requirements Testing for microservices: unit tests, system tests, acceptance and regression tests, test-driven service development Internet technologies: services, human interactions, data analytics and AI for IoT, architecture things centric, sensor networks, security, privacy, applications
- AI and Microservices (including Datasets, Open-source technology)
- Cyber-physical Systems: AI/ML applications, security
- Industrial case studies and applications: Data Science/Big Data, Smart Industry, Healthcare, Government, Manufacturing, Logistics and Supply Chain Management
- Empirical studies of microservices adoption
- Case Studies and Surveys on the topic of Microservices
- Sustainable practices in the Microservices community
- Education about Microservices technologies

Submissions Guidelines
----------------------

A submission should describe a talk to be given at the conference in the form of extended abstracts with a maximum of two pages for talks from industry and six pages for academic presentations (including references). Submissions can be based on work in progress, scientific work published or submitted for publication, practical experience reports, or practical tool demonstrations. They must further be prepared using the TBA template, be in PDF format, printable in black and white on A4 paper, and interpretable by common PDF tools. Submissions must be in English.

Contributions may be submitted via TBA. The submission deadline is June 25th, 2023 AoE. Resubmissions are allowed until the submission deadline.

Contributions will be reviewed and selected by the Program Committee. Extended abstracts of accepted contributions will be available electronically before the conference. Selected contributions will be invited to submit manuscripts based on their abstracts for conference post-proceedings.

Organisation
------------

General Chair:
Antonio Brogi, University of Pisa (IT)

Program Chairs:
Tomas Cerny, Baylor University (US)
Valentina Lenarduzzi, University of Oulu (FI)
Jacopo Soldani, University of Pisa (IT)

Industrial Liaison Chair:
Claudio Guidi, italianaSoftware (IT)

Publicity Chair:
Alessandro Bocci, University of Pisa (IT)
Philip Wizenty, University of Applied Sciences and Arts Dortmund (DE)

Local Chairs:
Stefano Forti, University of Pisa (IT)

Steering Committee
-----------------
Giulio Manzonetto, Université Sorbonne Paris Nord
Fabrizio Montesi, University of Southern Denmark
Sabine Sachweh, University of Applied Sciences and Arts Dortmund

Program Committee
-----------------

Amr S. Abdelfattah, Baylor University (USA)
Nour Ali, Brunel University London (UK)
Carlo Aliprandi, Extra RED (IT)
Hernán Astudillo, Universidad Técnica Federico Santa Maria (CL)
Luciano Baresi, Politecnico di Milano (IT)
Justus Bogner, University of Stuttgart (DE)
Andrea Janes, Vorarlberg University of Applied Science (AT)
Ivan Lanese, University of Bologna (IT)
Pavas Navaney, Oracle (USA)
Phu Nguyen, SINTEF (NO)
Claus Pahl, Free University of Bozen-Bolzano (IT)
Florian Rademacher, RWTH Aachen University (DE)
Larisa Safina, INRIA (FR)
Davide Taibi, University of Oulu (FI)
Pavel Tisnovsky, Red Hat (USA)
Nabil El Ioini, The University of Nottingham (MY)
Richard Lipka, University of West Bohemia (CZ)
Muhammad Waseem, University of Jyväskylä (FI)

Contact Information
-------------------

Please contact us if you have questions: https://www.conf-micro.services/2023/contact/
**********************************************************
*
* 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] ALENEX24 -- First call for papers

============================================================
ALENEX24: SIAM Symposium on Algorithm Engineering and Experiments
Westin Alexandria Old Town
Alexandria, VA, United States, January 7-8, 2024
Conference website https://www.siam.org/conferences/cm/conference/alenex24
Submission link https://easychair.org/conferences/?conf=alenex24
Abstract registration deadline    August 10, 2023
Submission deadline    August 17, 2023
============================================================

The aim of ALENEX is to provide a forum for the presentation of original
research in the design, implementation, and experimental evaluation of
algorithms and data structures. Typical submissions will include an
extensive experimental analysis of nontrivial algorithmic results,
ideally bridging the gap between theory and practice. We also invite
submissions that address methodological issues and standards in the
experimental evaluation of algorithms and data structures.

Relevant areas of applied algorithmic research include but are not
limited to databases; geometry; graphs and networks, including web
applications; operations research; combinatorial aspects of scientific
computing; and computational problems in the natural sciences or
engineering.

Also encouraged are submissions that address algorithms and data
structures for advanced models of computing, including memory
hierarchies and parallel computing, ranging from instruction parallelism
over multicore computing to high-performance and cloud computing.

Proceedings will be published openly and electronically in January 2024
as SIAM ePubs. ALENEX is supported by SIAM.

ALENEX is co-located with the meetings listed below. Since researchers
in all fields are approaching the problem of learning detailed
information about the performance of particular algorithms, we expect
that interesting synergies will develop.

    ACM-SIAM Symposium on Discrete Algorithms (SODA'24)
    SIAM Symposium on Simplicity in Algorithms (SOSA'24)

============================================================
Submission Guidelines
============================================================

For detailed information on submitting to ALENEX'24 please check:

https://www.siam.org/conferences/cm/submissions-and-deadlines/alenex24-submissions-deadlines

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

Program Committee Co-chairs

    Rezaul Chowdhury, Stony Brook University, U.S.
    Solon Pissis, CWI and Vrije Universiteit, The Netherlands

Program Committee

    Gerth Stølting Brodal, Aarhus University, Denmark
    Alex Conway, VMware Research Group, U.S.
    Matteo Frigo, Google, U.S.
    Yan Gu, University of California, Riverside, U.S.
    Tobias Heuer, Karlsruhe Institute of Technology, Germany
    Dominik Kempa, Stony Brook University, U.S.
    Florian Kurpicz, Karlsruhe Institute of Technology, Germany
    Grigorios Loukides, King's College, London, United Kingdom
    Kunsoo Park, Seoul National University, South Korea
    Simon J. Puglisi, University of Helsinki, Finland
    Jakub Radoszewski, University of Warsaw and Samsung R&D Warsaw, Poland
    Harsha Simhadri, Microsoft Research, India
    Yihan Sun, University of California, Riverside, U.S.
    Jesmin Jahan Tithi, Intel Labs, U.S.
    Renato Werneck, Amazon, U.S.

============================================================

--
Solon P. Pissis, Ph.D

Senior Researcher
Networks & Optimization group
Centrum Wiskunde & Informatica (CWI)

Associate Professor
Bioinformatics group
Computer Science, Vrije Universiteit

Tel: +31 62 881 7122
Email: solon.pissis@cwi.nl
WWW: https://homepages.cwi.nl/~solon/

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

[DMANET] PhD Position in Algorithms/Theory (Augusta University, USA)

Dear all,

We are looking for one PhD student with a strong interest in algorithms and theoretical computer science.

Location: School of Computer & Cyber Sciences, Augusta University, Georgia, USA
Starting Date: January 2024
Deadline: applications will be processed starting June 30 until the position is filled.
Contact: perobinson@augusta.edu

Research Topic:

The research will focus on the theoretical foundations of distributed computing, with the overarching goal of designing algorithms that are communication- and time-efficient. Obtaining such algorithms is important for several application domains. One possible research direction is to come up with new distributed algorithms that solve fundamental graph problems on massive data sets. Another possibility is to focus on achieving fault-tolerance in networks under adversarial attacks (e.g., Byzantine failures, dynamic changes, etc.) and to design new scalable consensus algorithms that are useful in the context of blockchains.

Expected Background:

* Having a strong background in algorithms, theoretical computer science, or discrete mathematics is essential.

* Being familiar with distributed computing is helpful but not required.

* For concrete examples of the research that will be expected, please take a look at the publications here:
https://scholar.google.com/citations?user=DsPjnMQAAAAJ&hl=en

Interested?

The successful candidate will be supervised by AssocProf Peter Robinson. Please get in touch with me ( perobinson@augusta.edu ) to discuss your application.

You can find more information about our doctoral program here:
https://www.augusta.edu/ccs/phd-ccs.php

Best,
Peter Robinson

**********************************************************
*
* 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] Algebraic Complexity Theory Workshop, call for online participation

Dear colleague,
We will have a one-day workshop on algebraic complexity theory with online participation via zoom (the physical workshop is in Paderborn), where the presentations are aimed at a general theoretical computer science audience.

Date: Monday, 2023-July-10
Website: https://www.dcs.warwick.ac.uk/~u2270030/act2023icalp

Best wishes,
Christian Ikenmeyer

**********************************************************
*
* 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] 5 th Workshop of the Euro Working Group on Pricing and Revenue Management 28-29 August 2023

5 th Workshop of the Euro Working Group on Pricing and Revenue Management
28-29 August 2023

University of Zurich

[ https://www.euro-prm.uzh.ch/en/EURO-2023.html | https://www.euro-prm.uzh.ch/en/EURO-2023.html ]

The event aims at integrating different disciplines to solve both theoretical and practical concerns that arise in the design and development of systems for network revenue management, pricing, and mechanism design.

The program will cover operations research methods, econometric models and machine learning techniques and tools applied to pricing and revenue management. The workshop is open to Master, PhD students as well as researchers and practitioners.

Plenary speakers

[ https://www.euro-prm.uzh.ch/en/EURO-2023/Guest-speakers/Jesus-Mart%C3%ADnez-Blanco.html | Jesus Martínez-Blanco ] (Flixbus),
[ https://www.euro-prm.uzh.ch/en/EURO-2023/Guest-speakers/Shadi-Sharif-Azadeh.html | Shadi Sharif Azadeh ] (TU Delft),
[ https://www.euro-prm.uzh.ch/en/EURO-2023/Guest-speakers/Henrik-Imhof.html | Henrik Imhof ] (CAWECO GmbH),
[ https://www.euro-prm.uzh.ch/en/EURO-2023/Guest-speakers/ArnoudVDenBoer.html | Arnoud V. den Boer ] (University of Amsterdam),
[ https://www.euro-prm.uzh.ch/en/EURO-2023/Guest-speakers/PhilippAf%C3%A8che.html | Philipp Afèche ] (University of Toronto) and
[ https://www.euro-prm.uzh.ch/en/EURO-2023/Guest-speakers/Arjan-Westerhof.html | Arjan Westerhof  ] (KLM)

https://www.euro-prm.uzh.ch/en/EURO-2023.html

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

[DMANET] RADICAL 2023: Concurrency & Logic, Antwerp (Belgium) DEADLINE EXTENDED - Final Call for Contributions

==================================================================
Third International Workshop on Recent Advances in Concurrency and
Logic (RADICAL 2023)

https://sites.google.com/site/radicalconcur/Home

Antwerp (Belgium), September 18, 2023
(co-located with CONCUR 2023)

Submission format:
*3-pages abstract*

Submission deadline (EXTENDED):
*Thursday,  6 July 2023*

Invited speakers:
- Natasha Alechina (Utrecht University, NL)
- Damiano Mazza (CNRS and LIPN, Université Sorbonne Paris Nord, FR)
==================================================================

++ SCOPE AND TOPICS
Concurrency and Logics are two of the most active research areas in the
theoretical computer science domain. The literature in these fields is
extensive and provides a plethora of logics and models for reasoning
about intelligent and distributed systems. More recently, the interplay
of concurrency and logic with areas such as:

1. design, verification, synthesis for concurrent systems, both qualitative
and quantitative;
2. strategic reasoning for distributed and multi-agent systems;
3. analysis and validation techniques for concurrent and distributed
programs,
such as advanced type systems and separation logics;

has received much attention, as witnessed by recent editions of AI
conferences. All these examples share the challenge of developing novel
theories and tools for automated reasoning that take into account the
behavior of concurrent and multi-agent entities.

The workshop aims to bring together researchers working on different aspects
of logic and concurrency in AI, multi-agent systems, and computer science,
both from a theoretical and a practical point of view. Besides, it aims to
promote research on Foundation of AI in other research communities that are
traditionally Theoretical Computer Science-oriented.

The topics covered by the workshop include, but are not limited to, the
following:
Concurrency Theory;
Programming languages and semantics;
Formal models for communication-based, concurrent and distributed systems;
Logics in concurrency;
Logics for verification of (concurrent) multi-agent systems;
Logical foundations of decision theory for multi-agent systems;
Knowledge representation;
Programming languages;

++ SUBMISSION GUIDELINES
Submitted contributions should not exceed 3 pages (not including references)
using the EasyChair format. Submitted papers should be formatted in PDF and
uploaded to

https://easychair.org/conferences/?conf=radical2023

We invite submissions describing talk proposals on the intersection of
logic and concurrency. A submission to RADICAL would typically fall within
one of the following categories:

reports of an ongoing work and/or preliminary results;
summaries of an already published paper (or series of papers);
overviews of (recent) PhD theses;
descriptions of research projects and consortia;
manifestos, calls to action, personal views on current and future
challenges;
overviews of interesting yet underrepresented problems.

This list is by no means exhaustive but merely indicative.

Submissions based on already published works should include explicit
references/links as appropriate.
Reviewers may read such prior published works, but are not obliged to do so.

Submissions will be judged by the program committee on the basis of
significance, relevance, and potential of an engaging, compelling talk
at the workshop.

Submission from PC members is encouraged.

It is understood that for each accepted submission one of the co-authors
will attend the workshop and give the talk.

No Proceedings:
RADICAL will be an informal venue, oriented to interaction, so there
will be no formal proceedings.

++ IMPORTANT DATES
** Submission deadline: 30 June 2023.
** Notification to authors: 28 July 2023.
** Workshop: 18th September 2023, in Antwerp (Belgium).

++ WORKSHOP CO-CHAIRS
Giuseppe Perelli (Sapienza University of Rome, Italy)
Jorge A. Pérez (University of Groningen, The Netherlands)

++ PROGRAMME COMMITTEE (In progress)
Antonis Achilleos, Reykjavik University
Natasha Alechina, Utrecht University
Benedikt Bollig, LSV, ENS Cachan, CNRS
Patricia Bouyer, CNRS & ENS Paris-Saclay
James Brotherston, University College London
Marco Carbone, IT University of Copenhagen
Zoé Christoff, University of Groningen
Emanuele D'Osualdo, Max Planck Institute for Software Systems
Ornela Dardha, School of Computing Science -- University of Glasgow
Mariangiola Dezani-Ciancaglini, Dipartimento di Informatica, Università
di Torino
Claudio Di Ciccio, Sapienza University of Rome
Adrian Francalanza, University of Malta
Julian Gutierrez, Monash University
Paul Harrenstein, University of Oxford
Ross Horne, University of Luxembourg
Tobias Kappé, Open University of the Netherlands and ILLC, University of
Amsterdam
Robbert Krebbers, Radboud University Nijmegen
Munyque Mittelmann, University of Naples Federico II
Daniele Nantes-Sobrinho, Imperial College London
Giuseppe Perelli, Sapienza University of Rome (co-chair)
Jorge Perez, University of Groningen (co-chair)
Anna Philippou, University of Cyprus
Elaine Pimentel, UCL
Sophie Pinchinat, IRISA Rennes
Nir Piterman, University of Gothenburg
Sasha Rubin, The University of Sydney
Bernardo Toninho, Universidade Nova de Lisboa and NOVA-LINCS
Philip Wadler, The University of Edinburgh
Valeria de Paiva, Samsung Research America and University of Birmingham

--
Giuseppe Perelli
Assistant Professor
Sapienza University of Rome
Department of Computer Science
Viale Regina Elena, 295
Building E | Room E310

https://giuseppeperelli.github.io/
mail: perelli@di.uniroma1.it
phone: +39.06.49255.470 (int. 36470)

**********************************************************
*
* 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] Euro PhD School "Data Science Meets Combinatorial Optimization", September 4-8 2023, Bielefeld

Dear colleagues

It is our pleasure to announce the first EURO PhD School on "Data Science Meets Combinatorial Optimization"<https://decision-analytics.github.io/PhD-School-DSO-2023/> to be held September 4-8 2023 in Bielefeld. We are grateful to the top speakers that accepted to organise one day each on a central subject of their research and allowing us to cover five major subjects in the domain:

* Kevin Tierney , Bielefeld University on "Deep Reinforcement Learning for Vehicle Routing Problems"
* Marius Lindauer, Alexander Tornede: Leibniz University Hannover on "Efficient algorithm design via automated algorithm selection and configuration"
* Yingqian Zhang, Eindhoven University of Technology and Sicco Verwer, Delft University of Technology on "Optimization in Machine Learning"
* Kate Smith-Miles, University of Melbourne on "Instance Space Analysis"
* Dimitri Papadimitriou. University of Antwerp on "A third dimension for characterising algorithms: spatial properties"

Each day will be a combination of theory and practice with presentations and workshop sessions allowing an open discussion with the lecturers and their assistants.

Applications are open till July 31st 2023. More information is available at https://decision-analytics.github.io/PhD-School-DSO-2023/ .

Looking forward,

Many thanks to EURO, GOR, University of Bielefeld and its Faculty of Business Administration and Economics, SDS and JAII for the support.

The organisers

Michael Römer, Bielefeld University,
Patrick De Causmaecker, KU Leuven, DSO.
Andrew Parkes, University of Nottingham, DSO
Ender Özcan, University of Nottingham, DSO

--

J-Prof. Dr. Michael Römer

Decision Analytics Group
Faculty of Business Administration and Economics
Bielefeld University

Universitätsstraße 25
33615 Bielefeld

phone (+49) 521 106-67889

mailto:michael.roemer@uni-bielefeld.de

**********************************************************
*
* 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] CfPs for workshops at the 29th International Conference on Principles and Practice of Constraint Programming (CP 2023)

Calls for Papers (Workshops @ CP 2023)

We will be hosting five workshops at the 29th International Conference on Principles and Practice of Constraint Programming, on 27th August, 2023, in Toronto, Canada. You can find their titles, websites and important dates (if applicable) here.

Check our website<https://cp2023.a4cp.org/workshops.html> for the latest updates.

ModRef 2023

The 22nd workshop on Constraint Modelling and Reformulation: website<https://modref.github.io/ModRef2023.html>.

Organisers: Peter Nightingale (chair), Elias Khalil (chair).

Important dates:

* Paper Submission: July 7th, 2023
* Notification of acceptance/rejection: July 17th, 2023
* Camera ready version: July 24th, 2023

PTHG-23

The Sixth Workshop on Progress Towards the Holy Grail: website<https://freuder.wordpress.com/progress-towards-the-holy-grail-workshops/pthg-23-the-sixth-workshop-on-progress-towards-the-holy-grail/>.

Organisers: Eugene Freuder (chair), Christian Bessiere, Tias Guns, Ian Miguel, Michela Milano, Helmut Simonis.

Important dates:

* Submission deadline: 10 days before the CP 2023 conference early registration deadline
* Acceptance notifications: 5 days before the CP 2023 conference early registration deadline

Opt4Sports 2023

Organisers: David Bergman, Jeff Decary.

Workshop on Optimization for Sports: website<https://sites.google.com/uconn.edu/cp2023-opt4sports2023>.

DPSOLVE 2023

Organisers: Chris Beck, Xavier Gillard, Ryo Kuroiwa, Laurent Michel, Pierre Schaus, Willem van Hoeve (chair).

Workshop on Models and Solvers for Dynamic Programming: website<https://sites.google.com/view/dpsolve2023/>.

Important dates:

* Submission deadline: July 10, 2023
* Notifications: July 17, 2023

WTCP 2023

Workshop on Teaching Constraint Programming: website<https://groups.google.com/g/constraints/c/gcu4maSOKpM>

Organisers: Tejas Santanam, Helmut Simonis.

Important dates:

* Paper Submission: July 14th, 2023
* Notification of acceptance/rejection: July 28th, 2023
* Camera ready version: August 8th, 2023

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

Anna Latour
Research Fellow
NUS School of Computing

________________________________

Important: This email is confidential and may be privileged. If you are not the intended recipient, please delete it and notify us immediately; you should not copy or use it for any purpose, nor disclose its contents to any other person. Thank you.

**********************************************************
*
* 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] Three Open Rank Professorships in the field of Machine Learning and Artificial Intelligence

Dear colleagues,

here's your opportunity to shape the future of Machine Learning and
Artificial Intelligence as part of our research institute.

The Lamarr Institute [1] and TU Dortmund University [2] are looking for
three open rank professorship positions to be filled as early as
possible:

THREE PROFESSORSHIPS IN THE FIELD OF MACHINE LEARNING AND ARTIFICIAL
INTELLIGENCE
(Open Rank: W3 tenured or W2 with W3 tenure track)
at the Department of Computer Science, TU Dortmund University

https://service.tu-dortmund.de/documents/18/2120803/Job_Advertisements_Professorships_Lamarr.pdf
[3]

If you are interested, please drop us a message.

We are seeking an outstanding scientist who holds an excellent PhD in
Computer Science or related disciplines, has experience in applying for
third-party funds and has published in relevant and highly ranked
international venues with peer review. In particular, we welcome
applications of candidates who have conducted excellent research in one
or more of the following areas:

* Foundations of Artificial Intelligence
* Theory of Deep Learning
* Neuro-Symbolic Artificial Intelligence
* Explainable Artificial Intelligence
* Causality
* Machine Learning and Logic
* Fairness and Transparency of Machine Learning
* Ressource Aware Machine Learning
* Reinforcement Learning
* Large-Scale Generative Models
* Simulation-Based Machine Learning
* Large Scale Optimization
* Federated Learning
* Future Applications of Machine Learning

IF YOU ARE INTERESTED IN THE POSITION, PLEASE SEND YOUR APPLICATION VIA
E-MAIL BY AUGUST 2ND TO: BEWERBUNG@CS.TU-DORTMUND.DE

The Lamarr Institute, as a leading international center for Machine
Learning, focuses on the value-based research and development of
high-performance, trustworthy, and resource-efficient applications of
Machine Learning and Artificial Intelligence (AI). It establishes
internationally competitive research that sustainably strengthens
Germany and Europe as leading locations for research, education, and
technology transfer in AI. Along the central research paradigm of
„Triangular AI" (AI3), Lamarr scientists are laying the foundations for
the next generation of Artificial Intelligence, which uses data,
knowledge and context of intelligent systems on an equal footing.

The Department of Computer Science at TU Dortmund University is one of
the largest in Germany and has particular strengths in research. Among
similar institutions, it is distinguished by a combination of
fundamental research on formal methods with the development of practical
applications. Research focuses on Algorithmics, Data Science,
Cyber-Physical Systems and Software and Service Engineering.

Bests,
Emmanuel Müller

--
Prof. Dr. Emmanuel Müller
emmanuel.mueller@cs.tu-dortmund.de

Professor of Computer Science
Technical University of Dortmund

Chair of Data Science and Data Engineering
https://ls9-www.cs.tu-dortmund.de/ [4]

LAMARR Institute for Machine Learning and Artificial Intelligence
https://lamarr-institute.org/ [1]

Director of Research Center Trustworthy Data Science and Security
https://rc-trust.ai/ [5]

Links:
------
[1] https://lamarr-institute.org/
[2] https://www.tu-dortmund.de/
[3]
https://service.tu-dortmund.de/documents/18/2120803/Job_Advertisements_Professorships_Lamarr.pdf
[4] https://ls9-www.cs.tu-dortmund.de/
[5] https://rc-trust.ai/

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