Saturday, September 24, 2022

[DMANET] Final CFP: "Surveys in Algorithm Analysis and Complexity Theory" special issue of Algorithms

FINAL CALL FOR PAPERS:
"Surveys in Algorithm Analysis and Complexity Theory" -- A special issue of
Algorithms (ISSN 1999-4893)

This is a special issue consisting of surveys in theoretical computer science.
We invite original articles summarizing recent breakthroughs and/or describing
the state of the art in any currently active research area related to
algorithms, data structures, or computational complexity.
Articles should be well-structured, and each article should focus on a clearly
defined topic.
In addition, sufficient background, definitions, and figures should be provided
to ensure that the text will be accessible to anyone interested in theoretical
computer science.
Implementation-based surveys that compare the practical performance of various
algorithms for a particular computational problem are also invited.
We hope that the surveys published in this special issue will be useful for
other researchers and become highly cited in the near future.

Guest Editor:
Dr. Jesper Jansson, Kyoto University, Japan

Keywords:
* algorithm analysis
* modern data structures
* computational complexity
* fixed-parameter tractability
* approximation algorithms
* lower bounds
* bioinformatics algorithms
* computational geometry
* parallel and distributed computing
* quantum computing

Submission information:
Submitted manuscripts should not have been published previously nor be under
consideration for publication elsewhere.
All submissions will be thoroughly refereed through a peer-review process.
Manuscripts should be submitted online after registering and logging in.
Accepted articles will be published continuously in the journal (as soon as
accepted) and will be listed together on the special issue website.
A guide for authors and other information related to the submission of
manuscripts is available on the "Instructions for Authors"-page.
The article processing charges for publication in this open-access journal are
also listed on the journal's webpage.
A limited number of fee waivers are available; in case you are interested in
applying for one, please ask the Guest Editor for details before submitting
your survey to the journal.

Deadline:
The deadline for manuscript submissions is 2022-10-31.

About the journal:
Algorithms (ISSN 1999-4893; CODEN: ALGOCH) is an open-access journal of
computer science, computational mathematics, artificial intelligence,
automation and control systems, theory, methods and interdisciplinary
applications, data and information systems, and software engineering.
It is published online monthly by MDPI.

Journal webpage:
https://www.mdpi.com/journal/algorithms

Special issue main webpage:
https://www.mdpi.com/journal/algorithms/special_issues/survey_algorithm_complexity

Instructions for authors:
https://www.mdpi.com/journal/algorithms/instructions

Submission:
https://susy.mdpi.com/user/manuscripts/upload/?journal=algorithms


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

Friday, September 23, 2022

[DMANET] Vacant PhD Position in Operations Research at the University of Wuppertal (Germany) - Deadline for applications: 2022-10-24 (October 24th, 2022)

Vacant PhD Position in Operations Research at the University of
Wuppertal (Germany)

At the Faculty of Management and Economics - Schumpeter School of
Business and Economics, Chair of Business Computing and Operations
Research, to be filled at the earliest possible date, and on a 3-year,
fixed-term contract, the position of

Graduate Research Assistant/Associate (Ph.D. Position) Part-time (75 %
of the standard full-time working hours)
Salary: Pay Grade E 13 TV-L

Professional and Personal Requirements:
- A successfully completed graduate degree (Master's Degree or
equivalent) with above average grades in Computer Science / Business
Computing / Mathematics / Economics / Industrial or Business Engineering
- Knowledge of the implementation and validation of optimization
algorithms in C/C++ (or comparable programming languages)
- An interest in tackling practical and relevant research questions
- Good written and oral English language
- An interest in developing, maintaining and expanding national and
international networks of contacts in academia and the business world
- Willingness to pursue doctoral studies (preparation of a Ph.D. thesis)

Duties and Responsibilities:
- Co-operation and collaboration on algorithm coding, development and
implementation for the DFG research project (entitled in German)
"Tourenplanung für menschliche und/oder automatisierte Kommissionierer
in modernen Distributionszentren" (in English: Tour planning for human
and/or automated pickers in modern distribution centers) together with
university and/or private sector partners
- Preparation of a doctoral (Ph.D.) thesis

This position is intended to allow the concurrent acquisition of further
qualifications in accordance with the Law on Fixed-Term Employment
Contracts in Higher Education and Research (WissZeitVG), by supporting
successful applicants in their doctoral studies. The vacancy shall be
available for the length of the Ph.D. examination procedure; however, it
shall initially be limited to a fixed term of three years. If necessary,
an extension of the contract to allow the completion of the doctoral
examination procedure is possible within the time limits stipulated by
the Law on Fixed-Term Employment Contracts in Higher Education and
Research (WissZeitVG).
Reference Number: 22129

Applications (with cover letter, Curriculum Vitae/Resumé, and supporting
documentation concerning previous educational attainment, previous
employment, and - where relevant - disabilities, as PDF files) can only
be submitted over the online recruitment system of the University of
Wuppertalhttps://stellenausschreibungen.uni-wuppertal.de. (an English
version of the site is available) Incomplete or incorrectly submitted
applications cannot be taken into consideration!

Contact person in relation to this position: Prof. Dr. Stefan Bock.

Applications are encouraged from people of all sexes and genders. In
accordance with the NRW Equal Opportunities Act, in cases of equal
qualification, aptitude and expertise of the applicants, female
applicants will be given preferential consideration, unless reasons
specific to another individual candidate prevail. This does not affect
the right of people with disabilities to be given preferential
consideration in cases of equal qualification, aptitude and expertise

The extended deadline for applications: 2022-10-24 (October 24th, 2022)

Applications are welcome:
https://stellenausschreibungen.uni-wuppertal.de/qisserver/rds?state=change&type=2&moduleParameter=bwmSearchResult&nextdir=sva/bwmsas&next=DetailView.vm&sas.sas_serial=4356&sqlmode=update&subdir=sva/bwm&comingfromselection=n&menuid=&P_anzahl=&P_start=&topitem=&subitem=svabwmstellenuebersicht&termdisplayonly=y&view=1&noDBAction=y&init=y&asi=

--


Prof. Dr. Stefan Bock

University of Wuppertal
Business Computing and Operations Research
Schumpeter School of Business and Economics
Gaußstraße 20
D-42097 Wuppertal
Germany

Phone: +49-202-439 2442, 2444 (Secretary)
Fax: +49-202-439 3434

E-Mail: sbock@winfor.de
WWW: http://www.winfor.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] Ausschreibung einer Stelle als Wissenschaftliche*r Mitarbeiter*in in Operations Research an der Universität Wuppertal - Bewerbungsfrist 24.10.2022

Ausschreibung einer Stelle als Wissenschaftliche*r Mitarbeiter*in in
Operations Research an der Universität Wuppertal

In der Fakultät für Wirtschaftswissenschaft - Schumpeter School of
Business and Economics,
am Lehrstuhl Wirtschaftsinformatik und Operations Research,

ist zum nächstmöglichen Zeitpunkt, befristet bis zu 3 Jahren,
eine Stelle als

Wissenschaftliche*r Mitarbeiter*in
mit 75 % der tariflichen Arbeitszeit

zu besetzen. Stellenwert: E 13 TV-L

Fachliche und persönliche Einstellungsvoraussetzungen:
- Überdurchschnittlich abgeschlossenes Universitätsstudium (Master oder
vergleichbar) in der Informatik / Wirtschaftsinformatik / Mathematik /
Wirtschaftswissenschaften / Wirtschaftsingenieurwissenschaften
- Kenntnisse der Implementierung und praktischen Validierung von
Optimierungsverfahren in C/C++ (oder vergleichbarer Programmiersprache)
- Interesse an der Bearbeitung praxisrelevanter Forschungsprobleme
- Gute englische Sprachkenntnisse erforderlich
- Interesse an nationalen und internationalen Forschungs- und
Praxiskontakten
- Bereitschaft zur Promotion

Aufgaben und Anforderungen:
- Mitarbeit bei der Algorithmenentwicklung und Implementierung im DFG
Forschungsprojekt "Tourenplanung für menschliche und/oder automatisierte
Kommissionierer in modernen Distributionszentren" zusammen mit
Universitäts- und/oder Praxispartnern*innen
- Erstellung einer Dissertation

Es handelt sich um eine Qualifizierungsstelle im Sinne des
Wissenschaftszeitvertragsgesetzes (WissZeitVG), die zur Förderung eines
Promotionsverfahrens dient. Die Stelle ist befristet für die Dauer des
Promotionsverfahrens, jedoch vorerst bis zu 3 Jahren, zu besetzen. Eine
Verlängerung zum Abschluss der Promotion ist innerhalb der
Befristungsgrenzen des WissZeitVG ggf. möglich.

Kennziffer: 22129

Bewerbungen (mit Anschreiben, Lebenslauf, Nachweis des erfolgreichen
Studienabschlusses, Arbeitszeugnissen, ggf. Nachweis einer
Schwerbehinderung als PDF-Datei) sind grundsätzlich nur möglich über das
Onlineportal der Bergischen Universität Wuppertal:
https://stellenausschreibungen.uni-wuppertal.de. Unvollständig
eingereichte Bewerbungen können nicht berücksichtigt werden!

Ansprechpartner für das Anschreiben ist Herr Prof. Dr. Stefan Bock.

Bewerbungen von Menschen jeglichen Geschlechts sind willkommen. Frauen
werden nach Maßgabe des Landesgleichstellungsgesetzes NRW bevorzugt
berücksichtigt, sofern nicht in der Person eines Mitbewerbers liegende
Gründe überwiegen. Die Rechte der Menschen mit Schwerbehinderungen, bei
gleicher Eignung bevorzugt berücksichtigt zu werden, bleiben unberührt.

Bewerbungsfrist: 24.10.2022

Bewerbungen sind willkommen unter:
https://stellenausschreibungen.uni-wuppertal.de/qisserver/rds?state=change&type=2&moduleParameter=bwmSearchResult&nextdir=sva/bwmsas&next=DetailView.vm&sas.sas_serial=4356&sqlmode=update&subdir=sva/bwm&comingfromselection=n&menuid=&P_anzahl=&P_start=&topitem=&subitem=svabwmstellenuebersicht&termdisplayonly=y&view=1&noDBAction=y&init=y&asi=

--


Prof. Dr. Stefan Bock

University of Wuppertal
Business Computing and Operations Research
Schumpeter School of Business and Economics
Gaußstraße 20
D-42097 Wuppertal
Germany

Phone: +49-202-439 2442, 2444 (Secretary)
Fax: +49-202-439 3434

E-Mail: sbock@winfor.de
WWW: http://www.winfor.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/
*
**********************************************************

Thursday, September 22, 2022

[DMANET] Tenure Track Assistant Professor Position in CUNY

Baruch College, part of the City University of New York (CUNY), lies at the
heart of Manhattan. It is regularly ranked as the country's top college for
social mobility <https://www.socialmobilityindex.org/>, supporting
promising students from disadvantaged backgrounds in their journey to
middle class and beyond. (See also here
<https://www.cnbc.com/2020/07/28/the-top-50-us-colleges-that-pay-off-the-most-in-2020.html?__source=sharebar|email&par=sharebar>
.)

Since Baruch College was traditionally CUNY's business school
<https://money.com/best-business-colleges/>, it did not include Computer
Science. Our computer science major will start in August 2023. We are
hiring professors that will help shape and grow computer science at Baruch.


We aim to start with a relatively small computer science major at a high
technical level. The prerequisites for this major are among the highest at
Baruch College. At the same time, we aim to have a diverse group of
students, from a wide variety of backgrounds. We hope to also have a
diverse CS faculty and encourage women and underrepresented minorities to
apply.

Faculty are expected to be active researchers and encouraged to also become
members of the CUNY Graduate Center
<https://www.gc.cuny.edu/computer-science>, where most of the
research-related activity occurs (seminars, PhD students, and so on).


For more information, see here: https://geometrynyc.wixsite.com/csjobs

**********************************************************
*
* 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: Sep. 30, 2022] Call for Papers for WABCT 2022

ICS 2022 Workshop on Algorithms, Bioinformatics, and Computation Theory

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Due to COVID-19, ICS 2022 will be a hybrid conference with both online and
onsite participants. At least one author of each accepted paper will be
expected to register at the conference and give an onsite talk or an online
talk for the paper.
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

The 2022 Workshop on Algorithms, Bioinformatics, and Computation Theory in
conjunction with 2022 International Computer Symposium (ICS 2022) will be
held at National Taipei University of Business, Taoyuan, Taiwan, on
December 15-17, 2022. ICS is one of the most prestigious international ICT
symposiums held in Taiwan. Founded in 1973, it is intended to provide a
forum for researchers, educators, and professionals to exchange their
discoveries and practices, and to explore future trends and applications in
computer technologies. The biennial symposium offers a great opportunity to
share research experiences and to discuss potential new trends in the ICT
industry. ICS 2022 will provide workshops, panels and keynotes to
facilitate discourse on and deepen the understanding of the challenges in
computer and communication technologies.

All the papers will be published to the symposium in Springer-Verlag CCIS
series (https://www.springer.com/series/7899), Communications in Computer
and Information Science. CCIS is abstracted/indexed in DBLP, Google
Scholar, EI-Compendex, Mathematical Reviews, SCImago, Scopus. Papers of
high quality will be invited to special issues of Theoretical Computer
Science (TCS) related to the topics of WABCT 2022.

The topics of the Workshop on Algorithms, Bioinformatics, and Computation
Theory to be covered include (but are not limited to) the following:
- Algorithms and Data Structures
- Algorithmic Game Theory
- Approximation Algorithms and Online Algorithms
- Automata, Languages, Logic, and Computability
- Complexity Theory
- Computational Learning Theory and Knowledge Discovery
- Cryptography, Reliability and Security, and Database Theory
- Computational Biology and Bioinformatics
- Computational Algebra, Geometry, and Number Theory
- Graph Drawing and Information Visualization
- Graph Theory, Communication Networks, and Optimization
- Parallel and Distributed Computing
- Fault Tolerant Computing and Fault Diagnosis
- Deep Learning Algorithms and Applications

--------------------------
Important Dates
--------------------------
- Full Paper Submission: September 30, 2022 (AoE)
- Author Notification: October 31, 2022
- Camera Ready: November 15, 2022
- Conference Dates: December 15-17, 2022

---------------------------------
Submission Instructions
---------------------------------
Authors are invited to submit high-quality manuscripts reporting original
unpublished research in the topics related to the symposium. Simultaneous
submission to other conferences or workshops with published proceedings is
not allowed.
Each submission should consist of the main part of the paper, not exceeding
12 pages (including the title page and the references), plus an optional
clearly marked appendix (to be read at the discretion of the program
committee). Any figure pertaining to the main part of the paper should be
included therein (within the 12 page limit). The first page must include an
indication of whether the paper is eligible for the best student paper
award. Papers that deviate from these guidelines risk being rejected
without consideration of their merits. Submission is through the EasyChair
conference system. The submission process requires registration to create
an EasyChair account prior to submission.

Before submission, authors should carefully read over the submission
guidelines, located at https://ics2022.ntub.edu.tw. All papers must be
submitted in an electronic format according to the conference paper
submission guidelines at the website. Submission page:
https://easychair.org/conferences/?con=ics2022.

--------------
Awards
--------------
Awards will be given to the best paper and the best student paper. To be
eligible for the best student paper award, at least one of the paper
authors must be a full-time student at the time of submission, and the
student(s) must have made a significant contribution to the paper. The
program committee may decline to make these awards or may split them.

----------------------------
Workshop co-Chairs
----------------------------
Jou-Ming Chang, National Taipei University of Business, Taiwan
Sun-Yuan Hsieh, National Cheng Kung University, Taiwan
Ling-Ju Hung, National Taipei University of Business, Taiwan
Ralf Klasing, CNRS and University of Bordeaux, France
Chia-Wei Lee, National Taitung University, Taiwan

-------------------------------------------
Workshop Program Committee:
-------------------------------------------
Matthias Bentert, TU Berlin, Germany
Hans-Joachim Böckenhauer, ETH Zurich, Switzerland
Arnaud Casteigts, University of Bordeaux, France
Ho-Lin Chen, National Taiwan University, Taiwan
Po-An Chen, National Yang Ming Chiao Tung University , Taiwan
Eddie Cheng, Oakland University, USA
Hsin-Hung Chou, National Chi Nan University, Taiwan
Thomas Erlebach, Durham University, UK
Jianxi Fan, Soochow University, China
Florent Foucaud, LIMOS - Université Clermont Auvergne, France
Leszek Gasieniec, University of Liverpool, UK
Wing-Kai Hon, National Tsing Hua University, Taiwan
Sanpawat Kantabutra, Chiang Mai University, Thailand
Hung-Yu Kao, National Cheng Kung University, Taiwan
Christian Komusiewicz, Philipps-Universität Marburg, Germany
Van Bang Le, University of Rostock, Germany
Chung-Shou Liao, National Tsing Hua University, Taiwan
Cheng-Kuan Lin, National Yang Ming Chiao Tung University, Taiwan
Chuang-Chieh Lin, Tamkang University, Taiwan
Tobias Mömke, University of Augsburg, Germany
Kung-Jui Pai, Ming Chi University of Technology, Taiwan
Tomasz Radzik, King's College London, UK
Peter Rossmanith, RWTH Aachen University, Germany
Dajin Wang, Montclair State University, USA
Hung-Lung Wang, National Taiwan Normal University, Taiwan
Weili Wu, University of Texas at Dallas, USA
Jules Wulms, TU Wien, Austria
Dong Xiang, Tsinghua University, China
Tomoyuki Yamakami, University of Fukui, Japan
Shuming Zhou, Fujian Normal University, China

-----------------
Contact
-----------------
All questions about WABCT 2022 should be emailed to ics2022@ntub.edu.tw

**********************************************************
*
* 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] =?Windows-1252?Q?PhD_position_on_=91Planning, _scheduling_and_operation_of?= on-demand minibusses’

PhD position on 'Planning, scheduling and operation of on-demand minibusses'

In recent years, we observe the emergence of more and more (autonomous or manually operated) minibus services on the promise of being more flexible than mass public transport on the one hand and on the other hand more sustainable and cheaper than taxi services.
While these services currently have limited flexibility when operating autonomously, and high operation costs when operated by human drivers, advances in autonomous driving may soon lead to a higher competitiveness of such services.
However, little is known yet on how to efficiently plan for and operate these services and in particular on how to make full use of real-time demand information under uncertainty of future demand.
The aim of this PhD project is to develop algorithmic methods for planning, scheduling, and/or operation of on-demand minibus services.
The PhD candidate will be employed (1 FTE) at the Institute for Computer Science at Julius-Maximilians-Universitat Wuerzburg. The position comes with teaching obligations (5h/week during the teaching period) .
Do you

* have a Msc degree in Mathematics, Computer Science, Transport Engineering, Computational OR or similar,
* have experience with the design and implementation of algorithms and/or integer linear programming,
* enjoy modeling (read: translating a real-world problem to a tractable mathematical problem and back),
* like to present your research in written and oral form (publications and conference presentations), and i
* are excited about helping to shape the mobility of the future
?
Then don't hesitate to contact Marie Schmidt (marie.schmidt@uni-wuerzburg.de<mailto:marie.schmidt@uni-wuerzburg.de>) for further information, or send your application (including motivation letter, CV and grade list).


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

Dear all,

This is the first announcement for the 2nd Edition of the workshop "Metabolism and
mathematical models: Two for a tango" that will take place on October 25-26, 2022.
The workshop will be virtual as was the case for the 1st Edition which took place
on November 18-19, 2021.

As was the case for the first Edition and as the title indicates, the topic of the workshop
is metabolism in general. As in the previous case, 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:
http://team.inria.fr/erable/en/events/workshop-metabolism-and-mathematical-models-two-for-a-tango-2nd-edition/.

As you can see, we'll be very happy to have six Keynote speakers as for the 1st Edition:
Joshua Chan, Colorado State University, US;
Pedro Mendes, University of Connecticut Health Center, US;
Carlos Robello, Institut Pasteur de Montevideo and Faculty of Medicine, Uruguay;
Miguel Rocha, University of Minho, Portugal;
Emma Saavedra, Instituto Nacional de Cardiologia Ignacio Chavez, Mexico;
Joerg Stelling, ETH Zürich, Switzerland.

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:
http://team.inria.fr/erable/en/events/workshop-metabolism-and-mathematical-models-two-for-a-tango-2nd-edition/#registration.

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

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] Special Issue: Journal of Combinatorial Optimization

Call for Papers
Journal of Combinatorial Optimization

Special Issue:
New Challenges in Combinatorial Optimization

This special issue will present recent advances and challenges in all areas of Combinatorial Optimization. The issue will be based on contributions presented at the ECCO XXXV - CO 2022 Joint Conference, June 9-11, 2022, but invitation to submit is extended to all ECCO and CO members.

The deadline for submission is December 1, 2022.

Main areas / topics of interest are (but not restricted to):


* Graphs and networks
* Mathematical programming
* Routing and scheduling
* Facility location
* Exact methods
* Approximation algorithms
* Heuristics
* Metaheuristics
* Matheuristics

All articles will be thoroughly refereed according to the high standard of the Journal of Combinatorial Optimization.

Full papers must be submitted through the Springer Editorial System https://www.editorialmanager.com/joco/.

Please see the Author Instructions on the site if you have not yet submitted a paper through this web-based system. Be sure to note that your work is intended for the Special Issue and to select the article type SI: New Challenges in CO.

Accepted papers will be published online individually, before print publication.

We look forward to receiving your contribution.

The Guest Editors,

Bo Chen
Alexander Kulikov
Silvano Martello

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

Wednesday, September 21, 2022

[DMANET] Postdoctoral Fellowships in Computational Complexity

Dear all,

I'm looking for two or three postdoctoral researchers to join me at the
University of Lisbon, as part of the ERC Starting Grant "The Hardness of
Finding Good Algorithms".

The project focuses on metacomplexity and unconditional lower-bounds. We
will study problems around formula complexity, circuit complexity,
communication complexity, data structures, etc, both classical and quantum
(but with more emphasis on classical).

I'm looking for strong candidates with a background in maths and
theoretical computer science, and I'm particularly interested in people who
have proven unconditional lower-bound (of any kind). The following topics
currently appear to be relevant to different parts of the project, so if
you are knowledgeable of and/or interested in learning about some of them,
all the better:
* communication complexity
* representation theory of finite groups
* convex optimization,
* interior-point methods (including implementations)
* stochastic games
* data-structure lower-bounds
* algebraic complexity

The starting date is flexible, between March-September 2023. The position
is for 2 years, with the possibility of extension until March 2028. There
is generous travel support available and no teaching duties (but frequent
contributions to our seminar are expected). Salary is circa 50k EUR/year
gross. That amounts to ca. 2800 EUR/month net salary (this includes holiday
subsidies, so it's 2400/month + 2400 two times per year).

I expect two of the positions to be filled by mid-late January 2023, at the
latest. A decision on individual applicants will not be made before
November 1, so you may think of that as a soft deadline for applying. After
November 1, someone may have filled the position already, but there is
flexibility in the number of positions, so you may apply anyway.

You may see a longer description of the project at:
https://brunoloff.wordpress.com/hofga/

If you have any questions, feel free to contact me: bruno.loff@gmail.com.

See you,
Bruno Loff

**********************************************************
*
* 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] Tenure-track Faculty Position at the University of Minnesota Duluth

Dear colleagues,

The Department of Computer Science in the Swenson College of Science
and Engineering at the University of Minnesota Duluth (UMD) invites
applications for a tenure-track Assistant Professor that will begin on
August 21, 2023. This is a full time, 9 month position. The successful
candidate will establish an independent, externally funded research
program, which includes mentorship of undergraduates and graduate
students. The area of research specialization for this position is
open and all areas are encouraged to apply. We do have specific needs
to strengthen our computer security, computer science education, and
computer systems areas. Additionally, our department is interested in
supporting research scholars whose research contributes to diversity,
inclusivity, and equity. The successful candidate will have teaching
responsibilities in our lecture and laboratory courses. They will also
contribute to graduate and undergraduate teaching, advising, and
mentoring, while supporting diversity and inclusion and a commitment
to justice. Service to the Department, College, and University is also
expected. Candidates must have a Ph.D. in computer science or a
related discipline by July 1, 2023. Experience with effective and
innovative teaching methods, such as active learning, is
preferred. Please see https://z.umn.edu/scsecareers for more
information.

To apply, please see the following link using job ID 350950

https://humanresources.umn.edu/content/find-job

The Department of Computer Science is committed to providing engaging
and contemporary learning environments for all students interested in
the profession of computer science. Students work closely with our
faculty on a wide array of multidisciplinary research topics and
participate in opportunities to extend the reach of computer science
in the community. The Bachelor of Science in Computer Science degree
is accredited by the Computing Accreditation Commission of ABET
(www.abet.org). The M.S. degree, a two year program in Computer
Science, provides a firm foundation in research and applications in
Computer Science.

We are especially interested in recruiting and retaining a diverse
faculty to maintain the excellence of the Department, College, and
University, and to offer students richly varied disciplines,
perspectives, and ways of knowing and learning. The University of
Minnesota Duluth values of justice, equity, diversity, and inclusion
are essential to achieving excellence. We strongly encourage women,
Indigenous, LGBTQIA+, Black, Latinx, Asian American, Hawaiian/Island
Pacific, mixed race, and disabled scholars to apply. We favor
candidates who can contribute to the College's distinctive educational
objectives, which promote interdisciplinary perspectives and
intercultural understanding with social responsibility and the ethical
implications of knowledge and action.

We recognize that excellence in teaching and research form the basis
for any successful candidate. To that end, we are implementing an
anonymized search process. Please see https://z.umn.edu/scsecareers
for a description of the application steps. Applications must include
four documents: an anonymized research and teaching statement that is
understandable to a non-specialist (1500 words/4 pages max); a
statement that demonstrates a commitment to justice, equity,
inclusion, and a diverse student population (1000 words/2 pages max);
a curriculum vita; and a list of four professional references. Please
direct questions about this position to Dr. Arshia Khan
(csfacultysearch@d.umn.edu). Review of complete applications will
start October 3, 2022, and continue until the position is filled.

The University of Minnesota Duluth campus is part of the University of
Minnesota public university system and is the second largest research
university within the U of M system. UMD is a comprehensive university
of about 11,000 students located along the shores of Lake
Superior. The Duluth campus is affiliated with the University of
Minnesota College of Pharmacy and School of Medicine, and is home to
the Natural Resources Research Institute, the Large Lakes Observatory,
and the Advanced Materials Center. Duluth is also the site of a major
US EPA Research Laboratory. A dynamic city situated on the hilly
shores at the western tip of Lake Superior, Duluth was named Outdoor
magazine's Best Outdoors Town, celebrating its access to the outdoors
and to Lake Superior—the largest freshwater lake on earth by
area. Duluth is home to hundreds of miles of biking, hiking, and
skiing trails, including the Superior Hiking Trail, a 300+ mile trail
intersecting Duluth, and the Duluth Traverse, an 85-mile multi-use
biking and hiking trail stretching across town. In addition to the
outdoors, the Twin Ports area has vibrant music, arts, crafts, and
craft brewing scenes, and a variety of award-winning
restaurants. Duluth is a truly wonderful place to live, with great
schools, health care, and affordable housing. It mixes its historic
small-town feel with a dynamic urban economy and many cultural
offerings.

UMD is committed to supporting our colleagues. The University of
Minnesota has a robust policy with respect to opportunity hires for
partners. Parental leaves and on-campus child care are available. The
Swenson College has a mentoring program to facilitate professional
success. Swenson College Howard Higholt Professorships are also
available to support outstanding tenure-track faculty who are
committed to creating a more inclusive and equitable institution.

Best,
--
Dr. Andrew M. Sutton
Assistant Professor
Department of Computer Science
University of Minnesota Duluth
http://www.d.umn.edu/~amsutton

**********************************************************
*
* 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] ACM SIGMETRICS 2023: Call for Papers (Fall Deadline)

Hi All,


The 2023 ACM SIGMETRICS conference will be held in Orlando, Florida, USA, on June 19-23, 2023, and the website is now active at https://www.sigmetrics.org/sigmetrics2023/index.html


ACM SIGMETRICS solicits papers on the development and application of state-of-the-art, broadly applicable analytic, simulation and measurement-based performance evaluation techniques. The conference provides a high-quality forum for presenting results and discussing ideas that further our knowledge and understanding of the measurement, modeling, analysis, and design of computing systems and networks. Of particular interest is work that presents new performance evaluation methods, or that creatively applies previously developed methods to make predictions about, or gain insights into key design trade-offs in a variety of computing, networked, and cyber-physical systems, ranging from mobile devices and Internet-of-Things (IoT) applications to large-scale cloud computing systems and the smart grid.


The conference presents papers that have been accepted to appear in the Proceedings of the ACM on Measurement and Analysis of Computing Systems (POMACS). There are multiple deadlines to submit your work in time for a presentation at the conference (see below). A panel of reviewers will consider all accepted and eligible papers, for the Best Paper Award and the Kenneth C. Sevcik Outstanding Student Paper Award. Additionally, a selection of the accepted papers, as identified by a panel of reviewers, may be nominated for publication as Research Highlights in the Communications of the ACM (CACM).


*Topics*


ACM SIGMETRICS solicits papers describing original and previously unpublished research. Specific topics of interest include, but are not limited to, the following.


      Quantitative measurement, design and evaluation studies of:


      * Computer and communication networks, protocols and algorithms

      * Wireless, mobile, ad-hoc and sensor networks, IoT applications

      * Computer architectures, hardware accelerators, multi-core processors, memory systems and storage networks

      * High Performance Computing

      * Operating systems, file systems and databases

      * Virtualization, data centers, distributed and cloud computing, fog and edge computing

      * Mobile and personal computing systems

      * Energy-efficient computing systems

      * Real-time and fault-tolerant systems

      * Security and privacy of computing and networked systems

      * Software systems and services, and enterprise applications

      * Social networks, multimedia systems, Web services

      * Cyber-physical systems, including the smart grid


      Methodologies, formalisms, metrics, solution techniques and algorithms for:


      * Analytical modeling techniques and model validation

      * Workload characterization and benchmarking

      * Performance, scalability, power and reliability analysis

      * Sustainability analysis and power management

      * System measurement, performance monitoring and forecasting

      * Anomaly detection, problem diagnosis and troubleshooting

      * Capacity planning, resource allocation, run time management and scheduling

      * Experimental design, statistical analysis, simulation

      * Game theory, network economics, and platform design

      * Big data, machine learning, AI, data mining, graph analysis, optimization


*Important Dates*


There are three submission opportunities over the course of the year.


      * *Fall submission website*: sigmetrics23fall.hotcrp.com

            - Registration of abstract: October 12, 2022

            - Paper submission: October 19, 2022

            - Author notification: December 20, 2022

      * *Winter submission website*: sigmetrics23winter.hotcrp.com (coming soon)

            - Registration of abstract: January 25, 2023

            - Paper submission: February 1, 2023

            - Author notification: March 28, 2023


Deadlines are hard and at 11:59 AM (noon) US Eastern Time (New York).


Papers may be submitted to any deadline and, upon acceptance, papers will be scheduled for publication in the Proceedings of the ACM on Measurement and Analysis of Computing Systems (POMACS) and presentation at the ACM SIGMETRICS 2023 conference. The journal publication of accepted papers will appear in the issue of POMACS immediately following acceptance; i.e., papers that are accepted for the Summer and Fall deadlines will appear in POMACS before the conference.


Please see submission instructions at the conference website: https://www.sigmetrics.org/sigmetrics2023/call_for_papers.html


Best Regards,

ACM SIGMETRICS 2023 Organizing Team


**********************************************************
*
* 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] XVlll Summer School in Discrete Mathematics

CALL FOR PARTICIPATION 

XVlll Summer School in Discrete Mathematics. Valparaiso, Chile
(XVlll Escuela de Verano en Matemáticas Discretas)
https://eventos.cmm.uchile.cl/discretas2023/ [https://eventos.cmm.uchile.cl/discretas2023/]
Dates: January 9-13, 2023.

------------------------------------------------------------
TARGET AUDIENCE
The school is aimed at mathematics, computer science and engineering
advanced undergraduate or graduate students interested in algorithms,
theory of computing, combinatorics, optimization, game theory, and their
applications.

------------------------------------------------------------
LECTURERS
Marthe Bonamy
Université de Bordeaux, LaBRI

Vincent Cohen-Addad
Google Research

László Végh

London School of Economics and Political Science

------------------------------------------------------------
APPLICATIONS and FINANCIAL ASSISTANCE:
Accepted students will receive financial assistance for their local
expenses (meals and accommodation) in Valparaiso. For more information
and access to the application form see:

https://eventos.cmm.uchile.cl/discretas2023/postulaciones/ [https://eventos.cmm.uchile.cl/discretas2023/postulaciones/]


Application deadline: October 15, 2022

------------------------------------------------------------
VENUE
Instituto de Sistemas Complejos de Valparaiso (http://www.iscv.cl/ [http://www.iscv.cl/]),
Valparaiso, Chile.
**********************************************************
*
* 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] SAND 2023 - 1st Call for Papers

======================================
SAND 2023: 1st Call for Papers
======================================

2nd Symposium on Algorithmic Foundations of Dynamic Networks
June 19-21, 2023
Pisa, Italy

https://www.sand-conf.org/
Twitter: https://twitter.com/SANDconference


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

Submission deadline: January 23, 2023, 23:59 AoE
Notification: March 23, 2023
Revised papers due: April 8, 2023
Conference: June 19-21, 2023


======================================
Scope
======================================

We are pleased to announce the 2nd Symposium on Algorithmic Foundations of Dynamic Networks (SAND).

The objective of SAND is to provide a primary venue for the presentation and discussion of research on fundamental aspects of computing in dynamic networks. Focusing on the theory, design, analysis, and application of computing in dynamic networks, SAND seeks high-quality results characterized by a marked algorithmic aspect that shed insights on the computability landscape for dynamic environments or that can be foundational for practical and impactful systems. SAND aims at bringing together researchers from Computer Science and related areas such as Mathematics, Complex Systems, Sociology, Transportations, Robotics, Physics, and Biology to present and discuss original research at the intersection of Algorithms and Dynamic Networks and Systems.

We encourage contributions from all viewpoints, including theory and practice, addressing or being motivated by the role of dynamics in computing. We welcome both conceptual and technical contributions, as well as novel ideas and new problems that will inspire the community and facilitate the further growth of the area.

Topics of interest include, but are not limited to:

- Temporal graphs
- Continuous models of dynamic networks
- Geometric dynamic models
- Reconfigurable and swarm robotics, programmable matter, DNA self-assembly
- Population protocols and chemical reaction networks
- Distributed computation in dynamic networks
- Multilayer, peer-to-peer and overlay networks
- Randomness in dynamic networks
- Wireless networks, mobile computing, autonomous agents
- Streaming models
- Boolean networks
- Information spreading, gossiping, epidemics
- IoT, Cloud, Edge/Fog computing
- Computability and Complexity within dynamic networks
- Offline and online algorithms for dynamic networks
- Learning approaches for dynamic networks
- Complex systems, social and transportation networks
- Fault-tolerance, network self-organization and formation
- New models for dynamic networks
- Bio-inspired, physical, and chemical dynamic models


======================================
Paper Submission
======================================

Papers should be submitted electronically through Easychair (https://easychair.org/conferences/?conf=sand2023).

A submission must be original research and reporting on novel results that have not appeared previously in/(or are concurrently submitted to) a journal or a conference with published proceedings. Submissions must be in English in pdf format and they must be prepared using the LaTeX style template for LIPIcs (https://submission.dagstuhl.de/series/details/5#author) with

\documentclass[a4paper,anonymous,USenglish]{lipics-v2021}.

Submissions must be anonymous, without any author names, affiliations, or email addresses. A submission must not exceed 15 pages, excluding the references. Additional details can be provided in a clearly marked appendix. Reviewers are not required to read the appendix. Submissions deviating from the above guidelines will be rejected without consideration of their merits.

The program committee may decide that some of the papers not selected for publication are suitable for publication in the brief announcement format. Any authors who do not wish their paper to be considered for the brief announcement format in case of rejection, are asked to clearly indicate this on the first page of their submission.


======================================
Instructions for Double-Blind Review
======================================

The reviewing process is double-blind, the authors' names must not be included in the paper, and the writing of the manuscript should be done in such a way to not de-anonymize authors (e.g., instead of, our result [1], they should use, the result of [1]). We assume that reviewers do not actively try to recognize the authors. Therefore, authors are allowed to publish their results on pre-print services before or at any point of the submission/reviewing process. Non-anonymous submissions will be rejected.


======================================
Publication
======================================

The conference proceedings will be published by LIPIcs. The final version of the paper must be formatted following the LIPIcs guidelines (https://submission.dagstuhl.de/documentation/authors). Papers accepted in full will have 15 pages in the final proceedings (excluding references). Any papers accepted in the brief announcement format will have 3 pages in the final proceedings (including everything).

Extended and revised versions of selected papers will be considered for a special issue in a journal (for example, the SAND 2022 SI will appear in the Journal of Computer and System Sciences).

For every accepted regular paper and brief announcement, at least one of the authors must fully register and present the paper during the conference and according to the conference program. Any paper accepted but not presented will be withdrawn from the final proceedings.


======================================
Awards
======================================

All papers are eligible for the best paper award. Papers co-authored by full-time students may also be eligible for the best student paper award. For a paper to be considered for the best student paper award, the nominated authors should be full time students at the time of submission and should have a significant contribution to the paper. In case the authors think that their paper is eligible for the best student paper award, they should clearly indicate this on the first page of their submission and briefly justify. The program committee may decline to make these awards or may decide to split them.


======================================
Organization
======================================

Program Committee:

- David Doty, University of California, Davis, USA (co-chair)
- Paul Spirakis, University of Liverpool, UK (co-chair)
- Mostefaoui Achour, Université de Nantes, France
- Hagit Attiya, Technion, Israel
- Petra Berenbrink, Universität Hamburg, Germany
- Silvia Bonomi, Sapienza Università di Roma, Italy
- Janna Burman, Université Paris-Saclay, France
- Arnaud Casteigts, University of Bordeaux, France
- Ho-Lin Chen, National Taiwan University
- Giuseppe Di Luna, Sapienza Università di Roma, Italy
- Mahsa Eftekhari, Microsoft, USA
- Jessica Enright, University of Glasgow, UK
- Javier Esparza, Technische Universität München, Germany
- Pierre Fraigniaud, CNRS, France
- Leszek Gasieniec, University of Liverpool, UK
- Chryssis Georgiou, University of Cyprus
- Peter Kling, Universität Hamburg, Germany
- Dariusz Kowalski, Augusta University, USA
- Marios Mavronicolas, University of Cyprus
- George Mertzios, Durham University, UK
- Othon Michail, University of Liverpool, UK
- Slobodan Mitrović, University of California, Davis, USA
- Sotiris Nikoletseas, Patras University, Greece
- Thomas Nowak, Université Paris-Saclay, France
- Giuseppe Prencipe, University of Pisa, Italy
- Andrea Richa, Arizona State University, USA
- Elad Schiller, Chalmers University of Technology, Sweden
- Stefan Schmid, Technische Universität Berlin, Germany
- George Skretas, Hasso Plattner Institute, Germany
- Yuichi Sudo, Osaka University, Japan
- Przemysław Uznański, University of Wrocław, Poland
- Hirozumi Yamaguchi, Osaka University, Japan
- Yukiko Yamauchi, Kyushu University, Japan


Organizing Committee:

- Giuseppe Prencipe, Pisa University, Italy (General Chair 2023)
- Samuele Bonini, Pisa University, Italy


Steering Committee:

- Paola Flocchini, University of Ottawa, Canada (chair)
- Giuseppe Antonio Di Luna, University of Rome Sapienza, Italy (General chair 2022)
- Viktor Zamaraev, University of Liverpool, UK (General chair 2022)
- Giuseppe Prencipe, Pisa University, Italy (General Chair 2023, Treasurer)
- James Aspnes, Yale University, USA (PC chair 2022)
- Othon Michail, University of Liverpool, UK (PC chair 2022)
- David Doty, University of California, Davis, USA (PC chair 2023)
- Paul Spirakis, University of Liverpool, UK (PC chair 2023)


Advisory Board:

- James Aspnes, Yale University, USA
- Luca Becchetti, University of Rome Sapienza, Italy
- Arnaud Casteigts, University of Bordeaux, France
- Giuseppe Antonio Di Luna, University of Rome Sapienza, Italy
- Paola Flocchini, University of Ottawa, Canada
- George Mertzios, Durham University, UK
- Othon Michail, University of Liverpool, UK
- Rotem Oshman, Tel Aviv University, Israel
- Nicola Santoro, Carleton University, Canada
- Paul Spirakis, University of Liverpool, UK
- Viktor Zamaraev, University of Liverpool, UK




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

Tuesday, September 20, 2022

[DMANET] Lecturer in Verification, University of Sheffield, UK (deadline: 30.09.2022)

This is an exciting opportunity for a Lecturer in Verification at the University of Sheffield, a world top 100 University.

We are seeking candidates with an outstanding record of scholarship in the logical and mathematical foundations of computing, including hardware and software verification. You will work within the Verification Group, a well-established research group in the Department of Computer Science which currently hosts six members of staff and one Research Assistant.

Current research of the group ranges from the mathematical and logical foundations of computing to practical verification methods and tools to support these. Particular strengths of the group include the semantic, algebraic and categorical foundations of concurrent and distributed systems, computational logics, finite model theory and descriptive complexity, formal methods for hardware and software systems, verification of quantitative systems, verification of hybrid and cyber physical systems, verification of multi-core programs and weak memory models, as well as interactive and automated theorem proving. To expand and complement these strengths we encourage applications in any of the fields mentioned above, and beyond that broadly on foundational aspects of computer science.


More details: https://www.jobs.ac.uk/job/CTB680/lecturer-in-verification
**********************************************************
*
* 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 Optimization at Charles University in Prague

======================================================
Postdoc position
Department of Applied Mathematics (KAM)
Charles University, Faculty of Mathematics and Physics
Prague, Czech Republic
======================================================

Applications are invited for a postdoc position at Charles University in
Prague, Czech Republic. The position is for one year, starting January
2023 (later start negotiable).

The project is devoted to developing theory and algorithms in the
following areas:
- global optimization
- robust optimization
- sensitivity and stability in linear and nonlinear programming
- matrix analysis and linear algebra in optimization
- linear complementarity problems
- game theory under uncertainty

Candidates should have a completed PhD in Mathematics or Computer
Science, and demonstrate potential for excellence in research. It is
expected to have strong background in optimization. Skills in operations
research, matrix analysis and programming are appreciated as well.

Please send your CV and cover letter by November 15, 2022,
electronically to:
Milan Hladik (head of the Optimization Division and Interval Methods
Group)
hladik@kam.mff.cuni.cz
https://kam.mff.cuni.cz/~hladik/

Department website:
https://kam.mff.cuni.cz/

Interval Methods Group website:
https://kam.mff.cuni.cz/gim/

======================================================
contact:
Milan Hladík,
Charles University, Faculty of Mathematics and Physics,
Department of Applied Mathematics,
Malostranske nam. 25, 118 00, Prague, Czech Republic
e-mail: hladik@kam.mff.cuni.cz
https://kam.mff.cuni.cz/~hladik
======================================================
**********************************************************
*
* 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/
*
**********************************************************

Monday, September 19, 2022

[DMANET] Deadline extended: ACM/IEEE International Workshop on Quantum Computing

DEADLINE EXTENDED

Call for papers: ACM/IEEE International Workshop on Quantum Computing

The ACM/IEEE International Workshop on Quantum Computing is a forum that
brings together researchers and practitioners interested in quantum,
hybrid quantum-classical and quantum inspired computing. Sponsored by
ACM and IEEE, the workshop seeks to act as a conduit for the
presentation of recent research results in all areas of quantum
computing. Papers reporting on initial results or work in progress as
well as papers discussing mature research projects or case studies of
deployed systems are sought out. Submissions describing big ideas that
may have significant impact and could lead to interesting discussions at
the workshop are encouraged.

Topics of interest include but are not limited to: quantum algorithms,
applications of quantum computing, quantum machine learning, quantum
optimization, quantum blockchain, quantum software development,
gate-based quantum devices, quantum annealers, digital annealers,
quantum network, quantum security, quantum Internet. The keyword
"quantum" refers to pure quantum, hybrid quantum-classical and quantum
inspired approaches and technologies.

Authors should follow the IEEE guidelines when preparing their
contributions (maximum paper length: 6 pages with 10-pt font:
https://www.ieee.org/conferences/publishing/templates.html).

Workshop website: https://iwqc22.github.io
Submission site: https://easychair.org/conferences/?conf=acmieeequantum22

At least one of the authors of each paper accepted for presentation in
Quantum 2022 must register for the workshop. All papers presented at the
workshop will be included in the IEEE Digital Library.

Important Dates
Deadline for Submission: September 23, 2022, (AOE)
Notifications of Acceptance: October 5, 2022 (AOE)
Camera-ready Paper Submission: October 14, 2022 (AOE, firm)
Workshop Date: December 5, 2022

Workshop Organizers:
Qun Li, William and Mary, USA
Xiaoyuan Liu, Fujitsu Research of America, USA
Ilya Safro, University of Delaware, USA

Technical program committee:
Yuri Alexeev, Argonne National Lab
Nai-Hui Chia, Rice University
Lukasz Cincio, Los Alamos National Laboratory
Thang N. Dinh, Virginia Commonwealth University
Yu Du, University of Colorado Denver
Alexey Galda, Menten AI
Dylan Herman, JPMorgan Chase
Rebekah Herrman, University of Tennessee Knoxville
Ang Li, Pacific Northwest National Laboratory
Qun Li, William & Mary
Xiaoyuan Liu, Fujitsu Research USA
Phillip Lotshaw, Oak Ridge National Laboratory
Danylo Lykov, University of Chicago
Catherine McGeoch, DWave
Ilya Safro, University of Delaware
Yiyu Shi, University of Notre Dame
Yuan Su, Microsoft Quantum
Tamás Terlaky, Lehigh University
Davide Venturelli, NASA
Jonathan Wurtz, QuEra Computing

--
Prof. Ilya Safro
Department of Computer and Information Sciences
Department of Physics and Astronomy
Data Science Institute
University of Delaware
https://www.eecis.udel.edu/~isafro

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

Friday, September 16, 2022

[DMANET] 8 Postdoctoral fellows in Stochastics and Algorithmics (COFUND)

The research project NETWORKS is looking for 8 international
postdoctoral fellows in mathematics, computer science and quantum
computing. Are you interested in the stochastics and algorithmics
behind network problems? And would you like to be part of this
project with its many activities? Then we invite you to apply for
one of these positions:
https://www.thenetworkcenter.nl/Open-Positions/

Application deadline 31 October 2022
Contract full time employment contract for 2 years
Salary indication €2,960 to €4,670 gross per month, based on a fulltime contract
Location The Netherlands (Amsterdam, Eindhoven, Leiden)

The NETWORKS project is a collaboration of world-leading researchers
from four institutions in The Netherlands: TU Eindhoven, University
of Amsterdam, Leiden University and the Centrum Wiskunde &
Informatica (CWI). Research in NETWORKS focuses on stochastics and
algorithmics for network problems. NETWORKS offers a highly
stimulating research environment and an extensive training program
for PhD students and postdoctoral fellows.

You can find all details of the NETWORKS programme and the projects
available in our information package:
https://www.thenetworkcenter.nl/uploaded_files/inlineitem/2022_call_PD_COFUND.pdf


**********************************************************
*
* 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 SIAG on Applied and Computational Discrete Algorithms - 2023 Early Career Prize

SIAM is now accepting nominations for the 2023 SIAG/ACDA Early Career
Prize. This is the first time that the prize will be awarded. The
nomination deadline for the award is *October 15*, 2022.

The prize will be awarded at the 2023 SIAM Conference on Applied and
Computational Discrete Algorithms (ACDA23) to take place May 31 - June
2, 2023 in Seattle, Washington, United States.

The prize is awarded every two years to one outstanding early career
researcher in the field of Applied and Computational Discrete Algorithms
(ACDA) for distinguished contributions to the field in the six calendar
years prior to the award year.

To qualify for the 2023 award, the following criteria must be met:

- Candidate must have been awarded their PhD no earlier than 2017
- Candidate must be a member of SIAM SIAG/ACDA at the time of nomination
- At least one of the papers containing the work that is the basis for
the nomination must be published in English in a peer-reviewed journal
or conference proceedings.

Full prize specifications and requirements:
https://www.siam.org/prizes-recognition/activity-group-prizes/detail/siag-acda-early-career-prize

Submit a Nomination:
https://siam2023.secure-platform.com/a/solicitations/15/home
**********************************************************
*
* 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] Two calls for papers with extended deadlines: MCDM Track of the EMO2023 conference and Special issue on Evolutionary Multiobjective Optimization

Dear Colleagues,

Please, find below two calls for papers with extended deadlines.

- MCDM Track, a part of the EMO2023 Conference. Accepted papers will be published in a proceedings book published by Springer. New deadline: October 12, 2022.
- Special issue on "Evolutionary Multiobjective Optimization" of the journal Mathematical and Computational Applications (ISSN 2297-8747) dedicated to the 60th birthday of Prof. Kalyanmoy Deb. New deadline: November 1, 2022.

Please, feel free to distribute these calls for papers further to those who may be interested in contributing.
With best regards, Iryna Yevseyeva
 

 1)

Call for Papers: MCDM Track of EMO2023     

12th International Conference on Evolutionary

Multi-Criterion Optimization, March 20-24, 2022, Leiden, Netherlands   

https://emo2023.liacs.leidenuniv.nl/ 

   

Submission deadline: October 12, 2022  

     

The Multiple Criteria Decision Making (MCDM) track is an integral part of the 12th edition of the International Conference on Evolutionary Multi-Criterion Optimization (EMO). We will bring together EMO and MCDM communities to emphasize the importance of the topics on the intersection of EMO and MCDM areas of research and their practical value in solving real-world problems in various fields, including government, business, and industry.  

   

Papers are welcome to the MCDM track on theory, methods, applications, and/or software related to any aspects relevant to multiple criteria decision making, multiobjective and many-objective optimization, modeling and incorporating preferences, interactive methods, hybrids of EMO and MCDM approaches, software development, indicators, performance evaluation, challenges of various real applications, consideration of data-driven and simulation-based problems, etc.  

   

Reviewed, accepted full papers (max 12 pages) will be published in a proceedings book by Springer (Lecture Notes in Computer Science series). Find detailed instructions on the webpage: 

https://emo2023.liacs.leidenuniv.nl/ 

  

Please submit your paper via EasyChair to the MCDM Track by October 12, 2022:  

https://login.easychair.org/my/conference?conf=emo2023 

When submitting, please indicate in the submission menu that the paper is for the MCDM Track. 

 

The EMO2023 conference and the MCDM Track will be held in a hybrid format. 

 

For further inquiries about the MCDM Track, contact the MCDM Chairs Kaisa Miettinen (University of Jyvaskyla, Finland, kaisa.miettinen@jyu.fi) and Iryna Yevseyeva (De Montfort University, Leicester, UK, iryna@dmu.ac.uk). 

 

2)

Call for Papers: Special issue on "Evolutionary Multiobjective Optimization"

of the journal Mathematical and Computational Applications (ISSN 2297-8747)

dedicated to the 60th birthday of Prof. Kalyanmoy Deb.

 

Deadline:  November 1, 2022.

 

Guest Editors: Carlos Coello, Erik Goodman, Kaisa Miettinen, Dhish Saxena,

Oliver Schütze, Lothar Thiele

 

We welcome contributions on research areas most impacted by Prof. Deb's work. We hence invite researchers to submit high-quality articles related (but not limited to) the following topics:

Evolutionary multi-objective optimization (EMO):

- multiobjective evolutionary algorithms;
- genetic operators;
- theory of EMO;
- performance indicators and proximity measures;
- archiving strategies;
- surrogate assisted optimization;
- integration of user preferences;
- many objective optimization;
- constraint handling;
- hybrid methods;
- test functions;

Multiple criteria decision making (MCDM);

- Bi-level optimization

- AI-assisted optimization;
- Applications to real-world problems.

Both research articles and surveys are welcome.

 

For further information (incl. a brief bio of Prof. Deb and submission guidelines), see Mathematical and Computational Applications


|
|
|
| | |

|

|
|
| |
Mathematical and Computational Applications

Mathematical and Computational Applications, an international, peer-reviewed Open Access journal.
|

|

|


 

Please note that even though APC is mentioned at the website, accepted papers will be published free of charge, thus, there will be no APC.


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


Iryna Yevseyeva, 

PhD, FHEA, PGCRT HE

Associate Professor in Computer Science
Subject Group Leader for Cyber SecurityDeputy Director for Cyber Technology Institute
School of Computer Science and Informatics

Faculty of Computing, Engineering and Media

5.33 Gateway House, The Gateway

De Montfort University, LE1 9BH, Leicester, UK 

tel: +44 (0)1162577540
-----------------------------------------------------------------



**********************************************************
*
* 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 application of metaheuristics

Dear Colleague,

On behalf of the Organizing Committee, we invite you to participate in the
special session (workshop) on
"APPLICATIONS OF METAHEURISTICS TO LARGE-SCALE PROBLEMS" at the 13th
International Conference on
Large Scale Scientific Computation - LSSC'23, June 05 - 09, 2021, Sozopol,
Bulgaria,
with arrival: June 04 and departure: noon June 09.

The session is organized by:
Prof. Stefka Fidanova (stefka.fidanova@gmail.com)
from the Institute of Information and Communication Technologies, Bulgarian
Academy of Sciences and
Gabriel Luque (gabriel@lcc.uma.es) from University of Malaga, Spain.

Topics

The list of topics includes, but is not limited to:

combinatorial optimization
global optimization
multiobjective optimization
optimization in dynamic and/or noisy environments
large scale optimization
parallel and distributed approaches in optimization
random search algorithms,
simulated annealing,
tabu search
other derivative free optimization methods
nature inspired optimization methods (evolutionary algorithms,
ant colony optimization, particle swarm optimization, immune artificial
systems etc)
hybrid optimization algorithms involving natural computing techniques
and
other global and local optimization methods
optimization methods for learning processes and data mining
computational optimization methods in statistics, econometrics, finance,
physics, medicine, biology, engineering etc

Proceedings
We plan to continue publishing the proceedings of only refereed and
presented papers as a
special volume of Springer Lecture Notes in Computer Science (LNCS).

Important deadlines
Deadline for submission of abstracts
January 15, 2023
Notification of acceptance of the talks on the basis of the submitted
abstract
January 31, 2023
Deadline for registration
March 01, 2023
Deadline for submission of full papers
March 01, 2023
Notification of acceptance of full papers
April 15, 2023


Abstracts and contributed papers
The abstracts (up to 1 page stating clearly the originality of the results)
are to be written in standard LaTeX.
The length of the contributed papers is limited up to 8 pages. It is
assumed that ONE participant
will present not more than ONE talk.

Send the abstracts and papers to special session organizers and conference
organizers,
indicating the name of the special session.
After sending the abstract go to the conference web page and fill in the
registration form (personal data of the participants, minimum one per
paper, and the name of the special session).

Information about abstract and paper preparation, accommodation,
transportation,
registration form and conference location you can find at the conference
web page http://parallel.bas.bg/Conferences/SciCom23/


Special session organizers
Prof. Stefka Fidanova
Prof. Gabriel Luque

--
Prof. Stefka Fidanova
IICT-BAS
Acad. G. Bonchev str. bl.25A
1113 Sofia Bulgaria
Ph. +359-2-9796642

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