Wednesday, November 30, 2022

[DMANET] WACT (Workshop on Algebraic Complexity Theory)

Dear colleagues,

The Seventh WACT (Workshop on Algebraic Complexity Theory) will be held
at the University of Warwick, UK, March 27 to 31, 2023.

We are happy to announce the following plenary speakers:

Radu Curticapean (IT University of Copenhagen, Basic Algorithms Research
Copenhagen)
Alhussein Fawzi (DeepMind London)
Shubhangi Saraf (University of Toronto)
Nitin Saxena (Indian Institute of Technology Kanpur)
Amir Shpilka (Tel-Aviv University)
Sébastien Tavenas (Laboratoire de Mathématiques, Université Savoie Mont
Blanc)
Youming Qiao (University of Technology Sydney)
Heribert Vollmer (Universität Hannover)
Harm Derksen (Northeastern University), to be confirmed

We have some travel and hotel support available. Please see the website
for signing up and for further information:

https://www.dcs.warwick.ac.uk/~u2270030/wact

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] Two PhD positions in Evol.Programming/Artificial Life at TU Darmstadt

The Hamacher group at Technische Universität Darmstadt invites
applications for two positions

*******
Two Research Assistant/Ph.D. Student (all genders) each 50 %
for a first term of 3 years, renewable upon sufficient progress
*******

The research of successful applications will focus on genetic and
evolutionary programming.

Ideally, you have completed Master's degree with a background in one or
more of the following areas :physics, computer science, bioinformatics,
mathematics.

The scope and field of the Ph.D. research is to be discussed, but the
Ph.D. program can be chosen from the Department of Physics, the
Department of Computer Science, or the Department of Biology.

The Technische Universität Darmstadt intends to increase the number of
female employees and encourages female candidates to apply. In case of
equal qualifications applicants with a degree of disability of at least
50 or equal will be given preference. Wages and salaries are according
to the collective agreements on salary scales, which apply to the
Technische Universität Darmstadt (TV-TU Darmstadt).

Please address your applications, including your certificates (stating
the code-nos. 782 and 694) to Prof. Dr. Kay Hamacher, TU Darmstadt,
Schnittspahnstr. 10, 64287 Darmstadt, or via email (only pdf format
acceptable, only one file) to: hamacher@bio.tu-darmstadt.de

By submitting your application, you agree that your data may be stored
and processed for the purpose of filling the vacancy. You can find our
privacy policy here:
https://www.tu-darmstadt.de/datenschutzerklaerung.en.jsp


--
Prof. Dr. Kay Hamacher http://www.kay-hamacher.de
Dept. of Biology http://goo.gl/0jTtPi
Dept. of Computer Science TU Darmstadt
Dept. of Physics Schnittspahnstr. 10
D-64287 Darmstadt, Germany
**********************************************************
*
* 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, November 29, 2022

[DMANET] Open PhD positions in distributed systems/computing at University of Wyoming, USA

Two funded PhD positions are available in our research group in the
Department of Electrical Engineering and Computer Science at the University
of Wyoming. The positions are anticipated to start in January 2023 or
August 2023.

We are looking for self-motivated candidates to join our group and do
research on distributed systems/distributed computing, cloud computing,
blockchain/smart contract, distributed machine learning. If interested,
please send your full CV and transcripts to duong.nguyen[at]uwyo[dot]edu.
Informal inquiries are also welcome.

International applicants must have TOEFL/IELTS scores meeting the
department requirement (
https://www.uwyo.edu/EECS/graduate/admissions-info.html). GRE score is
optional.

More information and the online application can be found at
http://www.uwyo.edu/admissions/apply.html.

Preferred Qualifications:
- Bachelor/Master degree in computer science, computer engineering, or
related fields.
- Programming skills and mathematical maturity.

Strong candidates with Bachelor's degrees are also encouraged to apply and
will be considered for a Master's student position.


About the department, college and UW

The College of Engineering and Physical Sciences has over 90 faculty
members and offers eight ABET-accredited degree programs. The EECS
department has over 20 faculty members and offers degrees in Electrical
Engineering, Computer Engineering, and Computer Science. There are
extensive research collaboration opportunities within the department,
Center for Blockchain and Digital Innovation, Wyoming's Supercomputer,
across campus, and with the new School of Computing.

The University of Wyoming is a thriving, land-grant research university
with over 100 million dollars annually in research funding. The state of
Wyoming continues to invest in its university, helping to make it a leader
in academics, research and outreach. The university has state-of-the-art
facilities in many areas and the community provides the advantages of a
major university. UW draws over 13,000 students from all 50 states and more
than 90 countries. Additional information is available at
http://www.uwyo.edu/eecs, http://www.uwyo.edu/ceps.

UW is located in Laramie, a town of 30,000 in the heart of the Rocky
Mountain West and 130 miles northwest of Denver. Located in a high mountain
valley near the Colorado border, Laramie offers both outstanding
recreational opportunities and close proximity to Colorado's Front Range, a
bustling group of metropolitan cities including Denver, Boulder, and Fort
Collins. This beautiful mountain landscape offers outdoor enjoyment in all
seasons, with over 300 days of sunshine annually. For more information
about the region, please visit http://visitlaramie.org/ and
http://www.laramie.org.


---
Duong Nguyen
Assistant Professor
Department of Electrical Engineering and Computer Science
University of Wyoming
1000 E. University Ave, Laramie, WY 82071

Email: Duong.Nguyen@uwyo.edu
Homepage: https://duongnn.github.io/

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

[DMANET] Call for Abstracts --- IFORS 2023 - Session "Advancements of OR-Analytics in Statistics, Machine Learning and Data Science"

Call for Abstracts for the
Session " Advancements of OR-Analytics in Statistics, Machine Learning and Data Science"
in the Cluster " Analytics and Data Science "

IFORS 2023 (10-14 July 2023, Santiago, Chile, https://ifors2023.com/ )


The 23rd Conference of the International Federation of Operational Research Societies (IFORS) will take place in Santiago, Chile, in summer 2023. We are excited to resume on-site IFORS conferences. As part of the " Analytics and Data Science " Cluster, t he " Advancements of OR-Analytics in Statistics, Machine Learning and Data Science" Session aims to engage those presently involved or interested in OR, MS and Analytics , with backgrounds in statistics, statistical or machine learning, computer science or neuroscience in theory, methods and applications, supported by optimization, probability theory or stochastics.


You are cordially welcome to submit your abstract here:


Session: Code:


Advancements of OR-Analytics in Statistics, Machine Learning and Data Science in cluster Analytics and Data Science, be0e769f


Abstract submission system is available online at: https://www.euro-online.org/conf/ifors2023/.

Abstracts must be written in English with a maximum of 2500 characters; submission deadline: March 15, 2023.


Gerhard-Wilhelm Weber (gerhard-wilhelm.weber@put.poznan.pl)

**********************************************************
*
* 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] Next Talk - TIES Webinar Series on Data Science for Environmental Sciences (DSES)

The International Environmetrics Society (TIES) has launched the *TIES
Webinar Series on Data Science for Environmental Sciences (DSES)*.

Our next webinar will be on *December 2*, at *11 am Central Time* (attached
flyer).
You can virtually access the webinar and register via our website:
www.environmetrics.xyz

*Speaker*: *Jiafu Mao*, Oak Ridge National Laboratory.

*Title*: *Machine-Learning Applications in Process-understanding and
Prediction of Wildfire*

*Abstract*: Wildfires are a major land disturbance and aerosol emission
source, affecting the global carbon budget, climate, and socioeconomic
development. However, the driving mechanisms underlying fire evolution and
reliable prediction of fire activity remain to be explored, especially in
the fire prone regions. Here, I will present our recent studies aimed at
investigating the wildfire drivers and predictability using machine
learning techniques (MLTs), satellite observations and Earth system model
(ESM) simulations. We quantified the natural and anthropogenic controlling
factors underlying global fire changes for the period 2003–2019 and
highlighted the dominant role of enhanced anthropogenic activity in
reducing global burned area. We assessed the seasonal environmental drivers
and predictability of African fire and achieved skillful prediction of
African fire one month in advance. Moreover, we constrained fire carbon
emissions simulated by the latest ESMs during the twenty-first century and
refined the regional wildfire exposure in different socioeconomic factors.
Overall, our research confirmed the feasibility and efficiency of ensemble
MLTs in wildfire attribution, modeling and prediction.

*Bio*: Jiafu's research involves understanding and modeling of carbon,
hydrology and vegetation dynamics in the Earth terrestrial ecosystem using
field measurements, satellite data, process-oriented land surface and Earth
system models, and various statistic methods including the machine learning
techniques. His research has been published in leading journals including
Nature Climate Change, Nature Geoscience, Nature Communications,
Proceedings of the National Academy of Sciences of the United States of
America, and Global Change Biology among others. I have also been involved
in mentoring students and researchers at ORNL and from different
universities.

Hope to see you all there!

Ignacio Segovia-Dominguez <https://ignaciosd.github.io> & Meichen Huang
<https://www.google.com/url?q=https%3A%2F%2Fwww.linkedin.com%2Fin%2Fmeichen-huang-00736320a&sa=D&sntz=1&usg=AOvVaw3X3lN47Pit-0Iu6lgILfZQ>
,
On behalf of the TIES Webinar Series' organizing committee

*Dr. Ignacio Segovia-Dominguez*
The University of Texas at Dallas
*NASA Jet Propulsion Laboratory, Caltech *
https://ignaciosd.github.io

**********************************************************
*
* 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] One postdoc position at Montpellier University

Dear colleagues,
in connection with my research project APACE, I am seeking a candidate for
a Postdoctoral position funded for 18 months at LIRMM (Montpellier, France).

The APACE project aims at using the links between MSO logic and
tree-automata over decomposable graph classes to build an automatic theorem
prover. Instead of using the tree-automaton corresponding to an MSO formula
for "efficient" model checking (ie, verifying if a given graph has the
desired property), we will analyze the tree-automaton to deduce properties
of the whole graph class. The first objective is to prove algorithmic
meta-theorems relying on this idea. These algorithms will be implemented to
form the APACE automatic prover. The final objective is to use the
automatic-prover to obtain new collections of results about different
decomposable graph classes.

The hired candidate is expected to contribute both to the theoretical
aspect of this project and to the implementation (in C++). The applicants
are expected to have a background in theoretical computer science and to
have some programming skills. More precisely, the principal expected skills
for this project are :
* programming skills (ideally in C++) and algorithmic,
* computer algebra,
* graph theory or combinatorics,
* tree-automata, MSO logic and algorithmic-meta theorems.
The candidates are not expected to be experts in all of these subjects.

The duration of the position is for 18 months, starting between February
and June 2023. The postdoc fellow will be a member of LIRMM. The project
comes with a funding that allows the postdoctoral fellow to travel to
conferences and cover other expenses.

Applications are to be submitted by email to
matthieu.rosenfeld@umontpellier.fr before December and should consist of :
* a curriculum vitae with a list of publications,
* a short motivation letter (a few paragraphs inside the email suffice).

Informal inquiries are welcomed and should be addressed to
matthieu.rosenfeld@umontpellier.fr.
Best Regards,
Matthieu Rosenfeld

**********************************************************
*
* 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] DIMAP Theory Day 2022 - Monday, December 12, 2022 (University of Warwick)

On Monday, December 12, 2022, the
DIMAP Theory Day 2022
will be held at the University of Warwick (see https://dimaptheoryday22.weebly.com for more details).

The aim of the event is to highlight several recent, exciting advances in the field of Algorithms and Complexity and to facilitate interactions within the algorithms research community in UK. We will also want this event to be an opportunity to meet with other UK Theory researchers - including academics, post-docs, and students. The event will feature invited talks with surveys and new technical results by leading Algorithms researchers in UK and Europe.

The invited speakers are as follows:

* Isolde Adler (University of Bamberg, Germany)
* Vincent Cohen-Addad (Google Research, Zürich, Switzerland)
* John Fearnley (University of Liverpool)
* Fabrizio Grandoni (IDSIA, USI-SUPSI, Switzerland)
* Heng Guo (University of Edinburgh)
* Sagnik Mukhopadhyay (University of Sheffield)
* Daniel Paulusma (Durham University)

Attendance is free, but the registration (at https://dimaptheoryday22.weebly.com) is required to facilitate local arrangements (incl. lunch and dinner). Please note that registration closes on 5 December.

Organisers: Artur Czumaj, Tom Gur, and Ramanujan Sridharan

**********************************************************
*
* 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] Event on Emerging optimization methods: from metaheuristics to quantum approaches

*Dear Colleague*

*

We are proud to announce an International event

*

Emerging optimization methods: from metaheuristics to quantum approaches


Troyes, 17th - 21st of April 2023.

This a joint international event composed of:

*

a conference parton emergent metaheuristics: the 21st edition of
EUME meeting initiated by the working groups EUME (member of EURO)
and GT2L.

*

a training parton quantum approaches (set of tutorials and practical
work on quantum computing for optimization) initiated by the working
groups EUME and GT ROQ.

and supported by 3 national organizations and several international
organizations.


The web site is:

https://perso.isima.fr/~lacomme/GT2L/EUME_JE/EUME_Joint_Event.php

Location: University of Technology of Troyes

Date: Monday April 17 to Friday April 21, 2023.


Short description:

Optimization research brings together various disciplines such as
operations research (OR) and artificial intelligence. All of them use
algorithms which include, among other things, learning, logic or
knowledge engineering, but also planning, constraints and
metaheuristics. This theme has experienced enormous growth with the
development of computer science, and the new promises of quantum
computers offer rich prospects for the field, which essentially deals
with complex combinatorial problems.

The purpose of this event is to present the latest advances in terms of
metaheuristics for optimization (conference part) and to introduce the
community to quantum computing (training part) in order to take the
turning point brought by quantum deployment, and enable optimization
researchers to meet future challenges.

Practical work on the use of quantum computers will be offered with
applications to very concrete problems such as graph coloring, SAT
and/or TSP.

How to participate:

You can:

*

submit your contribution to the session ;

*

organize a session (contact shortly the organizer) ;

*

participate to both conference and classes.


Certificates of attendance will be issued and may be used by PhD
students to request validation of courses in doctoral schools.

Tutorials by:

Jin-Kao Hao, Eric Taillard, Christophe Couteau, Olivier Ezratty, Fred
Glover, Olivier Hess, Simon Perdrix, Anita Schöbel, Vedran Dunjko

How to contact the organizers :  emergingoptimization@gmail.com


We hope to see you in Troyes


**

Best regards

**

Caroline Prodhon (UTT), Marc Sevaux (UBS), Eric Bourreau (LIRMM), Sonia
Vanier (Ecole Polytechnique) and  Frédéric Saubion (LERIA)

*

--

---------------------------------------------------
Lacomme Philippe
Maître de Conférences (Habilité à diriger des Recherches)
Université Clermont Auvergne
LIMOS - UMR CNRS 6158
1 rue de la chébarde
TSA 60125 CS 60026
63178 Aubière Cedex France
Email :placomme@isima.fr
Skype : philippe3263
Tel. 33 (0)4 73 40 75 85
Homepage :http://www.isima.fr/~lacomme/
---------------------------------------------------

**********************************************************
*
* 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, November 28, 2022

[DMANET] CFP: IPDPS ParSocial 2023 - 7th IEEE Workshop on Parallel and Distributed Processing for Computational Social Systems (In Conjunction with IEEE IPDPS )

[Apologies if you receive multiple postings]
###############################################################################################
The 7th IEEE Workshop on Parallel and Distributed Processing for Computational Social Systems (ParSocial 2023)
In Conjunction with 37th IEEE IPDPS 2023, St. Petersburg, Florida USA.
May 19, 2023
Workshop Website: https://lcid.ischool.illinois.edu/parsocial/

IMPORTANT DATES
Paper submission deadline : January 23, 2023
Notification of acceptance : February 13, 2023
Camera-ready papers: February 21, 2023
Workshop: May 19, 2023
###############################################################################################

ABOUT PARSOCIAL
Computational methods to represent, model and analyze problems using social information have come a long way in the last decade. Computational methods, such as social network analysis, have provided exciting insights into how social information can be utilized to better understand social processes, and model the evolution of social systems over time. We have also seen a rapid proliferation of sensor technologies, such as smartphones and medical sensors, for collecting a wide variety of social data, much of it in real time. Meanwhile, the emergence of parallel architectures, in the form of multi-core/many-core processors, and distributed platforms have provided new approaches for large-scale modeling and simulation, and new tools for analysis. These two trends have dramatically broadened the scope of computational social systems research, and are enabling researchers to tackle new challenges. These challenges include modeling of real world scenarios with dynamic and real-time data, and formulating rigorous computational frameworks to embed social and behavioral theories while taking into account ramifications in relation to policy, ethics, privacy and other areas.

This workshop provides a platform to bring together interdisciplinary researchers from areas, such as computer science, social sciences, applied mathematics and engineering, to showcase innovative research in computational social systems that leverage the emerging trends in parallel and distributed processing, computational modeling, and high performance computing.

The papers selected for ParSocial will be published in the workshop proceedings. Proceedings of the workshops are distributed at the conference and are submitted for inclusion in the IEEE Xplore Digital Library after the conference. At least one of the authors of each accepted paper must register as a participant of the workshop and present the paper at the workshop.
-----------------------------------------------------------
CALL FOR PAPERS
-----------------------------------------------------------

Areas of research interests and domains of applications include, but are NOT LIMITED to:

*Large-Scale Modeling and Simulation for Social Systems*
Social network-based models
Models of social interactions and network dynamism (e.g., influence spread, group formation, group stability, and social resilience)
Complex Adaptive System (CAS) models (e.g. modeling emergence in social systems)
Models incorporating socio-cultural factors
Novel agent based social modeling and simulation
Modeling with uncertain, incomplete and real-time social data
Representations of social and behavioral theories in computational models
Simulation methodologies for social processes including numerical and statistical methods
Modeling human and social elements in cyber systems (e.g. cyber-physical systems, and socio-technical systems)

*Social Computing Algorithms for Parallel and Distributed Platforms*
Analysis of massive social data
Algorithms for dynamic social data
Algorithms for social network analysis
Machine learning/data mining-based analysis
Social Computing and Internet of Things (IoT)
Computing for social good and privacy
Analysis methods for incomplete, uncertain social data
Social analysis methods on parallel and distributed frameworks
Social computing for emerging architectures (e.g. cloud, multi-core/many-core, GPU, and neuromorphic computing architectures)

*Application*
Domains of applications include but are not limited to:
Emergency management (e.g. infrastructure resilience, and natural disaster management)
Financial Technology (e.g. algorithmic trading, blockchains, and P2P lending)
Health science (e.g. disease spread models, health informatics, and health policy models)
Social analytics (e.g. business analytics, political influence, and economic analysis)

PAPER SUBMISSION
The workshop will accept submissions for both *regular* and *short* papers. Manuscripts for regular papers should not exceed 10 single-spaced double-column pages. Manuscripts for short papers should not exceed 4 single-spaced, double-column pages. The manuscripts should use 10-point font on 8.5 x 11 inch pages (IEEE conference style) and the page limit includes references, figures and tables.

Please visit the workshop website (https://lcid.ischool.illinois.edu/parsocial/) for details on submission.


*Workshop Organization*

**Workshop Co-Chairs**
Hien Nguyen, Associate Professor, University of Wisconsin-Whitewater, Wisconsin, USA
Suresh Subramanian, Senior Ph.D. candidate, University of Illinois at Urbana-Champaign, USA
Vairavan Murugappan, Senior Ph.D. candidate, University of Illinois at Urbana-Champaign, USA

**********************************************************
*
* 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 Open Mathematics Professor Positions at Aalto University

The Department of Mathematics and Systems Analysis is looking for
talented individuals for two tenure track or tenured positions in
mathematics. The fields of these positions are Algebra and Discrete
Mathematics (interpreted in a broad sense) as well as Mathematics
(applications from all fields are considered).

Both positions are targeted primarily at candidates for the Assistant
and Associate Professor levels. However, applicants with an indisputably
outstanding record for the Full Professor level may also be considered.

For more information, please refer to the announcements: _
_

Professor in Algebra and Discrete Mathematics
(see https://www.aalto.fi/en/open-positions/professor-mathematics)
Professor in Mathematics
(see
https://www.aalto.fi/en/open-positions/professor-algebra-and-discrete-mathematics)

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

[DMANET] Postdoctoral fellowship in Process Scheduling and Operations Research

The Department of Chemical Engineering (ChE) and Combinatorics and Optimization (C&O) at the University of Waterloo invites applications from qualified candidates for a 16 month postdoctoral fellowship appointment in Process Scheduling and Operations Research under the supervision of professors Ricardo Fukasawa (C&O) and Luis Ricardez-Sandoval (ChE).

The project involves solving large-scale and complex optimization problems related to optimal scheduling of operations in an industrial facility. Desired qualifications are solid expertise in discrete optimization, programming languages and mathematical optimization modeling software. In particular, of great interest is experience in solving large-scale optimization problems, decomposition algorithms, and advanced use of commercial MIP solvers. A Ph.D. degree and evidence of excellence in research are required. Successful applicants are expected to maintain an active program of research. Applications should include a cover letter describing their interest in the position and the candidate's background in the areas, a curriculum vitae and research statement and at least three reference letters.

There is no deadline to apply to this position and candidates will be evaluated until the position is filled. Interested individuals should send their application to Ricardo Fukasawa (rfukasawa@uwaterloo.ca<mailto:rfukasawa@uwaterloo.ca>) and Luis Ricardez-Sandoval (laricard@uwaterloo.ca<mailto:laricard@uwaterloo.ca>). Only those applicants that fit the expected profile for this position will be contacted. The salary for this position will be similar to that offered by the NSERC postdoctoral fellowship program and commensurable with the background and activities to be developed by the applicant.

The University of Waterloo acknowledges that much of our work takes place on the traditional territory of the Neutral, Anishinaabeg and Haudenosaunee peoples. Our main campus is situated on the Haldimand Tract, the land granted to the Six Nations that includes six miles on each side of the Grand River. Our active work toward reconciliation takes place across our campuses through research, learning, teaching, and community building, and is centralized within our Indigenous Initiatives Office (https://uwaterloo.ca/human-rights-equity-inclusion/indigenousinitiatives).

The University values the diverse and intersectional identities of its students, faculty, and staff. The University regards equity and diversity as an integral part of academic excellence and is committed to accessibility for all employees. The University of Waterloo seeks applicants who embrace our values of equity, anti-racism and inclusion. As such, we encourage applications from candidates who have been historically disadvantaged and marginalized, including applicants who identify as Indigenous peoples (e.g., First Nations, Métis, Inuit/Inuk), Black, racialized, people with disabilities, women and/or 2SLGBTQ+.

The University of Waterloo is committed to accessibility for persons with disabilities. If you have any application, interview or workplace accommodation requests, please contact Ricardo Fukasawa (rfukasawa@uwaterloo.ca<mailto:rfukasawa@uwaterloo.ca>) and Luis Ricardez-Sandoval (laricard@uwaterloo.ca<mailto:laricard@uwaterloo.ca>).

If you have any questions regarding the position, the application process, assessment process, or eligibility, please contact Ricardo Fukasawa (rfukasawa@uwaterloo.ca<mailto:rfukasawa@uwaterloo.ca>) and Luis Ricardez-Sandoval (laricard@uwaterloo.ca<mailto:laricard@uwaterloo.ca>).

All qualified candidates are encouraged to apply; however, Canadians and permanent residents will be given priority.

­­­­­­­­­­­­­­­­­­­­­­­­­­­Three reasons to apply: https://uwaterloo.ca/faculty-association/why-waterloo.


**********************************************************
*
* 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] [small non-coding RNA bioinformatics club]: today's seminar with Cynthia Sharma **cancelled**

Dear all,

The seminar planed today with Cynthia Sharma in the framework of the small non-coding RNA bioinformatics club (https://smallrna-bioinformatics.eu/) is cancelled.

It will be re-postponed later on... Stay tuned (you can subscribe to the mailing list): https://smallrna-bioinformatics.eu/Pages/_PAGES/Mailing-List.aspx

Sorry for the inconvenience.

Best,
Laurent Guyon on behalf of all the organizers (Rolf Backofen, Ana Eulálio, Bastian Fromm, Laurent Guyon, Andreas Keller, Marie-France Sagot)

PS: other planned seminar:
- 9th of January: Li Xuan Qin, Depth normalization of small RNA sequencing: using data and biology to select a suitable method, https://smallrna-bioinformatics.eu/Pages/Seminars/S23-01.aspx


____________________________
Laurent GUYON, PhD, HDR - Bioinformatics
CEA IRIG (Interdisciplinary Research Institute of Grenoble<http://www.cea.fr/drf/IRIG/english/Pages/Presentation.aspx>)
BioHealth Department - BCI (Biology of Cancer and Infection laboratory<http://www.bci-lab.fr/en>)
UMR 1292 CEA/Inserm/Université Grenoble Alpes

CEA Grenoble - Bât C3 - Bureau 224
17 rue des Martyrs - 38054 GRENOBLE Cedex 9 - France

Tél : (+33)4.38.78.04.53 - Fax : (+33)4 38 78 50 58
Email : laurent.guyon@cea.fr<mailto:laurent.guyon@cea.fr> - http://laurent.guyon.phd.free.fr/

Interested by small non-coding RNA bioinformatics? Join the club! https://smallrna-bioinformatics.eu/

Special issue on small non-coding RNA bioinformatics, submit before mid-December (updated - contact me if you need delay):
https://www.mdpi.com/journal/genes/special_issues/Small_RNA_Bioinformatics

Happy to share miRViz (free to use website to analyze your microRNA datasets): http://mirviz.prabi.fr/
Article: https://doi.org/10.1093/nar/gkaa259
Messages of the paper: https://twitter.com/Laurent_Guyon/status/1255487510563651586


**********************************************************
*
* 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] IEEE Social Networks TC Invited Talk (Prof. Pan Hui)

Dear All,

IEEE TCSN is pleased to invite you for the invited talk on *"**The
Hitchhiker's Guide to the Metaverse**" by Prof. **Pan Hui* *on Nov. 29th
2022 from 10:00 AM Hong Kong Time (Nov. 28th 9pm EST).*

This talk is an endeavor of IEEE TCSN focusing on enhancing the awareness
of trending topics to the community.

Title: *The Hitchhiker's Guide to the Metaverse*

Speaker: *Prof. Pan Hui*

Date: * 29 November 2022 (Tuesday)*

Time: *10:00 AM HKT (UTC+08:00)*

*(Check your local time here: **https://www.thetimezoneconverter.com/
<http://enotice.ieee.org/link.cfm?r=IoDJNoL-xQC97aLHLaRfMA~~&pe=GxIJ2JMz2owXMXnxthjQlsxXd_r6-GHoYpQ4fN-U6uEzgPJfNo7nIZuvTj2SMQkXla5etaDdUm2MGDsC8X4fkA~~&t=uydO706YNZG4FGJ2CjnG_w~~>)*

*Zoom link: *

*https://rebrand.ly/HitchhikerGuideToMetaverse
<https://rebrand.ly/HitchhikerGuideToMetaverse>*

*Abstract*:

We envision in the future the virtual world will mix and co-exist with the
physical world in such an immersive way that we cannot tell what is real
and what is virtual. We will live and interact with the virtual objects
that are blended into our environments with advanced holographic technology
or with high-quality head-mounted displays and lose the virtuality
boundary. We call such a new reality Surreality. Our vision of "metaverse"
is a multi-world. There are multiple virtual worlds developed by different
technology companies and there is also the Surreality where real and
virtual merged. While the metaverse may seem futuristic, catalysed by
emerging technologies such as Extended Reality, 5G, and Artificial
Intelligence, the digital "big bang" of our cyberspace is not far away.
This talk aims to offer a comprehensive framework that examines the latest
metaverse development under the dimensions of state-of-the-art technologies
and metaverse ecosystems, illustrates the possibility of the digital "big
bang", and proposes a concrete research agenda for the development of the
metaverse.

*Speaker Bio: *

Pan Hui is a Chair Professor of Computational Media and Arts and Director
of the Center for Metaverse and Computational Creativity at the Hong Kong
University of Science and Technology (Guangzhou), and a Chair Professor of
Emerging Interdisciplinary Areas at the Hong Kong University of Science and
Technology. He is also the Nokia Chair in Data Science at the University of
Helsinki. He received his PhD from the Computer Laboratory at University of
Cambridge, and both his Bachelor and MPhil degrees from the University of
Hong Kong. He was an adjunct Professor of social computing and networking
at Aalto University, Finland, and a Distinguished Scientist at the Deutsche
Telekom Laboratories (T-labs), Germany. His industrial profile also
includes his research at Intel Research Cambridge, UK and Thomson Research
Paris, France. Pan Hui is an expert in Augmented Reality and Mobile
Computing, with more than 400 research papers, 30 patents, and over 24,000
citations. He is an International Fellow of the Royal Academy of
Engineering, a member of Academia Europaea, an IEEE Fellow, and an ACM
Distinguished Scientist.

We look forward to your participation.
[image: Prof. Pan Hui_13_plain.jpg]
[image: beacon]


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

Saturday, November 26, 2022

[DMANET] Postdoc position in parameterized and approximation algorithms at University of Warwick, UK (application deadline: December 6, 2022)

In connection with a research grant of Dr. Ramanujan Sridharan and Prof. Graham Cormode at University of Warwick, UK, we are seeking excellent candidates for a postdoctoral fellow position in the area of design and analysis of parameterized and approximation algorithms.

The position is for 18 months and start date can be negotiated (preferably by March 2023). The project comes with a generous travel budget which will enable the project team to closely collaborate with internationally leading research groups in algorithms and complexity.

The applicants are expected to have a strong background in the mathematical analysis of algorithms, with a specialization in one of the following areas: graph algorithms, parameterized complexity or approximation algorithms. You will have (or expect to obtain shortly) a PhD in the relevant area.

You will be formally based in the Department of Computer Science at the University of Warwick, and you will be associated with the Centre for Discrete Mathematics and its Applications (http://www2.warwick.ac.uk/fac/cross_fac/dimap) and the Theory and Foundations research group (https://warwick.ac.uk/fac/sci/dcs/research/focs/)<https://warwick.ac.uk/fac/sci/dcs/research/focs/> at the University of Warwick. The Department of Computer Science at the University of Warwick is one of the top-ranking computing departments in the UK. The department is especially renowned for its excellence in theoretical aspects of computer science, in the areas of algorithms and combinatorial optimization.

The Centre for Discrete Mathematics and its Applications (DIMAP) is an internationally renowned centre of excellence in algorithms, discrete mathematics and combinatorics, theoretical computer science and mathematical aspects of operational research. It is led by a number of internationally recognized researchers and has an extensive programme of scientific seminars, international workshops and conferences, and visiting researchers. For further information about DIMAP, please see our website http://www2.warwick.ac.uk/fac/cross_fac/dimap/ .

Formal applications must be submitted by December 6, 2022 at the following link: https://tinyurl.com/ksz8rjfa . Informal enquiries are welcome (please contact Dr. Sridharan: r.maadapuzhi-sridharan@warwick.ac.uk<mailto:r.maadapuzhi-sridharan@warwick.ac.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/
*
**********************************************************

[DMANET] ISSAC 2023 - Second Call for Papers

ISSAC 2023
International Symposium on Symbolic and Algebraic Computation

July 24-27 2023
Tromsø, Norway

SECOND CALL FOR PAPERS

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

The International Symposium on Symbolic and Algebraic Computation is the
premier conference for research in symbolic computation and computer algebra.
ISSAC 2023 will be the 48th meeting in the series, which started in 1966 and
has been held annually since 1981. The conference presents a range of invited
talks, tutorials, short communication, software demonstrations and vendor
exhibits with a centerpiece of contributed research papers.

ISSAC 2023 will be held on 24-27 July 2023 at Tromsø, Norway.

Important Dates
---------------
Abstract submission deadline: January 24,2023,23:59 (anywhere on Earth)
Paper submission deadline: January 31,2023,23:59 (anywhere on Earth)
First notification of acceptance/rejection: April 18,2023
End of rebuttal phase: April 25,2023
Final notification after rebuttal phase: May 2,2023
Camera-ready copy due: May 22,2023

Submission Instructions
-----------------------
ISSAC 2023 invites the submission of original research contributions
to be considered for publication and presentation at the conference.
Papers should not duplicate work published or submitted for consideration
elsewhere.

Papers must be in English and should not exceed 8 pages in the ACM
two-column style, found at:
http://www.acm.org/publications/proceedings-template
which can be downloaded from:
https://portalparts.acm.org/hippo/latex_templates/acmart-primary.zip

However,2 additional pages may be used for bibliographical references,
and/or for experimental results (tables, figures), experimental data
(e.g. input or output systems for a solver) and computer program code
(library code, scripts, worksheets, Makefiles, etc.).
The portion of the paper before these two additional pages must be
self-contained.

Extended abstracts are not allowed. At least one author of each accepted
paper must register for the conference and present the paper.

Submission is via EasyChair, at the web site
https://easychair.org/conferences/?conf=issac23


Topics
------
All areas of computer algebra and symbolic mathematical computation
are of interest. These include, but are not limited to:
Algorithmic aspects:
* Exact and symbolic linear, polynomial and differential algebra
* Symbolic-numeric, homotopy, perturbation and series methods
* Computational algebraic geometry, polynomial and semialgebraic optimization
* Computational group theory and number theory, quantifier elimination and logic
* Computer arithmetic
* Summation, recurrence equations, integration, solution of ODEs & PDEs
* Symbolic methods in other areas of pure and applied mathematics
* Complexity of algebraic algorithms and algebraic complexity
Software aspects:
* Design of symbolic computation packages and systems
* Language design and type systems for symbolic computation
* Data representation
* Considerations for modern hardware
* Algorithm implementation and performance tuning
* Mathematical user interfaces
* Use with systems such as digital libraries, courseware, simulation and optimization,
automated theorem-proving, computer-aided design, and automatic differentiation
Application aspects:

* Applications that stretch the current limits of computer algebra algorithms or systems,
use computer algebra in new areas or new ways, or apply it in situations with broad impact.

Invited Speakers
----------------
Nikhil Srivastava (UC Berkeley, USA)
Rekha R. Thomas (University of Washington, USA)
Frank Vallentin (Universität zu Köln, Germany)

Tutorial Speakers
-----------------
Paola Boito (Università di Pisa, Italy)
Irina Kogan (North Carolina State University, USA)
Laura Kovacs (TU Wien, Austria)

Conference Organization
-----------------------
General Chair: Alicia Dickenstein (University of Buenos Aires, Argentina)
Program Committee Chair: Elias Tsigaridas (INRIA Paris and Sorbonne University, France)
Local Arrangements Chair: Cordian Riener (UiT-The Arctic University of Norway, Norway)
Treasurer: Hughes Verdure (UiT-The Arctic University of Norway, Norway)
Proceedings Editor: Gabriela Jeronimo (University of Buenos Aires, Argentina)
Publicity Chair: Ruyong Feng (Chinese Academy of Sciences, China)
Tutorial Chair: Éric Schost (University of Waterloo, Ontario, Canada)
Short Communication Chair: Juana Sendra (CUNEF University, Spain)
Software Presentations Chair: Evelyne Hubert (INRIA Méditerranée, France)

Program Committee
-----------------
Marianne Akian (INRIA Saclay Île-de-France and CMAP, France)
Tristram Bogart (Los Andes University, Colombia)
Michael Burr (Clemson University, USA)
Robert Corless (University of Western Ontario, Canada)
Gema Díaz Toca (University of Murcia, Spain)
Alperen Ergür (University of Texas at San Antonio, USA)
Xiao-Shan Gao (Chinese Academy of Sciences, China)
Kaie Kubjas (Aalto University, Finland)
Salma Kulhmann (University of Konstanz, Germany)
Victor Magron (LAAS-CNRS, France)
Daniel Perrucci (University of Buenos Aires, Argentina)
Sonja Petrović (Illinois Institute of Technology, USA)
Georg Regensburger (University of Kassel, Germany)
Elina Robeva (University of British Columbia, Canada)
Maurice Rojas (Texas A&M University, USA)
Nitin Saxena (Indian Institute of Technology, Kanpur, India)
Carsten Schneider (Research Institute for Symbolic Computation, Austria)
Elias Tsigaridas (INRIA Paris and Sorbonne University, France, France)
Jan Verschelde (University of Illinois at Chicago, USA)
Bican Xia (Peking University, China)
Kazuhiro Yokoyama (Rikkyo University, Japan)

Short Communication Committee
-----------------------------
Eunice Y.S. Chan (The Chinese University of Hong Kong, Shenzhen, China)
Beatriz Pascual Escudero (Universidad Carlos III de Madrid, Spain)
Sebastian Falkensteiner (MPI Leipzig, Germany)
Juana Sendra (CUNEF University, Spain)
Josué Tonelli-Cueto (The University of Texas at San Antonio, USA)

Software Presentation Committee
-------------------------------
Juliette Bruce (Brown University, USA)
Evelyne Hubert (INRIA Méditerranée, France)
Viktor Levandovskyy (University of Kassel, Germany)
Gotz Pfeiffer (University of Galway, Ireland)

Local Arrangements Committee
----------------------------
Hans Munthe-Kass (University of Bergen and UiT-The Arctic University of Norway, Norway)
Cordian Riener (UiT-The Arctic University of Norway, Norway)
Hughes Verdure (UiT-The Arctic University of Norway, Norway)
Thi Xuan Vu (UiT-The Arctic University of Norway, Norway)

Software and Poster presentations
---------------------------------
There will be separate calls for Sofware and Poster presentations with deadlines
closer to the date of the conference.
############################


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] Professorship at the University of Cologne - Differential Geometry

Dear Colleagues,

I would like to draw your attention to the opening of a professorship
at the University of Cologne in differential geometry (e.g.,
Riemannian geometry, symplectic geometry, metric geometry, Kähler
geometry, discrete geometry), see details in the attached file.
The deadline to apply is January 15th, 2023.

Please feel free to forward this email to potentially interested people.

Best wishes,
Silvia Sabatini


**********************************************************
*
* 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, November 25, 2022

[DMANET] Web-seminar on small RNAs in bacteria, this Monday 28th

Dear colleagues,

This **upcoming Monday 28th of November (4pm Berlin/Paris time)**, we propose a free web-seminar on small RNAs in bacteria!

In the framework of the small non-coding RNA bioinformatics club (https://smallrna-bioinformatics.eu/), we are happy to share with you the future freely available web seminars.
The club will propose seminars every two months. Abstracts and links for the seminars are available here: https://smallrna-bioinformatics.eu/Pages/Seminars/Seminars.aspx

Zoom link: https://univ-grenoble-alpes-fr.zoom.us/j/95796803415?pwd=UU50WEpEbTNXb1p1SmJPUitqbEcwQT09
YouTube stream: https://youtu.be/VYIKBJq_coM

Tweet for easy re-transmission: https://twitter.com/Laurent_Guyon/status/1596193837348683776
YouTube channel (most of the seminars are then shared through this channel): https://www.youtube.com/channel/UCTiHtqOKzneeqIqauQMgx3A
CAUTION: this upcoming seminar will not be recorded!

Seminars are given a Monday at 4pm Berlin/Paris time, except in rare cases.
- 28th of November: Cynthia Sharma, Regulatory RNAs in pathogenic Epsilonproteobacteria (not recorded)
- 9th of January: Li Xuan Qin, Depth normalization of small RNA sequencing: using data and biology to select a suitable method

'hope to see you virtually in these seminars,
Laurent Guyon, on behalf of all the organizers (Rolf Backofen, Ana Eulálio, Bastian Fromm, Laurent Guyon, Andreas Keller, Marie-France Sagot)


____________________________
Laurent GUYON, PhD, HDR - Bioinformatics
CEA IRIG (Interdisciplinary Research Institute of Grenoble<http://www.cea.fr/drf/IRIG/english/Pages/Presentation.aspx>)
BioHealth Department - BCI (Biology of Cancer and Infection laboratory<http://www.bci-lab.fr/en>)
UMR 1292 CEA/Inserm/Université Grenoble Alpes

CEA Grenoble - Bât C3 - Bureau 224
17 rue des Martyrs - 38054 GRENOBLE Cedex 9 - France

Tél : (+33)4.38.78.04.53 - Fax : (+33)4 38 78 50 58
Email : laurent.guyon@cea.fr<mailto:laurent.guyon@cea.fr> - http://laurent.guyon.phd.free.fr/

Interested by small non-coding RNA bioinformatics? Join the club! https://smallrna-bioinformatics.eu/

Special issue on small non-coding RNA bioinformatics, submit before mid-December (updated - contact me if you need delay):
https://www.mdpi.com/journal/genes/special_issues/Small_RNA_Bioinformatics

Happy to share miRViz (free to use website to analyze your microRNA datasets): http://mirviz.prabi.fr/
Article: https://doi.org/10.1093/nar/gkaa259
Messages of the paper: https://twitter.com/Laurent_Guyon/status/1255487510563651586


**********************************************************
*
* 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] SODA 2023 - Early registration deadline Nov 30

The ACM-SIAM Symposium on Discrete Algorithms (SODA 2023) will be held
in Florence, Italy from Jan 22 - 25, 2023.

The early registration deadline is soon on Nov 30, 2022.

More information about the registration and rates can be found
here:https://www.siam.org/conferences/cm/registration/soda23-registration

General information about the conference can be found
at:https://www.siam.org/conferences/cm/conference/soda23

Best regards,
Nikhil Bansal (on behalf of the organizers)

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

Thursday, November 24, 2022

[DMANET] One PostDoc position (40 hours/week) at JKU Linz, Austria

One 1-year PostDoc position (40 hours/week, all genders welcome) within
the project "MOSOPT - Solving Multi-Objective Facility Layout Problems
via Semidefinite Optimization" is available at the Institute of
Production and Logistics Management at the Johannes Kepler University
Linz, Austria.

The project concerns the development of solution methods for
combinatorial multi-objective programs with semidefinite programming
(SDP) relaxations. It is funded by the Linz Institute of Technology
(LIT). The earliest possible starting date is January 1, 2023. The gross
salary is 4,061.50 per month (14 times a year). Participation and
presentations at scientific conferences are expected and will be funded.

Candidates interested the above position should have
* a PhD in Mathematics, Operations Research, Computer Science or a
related field
* programming skills (e.g., C++, Python, MATLAB, Julia, ...)
* experience in the implementation of (optimization) algorithms
* profound knowledge in one or more of the following fields:
semidefinite programming, multi-objective programming, mixed-integer
programming, combinatorial optimization
* a strong interest in all areas of the research project
Applications from excellent candidates from other fields within discrete
mathematics are also very welcome.

If you are interested in working in a young international research team
at one of the nicest campus universities in Austria, please send the
following documents
* motivation letter (including the date of finishing the PhD and the
title of the PhD thesis)
* detailed CV
* certificates
* list of bachelor, master and PhD courses and grades
* PhD thesis (if in another language than English, an abstract in
English with at most three pages)
to elisabeth.gaar@jku.at with the subject "Application MOSOPT", until
December 14, 2022. In addition a confidential letter of reference by a
professor should be sent directly by the professor to
elisabeth.gaar@jku.at until December 14, 2022. For further information
please contact Elisabeth Gaar (elisabeth.gaar@jku.at).

The Johannes Kepler University wishes to increase the proportion of
academic female faculty and, for this reason, especially welcomes
applications by qualified women. If applicants are equally qualified, a
woman will be given preference for this position. The university
welcomes applications from qualified applicants with physical
disabilities. These applications will be given special consideration.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Lecturer Positions at University of Leeds

The School of Computing at the University of Leeds invites applications for a number of Lecturer posts.
We are seeking candidates whose research aligns with one or more of our existing research themes, and would particularly welcome applications from candidates with research interests in Algorithms and Complexity.

Closing date: 9 January, 2023

For further details please see:

https://jobs.leeds.ac.uk/vacancy.aspx?ref=EPSCP1116


**********************************************************
*
* 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, November 23, 2022

[DMANET] ECOPRO online workshop "Developments in Combinatorics" Nov 28-29

Dear Colleagues,

Join us on our online workshop on Monday and Tuesday Nov 28-29! Look
forward to seeing many of you there. More information can be found at:
https://www.ibs.re.kr/ecopro/online-workshop-developments-in-combinatorics/

- *Zoom: 346 934 4087, password: 202209*

Time in KoreaNov 28 MondayNov 29 Tuesday
15:30-16:10 Jie Han Chong Shangguan
16:10-16:50 Joonkyung Lee ZdenÄ›k DvoÅ™ák
16:50-17:30 Lior Gishboliner Andrzej Grzesik
17:40-18:20 Alex Scott Imre Leader
18:20-19:00 Dongyeap Kang Jozef Skokan

*Jie Han, H-factors in graphs with sublinear independence number*

*Joonkyung Lee, Extended commonality of paths and cycles via Schur
convexity*

*Lior Gishboliner, Polynomial removal lemmas*

*Alex Scott, Invertibility of digraphs and tournaments*

*Dongyeap Kang, Thresholds for Latin squares and Steiner triple systems:
Bounds within a logarithmi**c factor*

*Chong Shangguan, Some problems in extremal set theory*

*ZdenÄ›k DvoÅ™ák, On density of Z_3-flow-critical graphs*

*Andrzej Grzesik, Maximizing cycles of a given length in oriented graphs*

*Imre Leader, Euclidean Ramsey Theory*

*Jozef Skokan, Graphs with large minimum degree and no small odd cycles are
three-colourable*


Best,
Hong Liu
IBS ECOPRO

**********************************************************
*
* 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] Reminder: DEON Seminar Series Autumn Edition: Marija Slavkovik – Nov 24

The Society of Deontic Logic and Normative Systems (DEON) has launched a
seasonal online seminar series designed to promote interdisciplinary
cooperation amongst scholars interested in linking the formal-logical study
of normative concepts, normative language, and normative systems with
computer science, artificial intelligence, linguistics, philosophy,
organization theory, and law. We view the seminar series as an opportunity
to keep in touch with the DEON community and listen in or contribute to
presentations and informal discussions on ongoing work. Everyone who is
interested in this wonderful area and its questions is welcome.

We are happy to announce that our speaker for the DEON autumn seminar will
be

Marija Slavkovik
(University of Bergen)

Finding Common Ground for Incoherent Horn Expressions

Autonomous systems that operate in a shared environment with people need to
be able to follow the rules of the society they occupy. While laws are
unique for one society, different people and institutions may use different
rules to guide their conduct. We study the problem of reaching a common
ground among possibly incoherent rules of conduct. We formally define a
notion of common ground and discuss the main properties of this notion.
Then, we identify three sufficient conditions on the class of Horn
expressions for which common grounds are guaranteed to exist. We provide a
polynomial time algorithm that computes common grounds, under these
conditions. We also show that if any of the three conditions is removed
then common grounds for the resulting (larger) class may not exist.

Date and time: November 24, 2pm – 3:30pm CET

Zoom data:
https://umd.zoom.us/j/89287004976
Meeting ID: 892 8700 4976

Virtual gathering: join us for a virtual gathering on wonder.me after the
talk! No registration is needed, just follow this link:
https://www.wonder.me/r?id=3536c0e5-c486-4ff2-876a-91e569f4190b

If you are interested in the upcoming events in this series, subscribe here:
https://icr.uni.lu/deonticlogic/mailinglist.html

Please check this website to see our previous events:
https://icr.uni.lu/deonticlogic/lectureseries.html


We hope to see you on the 24th of November!


Ilaria Canavotto, Réka Markovich, and Huimin Dong
DEON Seminar Series organizers


======== Guidelines of Participation =========

1) Please MUTE your microphone during the talk and during the Q&A unless
you have been called on to ask a question. (And please do not ask questions
or follow-ups in the Q&A unless you've been called on – i.e., no
interrupting).

2) If you would like to ask a question during the Q&A, please use the
"raise hand" tool on Zoom.

3) Please frame your questions in a constructive and collegial spirit!

Many thanks in advance!

**********************************************************
*
* 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 - 2nd Call for Papers

======================================
SAND 2023: 2nd 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/
*
**********************************************************

[DMANET] [CFP] IEEE MetaCom 2023- IEEE International Conference on Metaverse Computing, Networking and Applications, Kyoto, Japan

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

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

CALL FOR PAPERS

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

*IEEE International Conference on Metaverse Computing, Networking and
Applications (IEEE MetaCom 2023), June 26-28, 2023, Kyoto, Japan*

http://www.ieee-metacom.org/2023

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

*IMPORTANT DATES:*

*Paper Submission Due: 30 December 2022*

Author Notification: 15 March 2023

Camera-Ready Due: 10 May 2023

Conference Dates: 26-28 June 2023

*Submission Link: **https://easychair.org/conferences/?conf=metacom2023*
<https://easychair.org/conferences/?conf=metacom2023>

IEEE MetaCom 2023 provides a forum for academic researchers and industry
practitioners to present research progresses, exchange new ideas, and
identify future directions in the field of Computing, Networking, and
Applications for Metaverse.

Scope and Objectives:

Metaverse is one of the key enablers for the future society, which is
envisioned to bring a new revolution to digital world. For Metaverse,
physical world will be seamlessly integrated with cyber world through
digitizing physical objects to create digital twins, which poses numerous
challenges on human-machine interfaces, ultra-low latency, extremely high
resource demands, low traffic, reliability and trustworthiness. To realize
this vision, it becomes indispensable for the convergence of computing,
networking and applications for Metaverse in a wide range of domains
including industry, finance, medical care, smart cities, entertainment,
education, and agriculture.

The conference solicits submissions from all research areas related to
Metaverse computing, networking, as well as their corresponding systems and
applications. Topics of interests are covered by the following tracks:

*Track 1: Metaverse Architectures and Applications*

https://www.ieee-metacom.org/2023/track1.php

*Track Chairs: *Bo Han,George Mason University, USA

Luiz Fernando Bittencourt,University of Campinas, Brazil

· Architecture and system design

- Immersive services
- Digital twin modeling and rendering
- Animations and physical world simulations
- Model evolution, composition and library
- Holographic applications
- Virtual reality, augmented reality, mixed reality, extended reality
- Metaverse applications in different domains, such as industry,
healthcare
- Design, implementation, and evaluation of novel applications
- Measurement of commercial platforms
- Scalability and interoperability

*Track 2: Networking and Communications*

https://www.ieee-metacom.org/2023/track2.php

*Track Chairs: *Lijun Dong,Futurewei, USA

Lei Lei,University of Guelph, Canada

· Network architectures and design principles for metaverse

- Routing metrics and algorithms
- Rendezvous services for metaverse
- Resource control and allocation
- Network management
- Interactions between cyber and physical spaces
- Data center communications for metaverse
- Decentralized communications for metaverse
- Ultra-low-time communications for metaverse
- Green communications for metaverse
- Holographic communications
- B5G/6G for metaverse applications

*Track 3: Metaverse Computing *

https://www.ieee-metacom.org/2023/track3.php

*Track Chairs:* Paolo Bellavista,University of Bologna, Italy

Yehia Elkhatib,University of Glasgow, U.K.

· Adaptive resource provisioning and monitoring in the Metaverse
cloud continuum

· Resource elasticity in the cloud continuum for Metaverse
applications

· Computation offloading for extremely low latency in the cloud
continuum

· Building flexible data paths in the cloud continuum

· High-performance Metaverse data streaming and storage

· QoS assurance and SLA in the cloud continuum

· QoE-aware Metaverse service management

· Distributed Digital Twins in the Metaverse

· Tactile Internet for the Metaverse

· End-to-end quality of service/experience in collaborative Metaverse
applications

· Distributed AI/ML for Metaverse resource management and applications

· Data governance mechanisms in the Metaverse

· Metaverse computing for cross-domain service interoperability

· Metaverse computing for cross-context security and trust management

· Scalability and resilience of cloud continuum-based Metaverse
applications

· System design and evaluation for immersive Metaverse experiences

· Innovative proposals, middleware, and application components in the
following vertical domains

*Track 4: Blockchain and Web 3.0*

https://www.ieee-metacom.org/2023/track4.php

*Track Chairs:* Henry M. Kim,York University, Canada

Bin Cao,Beijing University of Posts and Telecommunications, China

- Zero-trust architecture and protocol design for blockchain and web3.0
- Incentive and consensus mechanisms for blockchain and web3.0
- Identity Management System for blockchain and web3.0
- Distributed storage, identifiers, and data verification in blockchain
and web3.0
- Fundamental limits and theoretical guidance for blockchain and web3.0
- Emerging technologies for blockchain and web3.0
- Hardware and infrastructure implementation for blockchain and web3.0
- Smart contract and chain code
- NFT applications and protocols
- Semantic computing and services in blockchain and web3.0
- Blockchain and web3.0 applications
- Blockchain and web3.0 standardizations

*Track 5: Security, Privacy, and Trust*

https://www.ieee-metacom.org/2023/track5.php

*Track Chairs: *Rongxing Lu,University of New Brunswick, Canada

Yogachandran Rahulamathavan,Loughborough University, U. K.

· Security, privacy and/or trust frameworks for metaverse

· Secure protocols for dynamic IoT networks and metaverse

· Privacy mitigation techniques for IoT-enabled extended reality for
metaverse

· Secure data sharing and integration mechanisms across extended IoT
networks for metaverse

· Trust issues to address AI/ML techniques in metaverse

· Security, privacy, and trust in the context of the metaverse

· New cryptographic technologies for metaverse

- Data security and governance
- Privacy preserving technologies
- Policy and regulation compliance
- Trust management framework
- ID management, authentication and authorization
- Accountability for metaverse
- Zero-knowledge proof for metaverse
- Zero-trust architecture for metaverse

*Track 6: Theories, Experiments and Evaluations*

https://www.ieee-metacom.org/2023/track6.php

*Track Chairs: *Zehui Xiong,Singapore University of Technology and Design
(SUTD), Singapore

Kim-Kwang Raymond Choo,The University of Texas at San Antonio, USA

· Theoretical investigations on metaverse

- Optimization, game theory, incentive designs
- AI (e.g., machine / deep learning) experiments for metaverse
- Simulators, testbeds, prototypes
- Implementations, and field experiments
- Verification of the existing knowledge
- Performance evaluation and modeling
- Quality of service and quality of experience
- Standardizations for metaverse

*IEEE MetaCom will arrange exciting panels and tutorials.*

Panel Chair: Tarek Abdelzaher Unniversity of Illinois Urbana-Champaign, USA

Tutorial Chairs: Yan Zhang University of Oslo, Norway

Andreas Veneris, University of Toronto, Canada

*The workshops are open for proposals and the PhD forum are also open for
submissions.*

https://www.ieee-metacom.org/2023/cf-workshops.php

*Best Paper Award and Journal Special Issues:*

Three accepted papers will be selected for best paper awards. Selected
papers will be recommended to Digital Communications and Networks (IF:
6.797) for potential fast-track publications.

*Regular Paper Submission Guidelines:*

IEEE MetaCom 2023 invites submission of manuscripts with original research
results that have not been previously published or posted on public
websites or that are not currently under review by another conference or
journal. Submitted manuscripts must be prepared according to IEEE Computer
Society Proceedings Format (double column, 10pt font, letter paper) and
submitted in the PDF format. The manuscript submitted for review should be
no longer than 8 pages. After the manuscript is accepted, the camera-ready
paper may have up to 10 pages, subject to an additional fee per extra page.
Reviewing will be *double-blind*. Submissions must not reveal the authors'
names and their affiliations and avoid obvious self-references. Manuscripts
should be submitted to one of the research tracks. Submissions not meeting
these guidelines will be rejected without consideration of their merits.
Accepted and presented papers will be published in the IEEE MetaCom 2023
Conference Proceedings and included in IEEE Xplore.

Submission Link: https://easychair.org/conferences/?conf=metacom2023

*IMPORTANT DATES:*

Paper Submission Due: 30 December 2022

Author Notification: 15 March 2023

Camera-Ready Due: 10 May 2023

Conference Dates: 26-28 June 2023

General Chairs:

Chonggang Wang, Interdigital, USA

Dusit Niyato, Nanyang Technological University, Singapore

TPC Chairs:

Ruidong Li, Kanazawa University, Japan

Enzo Mingozzi, University of Pisa, Italy

Max (Chong) Li, Computecoin Network and Columbia University, USA

*Supported by IEEE SIG on Metaverse (METASIG): www.ieee-metacom.org/sigmeta

*METASIG Linkedin Group: https://www.linkedin.com/groups/14120645

**********************************************************
*
* 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] 9 PhD positions and 6 Postdoc positions in theoretical computer science, algebra, and logic (Barto, Bodirsky, Pinsker)​

Dear colleague,

Please find below a job announcement of our ERC Synergy Grant POCOCOP. We would be grateful if you could forward it to anyone interested.

Best wishes,

Michael Pinsker, Libor Barto, Manuel Bodirsky
The ERC Synergy Grant POCOCOP (Polynomial-time computation: opening the black boxes in constraint problems) is offering 9 PhD and 6 Postdoc positions at TU Vienna, Charles University Prague, and TU Dresden. The goal of the project is to systematically explore polynomial-time tractability in the field of constraint satisfaction and its extensions, in particular promise CSPs, valued CSPs, and CSPs over infinite domains. The project is jointly led by three principal investigators: Manuel Bodirsky (TU Dresden), Michael Pinsker (TU Vienna), and Libor Barto (Charles University Prague).

We are looking for highly motivated and creative candidates and in particular encourage female researchers to apply. The applicants should have a strong background in at least one of the following fields: theoretical computer science, model theory, or universal algebra. For the PhD positions the requirements are a Master's degree or equivalent in mathematics or computer science. For the Postdoc positions the requirements are a PhD or equivalent in mathematics or computer science. Successful candidates will be based at one of the three sites (Prague, Dresden, Vienna), but collaborate with the other two groups intensively.

The starting date of the grant is the 1st of March 2023, but applications will be considered until the positions are filled. For full consideration, we encourage applicants to express their interest by the 15th of December 2022. The duration of the PhD positions will be 3-4 years, and the duration of the Postdoc positions will be up to 3 years. The positions come with a very good salary, are fully funded from the ERC grant and carry no teaching load; however, if desired participation in teaching might be arranged via other sources of funding. There is sufficient funding for conference and research exchange trips.

Applicants should send a CV, a statement of research experience and interests, and a list of publications (if applicable) in a single PDF file to jobs@pococop.eu (mailto:jobs@pococop.eu). The application may also include a short annotation of at most three of their best papers; in the case of the PhD positions, a copy of the Master's thesis should be included. Applicants should moreover arrange for at least two recommendation letters to be sent directly to the same email address. Informal inquiries are very welcome.

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

Abstract of POCOCOP:

The class P of polynomial-time computable computational problems is the most important and robust complexity class for the study of efficient computation. Answering what problems belong to P will lead to groundbreaking applications in science and modern society where computation is omnipresent. Moreover, P is a relatively recent mathematical object and radically different from classical notions studied for centuries; thus, capturing it promises the discovery of new fundamental theorems in mathematics.

Our current understanding of P is limited; for instance, the P=NP millennium problem is wide open. There neither exists a uniform reduction technique, nor a single algorithmic scheme capturing the power of P, nor a description of P in purely logical terms. We intend to provide these in a context which is so rich and vast that it requires the unification of some of the most important techniques, and will enhance our general understanding of P.

Within the microcosm of finite-domain constraint satisfaction problems (CSPs), the recent resolution of the Feder-Vardi conjecture by Bulatov and by Zhuk provides a satisfactory picture of P. Our goal is a vast and uniform generalisation of this result in three directions: towards approximation via Promise CSPs, towards optimisation via Valued CSPs, and towards infinite domains via omega-categorical CSPs and CSPs over numeric domains. In particular, our setting includes the linear programming problem as a numeric Valued CSP, the approximate graph coloring problem as a Promise CSP, and many problems from qualitative reasoning as infinite-domain CSPs. Our methods range from universal algebra, model theory, Ramsey theory, to complexity theory. Building on cross-connections between these extensions, we will provide a uniform description of P within this diverse and applicable universe, thus making a revolutionary leap in the resolution of the general problem.

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