Tuesday, January 25, 2022

[DMANET] DEADLINE EXTENDED - ScaDL 2022 Workshop

[Apologies for multiple posting]

ScaDL 2022: Scalable Deep Learning over Parallel And Distributed Infrastructure - An IPDPS 2022 Workshop
https://2022.scadl.org <https://2022.scadl.org/>
Scope of the Workshop:
Recently, Deep Learning (DL) has received tremendous attention in the research community because of the impressive results obtained for a large number of machine learning problems. The success of state-of-the-art deep learning systems relies on training deep neural networks over a massive amount of training data, which typically requires a large-scale distributed computing infrastructure to run. In order to run these jobs in a scalable and efficient manner, on cloud infrastructure or dedicated HPC systems, several interesting research topics have emerged which are specific to DL. The sheer size and complexity of deep learning models when trained over a large amount of data makes them harder to converge in a reasonable amount of time. It demands advancement along multiple research directions such as, model/data parallelism, model/data compression, distributed optimization algorithms for DL convergence, synchronization strategies, efficient communication and specific hardware acceleration.

SCADL seeks to advance the following research directions:
- Asynchronous and Communication-Efficient SGD: Stochastic gradient descent is at the core of large-scale machine learning. Parallelizing SGD gradient computation across multiple nodes increases the data processed per iteration, but exposes the SGD to communication and synchronization delays and unpredictable node failures in the system. Thus, there is a critical need to design robust and scalable distributed SGD methods to achieve fast error-convergence in spite of such system variabilities.
- High performance computing aspects: Deep learning is highly compute intensive. Algorithms for kernel computations on commonly used accelerators (e.g. GPUs), efficient techniques for communicating gradients and loading data from storage are critical for training performance.
- Model and Gradient Compression Techniques: Techniques such as reducing weights and the size of weight tensors help in reducing the compute complexity. Using lower-bit representations such as quantization and sparsification allow for more optimal use of memory and communication bandwidth.
- Distributed Trustworthy AI: New techniques are needed to meet the goal of global trustworthiness (e.g., fairness and adversarial robustness) efficiently in a distributed DL setting.
- Emerging AI hardware Accelerators: with the proliferation of new hardware accelerators for AI such in memory computing (Analog AI) and neuromorphic computing, novel methods and algorithms need to be introduced to adapt to the underlying properties of the new hardware (example: the non-idealities of the phase-change memory (PCM) and the cycle-to-cycle statistical variations).
- The intersection of Distributed DL and Neural Architecture Search (NAS): NAS is increasingly being used to automate the synthesis of neural networks. However, given the huge computational demands of NAS, distributed DL is critical to make NAS computationally tractable (e.g., differentiable distributed NAS).
This intersection of distributed/parallel computing and deep learning is becoming critical and demands specific attention to address the above topics which some of the broader forums may not be able to provide. The aim of this workshop is to foster collaboration among researchers from distributed/parallel computing and deep learning communities to share the relevant topics as well as results of the current approaches lying at the intersection of these areas.

Areas of Interest
In this workshop, we solicit research papers focused on distributed deep learning aiming to achieve efficiency and scalability for deep learning jobs over distributed and parallel systems. Papers focusing both on algorithms as well as systems are welcome. We invite authors to submit papers on topics including but not limited to:
- Deep learning on cloud platforms, HPC systems, and edge devices
- Model-parallel and data-parallel techniques
- Asynchronous SGD for Training DNNs
- Communication-Efficient Training of DNNs
- Scalable and distributed graph neural networks, Sampling techniques for graph neural networks
- Federated deep learning, both horizontal and vertical, and its challenges
- Model/data/gradient compression
- Learning in Resource constrained environments
- Coding Techniques for Straggler Mitigation
- Elasticity for deep learning jobs/spot market enablement
- Hyper-parameter tuning for deep learning jobs
- Hardware Acceleration for Deep Learning including digital and analog accelerators
- Scalability of deep learning jobs on large clusters
- Deep learning on heterogeneous infrastructure
- Efficient and Scalable Inference
- Data storage/access in shared networks for deep learning
- Communication-efficient distributed fair and adversarially robust learning
- Distributed learning techniques applied to speed up neural architecture search

Workshop Format
Due to the continuing impact of COVID-19, ScaDL 2022 will also adopt relevant IPDPS 2022 policies on virtual participation and presentation. Consequently, the organizers are currently planning a hybrid (in-person and virtual) event.

Submission Link
Submissions will be managed through linklings. Submission link available at: https://2022.scadl.org/call-for-papers <https://2022.scadl.org/call-for-papers>
Key Dates
- Paper Submission: January 24, 2022 February 07, 2022
- Acceptance Notification: March 1, 2022
- Camera ready papers due: March 15, 2022 (hard deadline)
- Workshop Date: TBA (May 30th or June 3rd, 2022)

Author Instructions
ScaDL 2022 accepts submissions in two categories:
Regular papers: 8-10 pages
Short papers/Work in progress: 4 pages
The aforementioned lengths include all technical content, references and appendices.
We encourage submissions that are original research work, work in progress, case studies, vision papers, and industrial experience papers.
Papers should be formatted using IEEE conference style, including figures, tables, and references. The IEEE conference style templates for MS Word and LaTeX provided by IEEE eXpress Conference Publishing are available for download. See the latest versions at https://www.ieee.org/conferences/publishing/templates.html <https://www.ieee.org/conferences/publishing/templates.html>
General Chairs
Danilo Ardagna, Politecnico di Milano, Italy
Stacy Patterson, Rensselaer Polytechnic Institute (RPI), USA

Program Committee Chairs
Alex Gittens, Rensselaer Polytechnic Institute (RPI), USA
Kaoutar El Maghraoui, IBM Research AI, USA

Program Committee Members
Misbah Mubarak, Amazon
Hamza Ouarnoughi, UPHF LAMIH
Neil McGlohon, Rensselaer Polytechnic Institute (RPI)
Nathalie Baracaldo Angel, IBM Research, USA
Ignacio Blanquer, Universitat Politecnica de Valencia, Spain
Dario Garcia-Gasulla, Barcelona Supercomputing Center
Saurabh Gupta, AMD
Jalil Boukhobza, ENSTA-Bretagne
Aiichiro Nakano, University of Southern California, USA
Dhabaleswar K. (DK) Panda, Ohio State University
Eduardo Rocha Rodrigues, IBM Research, Brazil
Chen Wang, IBM Research, USA
Yangyang Xu, Rensselaer Polytechnic Institute (RPI)
Hongyi Wang, CMU, MLD lab

Steering Committee
Parijat Dube, IBM Research AI, USA
Vijay K. Garg, University of Texas at Austin
Vinod Muthusamy, IBM Research AI
Ashish Verma, IBM Research AI
Jayaram K. R., IBM Research AI, USA
Yogish Sabharwal, IBM Research AI, India

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

[DMANET] PhD position in combinatorics, Umeå (Sweden)

The Department of Mathematics at Umeå University is advertising a PhD position in Discrete Mathematics, with a focus on extremal and probabilistic combinatorics. The position is fully funded for four years of doctoral studies. The deadline for application is March 11, 2022. For more information about the position and to apply, visit:

https://umu.varbi.com/en/what:job/jobID:467679/

Project description
The successful applicant will study problems in extremal and probabilistic combinatorics, as part of Dr Victor Falgas-Ravry's project Extremal problems for multicoloured graphs and locally dependent percolation, funded by the Swedish Research Council.


More specifically, the first part of the project will focus on hereditary properties of multicoloured graphs and their possible entropy spectra, with the aim of obtaining multicolour generalisations of the Alekseev—Bollobás—Thomason theorem. The second part of the project is concerned with locally dependent random graphs and with efforts to prove locally dependent analogues of the celebrated Harris—Kesten theorem. Topics tackled may include extremal problems for set families and hypercubes, extremal graph theory, hypergraph containers, Turán-type problems, random graphs, percolation theory, local lemmas, entropy methods and discrete probability.


Combinatorics and Mathematics in Umeå
The successful applicant will be expected to take part in (and contribute to) the life of the Discrete mathematics group. Discrete mathematics is one of the four main research areas at the Department of Mathematics and Mathematical Statistics, alongside Computational mathematics, Mathematical statistics, and Analysis & modelling.


The Discrete Mathematics group has nine permanent members whose research interests span a wide swathe of modern combinatorics. The group runs a weekly seminar and enjoys a frequent flow of research visitors. Areas of particular expertise include extremal combinatorics, discrete probability, combinatorial optimisation, discrete geometry and computational combinatorics. Beyond Dr. Victor Falgas-Ravry, who will be the main supervisor, a successful applicant will be expected to interact extensively with the other group members with research interests in extremal and probabilistic combinatorics, namely Professor Klas Markström, Dr. Maryam Sharifzadeh and Dr. István Tomon (who arrives in Umeå in Summer 2022). More information about Discrete Mathematics in Umeå may be found at the group's homepage: https://www.umu.se/en/research/groups/discrete-mathematics/.


About the employment
The position is intended to result in a doctoral degree and the main task of the PhD student is to pursue their doctoral studies which include both participation in research and doctoral courses. The duties can include teaching and other departmental work (up to a maximum of 20%). The employment is limited to four years of full-time (48 months) or up to five years if teaching part-time. Salary is set in accordance with the established salary ladder for PhD positions. Employment benefits include sick leave, paid holidays, pension benefits and parental leave. The employment starts date is negotiable, but should be no later than January 2023, with a preferred start date in August or September 2022.


Life in Umeå
Umeå is home to one of Sweden's foremost institutions of research and higher education, with over 35 000 students and 4200 faculty and staff. The university can pride itself in the word-leading research in several scientific fields being performed at Umeå — most notably in recent years the discovery of the CRISPR-Cas9 genetic scissors, a revolution in genetic engineering that led to the award of a Nobel Prize in Chemistry in 2020 —as well as in the highly-regarded degree programmes it runs.


Umeå itself provides a highly attractive environment for work and study. It is a young and fast growing city of around 120 000 inhabitants, of whom almost a third are students. This makes for a rich cultural life, with many pubs, cafés, restaurants, concerts and festivals. The city is home to Norrlandsoperan and to Bildmuseet, a museum of contemporary art and visual culture. In 2014, Umeå shared the distinction of being the European capital of culture with Riga.


The city is small, safe and well-run, with an extensive network of bicycle paths allowing its denizens to cycle all year round. It is surrounded by beautiful nature – from the Umeå river, which freezes over in winter and becomes criss-crossed with cross-country skiing tracks, to Nydala lake and the Gammlia forest within the city limits, and to the vast and largely unspoiled countryside of forests, lakes and seashore just outside it. Working in Umeå allows you to experience the Swedish way of life, with its well-delineated seasons and traditions, from Sankta Lucia in the dark of December, through the snow-covered Spring and on to Midsummer in the overflowing light of June.


Qualifications
To fulfil the general entry requirements, the applicant must have qualifications equivalent to a completed degree at second-cycle level, or completed course requirements of at least 240 ECTS credits including at least 60 ECTS credits at second-cycle level. To fulfil the specific entry requirements to be admitted for studies at third-cycle level in mathematics, the applicant is required to have completed at least 60 ECTS credits within the field of mathematics, of which at least 15 ECTS credits shall have been acquired at second-cycle level. Applicants who in some other system either within Sweden or abroad have acquired largely equivalent skills are also eligible.


An applicant should have an excellent and rigorous training in pure mathematics, as well as the ability to express themselves clearly and fluently in English in both writing and speech. Good interpersonal skills and the ability to work in both an independent and a collaborative fashion are essential to the position.


Applicants should have a strong background in combinatorics, in particular graph theory, and basic knowledge of probability theory. Documented experience in extremal combinatorics, graph theory, random graphs or probabilistic combinatorics will be deemed highly meritorious. Good programming skills are meritorious.

The assessments of the applicants are based on their qualifications and their ability to benefit from the doctoral-level education they will receive.


Application
Apply via our e-recruitment system Varbi at the following address:

https://umu.varbi.com/en/what:job/jobID:467679/

The deadline for applications is March 11, 2022. A complete application should contain the following documents:

* A personal letter with a brief description of your background, qualifications and research interests. Motivate why you are applying for the employment and describe how your qualifications and merits are relevant to the employment;
* A curriculum vitae;
* Certified copies of diplomas or equivalent, including documentation of completed academic courses, transcript of grades obtained, and other relevant certificates;
* Copies of relevant work such as master's theses or research articles that you have authored or co-authored;
* Contact information for at least one and up to two reference persons (phone, email address, mail address, institutional affiliation, as well as the capacity in which they know you and have interacted with you).

The Department of Mathematics and Mathematical Statistics values the qualities that an even gender distribution brings to the department, and therefore we particularly encourage female applicants. The procedure for recruitment for the position is in accordance with the Swedish Higher Education Ordinance (chapter 12, 2§).


Further information
For inquiries about the position and further information about the project, qualified applicants are encouraged to contact Associate Professor Victor Falgas-Ravry by sending an email to victor.falgas-ravry@umu.se


For additional questions, you may also contact the head of department Professor Åke Brännström by email to ake.brannstrom@umu.se


For more information about the department, please see
https://www.umu.se/en/department-of-mathematics-and-mathematical-statistics/


We look forward to receiving your application!


*****
Dr. Victor Falgas-Ravry
Associate Professor in Mathematics, Umeå University
Head of Masters Programmes in Mathematics and Mathematical Statistics
Homepage: https://www.umu.se/en/staff/victor-falgas-ravry/
Email: victor.falgas-ravry@umu.se
Office: B341, MIT house, main campus


**********************************************************
*
* 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 positions at CORE

The Center for Operations Research and Econometrics (CORE) of the Université Catholique de Louvain
invites applications for two full-time postdoctoral positions in Discrete Optimization.

The positions are funded by the Belgian National Fund for Scientific Research (FRS-FNRS), via the prestigious PDR granting scheme,
and focus on the development of exact approaches for specific classes of nonlinear network design problems. The successful candidates
will be provided with excellent financial support for research and mobility. The starting date and the length of the appointments are negotiable.

Informal inquires and applications (including a research statement, a curriculum vitae, and a list of 3 references) should be sent to
Prof. Daniele Catanzaro at daniele.catanzaro@uclouvain.be<mailto:daniele.catanzaro@uclouvain.be>.

The review of the applications will continue until the positions are filled.


Daniele Catanzaro
Professor of Discrete Optimization

Center for Operations Research and Econometrics (CORE)
Université Catholique de Louvain

Voie du Roman Pays 34, L1.03.01, B-1348 Louvain-la-Neuve, Belgium
Office: B-003 | Tel: +32 (0)10 47 43 27 | Fax: +32 (0)10 47 43 01 | Webpage<http://www.danielecatanzaro.com/>
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Call for GraSec Workshop Papers - Deadline extended to February 13, 2022

*CALL FOR GRASEC WORKSHOP PAPERS*

https://grasec.uni.lu/

*The 3rd International Workshop on Graph-based Network Security* (GraSec
2022) will be held in conjunction with the IEEE/IFIP Network Operations
and Management Symposium (NOMS) in *Budapest, Hungary, 25-29 April 2022*.

The workshop serves to bring together people from industry and academia
including researchers, developers, and practitioners from a variety of
fields working on graphs and their applications in cybersecurity and
network management. Moreover, the workshop allows attendees to share and
discuss their latest findings from both theoretical and practical
perspectives in several techniques and methods for graph modeling,
mining, learning, and visualizing. The main goal of GraSec is to present
research and experience in the application of graph theory and
graph-based approached to data analytics in network security and
forensics, network management and traffic analysis, and related fields.

*TOPICS OF INTEREST*

Authors are invited to submit papers that fall into or are related to
one or multiple topic areas listed below:

*  Graph-based intrusion detection and botnet activity detection,
*  Graph-based anomaly detection for network security and management,
*  Attack graphs modeling and application, graph-based threat assessment,
*  Graph-based models for network modeling and situational awareness,
*  Graph-based approaches to network traffic analysis and forensics,
*  Graph application in access controls, security policies,
*  Autoencoders and representation learning for graphs,
*  Graph embedding techniques for network security and management,
*  Graph databases and graph-based tools for big data analysis in
network management,
*  Parallel algorithms for dynamic and big graph analysis on HPC systems,
*  Graph sampling and summarizing techniques,
*  Visualization of dynamic and large-scale graphs/networks,
*  Novel applications of graphs in network security and management.


*SUBMISSION INSTRUCTIONS*

Paper submissions must present original, unpublished research,
development, or experiences. Each submission must be written in English,
accompanied by a 50 to 200 words abstract that clearly outlines the
scope and contributions of the paper. There is a length limitation of 6
pages (including title, abstract, all figures, tables, and references)
for regular papers, and 4 pages for short papers describing work in
progress. Submissions must be in IEEE 2-column style. Papers accepted
for GraSec will be included in the IFIP/IEEE NOMS conference
proceedings. Authors should submit their papers via JEMS:
https://jems.sbc.org.br/noms2022

Paper Submission Deadline: *February 13, 2022 (extended)*
Notification of Acceptance: *March 13, 2022 (extended)*
Submission of Camera-ready Version: *March 27, 2022 (FIRM!)*

For more information contact the workshop co-chairs:

Martin Husák, husakm@ics.muni.cz
Hamida Seba, hamida.seba@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] [JOB] Full/Associate/Assistant Professor in Theoretical Computer Science at University of Amsterdam

At the University of Amsterdam, we plan to invest significantly into
Theoretical Computer Science in the near future. We currently have three
openings for new faculty members, including opportunities at Full
Professor, Associate Professor, and Assistant Professor level.

We hope that at least some of the appointees will be women. The deadline
is on the 7th of February and the job ads are linked from here:

https://theory.amsterdam/


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

POSTDOCTORAL FELLOWSHIP

UNIVERSITE DU QUEBEC EN OUTAOUAIS, CANADA


A postdoctoral position in computer science is available at the
Research Chair in Distributed Computing of the
Universite du Quebec en Outaouais, Canada,
under the supervision of Prof. Andrzej Pelc.

Requirements: * Ph.D. in Computer Science or Mathematics obtained between
June 1, 2019 and May 31, 2022
* Strong academic background in algorithms and graph theory.
* Strong research record and potential in one or more of the
following domains:
- design and analysis of combinatorial algorithms
- algorithmic aspects of distributed and parallel computing
- algorithms for interconnection networks
- algorithmic aspects of fault tolerance

Further information about the
Research Chair in Distributed Computing, and
about topics related to prospective postdoctoral research
of the successful candidate can be obtained at:
http://w3.uqo.ca/pelc/main.html
and
http://w3.uqo.ca/pelc/caldi/index.htm

Duties: Research in the above areas. NO teaching duties.
Knowledge of French is NOT necessary.
Duration: 12 months
Beginning: October 2022 (flexible)
Stipend: $45 000 per year (Canadian dollars).
Location: The Universite du Quebec en Outaouais is situated in Gatineau,
across the river from Ottawa. The National
Capital region of Ottawa offers a variety of possibilities
for cultural and sports activities (swimming, sailing, hiking,
skating, cross-country and downhill skiing). The campus of the
University of Quebec is a 10 min. drive from downtown Ottawa.

Applications including a detailed CV (with e-mail address),
a statement of research interests, a complete list of publications,
an abstract of Ph.D. Thesis and reprints (preprints) of 2 best papers
should be sent in a zipped file by e-mail to pelc@uqo.ca

Please arrange to have three letters of reference sent directly to the same
e-mail address. Deadline for applications and reference letters is March 1, 2022.

Informal enquiries at
e-mail: pelc@uqo.ca


**********************************************************
*
* 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, January 24, 2022

[DMANET] Montanuniversität Leoben: professorship in Discrete Mathematics // Professur für Diskrete Mathematik

Dear ladies and gentlemen, dear colleagues,

please note that there is an open professor position at
Montanuniversität Leoben available.

For more details please see:

http://napps1.unileoben.ac.at/napps/public/mbl.nsf/13db8d6a0d8d1372c1256dac0053f561/f51f3848cc1df787c125879d0049c1e2/$FILE/MBL%20352122%20-%20Ausschreibung%20Professur%20Mathematics%20and%20Mathematical%20Methods%20of%20Data%20Science_EN.pdf

Best regards,

Rostislav Stanek


Sehr geehrte Damen und Herren, liebe Kolleginnen und Kollegen,

ich möchte Sie auf die ausgeschriebene Stelle einer Professorin/eines
Professors für Diskrete Mathematik an der Montanuniversität Leoben
aufmerksam machen.

Weitere Details entnehmen Sie bitte dem folgendem Mitteilungsblatt:

http://napps2.unileoben.ac.at/napps/public/mbl.nsf/13db8d6a0d8d1372c1256dac0053f561/f51f3848cc1df787c125879d0049c1e2/$FILE/MBL%20352122%20-%20Ausschreibung%20Professur%20Mathematik%20und%20mathematische%20Methoden%20der%20Data%20Science_DE.pdf

Mit freundlichen Grüßen

Rostislav Stanek


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

[DMANET] Call for applications: visiting scholars

The Department of Computer Science from the Federal University of
Uberlandia (Brazil) invites applications for:
- 1-year visiting professorship in any Computer Science field. Extendable
to one year.
Deadline is February 17, 2022 2:59pm GMT-03.

We are looking for a professor with an established research track to teach
advanced topics to graduate students and cooperate with our faculty members.
The main requirements are: 1) the candidate will propose and execute a
research project; and 2) must NOT have lived or worked in Brazil in the
last 5 years. More details can be found in the "Call for candidates"
https://www.portalselecao.ufu.br/servicos/Edital/cronograma/1181.

Our CS faculty is young but well-ranked in Brazil and we aim to expand our
cooperations internationally.
Informal enquiries about the position are very welcome at facom@ufu.br

**********************************************************
*
* 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 full time academic positions at HEC Liege

HEC Liège, Management School of the University of Liège, invites
applications for three full-time academic positions (Business Analytics,
Quantitative Models and Methods in Management, and Digital Business),
starting on September 1, 2022:

- Business Analytics (deadline for applications: March 2, 2022), for more
information see:
http://www.hec.ulg.ac.be/sites/default/files/uploads/HEC/Jobs/HEC%20Liege_Ac
ademic%20Position_Business%20Analytics_2022.pdf

- Quantitative Models and Methods in Management (deadline for applications:
March 2, 2022), for more information see:
http://www.hec.ulg.ac.be/sites/default/files/uploads/HEC/Jobs/HEC%20Liege_Ac
ademic%20Position_Quant%20Models%20%26%20Methods%20in%20Mgt_2022.pdf

- Digital Business (deadline for applications: March 20, 2022), for more
information see:
http://www.hec.ulg.ac.be/sites/default/files/uploads/HEC/Jobs/HEC%20Liege_Ac
ademic%20Position_Digital%20Business_2022.pdf

Apply and join our QuantOM research group!

Interested in joining HEC Liège's community?
See http://www.hec.ulg.ac.be/fr/hec-liege/hec-liege-is-hiring.

Yasemin ARDA
Director of Studies (Vice-Dean)
Full Professor Supply Chain Management
rue Louvrex, 14 (N1), 4000 Liège, Belgium
yasemin.arda@uliege.be
Office: +32 4 3663197
www.hec.uliege.be

**********************************************************
*
* 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] The 5th International Workshop on Intelligent Transportation and Autonomous Vehicles Technologies (ITAVT 2022)- Co-located with NOMS2022 [Extended Deadline]

The 5th International Workshop on *Intelligent Transportation and
Autonomous Vehicles Technologies- ITAVT 2022*

(https://icnetlab.org/ITAVT2022/)

in conjunction with

IEEE/IFIP *Network Operations and Management Symposium- NOMS2022*

25-29 April 2022 // Budapest, Hungary

(https://noms2022.ieee-noms.org/)

*Scope and topics of the workshop:*

Designing a smart autonomous transportation system is one of the key
factors of building safe and sustainable smart cities. In the age of
softwarization and artificial intelligence, introducing intelligent
transportation solutions to our cities offers various range of benefits
including reliable and efficient traffic management in safer streets. Such
transportation systems combined with cutting-edge vehicular and wireless
network technologies face several unprecedented challenges. These include
adapting vehicular cloud and network services to the dynamic user
requirements, managing available cloud computing resources, big data
analytics, connected vehicle network security issues, service composition,
and power management. The aim of the Fifth International Workshop on
*Intelligent
Transportation and Autonomous Vehicles Technologies (ITAVT) *is to bring
together engineers, researchers and practitioners interested in the
intelligent transportation and vehicle technology advances. Participants
are invited to present and discuss recent developments and challenges in
intelligent transportation systems. This workshop focuses on innovative
applications, software, tools, and frameworks in all technology areas
related to connected vehicles in the context of networking, service
management, Artificial intelligence, and cloud systems. Papers describing
original novel work and advanced prototypes, systems, and tools are
encouraged.

Researchers are encouraged to submit original research contributions in all
major areas, which include, but not limited to:


* Management and Artificial Intelligence for Autonomous Vehicles

* 5G/6G technology for Autonomous Vehicles

* Vehicular cloud management

* SDN Autonomous Vehicles and Automated Driving

* Intelligent Infrastructure and Guidance Systems

* Security and privacy for Autonomous Vehicles

* Connected Services and Mobility management

* Green Vehicular Communication and Services

* Services Virtual Networking for Autonomous Vehicles

* Advanced driver assistance systems

* Big Data Analytics for Intelligent Transportation

* Autonomous and Connected Aerial Networks

* Blockchain Systems for Autonomous Vehicles

* Communications and networking for Automated and semi-automated vehicles

* Cyber threat-free driving environment

* Congestion and awareness control in Autonomous Vehicles

* In-Vehicle Networks and Communications

* Next Generation Traffic Management Systems

* Cooperative Driving for Autonomous Vehicles

* Networking with Other Road Users

*General Co-Chairs:*

Moayad Aloqaily, xAnalytics Inc., Canada

Öznur Özkasap, Koç University, Istanbul, Turkey

*Technical Program Co-Chairs:*

Ouns Bouachir, Zayed University, UAE

Müge Erel-Özçevik, Manisa Celal Bayar University, Turkey

*Important Dates:*

-Paper submission deadline: January 23, 2022* February 13, 2022*

-Paper acceptance notification: February 27, 2022 March 13, 2022

-Camera-ready version due: March 27, 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] Assistant Professor Position in Theoretical Computer Science at Charles University in Prague

Assistant professor position
Computer Science Institute of Charles University
Prague, Czech Republic

The Computer Science Institute (CSI) of Charles University, Prague, Czech
Republic, invites applications for a faculty position at the rank of an
assistant professor in the area of theoretical computer science. The expected
starting date is September 1, 2022, and it is negotiable.

We are looking for candidates that would complement and/or strengthen existing
research areas in our institute (which currently include computational
complexity, cryptography, approximation algorithms, integer programming,
structural graph theory, combinatorics and discrete mathematics). Strong
candidates from all areas of theoretical computer science will be considered.
For further information about our research see http://iuuk.mff.cuni.cz/.
Informal inquiries are welcome and may be sent to Michal Koucky
<koucky@iuuk.mff.cuni.cz>.

A successful candidate is expected to pursue an active research program, teach
advanced and introductory classes and possibly supervise undergraduate and
graduate students. Candidates are expected to have a proven international
research record and postdoctoral experience. A PhD in computer science or a
closely related field is required.

The contract duration is three years. Potentially, the position is renewable;
also a habilitation (associate professor promotion) and a permanent position is
a standard possibility (subject to a separate review process).

The application deadline is: January 31, 2022.
Official announcement:
https://www.mff.cuni.cz/en/faculty/job-opportunities/open-competition/academic-positions-application-deadline-january-31-2022
Code: 202201-AP2-IUUK

**********************************************************
*
* 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 Position in Algorithms at the University of Bonn

Postdoctoral Position in Algorithms
University of Bonn

A postdoctoral position is available in the Algorithms Group at the
Department of Computer Science at the University of Bonn, Germany. The
group consists currently of three faculty members (Anne Driemel, Thomas
Kesselheim, Heiko Röglin), several postdocs and PhD students.

The position will be for two years initially with the possibility of
extension. The postdoc may pursue his/her own line of research but a
focus related to the existing research areas of the group is very welcome.

The successful candidate should have a PhD degree in computer science or
mathematics and should have a strong publication record in Theoretical
Computer Science.

Applications will be reviewed starting from February 21, 2022 until the
position is filled. The envisioned starting date is fall 2022, but
other starting dates may be negotiable.

Please send your application (including a cover letter, a curriculum
vitae, a list of publications, and the names and contact information of
at least two references) to the address below. Electronic submissions
are highly encouraged (please attach relevant documents as pdf).

Heiko Röglin
Universität Bonn
Institut für Informatik
Friedrich-Hirzebruch-Allee 8
53113 Bonn, Germany
Email: roeglin@cs.uni-bonn.de
http://www.roeglin.org
**********************************************************
*
* 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-ESORICS 2022]: 27th European Symposium on Research in Computer Security (ESORICS) 2022

[Apologies for cross-posting]

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

I27th European Symposium on Research in Computer Security (ESORICS) 2022
26-30 September 2022, Copenhagen, Denmark
URL: https://esorics2022.compute.dtu.dk/#
--------------------------------------------------------------------------

===================
CONFERENCE OUTLINE:
===================

We are looking for papers with high quality, original and unpublished
research contributions. The Symposium will start on September 26, 2022 with
an exciting technical program, including vetted papers, invited talks,
poster and panel discussions as well as collocated workshops.

Important Dates:
-----------------
This year's symposium will have two review cycles. All submissions must be
received by 11:59 p.m. any where on earth Time on the day of the
corresponding deadline.

Winter cycle
■ Title and abstract: January 25, 2022 (hard)
■ Full paper submission: January 31, 2022 (hard)
■ Early reject notification: March 15, 2022
■ Notification to authors: March 30, 2022
■ Camera ready due: August 10, 2022

Spring cycle
■ Title and abstract: May 15, 2022
■ Full paper submission: May 22, 2022
■ Early reject notification: June 22, 2022
■ Notification to authors: July 15, 2022
■ Camera ready due: August 10, 2022

Abstract submissions:
----------------------
You will need to submit your title and abstract by 11:59 pm, any where on
earth, on the day of the corresponding deadline through the Symposium's
EasyChair websites by following instructions on how to make a submission (
https://easychair.org/help/how_to_submit).

Paper submissions:
-------------------
Submitted papers must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal or a conference
/ workshop with proceedings. The symposium proceedings will be published by
Springer in the Lecture Notes in Computer Science series (LNCS). In
addition, the Journal of Computer Security will publish a special issue
containing selected papers from the ESORICS 2022 proceedings. As in
previous years, ESORICS will present a Best Paper Award chosen by the
Program Committee. This award is generously sponsored by Springer.

How to submit your paper:
-------------------------
Submitted papers must follow the LNCS template from the time they are
submitted. Submitted papers should be at most 16 pages (using 10-point
font), excluding the bibliography and well-marked appendices, and at most
20 pages total. Committee members are not required to read the appendices,
so the paper should be intelligible without them. All submissions must be
written in English.
Submissions must be uploaded to the following EasyChair website:

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

Only pdf files will be accepted. Submissions are not anonymous. Submissions
not meeting these guidelines risk rejection without consideration of their
merits. Authors of accepted papers must agree with Springer LNCS copyright
and guarantee that their papers will be presented at the conference.

Review Process - Revised Submissions:
--------------------------------------
This year's symposium will have two review cycles. Within 1.5 month of
submission, author notifications of Accept/Revise/Reject decisions will be
sent out. For each submission, one of the following decisions will be made:

■ Accept: Papers in this category will be accepted for publication in the
proceedings and presentation at the conference, possibly after making minor
changes with the oversight of a shepherd.
■ Revise: A limited number of papers will be invited to submit a revision;
such papers are considered to be promising but need additional work (e.g.,
new experiments, proofs, or implementations). Authors will receive a
specific set of expectations to be met by their revisions. Authors can
resubmit such papers, with appropriate revisions, to the spring submission
deadline. In revised submissions, the authors should clearly explain in a
well-marked appendix how the revisions address the comments of the
reviewers. The revised paper will then be re-evaluated, and either accepted
or rejected.
■ Reject: Papers in this category are declined for inclusion in the
conference. Papers rejected from the first review cycle may not be
submitted again (even in revised form) to the second review cycle. A paper
will be judged to be a resubmit (as opposed to a new submission) if the
paper is from the same or similar authors, and there is more than 40%
overlap between the original submission and the new paper, it will be
considered a resubmission.

Topics of Interests:
----------------------
Submissions are solicited in all areas relating to computer security,
including but not limited to:

■ Access control
■ Anonymity and censorship resistance
■ Applied cryptography
■ Artificial intelligence for security
■ Security and privacy of systems based on machine learning and AI
■ Audit and accountability
■ Authentication and biometrics
■ Blockchains and distributed ledger security
■ Data and computation integrity
■ Database security
■ Digital content protection
■ Digital forensics
■ Formal methods for security and privacy
■ Hardware security
■ Information hiding
■ Identity management
■ Information flow control
■ Information security governance and management
■ Intrusion detection
■ Language-based security
■ Malware and unwanted software
■ Network security
■ Phishing and spam prevention
■ Privacy technologies and mechanisms
■ Risk analysis and management
■ Secure electronic voting
■ Security economics and metrics
■ Security and privacy in cloud/fog systems
■ Security and privacy in crowdsourcing
■ Security and privacy for IoT and cyber-physical systems
■ Security and privacy in location based services
■ Security and privacy of mobile/smartphone platforms
■ Security for emerging networks (e.g., home networks, IoT, body-area
networks, VANETs)
■ Security, privacy and resilience for large-scale, critical
infrastructures (e.g., smart grid, airports, ports)
■ Cyber attack (e.g., APTs, botnets, DDoS) prevention, detection,
investigation, and response
■ Security and privacy in social networks
■ Security and privacy in wireless and cellular communications
■ Software security
■ Systems security
■ Trustworthy Computing to secure networks and systems
■ Usable security and privacy
■ Web security

Conflict of Interest (CoI):
----------------------------
The program co-chairs require cooperation from both authors and PC members
to prevent submissions from being evaluated by reviewers who have a
conflict of interest. In the one hand, during the bidding procedure, PC
members will be required to indicate potential CoIs. On the other hand,
authors will be asked during the submission process to indicate any PC
members with whom they share CoIs as well as the types of CoIs. That is, if
they and one the authors 1) share an institutional affiliation at the time
of submission; 2) had at any time in the past a supervisor/PhD student
relationship; 3) have collaborated or published with in the prior two
years; 4) are in some form of financial relationship, or have been at some
point during the past two years; or 5) are related, or have close personal
friendships. For other forms of conflict, authors must contact the chairs
and explain the perceived conflict.

Program committee members who have conflicts of interest with a paper,
including program co-chairs, will be excluded from discussing and reviewing
the submission. Authors also need to notify the PC Chairs of any other
reason or circumstance that creates a risk that professional judgement may
be unduly influenced.

The chairs reserve the right to request further explanation and can remove
non-mandatory conflicts at their discretion.

**********************************************************
*
* 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] 4th International workshop in Artificial Intelligence and Industrial Internet-of-Things Security (AIoTS)

Apologize for any cross-posting
----------------------------------------------------------------------------------------------------------

=====================================
CALL FOR PAPERS
=====================================

4th International workshop in Artificial Intelligence and Industrial
Internet-of-Things Security (AIoTS)

Co-located with ACNS2022 (June 20-23), Rome, Italy.
=====================
Workshop description:
=====================

In recent years, Artificial Intelligence (AI) has got a lot of
attention, especially, for the success of deep learning to address
problems that were considered hard before. Big players such as Google,
Amazon and Baidu are exploring the application of AI in different
markets like healthcare, FinTech and autonomous vehicles. Along with AI,
other technologies such as Internet-of-Things (IoT) have boosted other
areas like the case of Industry 4.0, where through the adoption of
Industrial-IoT (IIoT) into the production chain companies want to have a
smarter manufacture that can be adapted to their customers' needs. The
accelerating adoption of new technologies brings new challenges
especially associated with the cybersecurity of the applications, where
confidentiality, integrity and availability of data are important.
Security incident in IIoT impacts the safety properties since
applications interact physically with people or other assets. The
intersection of AI and cybersecurity can be seen as a two-fold
relationship. On the one hand, AI techniques can be adopted to improve
the state-of-the-art of security solutions, while on the other hand,
cybersecurity can contribute to improve the study of the security of AI
algorithms through the exploration of adversarial machine learning. This
workshop aims to open a space where new research ideas from different
areas converge into the intersection of AI, IIoT, Cyber-Physical Systems
(CPS) and cybersecurity. We encourage researchers and experts in the
fields of AI, embedded systems, CPS and cybersecurity to take the
opportunity to use this workshop for sharing their work and open the
discussion of new ideas in this always-evolving topic.

=======
Topics:
=======

AIoTS aims to cover various fields of application in the area of
security and privacy within the fields of artificial intelligence and
industrial IoT. Thus, suggested topics include, but are not limited to,
the following points:

- Formal security and resilience analysis on AI and IIoT/CPS
- Risk management and governance for AI and IIoT-based Application
- AI-Assisted Critical Infrastructure Security
- (Federated) Adversarial Machine Learning
- AI for Detection, Prevention, Response and Recovery against Potential
Threats
- AI for Wide-Area Situational Awareness and Traceability
- Applied Cryptography for AI and IIoT
- Security and Privacy of Cyber-Physical Systems and/or IIoT
- Applications of Formal Methods to IIoT Security
- Blockchain for Trustworthy IIoT/CPS-based applications
- Embedded Systems Security
- Cyber Threat Intelligence for AI and IIoT/CPS
- Privacy-Preserving Machine Learning

For more details on submission, please have a look at the AIoTS2022
website: https://mujeebch.github.io/aiots2022/

================
IMPORTANT DATES:
================

Paper Submission Deadline: March 4, 2022

Notification of Acceptance/Rejection: April 15, 2022

Submission of camera-ready papers for pre-proceedings: May 1, 2022

Workshop date: one day between June 20 and June 23, 2022

===================
Workshop PC Chairs:
===================

- Sridhar Adepu, University of Bristol, UK
- Cristina Alcaraz, University of Malaga, Spain

================
Publicity Chair:
================

- Sergio Gonzalez, University of Malaga, Spain

==========
Web Chair:
==========

- Chuadhry Mujeeb Ahmed, University of Strathclyde, UK

============================
Technical Program Committee:
============================

- Magnus Almgren, Chalmers University, Sweden
- Luis Garcia, University of Southern California, USA
- Nandha Kumar KANDASAMY, SUTD, Singapore
- Qin Lin, CMU, USA
- Subhash Lakshminarayana, University of Warwick, UK
- Eleonora Losiouk, University of Padua, Italy
- Rajib Ranjan Maiti, BITS, India
- Daisuke Mashima, ADSC, Singapore
- Weizhi Meng, Technical Universtiy of Denmark, Denmark
- Chris Poskitt, SMU, USA
- Federica Pascucci, Roma Tre University, Italy
- Zheng Yang, Southwest University, China

**********************************************************
*
* 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] [Approaching deadline]: IEEE/ACM International Symposium on Quality of Service (IWQoS 2022)

[Apologies for cross-posting]

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

IEEE/ACM International Symposium on Quality of Service (IWQoS 2022)
10-12 June 2022, Oslo, Norway // virtual conference
URL: https://iwqos2022.ieee-iwqos.org/
---------------------------------------------------------------------

===================
CONFERENCE OUTLINE:
===================

Quality of Service (QoS) has long been the focus of communications and
networking researchers worldwide. While traditional QoS research areas
continue attracting much interest, recent exploration of Internet of
things, data centers, virtualization, cloud and fog computing, green
computing, and AI has motivated a new wave of research interest in service
guarantees with QoS, and its related metrics of Quality of Experience
(QoE), Quality of Protection (QoP), Software Quality, Data Quality, or,
more broadly, Quality of Information Technology.

For more than two decades, IWQoS has established itself as a highly
reputable forum to present novel ideas on all QoS-related subjects. The
30th International Symposium on Quality of Service (IEEE/ACM IWQoS 2022)
sets the goal to continuing to be a premier symposium and an international
forum for presentation and discussion of cutting-edge research in the
field. The scope of IEEE/ACM IWQoS 2022 covers both newest theoretical and
experimental research papers.

Topics of interest include (but not limited to) the following areas:
● Artificial Intelligence for QoS
● Data analytics for QoS
● QoS for data analytics and machine learning
● QoS in Internet of Things (IoT), cyber-physical networks
● QoS in cloud computing, fog computing and edge computing
● Blockchain for QoS
● Security, privacy, system dependability, resilience and robustness
● QoS in software-defined networking
● QoS in information-centric networking
● QoS in mobile and next generation cellular networks
● System dependability, availability, resilience and robustness to faults
and security attacks
● Robustness against security vulnerabilities in critical infrastructures
● QoS-aware scheduling, resource management, queue management, admission
control
● Traffic engineering approaches and tools for QoS provisioning and
evaluation
● QoS evaluation metrics and methodologies
● Quality of software
● QoE in multimedia networks
● Measurement, evaluation, adaptation, and verification
● Network operations, network economics, pricing and billing
● Architectures and protocols for QoS, QoP or QoE support
● Energy awareness in communication and computing systems
● Design for future networks and computing systems with integrated QoS

Paper Submission Guidelines:
IEEE/ACM IWQoS invites submission of manuscripts with original research
results that have not been previously published or that are not currently
under review by another conference or journal. Submissions will be
rigorously judged based on originality, significance, interest, clarity,
relevance, and correctness. IWQoS aims at the rapid dissemination of
research results. Regular paper submissions should be no longer than 10
single-spaced, double-column pages (including references) with a font-size
of 10. Reviewing will be double-blind. Submissions must not reveal the
authors' names and their affiliations and avoid obvious self-references.
Submissions not meeting these guidelines will be rejected without
consideration of their merits. Papers must be submitted electronically as
PDF files. Please follow the submission link on
https://edas.info/newPaper.php?c=29190 to submit your paper.

Important Dates:
Paper Registration Deadline: 1 February 2022
Paper Submission Deadline: 7 February 2022
Notification of Acceptance: 7 April 2022
Camera-ready Deadline: 1 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/
*
**********************************************************

Sunday, January 23, 2022

[DMANET] Learning and Automata (LearnAut) 2022 -- ICALP 2022 Workshop

Learning and Automata (LearnAut) -- ICALP 2022 workshop
July 4th - Paris, France and virtually
Website: https://learnaut22.github.io

Learning models defining recursive computations, like automata and formal
grammars, are the core of the field called Grammatical Inference (GI). The
expressive power of these models and the complexity of the associated
computational problems are major research topics within mathematical logic
and computer science. Historically, there has been little interaction
between the GI and ICALP communities, though recently some important
results started to bridge the gap between both worlds, including
applications of learning to formal verification and model checking, and
(co-)algebraic formulations of automata and grammar learning algorithms.

The goal of this workshop is to bring together experts on logic who could
benefit from grammatical inference tools, and researchers in grammatical
inference who could find in logic and verification new fruitful
applications for their methods.

We invite submissions of recent work, including preliminary research,
related to the theme of the workshop. The Program Committee will select a
subset of the abstracts for oral presentation. At least one author of each
accepted abstract is expected to represent it at the workshop (in person,
or virtually).

Note that accepted papers will be made available on the workshop website
but will not be part of formal proceedings (i.e., LearnAut is a
non-archival workshop).

Topics of interest include (but are not limited to):
- Computational complexity of learning problems involving automata and
formal languages.
- Algorithms and frameworks for learning models representing language
classes inside and outside the Chomsky hierarchy, including tree and graph
grammars.
- Learning problems involving models with additional structure, including
numeric weights, inputs/outputs such as transducers, register automata,
timed automata, Markov reward and decision processes, and semi-hidden
Markov models.
- Logical and relational aspects of learning and grammatical inference.
- Theoretical studies of learnable classes of languages/representations.
- Relations between automata or any other models from language theory and
deep learning models for sequential data.
- Active learning of finite state machines and formal languages.
- Methods for estimating probability distributions over strings, trees,
graphs, or any data used as input for symbolic models.
- Applications of learning to formal verification and (statistical) model
checking.
- Metrics and other error measures between automata or formal languages.

** Invited speakers **

Jeffrey Heinz (Stony Brook University)
Ariadna Quattoni (Universitat Politècnica de Catalunya)

** Submission instructions **

Submissions in the form of extended abstracts must be at most 8
single-column pages long at most (plus at most four for bibliography and
possible appendixes) and must be submitted in the JMLR/PMLR format. The
LaTeX style file is available here:
https://ctan.org/tex-archive/macros/latex/contrib/jmlr

We do accept submissions of work recently published or currently under
review.

- Submission url: https://easychair.org/conferences/?conf=learnaut2022
- Submission deadline: March 31st
- Notification of acceptance: April 30th
- Early registration: TBD

** Program Committee **

TBD

** Organizers **

Remi Eyraud (University of Saint-Étienne)
Tobias Kappé (ILLC, University of Amsterdam)
Guillaume Rabusseau (Mila & DIRO, Université de Montréal)
Matteo Sammartino (Royal Holloway, University of London & University
College London)

**********************************************************
*
* 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, January 22, 2022

[DMANET] Extended Deadline: CFP: 20th Symposium on Experimental Algorithms

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

20th Symposium on Experimental Algorithms (SEA 2022)

Heidelberg, Germany (or hybrid/online)

Date: 25th - 27th July 2022

Web site: https://sea2022.ifi.uni-heidelberg.de/

Submission: https://easychair.org/conferences/?conf=sea2022

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

Important dates (New extended deadline):

Abstract submission: February 7th, 2022, AOE
Full paper submission: February 14th, 2022, AOE
Notification of acceptance: March 29 2022
Final version : April 29, 2022

Invited Speakers (Confirmed)

Tobias Achterberg, VP of R&D at Gurobi.
Cynthia A. Phillips, Sandia National Laboratories.
Paul Spirakis, Department of Computer Science of the University of
Liverpool and the University Of Patras

SEA 2022 Call for Papers

SEA aims to attract papers from the Computer Science community, the
Operations Research/Mathematical Programming community and any other
scientific community that is concerned with the main theme of the
symposium, namely the role of experimentation and of algorithm
engineering techniques in the design and evaluation of algorithms and
data structures. Submissions should present significant contributions
supported by experimental evaluation, methodological issues in the
design and interpretation of experiments, the use of (meta-)heuristics,
or application-driven case studies that deepen the understanding of the
complexity of a problem.

Topics of Interest

Contributions solicited cover a variety of topics including but not
limited to:

Algorithm Engineering
Algorithmic Libraries
Analysis of Algorithms
Approximation Techniques
Bioinformatics and Computational Biology
Branch-and-Bound Algorithms
Combinatorial and Irregular Problems
Combinatorial Structures and Graphs
Communication Networks
Computational Geometry
Computational Optimization
Data Structures
Distributed and Parallel Algorithms
Heuristics for Combinatorial Optimization
Information Retrieval
Integer Programming
Logistics and Operations Management
Machine Learning and Data Mining
Mathematical Programming
Multiple Criteria Decision Making
Network Analysis
Online Problems
Railway Optimization using Algorithmic Methods
Semidefinite Programming
Software Repositories and Platforms for using Algorithms
Telecommunications and Networking

We further emphasize that SEA welcomes submissions that introduce novel
applications of algorithms in other disciplines.

Best Paper Award

The program committee will identify one submission as the best paper.

Submission Guidelines

The authors should submit a paper not exceeding 12 pages, excluding the
bibliography, the front page (authors, affiliation, keywords, abstract,
...), and brief appendix of up to 5 pages (figures and tables should be
counted as part of the space occupied by the appendix).

At least 10-point font should be used. Authors are strongly advised to
use the LaTeX style file supplied for the LIPIcs style
https://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/. Final
proceedings papers must be camera-ready in this format. We emphasize
that a clearly marked Appendix of up to 5 pages, which will not count
toward the 12 page submission limit, can be included and will be read at
the referees' discretion. All submissions have to be made via the
EasyChair submission page for the conference
(https://easychair.org/conferences/?conf=sea2022).

Authors are strongly encouraged to include a link to the source code
and/or datasets to increase confidence in the reproducibility of their
experiments; the code may be read and/or executed at the referees'
discretion.

Papers submitted for review should represent original, previously
unpublished work or surveys of important results. At the time the paper
is submitted to SEA, and for the entire review period, the paper (or
essentially the same paper) should not be under review by any other
conference with published proceedings or by a scientific journal. At
least one author of each accepted paper will be expected to attend the
conference and present the paper.

The abstract must be submitted by February 7th, 2022, AoE
The full paper must be submitted by February 14th, 2022, AoE

Proceedings and Special Issue

The conference proceedings will be published in the Leibniz
International Proceedings in Informatics (LIPIcs,
https://www.dagstuhl.de/en/publications/lipics/), a series of
high-quality conference proceedings across all fields in informatics
established in cooperation with Schloss Dagstuhl Leibniz Center for
Informatics. SEA Proceedings volumes are published according to the
principle of OpenAccess, i.e., they are available online and free of charge.

Since SEA 2008 a special issue of selected papers accepted at the
conference is published in the ACM Journal of Experimental Algorithmics
(https://dl.acm.org/journal/jea).

**********************************************************
*
* 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, January 21, 2022

[DMANET] Call for applications: 2022 Mathematics Research Community "Trees in Many Contexts"

Applications are open for the 2022 Mathematics Research Community "Trees in Many Contexts" at Beaver Hollow Conference Center, Java Center, NY, June 5-11, 2022.

The American Mathematical Society's Mathematics Research Communities are a program for early-career mathematicians. An MRC is an intensive one-week research conference where participants get the opportunity to work collaboratively on a range of research problems, establish new contacts, and get guidance in career building.

The MRC "Trees in Many Contexts" is organized by:

Miklós Bóna, University of Florida
Éva Czabarka, University of South Carolina
Heather Smith Blake, Davidson College
Stephan Wagner, Uppsala University
Hua Wang, Georgia Southern University

For more information on the MRC program, see

https://www.ams.org/programs/research-communities/mrc-22

For more information on the MRC "Trees in Many Contexts", see

https://www.ams.org/programs/research-communities/2022MRC-Trees

Applications can be submitted on

https://www.mathprograms.org/db/programs/1158

The deadline is February 15, 2022.


När du har kontakt med oss på Uppsala universitet med e-post så innebär det att vi behandlar dina personuppgifter. För att läsa mer om hur vi gör det kan du läsa här: http://www.uu.se/om-uu/dataskydd-personuppgifter/

E-mailing Uppsala University means that we will process your personal data. For more information on how this is performed, please read here: http://www.uu.se/en/about-uu/data-protection-policy

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

[DMANET] CALL FOR PAPERS - Seventh Workshop on Smart Service Systems (SmartSys) 2022

[We apologize if you receive multiple copies of this CFP.]


CALL FOR PAPERS - SmartSys 2022

Seventh Workshop on Smart Service Systems (SmartSys)

Co-located with the IEEE International Conference on Smart Computing (SMARTCOMP 2022)

Aalto University, Espoo, Finland, June 20th/24th, 2022 http://smartsys2022.dii.unipi.it

Technology succeeds when it provides benefits to society either directly or indirectly. Understanding the social and economic impact and human-centered aspects of a smart system or technology in advance and designing the system apriori with potential value-added services help spur the discoveries of new tools, methodologies, and innovative services. Smart service systems span across various socio-technical facets comprising devices, people, organizations, environments, and technologies to sense, actuate, control, and assess the physical, cyber, and societal artifacts of the human service systems. These self-adaptive and fault-tolerant systems require the design to continuously increase the quality and productivity, compliance, and sustainability of the smart services it offers. A human-centered perspective and cognitive learning help create multi-facet value-added services and catalyze the sustained economic growth of these smart service systems. Furthermore, understanding the multi-modal sensing, control, heterogeneity, and interdependency between different physical, virtual, and logical components of such a complex system will enable the realization of new transformative smarter service systems. If successful, this can help improve the quality-of-service of the customers, quality of life of the citizens, and quality-of returns of the stakeholders and investors.

Nurturing the development of smart service systems seeks inter-and trans-disciplinary crosscutting research threads from the system and operational engineering, computer science and information systems, social and behavioral science, computational modeling and industrial engineering, etc. This workshop aims to bring together practitioners and researchers from academia and industry to disseminate and share knowledge via the discussion forum and technical presentations on smart service systems' fundamental knowledge and principles. We envision these smart systems enabling the value co-creation in sensing, actuating, data analytics, learning, cognition, and control of human-centric cyber-physical-social systems and future work.

Topics of interest include, but are not limited to:

* Innovative technologies, tools, methodologies and solutions for smart service systems; example includes personalized healthcare, smart energy, smart cities, smart manufacturing, intelligent transportation, education, precision medicine and agriculture, national security etc.
* Information extraction and interpretation from sensors, actuators, smart phones, smart watch, and human.

* Context and situational-awareness of smart service systems.

* Design of people-centric services and technologies for providing better services such as food, transportation and places to live.

* Novel architectures and interoperable solutions for internet of things

* Models and methodologies for designing complex smart systems.

* Big data analytics approaches for providing better customer services, and innovating sustainable services.

* Modeling, analysis, co-production, and co-evolution of human activity, behavior and interaction for the effective adaptation and percolation of longitudinal smart service systems.

* Role of machine learning, artificial intelligence, robotics, pervasive computing, control theory, information and communications technologies.

* Role of formal methods in computer networks, cyber-physical systems, Internet-of-Things and machine learning.

* Design and developments of intelligent systems, intelligent enterprises and cyber-physical-social-systems.

* Design of inter-dependent complex global systems such as healthcare, smart grid, computer networks, logistics and supply-chains, financial markets etc.

* Smart infrastructure and testbed to support the integration and test of autonomous systems and innovative applications.

* AI/ML application in pervasive computing and integrated embedded devices and systems.

* AI/ML on Edge and Cloud computing services, methods, and applications.

* Design and development of research prototype of new concept and empirical validation of homogeneous and/or heterogeneous data-driven smart systems.

Important dates

Manuscript submission: 25th March 2022

Paper acceptance notification: 25th April 2022

Camera-ready paper submission: 16th May 2022

Workshop: 20th June 2022

Organizing Committees

Workshop Co-Chairs:

* Nirmalya Roy, University of Maryland, Baltimore County, US
* Carlo Vallati, University of Pisa, Italy
* Gurdip Singh, Syracuse University, US

Technical Program Co-Chairs:

* Francesca Righetti, University of Pisa, Italy
* Hafiz Khan, Kennesaw State University, GA, USA

Publicity Co-chairs

* Marco Pettorali, University of Pisa, Italy
* Hossain Shahriar, Kennesaw State University, GA, USA

Technical Program Committee

* TBD

**********************************************************
*
* 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 studentship in data-driven robust optimization for installation of offshore windfarms

*Apologies for cross-listing*

PhD studentship in data-driven robust optimization for installation of offshore windfarms

A fully-funded scholarship is available for 3 years that covers all university tuition fees (at Home/UK level) and an annual tax-free stipend. Exceptional international students are also encouraged to apply, as further funding may be secured for the difference between international and home fees. The successful candidate will be expected to start their PhD in October 2022.

1st class honours/undergraduate degree (essential) and an excellent Masters-level qualification or equivalent (highly desirable), in a closely relevant subject such as computer science, operations research, mathematics and statistics, management science, and industrial engineering, from a recognised academic institution. If English is not your first language, you will also be required to provide evidence such as a recent UKVI recognised English language test (such as IELTS, minimum overall band score of 6.5 with no individual test score below 5.5) or a university degree completed in a recognized English speaking country.

This project focuses on the installation process of wind turbines in offshore wind farms. The project aims to develop optimization models and algorithms to identify the optimal configuration of vessel schedules to minimise installation duration and cost. Furthermore, the project aims to achieve robust installation schedules that can handle operational changes due to weather uncertainties.

The researcher is expected to achieve the following objectives:
- To develop a deterministic model to identify the optimal configuration of vessel schedules to minimise installation duration and cost.
- To design and develop computationally efficient algorithms to solve the deterministic model that will be tested on real-world scenarios.
- To develop a robust, data-driven model that incorporates the uncertainties into the deterministic model and develop computationally efficient algorithms to deal with the robust model.

Please see the following link to get further information about the project and apply.

https://www.strath.ac.uk/studywithus/postgraduateresearchphdopportunities/business/managementscience/data-drivenrobustoptimizationforinstallationofoffshorewindfarms/

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