[DMANET] CFP Numerical Search and Optimization

Dear Colleagues,

On behalf of the Organizing Committee, we invite you to participate in the
special session (workshop) on "Numerical Search and Optimization" at the
10th Conference on Numerical Methods and Applications NM&A'22,
to be held 22-26 August 2022 in Borovets, Bulgaria.
http://www.math.bas.bg/~nummeth/nma22/index.html
The session is organized by:
Prof. Stefka Fidanova (stefka@parallel.bas.bg)
from the Institute of Information and Communication Technologies, Bulgarian
Academy of Sciences
Prof. Gabriel Luque (gabriel@lcc.uma.es) from University of Malaga, Spain,
and

Topics

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

- unconstrained and constrained optimization
- combinatorial optimization
- global optimization
- multi-objective optimization
- optimization in dynamic and/or noisy environments
- large scale optimization
- Scalable search and optimization methods
- Scalable numerical tests
- parallel and distributed approaches in optimization
- random search algorithms
- adaptive search algorithms
- nature inspired optimization methods
- hybrid optimization algorithms involving natural computing techniques
and other global and local optimization methods
- optimization methods for learning processes and data mining
-classical operational research problems (knapsack, traveling salesman,
etc)
-computational biology and distance geometry
-data mining and knowledge discovery
-human motion simulations; crowd simulations
-industrial applications
- computational optimization methods in statistics, econometrics,
finance, physics, medicine, biology, engineering etc

Proceedings
The refereed and presented papers will be published as a special volume of
Springer Series.

Important deadlines
Deadline for submission of abstracts July 15, 2022
Notification of acceptance of the talks August 01, 2022
Final version of paper submission September 30, 2022

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 to 12 pages. It is assumed that one participant will present not
more than one talk.

Send the abstracts 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).

Special session organizers
Prof. S. Fidanova (stefka@parallel.bas.bg) , Institute of Information and
Communication Technologies, Bulgarian Academy of Science.
Prof. Gabriel Luque (gabriel@lcc.uma.es), University of Malaga, Spain.

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

[DMANET] Postdoc positions in TCS and/or combinatorial optimization at University of Copenhagen

The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for postdoc positions in theoretical computer science and/or combinatorial optimization.

We are looking for outstanding junior researchers with an innovative mind-set and intellectual curiosity to strengthen and complement the research profile of the Mathematical Insights into Algorithms for Optimization (MIAO) group headed by Jakob Nordstrom (www.jakobnordstrom.se), which is active at both the University of Copenhagen and Lund University on either side of the Oresund Bridge.

The MIAO research group has a unique profile in that we are doing cutting-edge research both on the mathematical foundations of efficient computation and on state-of-the-art practical algorithms for real-world problems. This creates a very special environment, where we do not only conduct in-depth research on different theoretical and applied topics, but where different lines of research cross-fertilise each other and unexpected and exciting synergies often arise. Much of the activities of the group revolve around powerful algorithmic paradigms such as, e.g., Boolean satisfiability (SAT) solving, Groebner basis computations, integer linear programming, and constraint programming. This leads to classical questions in computational complexity theory—though often with new, fascinating twists—but also involves work on devising clever algorithms that can exploit the power of such paradigms in practice.

We are fortunate to be part of the Algorithms and Complexity Section at DIKU, which is world-leading in algorithms and complexity theory (currently ranked 6th worldwide by CSrankings.org). DIKU hosts the Basic Algorithms Research Copenhagen (BARC) centre joint with the IT University of Copenhagen, and we also have extensive collaborations with the Technical University of Denmark (DTU) and with Lund University on the Swedish side of the Oresund Bridge, as well as with our many visitors. We aim to attract top talent from around the world to an ambitious, creative, collaborative, and fun environment. Using the power of mathematics, we strive to create fundamental breakthroughs in algorithms and complexity theory. While the focus in on foundational research, we do have a track record of surprising algorithmic discoveries leading to major industrial applications.

These postdoc positions are full-time research positions for a duration of two years. Teaching of advanced courses is encouraged but not required. Travel funding is included, and we also expect to start receiving visitors again on a regular basis as the pandemic situation is now improving. The starting date would ideally be in not-too-late autumn 2022 but is flexible.

The University of Copenhagen is currently expanding strongly in computer science. We expect to have tenure-track openings in in the coming years, and welcome postdoctoral researchers interested in exploring such opportunities.

The application deadline is June 29, 2022. See http://www.jakobnordstrom.se/openings/Postdoc-UCPH-220629.html for the full announcement with more information and instructions for how to apply. Informal enquiries are welcome and may be sent to jakob.nordstrom@cs.lth.se.

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

[DMANET] PhD positions in TCS and/or combinatorial optimization in Copenhagen

The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for PhD positions in theoretical computer science and/or combinatorial optimization.

The PhD students will be working in the Mathematical Insights into Algorithms for Optimization (MIAO) group headed by Jakob Nordstrom (www.jakobnordstrom.se), which is active at both the University of Copenhagen and Lund University on either side of the Oresund Bridge.

The MIAO research group has a unique profile in that we are doing cutting-edge research both on the mathematical foundations of efficient computation and on state-of-the-art practical algorithms for real-world problems. This creates a very special environment, where we do not only conduct in-depth research on different theoretical and applied topics, but where different lines of research cross-fertilise each other and unexpected and exciting synergies often arise. Much of the activities of the group revolve around powerful algorithmic paradigms such as, e.g., Boolean satisfiability (SAT) solving, Groebner basis computations, integer linear programming, and constraint programming. This leads to classical questions in computational complexity theory—though often with new, fascinating twists—but also involves work on devising clever algorithms that can exploit the power of such paradigms in practice.

We are fortunate to be part of the Algorithms and Complexity Section at DIKU, which is world-leading in algorithms and complexity theory (currently ranked 6th worldwide by CSrankings.org). DIKU hosts the Basic Algorithms Research Copenhagen (BARC) centre joint with the IT University of Copenhagen, and we also have extensive collaborations with the Technical University of Denmark (DTU) and with Lund University on the Swedish side of the Oresund Bridge, as well as with our many visitors. We aim to attract top talent from around the world to an ambitious, creative, collaborative, and fun environment. Using the power of mathematics, we strive to create fundamental breakthroughs in algorithms and complexity theory. While the focus in on foundational research, we do have a track record of surprising algorithmic discoveries leading to major industrial applications.

We currently have openings for both theoretically and practically inclined PhD students. There is a lot of flexibility as to what kind of research the PhD students will pursue, and all candidates are welcome, both those who want to go deep into either theory or practice and those who are inspired by the challenge of bridging the gap between the two.

These positions are available for period of 3-5 years, depending on the current education level of the applicant. All PhD positions in the research group are fully funded, employed positions (including travel money) that come with an internationally competitive salary. The starting date is negotiable but should ideally be in not-too-late autumn 2022.

The application deadline is June 29. Please see http://www.jakobnordstrom.se/openings/PhD-UCPH-220629.html for the full announcement with more information and instructions for how to apply. Informal enquiries are welcome and may be sent to jn@di.ku.dk.

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

[DMANET] LATIN 2022, NEW SYMPOSIUM DATES

Due to an announcement that a major cultural festival in Latin America
(Festival Internacional Cervantino) will be held in Guanajuato at the
time LATIN 2022 was originally planned to be held, it has been decided
to postpone LATIN 2022 for two weeks. The new symposium dates are
November 7-11. The abstract and full paper submission deadlines remain
the same, May 15 and May 22, respectively.

========================================================
Call for Papers

LATIN 2022
The 15th Latin American Theoretical Informatics Symposium will be held
in Guanajuato, Mexico.

DATES
All deadlines are at 23:59 anywhere on earth.
Abstract Submission: May 15, 2022
Full Paper Submission: May 22, 2022
Notification: July 25, 2022
Camera Ready: August 15, 2022
Symposium (NEW): November 7-11, 2022

SCOPE AND TOPICS
LATIN is devoted to different areas in theoretical computer science
including, but not limited to: algorithms (approximation, online,
randomized, algorithmic game theory, etc.), analytic combinatorics and
analysis of algorithms, automata theory and formal languages, coding
theory and data compression, combinatorial algorithms, combinatorial
optimization, combinatorics and graph theory, complexity theory,
computational algebra, computational biology, computational geometry,
computational number theory, cryptology, databases and information
retrieval, data structures, formal methods and security, foundations
of data science and theoretical machine learning, Internet and the
web, parallel and distributed computing, pattern matching, programming
language theory, quantum computing, and random structures.

SUBMISSION
Papers are to be submitted in PDF format using the EasyChair server
(https://easychair.org/conferences/?conf=latin2022). Submissions are
limited to fifteen (15) single-column letter-size pages in Springer
LNCS format (see LNCS author guidelines at
http://www.springer.com/la/computer-science/lncs/conference-proceedings-guidelines).
This limit does not include references. An optional appendix (to be
read at the program committee's discretion) may be included if
desired. Simultaneous submission of papers to any other conference
with published proceedings, as well as the submission of previously
published papers, is not allowed. Papers must be written in English.
If there is a physical meeting, as hoped for, for each accepted paper
at least one author must register and attend the symposium to present
it. Moreover, an author cannot register for multiple papers. That is,
each accepted paper must have its own registrant. An exception will be
made if a group of one or more authors has more papers accepted than
group members.

PROCEEDINGS
Accepted papers will appear in the proceedings of LATIN, which will be
published in Springer Lecture Notes in Computer Science
(http://www.springer.com/la/computer-science/lncs).

ALGORITHMICA SPECIAL ISSUE
A Special Issue of ALGORITHMICA will be dedicated to selected paper of
LATIN 2022.

IMRE SIMON TEST-OF-TIME AWARD
As of 2012, the Imre Simon Test-of-Time Award is given to the LATIN
paper deemed most influential among all those published at least ten
years prior to the current edition of the conference. Papers published
in the LATIN proceedings up to and including 2010 are eligible for the
2022 award.

BEST PAPER AWARD
Papers presented at the conference will be considered for the LATIN
2022 Alejandro Lopez-Ortiz Best Paper Award.

COVID-19 PANDEMIC
The state of the COVID-19 pandemic in October 2022 cannot be predicted
now. We will do our best to have a meeting in person, but it may
happen that some or all attendees participate online. Questions can be
sent to: Latinconferenciachair2022@delta.cs.cinvestav.mx.

CONFERENCE CHAIR
Francisco Rodríguez Henríquez, Centro de investigación y de Estudios
Avanzados, México. Cryptography Research Centre, TII, Abu Dhabi,
United Arab Emirates.

PROGRAM COMMITTEE
Martin Aumüller, University of Copenhagen, Denmark
Jérémy Barbay, Universidad de Chile, Chile
Leonid Barenboim, The Open University of Israel, Israel
Frédérique Bassino, Université Sorbonne Paris Nord, France
Luciana Buriol, Amazon, USA
Armando Castañeda, Universidad Nacional Autónoma de México, Mexico (Chair)
Witold Charatonik, University of Wrocław, Poland
Min Chih Lin, Universidad de Buenos Aires, Argentina
Amalia Duch Brown, Universitat Politècnica de Catalunya, Spain
Leah Epstein, University of Haifa, Israel
Martín Farach-Colton, Rutgers University, USA
Esteban Feuerstein, Universidad de Buenos Aires, Argentina
David Flores-Peñaloza, Universidad Nacional Autónoma de México, Mexico
Fedor Fomin, University of Bergen, Norway
Jesper Jansson, Kyoto University, Japan
Gabriela Jeronimo, Universidad de Buenos Aires, Argentina
Christos Kaklamanis, University of Patras & CTI "Diophantus", Greece
Shuji Kijima, Kyushu University, Japan
Gregory Kucherov, CNRS/LIGM, France
François Le Gall, Nagoya University, Japan
Jérémy Ledent, University of Strathclyde, UK
Reut Levi, IDC Herzliya, Israel
Giovanni Manzini, Università di Pisa, Italy
Andrea Marino, Università degli Studi di Firenze, Italy
Elvira Mayordomo, Universidad de Zaragoza, Spain
Marco Molinaro, Pontifical Catholic University of Rio de Janeiro, Brazil
Guilherme Oliveira Mota, Universidade de São Paulo, Brazil
Lucia Moura, University of Ottawa, Canada
Gonzalo Navarro, Universidad de Chile, Chile
Rafael Oliveira, University of Waterloo, Canada
Daniel Panario, Carleton University, Canada
Gopal Pandurangan, University of Houston, USA
Seth Pettie, University of Michigan, USA
Miguel A. Pizaña, Universidad Autónoma Metropolitana, Mexico
Igor Potapov, University of Liverpool, UK
Svetlana Puzynina, Sobolev Institute of Mathematics, Russia
Pablo Rotondo, Université Gustave Eiffel, France
Jared Saia, University of New Mexico, USA
Rodrigo I. Silveira, Universitat Politècnica de Catalunya, Spain
Mohit Singh, Georgia Tech, USA
José A. Soto, Universidad de Chile, Chile
Frank Stephan, National University of Singapore, Singapore
Martin Strauss, University of Michigan, USA
Subhash Suri, University of California, USA
Dimitrios M. Thilikos, LIRMM, Université de Montpellier, CNRS,
Montpellier, France
Christopher Thraves, Universidad de Concepción, Chile
Denis Trystram, Université de Grenoble Alpes, France
Seeun William Umboh, The University of Sydney, Australia
Jorge Urrutia, Universidad Nacional Autónoma de México, Mexico
Alfredo Viola, Universidad de la República, Uruguay
Mikhail V. Volkov, Ural Federal University, Russia
Sebastian Wild, University of Liverpool, UK
Georg Zetzsche, Max Planck Institute, Germany

ORGANIZING COMMITTEE
Mariano Rivera Meraz, CIMAT, Guanajuato, Mexico (Organizing Committee Chair)
Tássio Naia, Universidade de São Paulo, Brazil (Publicity Chair)

STEERING COMMITTEE
Michael A. Bender, Stony Brook University, USA
Cristina G. Fernandes, Universidade de São Paulo, Brazil
Joachim von zur Gathen, Bonn-Aachen International Center for
Information Technology, Germany
Evangelos Kranakis, Carleton University, Canada
Conrado Martínez, Universitat Politècnica de Catalunya, Spain
Flávio Keidi Miyazawa, Universidade Estadual de Campinas, Brazil

**********************************************************
*
* 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] Inventory routing workshop on May 20th at Ecole des Ponts (Paris) - Second announcement and registration deadline

Dear colleagues,

We remind you that we have the pleasure to organize a one-day workshop on the Inventory Routing Problem at Ecole des Ponts Paristech (Paris) on May 20th, 2022.

Speakers:
Academics:
- Claudia Archetti (Essec Business School): Comparison of Formulations for the Inventory Routing Problem.
- Panagiotis Repoussis (Athens University of Economics and Business): Heuristic and Exact methods for the Inventory Routing Problem with Maximum Level inventory policy.
- Ruslan Sadykov (INRIA Bordeaux): New route formulations for the Split-Delivery VRP and the IRP.

PhD Students
- Sara Charaf (Eindhoven University of Technology): The Two-Echelon Inventory Routing Problem.
- Louis Bouvier (Ecole des Ponts - Renault): Solving a continent-scale, multi-attribute Inventory Routing Problem at Renault.

Industrials:
- Thierry Benoist (Localsolver) Inventory routing optimization with LocalSolver
- Alain Nguyen (Renault) Dispatch of empty packagings at Renault, a balance between inventory and transportation

Scientific committee: Claudia Archetti, Thierry Benoist, Axel Parmentier, Ruslan Sadykov, Eduardo Uchoa, Thibaut Vidal, Roberto Wolfler Calvo

Organizing committee: Louis Bouvier , Axel Parmentier, Isabelle Simunic
Do not hesitate to write us an email if you have any question.

Sponsors:
Ecole des Ponts, GDR-RO (axe REST), ROADEF

Practical information can be found on the webpage of the event: https://cermics.enpc.fr/~parmenta/events/InventoryRouting2022.html .
Registration is free but mandatory: The deadline for the lunch registration is Thursday, May 12th .
Please note that the planning has been slightly updated.

We hope to see you on May 20th !

Best regards,

Axel Parmentier

**********************************************************
*
* 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 PE-WASUN 2022

* Please accept our apologies if you have received multiple copies*

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

*C a l l F o r P a p e r s*

*ACM PE-WASUN 2022*

19th ACM International Symposium on Performance Evaluation of
Wireless Ad Hoc, Sensor, and Ubiquitous Networks
(Jointly with the 25th ACM MSWiM Conference)

http://pewasun.upc.edu/PEWASUN2022 <http:/pewasun.upc.edu/PEWASUN2022>

*Montreal, Canada*

*October 24th-28th. 2022*

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

Scope

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

Wireless ad hoc, sensor, along with ubiquitous networks have recently
witnessed their fastest growth period ever in history, and this trend is
likely to continue for the foreseeable future. However, as such networks
become increasingly complex, performance modelling and evaluation will play
a crucial part in their design process to ensure their successful
deployment and exploitation in practice.

This symposium will bring together scientists, engineers, and practitioners
to share and exchange their experiences, discuss challenges, and report
state-of-the-art and in-progress research on all aspects of wireless ad
hoc, sensor, and ubiquitous networks with a specific emphasis on their
performance evaluation and analysis.

Topics of interest include, but are not limited to:

· Predictive performance models of ad hoc, sensor, and ubiquitous networks.

· Probabilistic models for ad hoc, sensor and ubiquitous networks.

· Queuing and network information theoretic analysis

· Analytical modeling and simulation methods

· Automatic performance analysis

· Tracing and trace analysis

· Software tools for network performance and evaluation

· Performance measurement, evaluation and monitoring tools for ad hoc,
sensor and ubiquitous networks

· Case studies demonstrating the role of performance evaluation in the
design of ad hoc, sensor and ubiquitous networks

· Network performance improvement through optimization and tuning

· Mobility modeling and management

· Traffic models for ad hoc, sensor networks

· Performance evaluation of wireless mesh networks

· Performance evaluation of pervasive and ubiquitous networks

· Performance evaluation of VANETs

· Performance of wireless and sensor devices

· Performance of spectrum agile and cognitive wireless sensor networks

· Analysis of multimedia applications over wireless ad-hoc and sensor
networks

· Performance of pervasive computing and services

· Analysis of mobile cloud networking and computing

· Performance of continuity of service over heterogeneous networks,
seamless connectivity

· Analysis of security and privacy in ad hoc networks and ubiquitous
networks

· Simulation methods, performance and analysis

· Real experimentation, deployments, open platforms

General Chair

Mónica Aguilar Igartua <http://www-entel.upc.edu/monica.aguilar/>
Universitat Politécnica de Catalunya, Spain (monica.aguilar@upc.edu)
Program Co-Chairs

Luis J. de la Cruz Llopis
<http://futur.upc.edu/LuisJavierdelaCruzLLopis>
Universitat Politècnica de Catalunya, Spain (luis.delacruz@upc.edu)

Thomas Begin <http://perso.ens-lyon.fr/thomas.begin/> Université Claude
Bernard Lyon 1, France (thomas.begin@ens-lyon.fr)
WEB/Poster Chair

Juan Pablo Astudillo León
<https://sites.google.com/site/juanastudilloupc/home> Universitat
Politècnica de Catalunya, Spain (juan.pablo.astudillo@upc.edu)
Demo/Tools Chair

Pablo Barbecho Bautista <https://sites.google.com/view/pablobarbecho/>
Universitat Politècnica de Catalunya, Spain (pablo.barbecho@upc.edu)
Publicity Chair

Leticia Lemus Cárdenas <https://sites.google.com/view/leticialemus/>
Universitat Politècnica de Catalunya, Spain (leticia.lemus@upc.edu)

*Program Committee Members*

http://pewasun.upc.edu/PEWASUN2022/committees.html

*(Pending publication)

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

Paper Submission

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

Authors are invited to submit their papers through EasyChair on the
following link: https://www.easychair.org/conferences/?conf=pewasun2022

The length of the papers should not exceed 8 single-spaced pages
(in two-column format), ACM style including tables and figures. A template
for ACM SIG Proceedings style (LaTeX2e and MS Word) can be found at

https://www.acm.org/publications/proceedings-template
Accepted papers will appear in the ACM symposium proceedings.

The authors of accepted papers must guarantee that their paper will be
presented at the Symposium. At least one author of each accepted paper
must be registered for the symposium, in order for that paper to appear
in the proceedings and to be scheduled for presentation.

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

Important Dates

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

Full paper due: June 10th, 2022
Acceptance notification: July 10th, 2022
Camera ready due: TBA
Speaker Author Registration: TBA
Symposium: October 24th - 28th, 2022 - Jointly with MSWiM'22

For more information, please refer to the conference website:
http://pewasun.upc.edu/PEWASUN2022

We hope to see you in Montreal.

Yours sincerely,

The PE-WASUN 2022 Committee

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

[DMANET] [UPDATED] “Best AIROYoung Dissertation” 2022 – Call for Applications for a PhD thesis award

(English follows)

BANDO PER PREMIO TESI DI DOTTORATO

"BEST AIROYOUNG DISSERTATION" 2022

ERRATA CORRIGE: la precedente versione del bando, comunicata martedì 03 maggio, viene sostituita da questa. Ci scusiamo per l'inconveniente.

AIROYoung<https://www.airoyoung.org/> (AY) bandisce il premio "Best AIROYoung Dissertation", per le migliori tesi di dottorato discusse in ambito ricerca operativa (MAT/09) presso una qualsiasi Università italiana nel periodo 1 luglio 2021 – 30 giugno 2022.

PROCESSO DI SELEZIONE DELLE TESI FINALISTE

AY individuerà una giuria esterna al proprio board (attuale e precedente) per valutare le domande ricevute. Giurati e giurate saranno scelti tra (ex) membri e/o collaboratori di AY. La giuria avrà il compito di individuare la tesi vincitrice e al massimo altre tre tesi finaliste, per un totale di al più quattro tesi.

REQUISITI DI PARTECIPAZIONE

Per poter partecipare, è necessario:

1. avere discusso una tesi di dottorato in ricerca operativa (MAT/09) tra il 01/07/2021 e il 30/06/2022 presso un'Università italiana;

2. essere membri AIRO per l'anno solare 2022 o per il 2023.

MODALITÀ DI PARTECIPAZIONE

La domanda di partecipazione dovrà essere sottomessa compilando il seguente Google Form: https://forms.gle/RgABtpDFpxsgY6S6A

Deadline per poter partecipare: 30 giugno 2022.

Nello specifico, oltre ai dati anagrafici e a un recapito di contatto, chiunque vorrà candidarsi dovrà allegare i seguenti documenti (tutti in formato PDF):

* una copia della tesi di dottorato;

* un riassunto della tesi (in inglese; dimensione font: 11pt; lunghezza massima: 5 pagine, riferimenti bibliografici esclusi);

* una copia del proprio curriculum vitae (in inglese; indicare anche la data della difesa della tesi, avvenuta entro il 30 giugno 2022);

* una prova di essere membro AIRO per l'anno solare 2022 o per il 2023, come:

* il certificato di partecipazione alla conferenza ODS 2021 (la quota di registrazione alla conferenza includeva infatti la quota associativa ad AIRO per il 2022);

* la ricevuta di iscrizione alla conferenza ODS 2022 (la quota di registrazione alla conferenza include infatti la quota associativa ad AIRO per il 2023);

* la ricevuta del versamento fatto ad AIRO per diventare membro nel 2022.

PREMIO

Ogni persona finalista riceverà un attestato. La persona vincitrice riceverà inoltre un corrispettivo in denaro pari a 250 €.

ANNUNCIO DELLA TESI VINCITRICE E PRESENTAZIONI DELLE TESI FINALISTE

La tesi vincitrice sarà annunciata durante la International Conference on Optimization and Decision Science – ODS 2022<http://www.airoconference.it/ods2022/>, che si terrà presso l'Università di Firenze dal 30 agosto al 02 settembre 2022. In quell'occasione, se le persone finaliste parteciperanno in presenza alla conferenza ODS 2022, avranno l'opportunità di presentare la propria tesi durante una sessione dedicata, organizzata da AY.

Per maggiori informazioni, contattare il board AY: airo.young.researchers@gmail.com

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

Call for Applications for the PhD thesis award

"BEST AIROYOUNG DISSERTATION" 2022

ERRATA CORRIGE: the previous version of this announcement, communicated on Tuesday 03 May, is replaced by this one. We apologise for the inconvenience.

AIROYoung<https://www.airoyoung.org/> (AY) announces the "Best AIROYoung Dissertation" award, for the best doctoral thesis discussed in operations research (MAT/09) at any Italian university, during the period July 1, 2021 – June 30, 2022.

PROCESS OF SELECTION OF FINALIST THESES

AY will identify a jury external to its current and previous board, in order to evaluate the applications received. Jurors will be chosen among (former) members and/or collaborators of AY. The jury will have the task of identifying the winning thesis and at most three other finalist theses, for a total of at most four theses.

PARTICIPATION REQUIREMENTS

To be able to participate, you must:

* have discussed a doctoral thesis in operations research (MAT/09) between 01/07/2021 and 30/06/2022 at an Italian university;

* be an AIRO member for the calendar year 2022 or 2023.

HOW TO APPLICATE

The application form must be submitted by filling in the following Google Form: https://forms.gle/RgABtpDFpxsgY6S6A

Deadline to participate: June 30, 2022.

Specifically, in addition to personal data and a contact address, anyone wishing to apply must attach the following documents (all in PDF format):

* a copy of the doctoral thesis;

* a summary of the thesis (in English; font size: 11pt; maximum length: 5 pages, bibliographical references excluded);

* a copy of their curriculum vitae (in English; also indicate the date of the defence of the thesis, taken place by June 30, 2022);

* a proof of the AIRO membership for the calendar year 2022 or 2023, such as:

* the certificate of participation in the ODS 2021 conference (the registration fee for the conference included the AIRO membership fee for 2022);

* the registration receipt for the ODS 2022 conference (the registration fee for the conference includes the AIRO membership fee for 2023);

* the receipt of the payment made to AIRO to become a member in 2022.

AWARD

Every finalist will receive a certificate. The winning person will also receive a cash award of € 250.

ANNOUNCEMENT OF THE WINNING THESIS AND PRESENTATIONS OF THE FINALIST THESES

The winning thesis will be announced during the International Conference on Optimization and Decision Science – ODS 2022<http://www.airoconference.it/ods2022/>, which will be held at University of Florence from August 30 to September 02, 2022. On that occasion, if the finalists attend the ODS 2022 conference in presence, they will have the opportunity to present their theses during a dedicated session, organised by AY.

For more information, contact the AY board: airo.young.researchers@gmail.com

--
AIROYoung
Website https://www.airoyoung.org/
Twitter @Airoyoung
Facebook /AIROYoungResearchersChapter
Instagram @airoyoung

**********************************************************
*
* 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 PhD Application GSSI 2022/2023

********************************************
New Call for GSSI PhD Applications 2022/23
********************************************

The GSSI - Gran Sasso Science Institute offers 38 PhD fellowships for
the academic year 2022/23 and invites applications for fellowships for
the PhD Programmes in "Astroparticle Physics" (9), "Mathematics in
Natural, Social and Life Sciences" (11), "Computer Science" (9),
"Regional Science & Economic Geography"(9).

The official language for all PhD courses is English.
The fellowships are awarded for 4 years and their yearly amount is €
16.159,91 gross. All PhD students have free accommodation at the GSSI
facilities and use of the canteen.

The application must be submitted through the online form available
at https://applications.gssi.it/phd/ by June 1st 2022 at 3 pm (Italian
time zone).

The GSSI-Gran Sasso Science Institute is an international PhD school and
a center for research and higher education in the areas of Physics,
Mathematics, Computer Science and Social Sciences. Founded in 2012 in
L'Aquila (Italy) as Center for Advanced Studies of the National
Institute for Nuclear Physics (INFN) and then established in March 2016
as a School of Advanced Studies providing post-graduate education.
Through a day-to-day collaboration and interaction, researchers and
students have the opportunity to build a sound knowledge of the research
methods and to experiment contamination of interests, innovative
approaches and multicultural exchanges in all the GSSI activities. In
addressing the complexity of today's world, GSSI is committed to
removing all barriers between its areas of study and research. The
dissemination of scientific results towards society and the promotion of
cultural events for generic public, citizens and schools are among GSSI
goals.

************************************************************************************
Call announcement web
site: https://www.gssi.it/communication/news-events/item/16959-new-call-for-phd-applications-2022-23-now-open
GSSI Computer Science web site: cs.gssi.it
GSSI web site: www.gssi.it
************************************************************************************

**********************************************************
*
* 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] [TERMGRAPH-2022] 2-day extension submission deadline: May 12

========================================================================
2-day EXTENSION of Submission deadline: Thursday, May 12 (AoE), 2022.
The adapted final Call for Papers below now also includes the titles of
both of the invited talks.
========================================================================
(Adapted) Final Call for Papers

TERMGRAPH 2022
Twelfth International Workshop on Computing with Terms and Graphs
http://termgraph.org.uk/2022

Technion, Haifa, Israel
Monday, 1st August 2022 *)

A Workshop that is part of FLoC 2022,
(associated with the conference FSCD)
========================================================================
*) preliminary, due to room capacity decisions the FLoC organizers can
reschedule to Sunday, 31st July 2022 (decision on 15 June 2022)

Graphs and graph transformation systems are used in many areas within
Computer Science: to represent data structures and algorithms, to define
computation models, as a general modeling tool to study complex systems,
etc.

Topics of interest for TERMGRAPH encompass all aspects of term-/graph
rewriting (term-graph and graph rewriting), and applications of graph
transformations in programming, automated reasoning and symbolic
computation, including:

* Theory of first-order and higher-order term graph rewriting
* Graph rewriting in lambda calculus (sharing graphs, optimality)
* Term-/graph based models of computation
* Graph grammars
* Term-/graph based languages and modelling frameworks
* Term-/graph rewriting tools:
-- system descriptions and case studies
* Applications of term-/graph rewriting in, and term-/graph rewriting
aspects of:
-- semantics and implementation of programming languages
-- compiler construction
-- interaction nets and proof nets
-- software engineering
-- automated reasoning and symbolic computation
-- functional and logic programming
-- pattern recognition
-- bioinformatics

The aim of this workshop is to bring together researchers working in
these different domains, to foster their interaction, to provide a
forum for presenting new ideas and work in progress, and to enable
newcomers to learn about current activities in this area.

Poster announcement
-------------------

http://www.termgraph.org.uk/2022/poster.pdf

Invited Speakers:
-----------------

Joerg Endrullis (Vrije Universiteit Amsterdam, The Netherlands)
"A PBPO+ Graph Rewriting Tutorial"

Delia Kesner (Universite Paris Cite, Institut Universitaire de France,
and IRIF/CNRS):
"A Computational Interpretation of Girard's Intuitionistic Proof-Nets"

Submissions and Publication:
----------------------------

We invite submissions of extended abstracts of at most 8 pages typeset
in the EPTCS (Electronic Proceedings in Theoretical Computer Science)
LaTeX style. This may include, concerning any of the topics above:

-- original work,
-- tutorials,
-- work in progress,
-- system descriptions of term-/graph rewriting tools.

Extended abstracts have to be submitted no later than 12 May 2022 (AoE)
electronically (pdf) via the EasyChair submission site:

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

Papers will be judged on relevance, originality, correctness, and
usefulness. Preliminary proceedings will be available for the workshop.

After the workshop, authors will be invited to submit a longer version
of their work (a 15-pages paper) for the publication of the Workshop
Post-Proceedings in EPTCS. These submissions will undergo a second
round of refereeing with:

submission deadline in the mid of October 2022,
notification in December 2022,
publication in February or March 2023.

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

Submission deadline: 12 May 2022
Notification: 7 June 2022
Program publication: 15 June 2022
PreProceedings version due: 21 June 2022
Workshop: 1 August 2022 (see proviso (*) above)

Programme Committee:
--------------------

Sandra Alves, Universidade do Porto, Portugal
Martin Avanzini, INRIA Sophia Antipolis - Méditerranée, France
Patrick Bahr, IT University Copenhagen, Copenhagen, Denmark
Thierry Boy de la Tour, CNRS, France
Clemens Grabmayer (chair), Gran Sasso Science Institute, Italy
Wolfram Kahl, McMaster University, Canada
Ian Mackie, LIX, France
Koko Muroya, Kyoto University, Japan
Femke van Raamsdonk, Vrije Universiteit Amsterdam, The Netherlands
Adrian Rutle, Western Norway University, Norway
Kazunori Ueda, Waseda University, Japan

Contact:
--------

Clemens Grabmayer clemens.grabmayer@gssi.it
========================================================================
**********************************************************
*
* 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] SIROCCO 2022 Call for Participation

*******************************************************************
SIROCCO 2022 CALL FOR PARTICIPATION
Paderborn, Germany, June 27 - 29, 2022
https://sirocco2022.cs.upb.de/
*******************************************************************

SIROCCO 2022 is planned as an in-person event with full-fledged social program,
though it will be possible for people to attend the presentations remotely. Due to
generous support, the registration fees are very low: regular €260.-, student €160.-.

We look forward to seeing you in Paderborn!

IMPORTANT DATES (VERY SOON!):

Early registration deadline: May 16, 2022 (23:59 CEST)
Room reservation deadline: May 11, 2022 (afterwards, based on availability)

KEYNOTE SPEAKERS:

George Giakkoupis, INRIA Rennes, France
Maurice Herlihy, Brown University, USA
Gillat Kol, Princeton University, USA
Christian Scheideler, Paderborn University, Germany (SIROCCO Prize 2022)

INVITED SPEAKERS:

Sebastian Forster, TU Dortmund, Germany
Laurent Feuilloley, University of Lyon, France
Michal Dory, Technion, Israel
Goran Zuzic, ETH Zürich, Switzerland

PROGRAM:

See https://sirocco2022.cs.upb.de/conference-program.php.

PC CHAIR:

Merav Parter, Weizmann Institute, Israel

LOCAL ARRANGEMENTS CHAIR:

Christian Scheideler, Paderborn University

STEERING COMMITTEE:

Keren Censor-Hillel, Technion, Israel
Michele Flammini, Gran Sasso Science Institute, Italy
Pierre Fraigniaud, University of Paris and CNRS, France
Magnús Halldórsson, Reykjavik University, Iceland (chair)
Tomasz Jurdziński, University of Wroclaw, Poland
Andréa Richa, Arizona State University, USA
Christian Scheideler, Paderborn University, Germany
Stefan Schmid, University of Vienna, Switzerland

**********************************************************
*
* 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 Operations Research at Tilburg University

There are two open PhD positions in the areas of Stochastic Operations Research and Stochastic Optimization, with a focus on distributed and online algorithms. Both positions are for four years, part of an NWO Vici project (Johan van Leeuwaarden), and hosted at the Econometrics and Operations Research department of the Tilburg School of Economics and Management (TiSEM), Tilburg, the Netherlands.

Application deadline: May 15, 2022
Details: https://tiu.nu/20001

**********************************************************
*
* 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] SAGT 2022: Deadline extended to May 16th, AoE

Dear colleagues,

Due to numerous requests, the submission deadline of SAGT 2022 has been
extended until Monday, May 16th, 2022 AoE.

Alexandros, Maria, and Panagiotis

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

SAGT 2022 Call for papers

https://www.essex.ac.uk/events/2022/09/11/sagt-2022

The 15th International Symposium on Algorithmic Game Theory (SAGT) will
take place at the University of Essex in Colchester, UK, September 12-15,
2022.

https://www.essex.ac.uk/events/2022/09/11/sagt-2022

The program of SAGT 2022 will include invited lectures and presentations of
peer-reviewed submissions. Foundational work is solicited on topics
including but not limited to:

- Solution Concepts in Game Theory
- Efficiency of Equilibria and Price of Anarchy
- Complexity Classes in Game Theory
- Computational Aspects of Equilibria and Fixed-Point Theorems
- Repeated Games and Convergence of Dynamics
- Algorithmic Mechanism Design
- Reputation, Recommendation and Trust Systems
- Network Games and Graph-Theoretic Aspects of Social Networks
- Cost-Sharing Algorithms and Analysis
- Computing with Incentives
- Computational Social Choice
- Fair Resource Allocation
- Decision Theory, and Pricing
- Auction Design and Analysis
- Economic Aspects of Distributed Computing
- Incentives in Blockchain
- Internet Economics and Computational Advertising

The symposium proceedings will be published by Springer in its LNCS/ARCoSS
series. Accepted papers will be allocated at most 18 pages in the
proceedings. Alternatively, authors of accepted papers can choose to
publish a one-page abstract in the proceedings, along with a URL pointing
to the full paper.

There will be a SAGT 2022 Best Paper Award, accompanied by a prize of 1,000
EURO offered by Springer. Selected papers from SAGT 2022 will be invited to
a special issue of Theoretical Computer Science.

INVITED SPEAKERS

* Ioannis Caragiannis, Aarhus University
* Aggelos Kiayias, University of Edinburgh and IOHK
* Sigal Oren, Ben Gurion University

IMPORTANT DATES

- Submission deadline: **16 May 2022, AoE**
- Notification: 1 July 2022
- Camera ready: 15 July 2022
- Tutorial Day: 12 September 2022
- Conference Dates: 13-15 September 2022

SUBMISSION GUIDELINES

Papers should be submitted electronically through EasyChair at

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

Submissions must be prepared in LNCS style. Each submission must be at most
18 pages long; at most 16 pages for technical contribution (including title
page), and at most 2 pages containing references only. Additional material
can be added in a clearly marked appendix which will be reviewed at the
discretion of the program committee.

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

[DMANET] [Scheduling seminar] Patrick De Causmaecker (KU Leuven) | May 11 | Data Science Meets Scheduling

Dear scheduling researcher,

We are delighted to announce the talk given by Patrick De Causmaecker
(KU Leuven).
The title is "Data Science Meets Scheduling".

The seminar will take place on Zoom on Wednesday, May 11 at 13:00 UTC.
Join Zoom Meeting
https://cesnet.zoom.us/j/99017304143?pwd=N2VaLzlWT2FWTlFaamNQWkV1N2UrZz09
Meeting ID: 990 1730 4143
Passcode: 922592

You can follow the seminar online or offline on our Youtube channel as well:
https://www.youtube.com/channel/UCUoCNnaAfw5NAntItILFn4A

The abstract follows.
The impact of techniques from data science and machine learning on
scheduling is investigated. We review a number of recently emerged
applications of these techniques that can shed a new light on
combinatorial optimization in general. We give concrete examples for
scheduling in particular. We distinguish on-line techniques, that is,
data science techniques integrated into advanced algorithms, off-line
techniques which can be used to improve, select of construct algorithms
as well as techniques that consider the problem as living in a space of
which the dimensions are set by specific properties of its instances. We
give examples of recent results obtained for specific problems in the
scheduling domain. Meeting works in two directions. We give an example
where a recent theoretical result for a combinatorial optimization
problem provides new insights in the structures on which the data
science techniques can operate. In this case, the theoretical result
allowed to locate a region of hard problem instances in the instance space.

The next talk in our series will be given by:
Stanislaw Gawiejnowicz (AMU Poznañ) | May 25 | Past, present and future
of time-dependent scheduling

For more details, please visit https://schedulingseminar.com/

With kind regards

Zdenek, Mike and Guohua

--
Zdenek Hanzalek
Industrial Informatics Department,
Czech Institute of Informatics, Robotics and Cybernetics,
Czech Technical University in Prague,
Jugoslavskych partyzanu 1580/3, 160 00 Prague 6, Czech Republic
https://rtime.ciirc.cvut.cz/~hanzalek/

**********************************************************
*
* 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] ICTAC 2022 - CFP: Deadline Extension

ICTAC 2022 - Call for Papers.

Taking into account the coronavirus pandemic and the war in Ukraine,
the conference will be organized as a hybrid event.

***************************************************************************
The 19th International Colloquium on
Theoretical Aspects of Computing (ICTAC)
Held in Tbilisi, Georgia, September 27-29, 2022
https://viam.science.tsu.ge/clas2022/ictac/

Part of Computational Logic Autumn Summit (CLAS 2022)
https://viam.science.tsu.ge/clas2022
*****************************************************************************

Overview

The ICTAC conference series aims at bringing together researchers and
practitioners from academia, industry and government to present research
and exchange ideas and experience addressing challenges in both theoretical
aspects of computing and the exploitation of theory through methods and
tools for system development. ICTAC also aims to promote research
cooperation between developing and industrial countries.

The conference concerns all aspects of theoretical computer science,
including, but not limited to:

Languages and automata
Semantics of programming languages
Logic in computer science
Lambda calculus, type theory and category theory
Domain-specific languages
Theories of concurrency and mobility
Theories of distributed computing
Models of objects and components
Coordination models
Timed, hybrid, embedded and cyber-physical systems
Security and privacy
Static analysis
Probabilistic and statistical verification
Software verification
Software testing
Runtime verification
Program generation and transformation
Model checking and theorem proving
Applications and case studies
AI-enabled software development
Theory and methods of trustworthy AI

Important Dates

Abstract submission: May 21, 2022
Paper Submission: May 28, 2022
Notification: July 24, 2022

Publication

We solicit submissions, related to the topics of ICTAC, in the following
categories:
original research contributions (16 pages max, excluding references);
applications and experiences (16 pages max, excluding references);
short papers, with original work in progress or with proposals of new ideas
and emerging challenges (6 pages max, excluding references); and
tool papers (6 pages max, excluding references).

All submissions must be original, unpublished, and not submitted
concurrently for publication elsewhere. Paper submission is done via
EasyChair at https://easychair.org/conferences/?conf=ictac2022. Papers must
be formatted according to the guidelines for Springer LNCS papers (see
http://www.springer.com/lncs), without modifications of margins and other
space-saving measures. Authors should therefore consult Springer’s
authors’ instructions and use their proceedings templates, either for
LaTeX or for Word, for the preparation of their papers. Springer encourages
authors to include their ORCIDs in their papers.

All accepted papers in categories A-D will appear in the proceedings of the
conference that will be published as a volume in Springer's Lecture Notes
in Computer Science (LNCS) series.

Conference Chairs

Besik Dundua, Kutaisi International University, and Tbilisi State
University, Georgia
Mikheil Rukhaia, Tbilisi State University, Georgia

PC Chairs

Zhiming Liu, Southwest University in Chongqing, China
Corina Pasareanu, NASA Ames Research Center, USA
Helmut Seidl, Technical University of Munich, Germany

PC Members

Luis Barbosa, University of Minho, Portugal
Lei Bu, Nanjing University, China
Zhenbang Chen, National University of Defense Technology, Changsha, China
Yunwei Dong, Northwestern Polytechnical University, China
Deepak D'Souza, Indian Institute of Science, Bangalore, India
Maribel Fernandez, King's College London, UK
Simon Foster, University of York, UK
Fei He, Tsinghua University, China
Joost-Pieter Katoen, RWTH Aachen University, German
Johannes Kinder, Bundeswehr University Munich, Germany
Peter Lammich, University of Twente, The Netherlands
Guoqiang Li, Shanghai Jiao Tong University, China
Yannic Noller, National University of Singapore
Colin Paterson, University of York, UK
Martina Seidl, Johannes Kepler University Linz, Austria
Vaibhav Sharma, University of Minnesota, USA
Volker Stolz, Høgskulen på Vestlandet, Norway
Youcheng Sun, Queen's University Belfast, UK
Caterina Urban, INRIA, France
Heike Wehrheim, Paderborn University, Germany
Naijun Zhan, Institute of Software, Chinese Academy of Sciences, China
Miaomiao Zhang, Tongji University, China

Steering Committee

Martin Leucker (Chair), University of Lübeck, Germany
Zhiming Liu, Southwest University, China
Tobias Nipkow, Technical University of Munich, Germany
Augusto Sampaio, Universidade Federal de Pernambuco, Brazil
Natarajan Shankar, SRI, USA
Tarmo Uustalu, Tallinn University of Technology, Estonia

**********************************************************
*
* 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 on Modeling and Performance Evaluation of Wireless Ad-Hoc Networks

*Elsevier Ad Hoc Networks Journal*

https://www.sciencedirect.com/journal/ad-hoc-networks/about/call-for-papers#special-issue-on-modeling-and-performance-evaluation-of-wireless-ad-hoc-networks

*Manuscript submission information:*

A primary aim of wireless ad-hoc networks is to deliver data in areas where
there is no pre-defined infrastructure. In these networks, the users, but
also the network entities can be potentially mobile. Wireless ad-hoc
networks have recently witnessed their fastest growth period ever in
history. Real wireless ad-hoc networks are now implemented, deployed and
tested, and this trend is likely to increase in the future. However, as
such networks are increasingly complex, performance modeling and evaluation
play a crucial part in their design process to ensure their successful
deployment and exploitation in practice.

This special issue on Modeling, Analysis and Performance evaluation of
Wireless Ad-Hoc Networks era aims to open a new critical debate on the
evaluation of wireless ad-hoc networks. In particular, we seek original
theoretical and/or practical contributions, from researchers and
practitioners that identify and address issues in evaluating wireless
ad-hoc networks.

*Topics of Interest *In particular, the topics of interest include, but are
not limited to:

- *Modeling*
- Analytical modeling and simulation methods
- Probabilistic models for ad hoc, sensor and ubiquitous networks
- Queuing and network information theoretic analysis
- Predictive performance models
- Mobility modeling
- Traffic models
-
- *Simulation/Experimentation*
- Simulation methods and tools for evaluation wireless ad-hoc networks
- Software tools for performance evaluation
- Tracing and trace analysis
- Automatic performance analysis
- Performance measurement, evaluation and monitoring tools for
wireless ad-hoc networks
- Case studies demonstrating the role of performance evaluation in
the design of wireless ad-hoc networks
-
- *Performance evaluation*
- Performance evaluation of wireless mesh networks
- Performance evaluation of vehicular networks
- Performance evaluation of wireless sensor networks
- Performance evaluation of pervasive and ubiquitous networks
- Performance evaluation of spectrum agile and cognitive wireless
sensor networks
-

*Submission Format and Guidelines*

All submitted papers must be clearly written in excellent English and
contain only original work, which has not been published by, or is
currently under review for, any other journal or conference. Papers must
not exceed *25 pages (single column, 11pt font) *including figures, tables,
and references. A detailed submission guideline is available as a "Guide to
Authors" at http://www.elsevier.com/locate/adhoc

All manuscripts and any supplementary material should be submitted through
Elsevier Editorial System (EES). The authors must select as "*SI: MODEL
PERFORM ADHOC*" when they reach the "Article Type" step in the submission
process. The EES website is located at: http://ees.elsevier.com/adhoc/

All papers will be peer-reviewed by three independent reviewers. Requests
for additional information should be addressed to the guest editors.

*Important Dates*

Submissions Deadline: May 31st, 2022

First Reviews Due: June 31st, 2022

Revision Due: July 31st, 2022

Second Reviews Due/Notification: September 15th, 2022

Final Manuscript Due: September 30th, 2022

Publication Date: October 2022

*Guest Editors*

- *Dr. Mónica Aguilar Igartua, *Universitat Politècnica de Catalunya
(UPC), Spain (monica.aguilar@upc.edu)
- *Prof. Isabelle Guérin Lassous*, Université Claude Bernard Lyon 1,
France (isabelle.guerin-lassous@univ-lyon1.fr)
- *Dr. Luis J. de la Cruz Llopis, *Universitat Politècnica de Catalunya
(UPC), Spain (luis.delacruz@upc.edu)

*Dr. Thomas Begin*, Université Claude Bernard Lyon 1, France (
thomas.begin@univ-lyon1.fr)

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

[DMANET] Last call: Postdoc Position in Algorithms (University of Bristol, UK)

Postdoctoral Research Associate Position in Algorithms Research (1.5 years)
University of Bristol, UK

Application deadline: 11 May 2022

A postdoctoral research position is available in the Algorithms group at the University of Bristol. The successful candidate will be hosted by Dr Christian Konrad (http://people.cs.bris.ac.uk/~konrad/) and collaborate with him and his team and a number of leading international partners on streaming algorithms for processing massive graphs.

The position is for 18 months – extensions may be possible subject to funding constraints. The start date is flexible, however, a start date close to September 2022 is preferred.

The applicant is expected to have a strong interest and background in the mathematical analysis of algorithms. Being familiar with streaming algorithms, communication complexity, or graph algorithms is a plus but is not necessarily required.

For further information and for applying for this position please visit the official job advert on the University of Bristol webpages:

https://www.bristol.ac.uk/jobs/find/details/?jobId=271375

Please do not hesitate to get in touch with Christian Konrad (christian.konrad@bristol.ac.uk) if you would like to informally discuss this position or if you have any other questions.

**********************************************************
*
* 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] LAMAS & SR 2022 - 2nd Call for Contributions

[Apologies for multiple cross-posting]

--------------------------------------------------------------------------------
2nd Call for Contributions

2nd International Workshop on
Logical Aspects in Multi-Agent Systems and Strategic Reasoning (LAMAS&SR)
2022
25-26 August 2022, Rennes, France
URL: https://lamassr.github.io/
--------------------------------------------------------------------------------

Objectives
----------

Logics and strategic reasoning play a central role in multi-agent systems.
Logics can be used, for instance, to express the agents' abilities,
knowledge,
and objectives. Strategic reasoning refers to algorithmic methods that
allow for
developing good behaviour for the agents of the system. At the
intersection, we
find logics that can express existence of strategies or equilibria, and can
be
used to reason about them.

The LAMAS&SR workshop merges two international workshops: LAMAS (Logical
Aspects
of Multi-Agent Systems), which focuses on all kinds of logical aspects of
multi-agent systems from the perspectives of artificial intelligence,
computer
science, and game theory, and SR (Strategic Reasoning), devoted to all
aspects
of strategic reasoning in formal methods and artificial intelligence.

List of Topics
--------------

The topics covered by the workshop include, but are not limited to:

* Logical systems for specification, analysis, and reasoning about
multi-agent systems
* Logic-based modelling of multi-agent systems
* Dynamical multi-agent systems
* Deductive systems and decision procedures for logics for multi-agent
systems
* Development and implementation of methods for verification in multi-agent
systems
* Logic-based tools for multi-agent systems
* Logics for reasoning about strategic abilities
* Logics for multi-agent mechanism design, verification, and synthesis
* Logical foundations of decision theory for multi-agent systems
* Strategic reasoning in formal verification
* Automata theory for strategy synthesis
* Applications and tools for cooperative and adversarial reasoning
* Robust planning and optimisation in multi-agent systems
* Risk and uncertainty in multi-agent systems
* Quantitative aspects in strategic reasoning

Invited Speakers
----------------

* Rineke Verbrugge, University of Groningen

Co-Located Event
----------------

LAMAS&SR 2022 will be an event co-located with the 14th International
Conference
on Advances In Modal Logic (AiML 2022, 22-25 August).

About COVID-19
--------------

Local organizers are following closely the evolution of the pandemic
situation.
Our preference is for a full in-person event, but we will employ an online
or
hybrid format according to the situation.

Important Dates
---------------

* Paper submission: May 23 (AoE)
* Author notification: June 30 (AoE)
* Camera ready: July 15 (AoE)
* Workshop: August 25-26, 2022

Contribution Submission
-----------------------

Authors are invited to submit extended abstracts of 2 pages, plus 1 page for
references only, in the AAMAS 2022 format. Both published and unpublished
works
are welcome. Submissions are subject to a single-blind review process, thus,
submissions should not be anonymous, must be in PDF format, and will be
handled
via EasyChair at https://easychair.org/conferences/?conf=lamassr22

Although there will be no formal proceedings, accepted extended abstracts
will
be made available on the workshop website. Extensions of selected original
contributions will be then invited to a special issue of Games, an MDPI
open-access journal, with a special arrangement.

Program Co-Chairs
-----------------

* Fabio Mogavero, Università di Napoli Federico II
* Sophie Pinchinat, Université de Rennes 1

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

* Thomas Agotnes, University of Bergen
* Natasha Alechina, Utrecht University
* Guy Avni, University of Haifa
* Massimo Benerecetti, University of Naples Federico II
* Hans van Ditmarsch, Open University of Netherlands
* Valentin Goranko, Stockholm University
* Wojtek Jamroga, University of Luxembourg and Polish Academy of Sciences
* Dario Della Monica, University of Udine
* Emiliano Lorini, Université Paul Sabatier
* Nicolas Markey, Université de Rennes 1
* Bastien Maubert, University of Naples Federico II
* John-Jules C. Meyer, Utrecht University
* Aniello Murano, University of Naples Federico II
* Rohit J. Parikh, City University of New York
* Sasha Rubin, The University of Sydney, Australia
* Chenwei Shi, Tsinghua University
* Yanjing Wang, Peking University

Organising Committee
--------------------

* Sophie Pinchinat, Université de Rennes 1
* Dylan Bellier, Université de Rennes 1
* Pierre Le Scornet, Université de Rennes 1
* Sophie Maupile, Université de Rennes 1
* Alexandre Terefenko, Université de Rennes 1
* Fabio Mogavero, Università di Napoli Federico II

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

[DMANET] First CFP: 22nd International Conference on Hybrid Intelligent Systems (HIS'22) - Online - Springer Publication

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

-- The 22nd International Conference on Hybrid Intelligent Systems
(HIS'22) --

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

On the World Wide Web

December 13-15, 2022

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

Proceedings of HIS'21:
https://link.springer.com/book/10.1007/978-3-030-96305-7

Indexed by: SCOPUS, INSPEC, WTI Frankfurt eG, zbMATH, SCImago, DBLP, EI
Compendex, Japanese Science and Technology Agency (JST), SpringerLink

History of HIS series: http://www.mirlabs.net/his22/previous.php

**Important Dates**
---------------------
Paper submission due: September 30, 2022
Notification of paper acceptance: October 31, 2022
Registration and Final manuscript due: November 15, 2022
Conference: December 13-15, 2022

**About HIS 2022**
------------------

Hybridization of intelligent systems is a promising research field of
modern
artificial/computational intelligence concerned with the development of
the next generations of intelligent systems. A fundamental stimulus to
Hybrid Intelligent Systems (HIS) investigations is the awareness in the
academic communities about the necessity of the combined approaches to
solving the remaining challenging problems in artificial/computational
intelligence. Hybrid Intelligent Systems are recently getting popular
due to their capabilities in handling several real-world complexities
involving imprecision, uncertainty, and vagueness. HIS'22 built on the
success of the previous HIS conferences. HIS'22 is the 22nd
International conference that brings together researchers, developers,
practitioners, and users of soft computing, computational intelligence,
agents, logic programming, and several other intelligent computing
techniques. It aims to increase the awareness of the research community
about the broad spectrum of hybrid approaches. It brings together
worldwide AI researchers to present their cutting-edge results, discuss
the current trends in HIS research, and develop a collective vision of
future opportunities. Thereby helping the researchers and practitioners
establish international collaborative opportunities, and as a result,
advancing the state-of-the-art of the field.

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

Interactions between neural networks and fuzzy inference systems.
Artificial neural network optimization using global optimization
techniques.
Fuzzy clustering algorithms and optimization techniques.
Fuzzy inference system optimization using global optimization
algorithms.
Hybrid computing using neural networks - fuzzy systems - evolutionary
algorithms.
Hybrid optimization techniques (evolutionary algorithms, simulated
annealing, tabu search, GRASP etc.).
Hybrid of soft computing and statistical learning techniques.
Models using inductive logic programming, logic synthesis, grammatical
inference, case-based reasoning etc.
Autonomic computing.
Hybridizatiion with novel computing paradigms: Qantum computing, DNA
computing, membrane computing etc.
Hybrid Intelligent Systems: Applications in networks, software
engineering

**Submission Guidelines**
-------------------------

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

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

HIS'22 Submission Link:
https://easychair.org/conferences/?conf=his20220

**HIS 2022 Organization**
-------------------------

General Chairs
Ajith Abraham, Machine Intelligence Research Labs, USA
Tzung-Pei Hong, National University of Kaohsiung, Taiwan
Artūras Kaklauskas, Vilnius Gediminas Technical University, Lithuania

Program Chairs
Ketan Kotecha, Symbiosis International University, India
Ganeshsree Selvachandran, UCSI University, Malaysia

Special Session Chair
Gabriella Casalino, University of Bari, Italy

If you would like to propose a special session, please email Dr.
Gabriella Casalino <gabriella.casalino@uniba.it>

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

Best Regards

Anu Bajaj

Post Doctoral Fellow: Machine Intelligence Research Labs (MIR Labs) [1]

Scientific Network for Innovation and Research Excellence
11, 3rd Street NW, P.O. Box 2259,
Auburn, Washington 98071, USA

Email: anu.bajaj@mirlabs.org, er.anubajaj@gmail.com

Google Scholar [2] | LinkedIn [3] | ResearchGate [4] | Scopus [5] |
ORCiD [6] | Publons [7]

Links:
------
[1] https://www.mirlabs.org/
[2] https://scholar.google.com/citations?user=En_N0VoAAAAJ&amp;hl=en
[3] https://www.linkedin.com/in/anu-bajaj/
[4] https://www.researchgate.net/profile/Anu-Bajaj
[5] https://www.scopus.com/authid/detail.uri?authorId=56825307900
[6] https://orcid.org/0000-0001-8563-6611
[7] https://publons.com/researcher/2918012/anu-bajaj/
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Three-year Postdoc Position in Algorithms and Complexity

APPLICATION DEADLINE: 16th May 2022

We are seeking candidates for a three-year postdoctoral research position
funded by the EPSRC project "New Techniques for Resolving Boundary Problems
in Total Search"

The project will be led by John Fearnley (https://cgi.csc.liv.ac.uk/~john/)
and Rahul Savani (http://www.csc.liv.ac.uk/~rahul) and will run for three
years starting from the 1st of September 2022.

The project will explore new techniques for showing hardness in TFNP,
following on from the STOC 2021 best paper "The complexity of gradient
descent: CLS = PPAD ∩ PLS". The project will particularly focus on the
complexity class CLS, which contains problems from a wide variety of
disciplines, including:
* Algorithmic Game Theory (eg. Network congestion games, Network
coordination games, Shapley stochastic games)
* Formal Verification (eg. Tarski fixed points, Contraction map fixed
points, Unique sink orientations, Simple-stochastic games)
* Optimization and Machine Learning (eg. finding KKT points of
polynomials, gradient descent in a neural network)

An ideal candidate will have a strong research background in at least one
of the three areas listed above. That candidate will also have, or be close
to completing, a PhD in Computer Science or a related area.

Informal enquiries are welcome, and should be directed to
john.fearnley@liverpool.ac.uk.

The application form can be found here:
https://my.corehr.com/pls/ulivrecruit/erq_jobspec_version_4.display_form?p_company=1&p_internal_external=E&p_display_in_irish=N&p_process_type=&p_applicant_no=&p_form_profile_detail=&p_display_apply_ind=Y&p_refresh_search=Y&p_recruitment_id=040746

APPLICATION DEADLINE: 16th May 2022

**********************************************************
*
* 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 2022 - Third call for posters and software presentations - Deadline extended

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

ISSAC 2022

International Symposium on Symbolic and Algebraic Computation
July 4-7, 2022
Lille, France

THIRD CALL FOR POSTERS AND SOFTWARE PRESENTATIONS
DEADLINE EXTENDED

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

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

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

ISSAC 2022 is held on July 4-7 2022, at Lille, France.

The poster session at ISSAC is a venue to announce early research
results or ongoing projects that might not yet be complete.
Posters reporting on recent work published or accepted or submitted
elsewhere are also welcome (with original publications clearly
referenced).

The software presentations at ISSAC are for demonstrating and
communicating about new developments in software for symbolic and
algebraic computation. Presentations are welcome for software based
on previously published algorithms and mathematics.

Authors are invited to submit an extended abstract in PDF format of
no more than 4 pages. The abstracts will be reviewed by the poster
and software committees and relevant experts when needed. The review
criteria are content, originality, style and relevance. The accepted
poster and software abstracts will be printed and distributed at the
conference as well as published in an upcoming issue of the ACM
SIGSAM Communications in Computer Algebra.

Topics
-------
All areas of computer algebra and symbolic computation are of interest.
See the conference website for a detailed list.
https://www.issac-conference.org/2022/

Invited Speakers
----------------
Mioara Joldes (CNRS, LAAS, France)
Joris van der Hoeven (CNRS, LIX, France)
Avi Wigderson (Institute for Advance Study, Princeton, USA)

Tutorial Speakers
-----------------
Nathalie verdiere (Universite du Havre, France)
Aydin Buluc (UC Berkeley, USA)
Matías Bender (Technische Universität Berlin, Germany)

Important Dates:
----------------
Posters:
Abstract submission (.pdf) Fri, May 20, 2022
Notification of acceptance/rejection Fri, May 27, 2022
Final version (.tex) due Fri, June 3, 2022

Software:
Abstract submission (.pdf): Fri, May 20, 2022
Notification of acceptance/rejection: Fri, May 27, 2022
Final version (.tex) due: Fri, June 3, 2022

Submission Instructions:
------------------------
Please submit an extended abstract in PDF format via EasyChair at:
https://easychair.org/conferences/?conf=issac2022posterandso

The abstract should have no more than four pages using the SIGSAM
LaTeX style and the CCA templates which are available here:

https://www.issac-conference.org/2022/submission_guidelines.php

Authors of accepted contributions are expected to present their
work at the symposium.
**********************************************************
*
* 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] The 18th Int'l Conf. on Mobility, Sensing and Networking (MSN 2022) Dec 14-16, 2022, Guangzhou, China

Dear All,

[Apologies if you receive multiple copies of this email.]

You are welcome to submit papers to the 18th International Conference on
Mobility, Sensing and Networking (MSN 2022) December 14-16, 2022 ·
Guangzhou, China.
https://ieee-msn.org/2022

MSN 2022 provides a forum for academic researchers and industry
practitioners to present research progresses, exchange new ideas, and
identify future directions in the field of Mobility, Sensing and
Networking. MSN 2022 is technically sponsored by IEEE.

[Scope and Objectives]
Mobility, sensing and networking are the key areas of enabling technologies
for the next-generation networks, Internet of Things and Cyber-Physical
Systems. Recent years have witnessed the increasing convergence of
algorithms, protocols, and applications for mobility, sensing and
networking in a range of applications including connected vehicles, smart
cities, smart manufacturing, smart healthcare, smart agriculture, and
digital twins. Building on the past 17 years of success, the 18th
International Conference on Mobility, Sensing and Networking (MSN 2022)
provides a forum for academic researchers and industry practitioners to
exchange new research ideas, present their progress, and identify future
directions in the field of mobility, sensing and networking.
The conference solicits submissions from all research areas related to
mobility, sensing and networking, as well as their corresponding systems
and applications.
Topics of interests are covered by the following tracks:
• Mobile & Wireless Sensing and Networking
• Edge Computing, IoT and Digital Twins
• Security, Privacy, Trust, and Blockchain
• Big Data and AI
• Systems, Tools and Testbed
• Applications in Smart Cities, Healthcare and Other Areas

[Submission Procedures]
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.
Manuscripts should be submitted to one of the research tracks. Submitted
manuscripts must not contain previously published material or be under
consideration for publication in another conference or journal at the time
of submission. The accepted papers will be included in IEEE Xplore.

[Important Dates]
Submission due: Jul 1, 2022
Notification: Sep 15, 2022
Camera-ready due: Oct 15, 2022
Conference date: Dec 14-16, 2022

Best Regards,
Lei Yang

**********************************************************
*
* 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] WG2022: Call for Participation

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

The 48th edition of the International Workshop on Graph-Theoretic Concepts
(WG2022) is planned as an in-person (with a restricted number of
participants) event, though it will be possible for people to attend the
presentations remotely.

https://algo.inf.uni-tuebingen.de/wg2022/

REGISTRATION:

https://algo.inf.uni-tuebingen.de/wg2022/index.php?id=registration

If you are planning to participate in-person, please register as soon as
possible, since there is a restriction on the total number of participants
to at most 70. Once you complete your registration, you will receive
information about the payment of the registration fee by a separate email
(after a few days).

On-line participation is also supported free-of-charge, but registration is
still mandatory. In this case, you will receive information for your
on-line participation by a separate email a few days before the conference.

IMPORTANT DATES:

Registration deadline: June 5, 2022
Symposium: June 22-24, 2022

KEYNOTE SPEAKERS:

Bettina Speckmann, Eindhoven University of Technology, the Netherlands
Torsten Ueckerdt, Karlsruher Institut für Technologie, Germany

We look forward to seeing you in Tübingen, Germany!

Best regards,
Michael A. Bekos & Michael Kaufmann
WG2022 PC co-chairs

**********************************************************
*
* 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] Logic colloquium 2022 registration is open

Dear all,

The registration page for the Logic Colloquium 2022 is now open.
We encourage everyone to register as soon as possible.
The early registration deadline is June 1st.

The link to the conference page is this: http://icetcs.ru.is/lc2022/
You can find more information about the colloquium and an active registration page.
We will upload the schedule shortly.

Please distribute this message to whoever you think would be interested.

We look forward to seeing as many of you as possible in Reykjavik in June - and many others online!

Antonis
On behalf of the organisers

Antonios Achilleos
Lektor | Tölvunarfræðideild
Assistant Professor | Department of Computer Science
Farsími / Mobile: +354 6179544
Póstfang / E-mail: antonios@ru.is
[cid:image001.png@01D86140.A521DA10]

Háskólinn í Reykjavík | Reykjavik University
Menntavegur 1 | 102 Reykjavík | Iceland
Sími/Tel: +354 599 6200
www.hr.is

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