Wednesday, June 30, 2021

[DMANET] PhD Scholarships available at the Australian National University

                          PhD Scholarships for "Deep Learning for Graphs"

                           Graph Research Lab, ANU School of Computing

We are a research team at the School of Computing, Australian National
University, Canberra. Our overarching research goal is to explore and
understand graph-structured data. Supported by a grant from the
Australian Research Council, we are currently looking for new PhD
students with passion, talent and grit to join the team. You will have
the chance to work on the grand challenges at the intersection of deep
learning and graph theory. You will be involved in discussing important
and interesting questions in this challenging area, developing new
heuristic techniques and theories to advance state-of-the-art
methodologies, and evaluating their applications in solving real-world
problems. Each PhD student will have their own PhD project under the
joint supervision of Prof. Brendan McKay and A/Prof. Qing Wang, and may
collaborate on other related projects in the team.

#Scholarship information:
Two PhD scholarships are available, each including a living allowance of
$28,597 per annum with a waived tuition fee, in accordance with the
standard of ANU University Research Scholarships. The successful
applicants will be supported by the scholarship for 3.5 years.

#Eligibility (please do not apply if these conditions are not met):
   - A Bachelor/Masters degree in computing or mathematics with
first-class honours or equivalent;
   - Excellent programming skills;
   - Strong interest in mathematics or theoretical computer science;
   - Good knowledge of machine learning/deep learning (e.g., have
undertaken courses in machine learning).

#Preferences:
The following conditions are preferred but not compulsory: (1) have
previously done some research work, particularly in the area of machine
learning, and (2) have a good knowledge of graph theory or related subjects.

#Application:
Please email your inquiries/application to A/Prof. Qing Wang
(qing.wang@anu.edu.au) with the subject 'PhD Application' and the
following documents:
    (1) You need to attach a motivation letter (max one page) on why
you would like to join our team and about your research interests.
    (2) Please also attach a CV, academic transcripts, previous
research work, e.g., Honors/Masters thesis, papers, etc. There is no
need to send certificates.
    (3) Please indicate whether you are in Australia (on-shore) or
outside of Australia (off-shore). Also, please indicate your country of
citizenship.

Please note that short-listed applicants for these PhD scholarships will
need to apply for admission to a PhD program following the ANU Higher
Degree for Research policy and meet the English proficiency requirements
set by ANU. We will provide you further information if you are short-listed.

#Timeline:
We will start reviewing applications from early July 2021, until the
positions are filled. For on-shore students, you can start this year as
soon as you receive an offer or early 2022. For off-shore students, due
to the current virus-related border restrictions in Australia, you can
start in the first half of 2022 or earlier as soon as the Australian
border restrictions are lifted.

#Other information:
   - Graph Research Lab: https://graphlabanu.github.io/website/
   - ANU School of Computing: https://cs.anu.edu.au/
   - ANU College of Engineering and Computer Science webpage for PhD &
MPhil applicants: https://cecs.anu.edu.au/study/phd-mphil
   - Webpage of Brendan McKay: http://users.cecs.anu.edu.au/~bdm/
   - Webpage of Qing Wang: http://users.cecs.anu.edu.au/~u5170295/

**********************************************************
*
* 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] ICDCN 2022 - CALL FOR TUTORIALS

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

*CALL FOR TUTORIALS*

23rd International Conference on Distributed Computing and Networking *(ICDCN
2022)* invites submissions for Tutorial proposals on all topics listed
below and more. Tutorial proposals should be no more than six (6) pages
(excluding the biography of the presenters) and strictly follow the ACM
conference style templates
http://www.acm.org/publications/article-templates/proceedings-template.html.
Tutorials are expected to take place in parallel with the workshops and
main conference tracks of the conference. The length of each tutorial is
supposed to be 1.5 – 2.5 hours (flexible). The tutorials will follow the
organization of the main conference. Most probably, they will be organized
in virtual or in hybrid mode. At least one organizer of an accepted
Tutorial is required to attend the conference to carry out the
presentation. Each accepted Tutorial will receive one complimentary
conference registration. Proposal evaluation criteria include the
following: relevance to ICDCN, scientific quality, perceived interest and
overlap with ICDCN tutorials in the past.

*Topics*

Scope of the tutorial tentatively include, but are not limited to:


- Autonomous Robots in Asynchronous and Synchronous Models
- Networks of Mobile Robots in Intelligent Transportation Systems
- Robots in Modern Agriculture
- Internet of Things in Agriculture and in Networking
- Covid19, Big Data, and Networks
- Machine Learning in Distributed Computing and Networking
- Graph-Based Machine Learning in Intelligent Transportation Systems
- Algorithms and Infrastructures for UAV control: from Visual
Line-of-Sight (VLoS) to Beyond Line-of-Sight (BLoS)
- UAVs as mobile wireless infrastructures for communications
- Vehicle-to-every-one communications
- Next-Generation Secure Internet Architecture
- Multipath Transport Protocols
- Networking for Financial Applications
- Smart Grid communications
- Blockchain and Distributed Ledger


*Tutorials in the past recent years:*

- Edge Learning for Distributed Big Data Analytics: Theory, Algorithm
and System Design (2021)
- Cryptocurrency Network Analysis & Forensics (2020)
- Byzantine Agreement and Leader Election: From Classical to the Modern
(2020)
- Understanding the Peaks and Pitfalls of Applying Blockchain Technology
(2019)
- Security in SDN/NFV and 5G Networks-Opportunities and Challenges (2019)

*Submission Guidelines*

Proposals (six pages, excluding the biography of the presenters) must
include the following sections:

- Title and abstract.
- Introduction.
- Scope, motivation, summary of tutorial.
- If the organizers have had a similar tutorial held in the past, a
brief history- description.
- Description of target audience and relevance to ICDCN 2022 research
topics.
- Tutorial outline (sections and an overview of their contents).
- Biographies of presenters.

Submission procedure: Please send to both the tutorial co-chairs an email
with the subject: PROPOSAL FOR TUTORIAL ICDCN22

*Important Dates:** (All dates are in 2021 and time zones are AoE.)*

*Submission of Proposals:* August 30, 2021

*Acceptance Notification:* September 27, 2021
*Camera Ready Deadline:* October 11, 2021
*Tutorial (Conference) Dates:* January 4-7, 2021

*Tutorial Co-Chairs:*

- Cristina M. Pinotti (University of Perugia, Italy)
- Bivas Mitra (Indian Institute of Technology Kharagpur, India)

Contact addresses:
cristina.pinotti[at]unipg.it and bivas[at]cse.iitkgp.ac.in.
Replace "[at]"" by @".

**********************************************************
*
* 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] VISMAC2020 Phd summer school - REGISTRATION OPEN AND FINAL PROGRAM AVAILABLE

Call for Participation - VISMAC2020

____________________________________________

V I S M A C (VISione delle MACchine)
[in English, "Machine Vision"]

International Summer School
September 21st - 24th, Palermo, Italy

https://math.unipa.it/vismac2020
____________________________________________


=== Aim & Scope ===

The international summer school VISMAC "VISione delle MACchine" (in
English, "Machine Vision") is organized every two years by the
"Associazione Italiana per la ricerca in Computer Vision, Pattern
recognition e machine Learning" (CVPL - ex-GIRPR) affiliated to
International Association for Pattern Recognition (IAPR). It represents
a stimulating opportunity for doctoral students, young researchers from
universities, research institutions and industry. The primary objective
of the Summer School is to provide a common scientific and cultural
background on the subjects of computer vision and pattern recognition.

This edition of VISMAC will mainly focus on four renowned research
topics: Bio-imaging, Automotive, Cultural Heritage, Image forensics.

The school will be from the 21st to the 24th of September 2021 as a full
online event through Microsoft Teams. At the conclusion of class,
students will be required to perform successfully an online exam to
obtain a final certification.


=== List of Speakers ===

Bio-imaging
- Carlo Sansone, UNINA Federico II
- Elena Casiraghi, UNIMI
- Paolo Soda, UCBM
- Francesco Tortorella, UNISA
- Joseph Stancanello, Elekta

Automotive
- Sergio Saponara, UNIPI
- Roberto Vezzani, UNIMORE
- Alessandro Rizzi, UNIMI
- Alberto Broggi, VISLAB/AMBARELLA

Cultural Heritage
- Gabriele Guidi, POLIMI
- Carlo Colombo, UNIFI
- Andrea Fusiello, UNIUD
- Francesca Odone, UNIGE
- Fabio Remondino, FBK Trento
- Alessandro Dal Colle, Klain Robotics

Image forensics
- Francesco De Natale, UNITN
- Gian Luca Marcialis, UNICA
- Luisa Verdoliva, UNINA Federico II
- Jerian Martino, Amped Software


=== Program ===

Final program with daytime schedule is available here:
https://math.unipa.it/vismac2020/markdown/

Book of abstracts can be downloaded here:
https://math.unipa.it/vismac2020/resources/VISMAC2020-2021-BoA-Onine.pdf


=== Registration ===

School registrations are limited to forty participants, on a FIFS basis.
The registration fee is 100 Euro.

Accepted students can submit a poster to present their research
activity. The best poster selected by the school committee will receive
a prize sponsored by CVPL.

Registration form and info are available here:
https://math.unipa.it/vismac2020/markdown-2/


=== Scientific Committee ===

- Domenico Tegolo, UNIPA
- Cesare Valenti, UNIPA
- Roberto Pirrone, UNIPA
- Filippo Stanco, UNICT


=== Local Committee ===

- Marco E. Tabacchi, UNIPA
- Fabio Bellavia, UNIPA


=== Sponsors ===

- CVPL (ex-GIRPR) - Associazione Italiana per la ricerca in Computer
Vision, Pattern recognition e machine Learning
- Universita' degli Studi di Palermo
- Universita' degli Studi di Catania
- CITC - Centro Interdipartimentale di Tecnologie della Conoscenza,
Universita' degli Studi di Palermo
- DMI - Dipartimento di Matematica e Informatica, Universita' degli
Studi di Palermo
____________________________________________

Contacts
https://math.unipa.it/vismac2020
vismac2020@gmail.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] WEPA 2020 Special Issue deadline extended

Dear Colleagues,

We have extended the deadline for paper submission to the special issue of
WEPA 2020 (Fourth International Workshop on Enumeration Problems and
Applications) in the journal Discrete Applied Mathematics from June 30th to
**August 31st, 2021**.

Contributions not presented in WEPA 2020 --but related to enumeration-- are
welcome, and all submissions are reviewed according to the high standards
of the journal.

Find the updated CFP attached.
Please write to alessio.conte [at] unipi.it to notify your interest, or if
you have any further questions.
Apologies for cross-posting.

Best
Alessio Conte and Benny Kimelfeld

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

Special Issue: WEPA 2020 (Fourth International Workshop on Enumeration
Problems and Applications)

Journal: Discrete Applied Mathematics

**Submission deadline extended to August 31st, 2021**

WEPA (Workshop on Enumeration Problems and Applications) is a young
international forum for researchers in the area of design, analysis,
experimental evaluation, and engineering of algorithms for enumeration
problems. The objective of the workshop is to gather researchers working in
enumeration algorithms, including their applications in biology, data
mining, logic, and databases. The goal is to present recent results,
identify and explore directions for future research, and foster
collaborations.
WEPA 2020 was held online from December 7 to December 10, 2020.

We invite participants of WEPA 2020 as well as other researchers on
enumeration algorithms to contribute to this special issue of Discrete
Applied Mathematics.
Submissions should relate to the themes of WEPA, including but not
restricted to:

- Applications in biology, data mining, logic, and databases
- Approximate enumeration and counting
- Combinatorial enumeration and counting
- Input-sensitive algorithms
- Output-sensitive algorithms

Submissions of contributions not presented at the workshop are welcome.
Contributions arising from abstracts presented in the conference should be
suitably extended, and should cite the conference paper where appropriate.

All articles will be thoroughly refereed according to the high standards of
Discrete Applied Mathematics.

The full papers must be submitted through the Editorial Manager (
https://www.editorialmanager.com/dam/default.aspx). Please see the Author
Instructions on the site if you have not yet submitted a paper through this
web-based system.
When submitting your paper, be sure to specify that the paper is a
contribution for the Special Issue of WEPA 2020 by selecting the article
type SPECIAL ISSUE: WEPA 2020, so that your paper is assigned to the guest
editors.

The deadline for submission is **EXTENDED** to August 31, 2021.

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

We are looking forward to receiving your contribution.

The Guest Editors,
Alessio Conte and Benny Kimelfeld

CFP on the Journal's page:
https://www.journals.elsevier.com/discrete-applied-mathematics/call-for-papers/special-issue-wepa-2020
(page
may not be yet updated with the new deadline)

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

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

[DMANET] WINE 2021 - 2nd Call for Papers - Submission Server open

============================================================
WINE 2021: The 17th Conference on Web and Internet Economics
December 14-17, 2021
Hasso Plattner Institute, Potsdam, Germany
https://hpi.de/wine2021/
============================================================

Over the past two decades, researchers in theoretical computer science,
artificial intelligence, operations research, and economics have joined
forces to understand the interplay of incentives and computation. These
issues are of particular importance in the Web and the Internet that
enable the interaction of large and diverse populations. The Conference
on Web and Internet Economics (WINE) is an interdisciplinary forum for
the exchange of ideas and results on incentives and computation arising
from these various fields. WINE 2021 continues the successful tradition
of the Conference on Web and Internet Economics (named Workshop on
Internet & Network Economics until 2013), which was held annually from
2005 to present.

The program will feature invited talks, tutorials, paper presentations,
and a poster session. All paper submissions will be peer-reviewed and
evaluated on the basis of the quality of their contribution,
originality, soundness, and significance. Submissions are invited in,
but not limited to, the following topics:

    - Algorithmic Game Theory
    - Algorithmic Mechanism Design
    - Auction Algorithms and Analysis
    - Computational Advertising
    - Computational Aspects of Equilibria
    - Computational Social Choice
    - Learning in Markets and Mechanism Design
    - Learning under Strategic Behavior
    - Coalitions, Coordination, and Collective Action
    - Economic Aspects of Security and Privacy
    - Economic Aspects of Distributed Computing and Cryptocurrencies
    - Econometrics, ML, and Data Science
    - Behavioral Economics and Behavioral Modeling
    - Fairness and Trust in Games and Markets
    - Price Differentiation and Price Dynamics
    - Revenue Management
    - Social Networks and Network Games

Authors of the accepted papers will have a choice to attend the
conference virtually.

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

Paper submission deadline: July 12, 2021, 11:59pm Pacific Time
Author notification: before September 8, 2021

=================
Submission Server
=================

Easychair submission link:
https://easychair.org/conferences/?conf=wine21
<https://easychair.org/conferences/?conf=wine21>

=================
Submission Format
=================

Authors are invited to submit extended abstracts presenting original
research on any of the research fields related to WINE 2021.

An extended abstract submitted to WINE 2021 should start with the title
of the paper, each author's name, affiliation and e-mail address,
followed by a one-paragraph summary of the results to be presented. This
should then be followed by a technical exposition of the main ideas and
techniques used to achieve these results, including motivation and a
clear comparison with related work.

The extended abstract should not exceed 18 single-spaced pages
(including references) using reasonable margins (at least one-inch
margins all around) and at least 11-point font. If the authors believe
that more details are essential to substantiate the claims of the paper,
they may include a clearly marked appendix (with no space limit) that
will be read at the discretion of the Program Committee. It is strongly
recommended that submissions adhere to the specified format and length.
Submissions that are clearly too long may be rejected immediately. The
above specifications are meant to provide more freedom to the authors at
the time of submission. Note that accepted papers will be allocated 18
pages (including references) in the LNCS format in the proceedings (see
below).

The proceedings of the conference will be published by Springer-Verlag
in the ARCoSS/LNCS series, and will be available for distribution at the
conference. Accepted papers will be allocated 18 pages total in the LNCS
format in the proceedings. Submissions are encouraged, though not
required, to follow the LNCS format (Latex, Word). More information
about the LNCS format can be found on the author instructions page of
Springer-Verlag
<https://www.springer.com/cn/computer-science/lncs/conference-proceedings-guidelines>.


Questions regarding the submissions can be directed to the PC chairs via
wine21chairs@gmail.com <mailto:wine21chairs@gmail.com>.

================
Best Paper Award
================

The program committee will decide upon a best paper award and a best
student paper award.

================
Important Notice
================

To accommodate the publishing traditions of different fields, authors of
accepted papers can ask that only a one-page abstract of the paper
appear in the proceedings, along with a URL pointing to the full paper.
The authors should guarantee the link to be reliable for at least two
years. This option is available to accommodate subsequent publication in
journals that would not consider results that have been published in
preliminary form in conference proceedings. Such papers must be
submitted and formatted just like papers submitted for full-text
publication.

Simultaneous submission of results to another conference with published
proceedings is not allowed. Results previously published or presented at
another archival conference prior to WINE 2021, or published (or
accepted for publication) at a journal prior to the submission deadline
of WINE 2021, will not be considered. Simultaneous submission of results
to a journal is allowed only if the authors intend to publish the paper
as a one-page abstract in WINE 2021. Papers that are accepted and appear
as a one-page abstract can be subsequently submitted for publication in
a journal but may not be submitted to any other conference that has a
published proceeding.


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

Tuesday, June 29, 2021

[DMANET] CfP: [Algorithms] Special Issue "Machine Learning and Deep Learning in Bioinformatics 2021" (Deadline: 15 October 2021)

Special Issue: Machine Learning and Deep Learning in Bioinformatics 2021
Deadline for manuscript submissions: 15 October 2021
Guest Editor:
Dr. Le Nguyen Quoc Khanh
College of Medicine, Taipei Medical University, Taipei, Taiwan
===============
Dear Colleagues,

We cordially invite you to submit a manuscript for consideration and
possible publication in a Special Issue on "Machine Learning and Deep
Learning in Bioinformatics 2021" to be published in an EI-, ESCI-,
Scopus-, and MathSciNet-indexed open access journal Algorithms
(http://www.mdpi.com/journal/algorithms).

The submission manuscript deadline is 15 October 2021. For more details,
please visit the website:
https://www.mdpi.com/journal/algorithms/special_issues/machine_learning_bioinformatics_2021


You may share this invitation with your team members and colleagues;
co-authors are most welcome.

Please let me know within a month or as soon as possible if you and your
colleagues are interested in submitting a manuscript for this special
issue. If more time is needed, please feel free to tell us
(algorithms@mdpi.com). Your contribution would be most welcome.

Algorithms is fully open access. Open access (unlimited and free access
by readers) increases publicity and promotes more frequent citations, as
indicated by several studies.

For further details on the submission process, please see the
instructions for authors at the journal website
(http://www.mdpi.com/journal/algorithms/instructions).

We hope this topic is of interest to you and look forward to
collaborating with you in the near future.

Kind regards,
Stella Xu

CiteScore of Algorithms (2020): 2.90

*News*:
1. Participate in our 1st International Online Conference on Algorithms
(IOCA 2021, https://ioca2021.sciforum.net/)—Both to attend and to upload
and present your latest work are completely free of charge. Save the
date: 27 September 2021 - 10 October 2021
2. Applications are open for Travel Award
https://www.mdpi.com/journal/algorithms/awards
--
MDPI Wuhan Office
Algorithms Editorial Office


**********************************************************
*
* 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 2021: Extended Deadline: July 15th, 2021

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

ACM PE-WASUN 2021

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

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

Alicante, Spain.

November 22nd- 26th, 2021

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

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)

*General co-chair *

Isabelle Guérin-Lassous <http://perso.ens-lyon.fr/isabelle.guerin-lassous/>
Université Lyon 1/LIP, France (isabelle.guerin-lassous@ens-lyon.fr)

*Program Co-Chairs*

Luis de la Cruz Llopis
<https://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 <https://sites.google.com/view/leticialemus/>
Universitat Politècnica de Catalunya, Spain (leticia.lemus@upc.edu
<leticia.lemux@entel.upc.edu>)

*Program Committee Members*

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

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

Paper Submission

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

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


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 30th, 2021 July 15th, 2021
Acceptance notification: July 31th, 2021
Camera ready due: TBA
Speaker Author Registration: TBA
Symposium: November 22nd - 26th, 2021 - Jointly with MSWiM'21

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

We hope to see you in Alicante.


Yours sincerely,
The PE-WASUN 2021 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] Postdoctoral research position in computational geometry at the HCM in Bonn

Within the Hausdorff Center for Mathematics (HCM) at the University of Bonn, Professor Anne Driemel is looking to fill one postdoctoral research position (TV-L 13).

The group of Professor Anne Driemel is jointly affiliated with the HCM and with the Institute of Computer Science at the University of Bonn. The research focus lies on discrete and computational geometry and its connections to the theory of machine learning, and in particular on algorithmic problems in metric spaces of curves. The group maintains close collaboration with other algorithms groups at the university, which together form a stimulating and supportive research environment.
The successful candidate has completed a PhD thesis in the area of computational geometry or a related area in computer science or mathematics and has demonstrated independence in conducting research and presenting scientific ideas, supported by publications in international top-tier peer-reviewed conferences and journals.

In order to apply please do the following:

1) Send your application (cover letter, CV, list of publications) to Anne Driemel <driemel@cs.uni-bonn.de>. Please include the phrase "Application for a postdoctoral position" in the subject field.

2) Arrange for two recommendation letters to be sent directly to Anne Driemel <driemel@cs.uni-bonn.de>. Please ask for the phrase "Recommendation letter for [ your name ]" to be included in the subject field.

The University of Bonn is committed to diversity and equal opportunity. We aim to increase the proportion of women in areas where women are underrepresented and to promote their careers in particular. We therefore strongly encourage women with relevant qualifications to apply. Applications will be handled in accordance with the Landesgleichstellungsgesetz (State Equality Act). Applications from suitable individuals with a certified serious disability and those of equal status are particularly welcome.

The application deadline is 30 June 2021. Applications received before this deadline will receive full consideration. Applications received after the deadline will be considered until the position is filled. The starting date is flexible.

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

[DMANET] Lecturer in Optimisation, Queen Mary, University of London

The School of Mathematical Sciences at Queen Mary seeks to fill a lecturer (~ assistant professor) position in Optimisation.

>From the advertisement:

"Applications are invited for a Lecturer in Optimisation. We are seeking to appoint an outstanding candidate with a successful track record of applying rigorous research methods to address emerging problems in the general field of combinatorial optimisation. The successful candidate will be expected to develop a research platform within the School and interact with one or more of the existing research groups in the School. We particularly welcome applicants who would complement existing expertise in the School's Combinatorics group."

Please follow this link for more information:

https://webapps2.is.qmul.ac.uk/jobs/job.action?jobID=5954

The closing date for applications is 15th August.


**********************************************************
*
* 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] FACS 2021 - Final CfP with Extended Deadlines

=============================================================================
**
** Final Call for Papers: FACS 2021
**
** 17th International Conference on Formal Aspects of Component Software
**
** Virtual Event
**
** https://facs2021.inria.fr
**
=============================================================================

## OVERVIEW

Component-based software development proposes sound engineering principles
and techniques to cope with the complexity of present-day software systems.
However, many challenging conceptual and technological issues remain in
component-based software development theory and practice. Furthermore, the
advent of service-oriented and cloud computing, cyber-physical systems, and
the Internet of Things has brought to the fore new dimensions, such as
quality of service and robustness to withstand faults, which require
revisiting established concepts and developing new ones.

FACS 2021 is concerned with how formal methods can be applied to
component-based software and system development. Formal methods have
provided foundations for component-based software through research on
mathematical models for components, composition and adaptation, and
rigorous approaches to verification, deployment, testing, and certification.

## INVITED SPEAKERS

* Radu Calinescu (University of York, UK)
* Corina Pasareanu (NASA Ames, CMU, USA)

## DATES

* Abstract: July 9, 2021 (extended)
* Paper: July 16, 2021 (extended)
* Notification: August 20, 2021
* Conference: October 28-29, 2021

All deadlines are AoE.

## SCOPE

The conference seeks to address the application of formal methods in all
aspects of software components and services. Specific topics include, but
are not limited to:

* formal models for software components and their interaction;
* formal aspects of services, service-oriented architectures, business
processes, cloud computing, cyber-physical systems, Internet of Things, and
other artifacts;
* formal syntax and semantics of modeling languages;
* design and verification methods for software components and services;
* composition and deployment: models, calculi, languages;
* formal methods and modeling languages for components and services;
* (behavioral) type systems for components and services;
* models for QoS and other extra-functional properties (e.g., trust,
compliance, security) of components and services;
* components for real-time, safety-critical, secure, and/or embedded
systems;
* rigorous model-based analysis;
* components for the Internet of things and cyber-physical systems;
* artificial intelligence and machine learning for components and services;
* probabilistic techniques for modeling and verification of component-based
systems;
* model-based testing of components and services;
* case studies and experience reports;
* tools supporting formal methods for components and services.

## SUBMISSION & PUBLICATION

We solicit submissions related to the topics mentioned above in the
following categories:

* full papers: original research, applications and experiences, surveys
(16 pages max, excluding references);
* short papers: tools and demonstrations, new ideas and emerging results,
position papers (6 pages max, excluding references).

Paper submission is done via EasyChair at:
https://easychair.org/conferences/?conf=facs2021.

All submissions must be original, unpublished, and not submitted
concurrently for publication elsewhere. Each paper will be reviewed by at
least three PC members and evaluated in terms of novelty, importance,
evidence, and clarity.

The proceedings of FACS 2021 will be published as a volume of LNCS. All
accepted papers will be published in this LNCS volume. Authors should
consult Springer's authors' guidelines 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. In addition,
the corresponding author of each paper, acting on behalf of all of the
authors of that paper, must complete and sign a Consent-to-Publish form.
The corresponding author signing the copyright form should match the
corresponding author marked on the paper. Once the files have been sent to
Springer, changes relating to the authorship of the papers cannot be made.

The authors of a selected subset of accepted papers will be invited to
submit extended versions of their papers to special issue of the
International Journal on Software and Systems Modeling (SoSyM).


## CHAIRS

Gwen Salaün, University Grenoble Alpes, France
Anton Wijs, Eindhoven University of Technology, The Netherlands

## PROGRAM COMMITTEE

Kyungmin Bae, Pohang University of Science and Technology, Korea
Christel Baier, TU Dresden, Germany
Luís Soares Barbosa, University of Minho, Portugal,
Simon Bliudze, Inria Lille, France
Javier Camara, University of York, UK
Francisco Duran, University of Malaga, Spain
Fatemeh Ghassemi, University of Tehran, Iran
Sung-Shik Jongmans, Open University and CWI, the Netherlands
Olga Kouchnarenko, University of Franche-Comté, France
Alfons Laarman, Leiden University, The Netherlands
Ivan Lanese, University of Bologna, Italy
Zhiming Liu, Southwest University, China
Alberto Lluch-Lafuente, Technical University of Denmark, Denmark
Markus Lumpe, Swinburne University of Technology, Australia
Eric Madelaine, Inria Sophia Antipolis, France
Mieke Massink, CNR ISTI, Italy
Hernán Melgratti, University of Buenos Aires, Argentina
Fabrizio Montesi, University of Southern Denmark
Peter Csaba Ölveczky, University of Oslo, Norway
Jun Pang, University of Luxembourg
José Proença, CISTER, Portugal
Jorge Pérez, University of Groningen, The Netherlands
Camilo Rocha, Pontificia Universidad Javeriana Cali, Colombia
Gwen Salaün, Université Grenoble Alpes, France
Ana Sokolova, University of Salzburg, Austria
Jacopo Soldani, University of Pisa, Italy
Anton Wijs, Eindhoven University of Technology, The Netherlands
Shoji Yuen, Nagoya University, Japan

**********************************************************
*
* 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, June 28, 2021

[DMANET] SPAA2021 - free participation - virtual conference

**********************************************************************
Call for participation

SPAA2021 - The 33rd ACM Symposium on Parallelism in Algorithms and Architectures

Jul 6-8, 2021 (Virtual Conference)

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

SPAA2021 will be held online. The program will consist of live panel, gather meetings, short live presentations of the contributed talks accompanied by longer
pre-recorded talks (20 minutes).

The registration is free of charge, but mandatory for all participants.
Please register using this link.
https://spaa.acm.org/how-to-attend/

The program/schedule can be found here:
https://spaa.acm.org/program/


**********************************************************
*
* 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] IGAFIT Algorithmic Colloquium - 4pm(!) CEST, Juny 1: 3SUM, All-Pairs Shortest Paths and Monochromatic Problems by Virginia Vassilevska Williams

Dear all,
Please note the unusual time(!) for the next talk on the IGAFIT
Algorithmic Colloquium this Thursday:

July 1, 2021, 16:00 CEST (not the usual 14:00 time)
Virginia Vassilevska Williams, MIT
Title: 3SUM, All-Pairs Shortest Paths and Monochromatic Problems
Abstract: Two of the main hypotheses of Fine-Grained Complexity concern the
3SUM problem from Computational Geometry and the All-Pairs Shortest Paths
(APSP) from Graph Algorithms; both are for the word RAM model of
computation. The 3SUM hypothesis asserts that given a set A of n integers,
any algorithm needs n^{2-o(1)} time to determine whether A contains 3
integers summing to 0. The APSP hypothesis says that given an n node graph
G with integer weights bounded by poly(n), any algorithm needs n^{3-o(1)}
time to compute the shortest path distances between every pair of nodes of
G.
Together with the Strong Exponential Time Hypothesis about the complexity
of Boolean Satisfiability, these two hypotheses explain the best known
running times for a huge variety of problems of interest. However, very
little is known about how 3SUM and APSP relate to each other and whether
their two hypotheses might be equivalent. In this talk we will discuss some
indirect relationships between the two problems. In particular, we will
show that 3SUM is fine-grained equivalent to a problem called Monochromatic
Convolution, while both 3SUM and APSP are fine-grained reducible to a
problem called Monochromatic Triangles. As both monochromatic problems
merely ask about equality of colors (and no summations), these reductions
show that the hardness of 3SUM and APSP is not due to having to sum large
numbers as was originally believed.

We would like to invite you to take part in the event including the
networking session. This new event aims to integrate the European
algorithmic community and keep it connected during the times of the
pandemic. The meeting will be held using the Airmeet platform and to attend
please go to https://www.airmeet.com/e/b50ad4d0-d83e-11eb-b58d-e3a6dfec430b.
You can find more information about the talk on IGAFIT web page:
http://igafit.mimuw.edu.pl/?page_id=483786.

In order to access the Airmeet platform, you will need to register, so that
others know who you are. Then before and after the talk, you will be
located inside a Social Lounge, where discussion tables are visible. Most
of the tables can have up to 8 chairs, and you can join a table by clicking
the "Take a Seat" button on a table. This way you will be able to talk to
people seated currently at the table. When the session starts you will be
automatically switched to see the stage. You can find more instructions on
how to use Airmeet here:
https://www.airmeet.com/hub/step-by-step-guide-use-airmeet-for-attendees/.

We invite you to take part in the event. Please advertise broadly and bring
your students/postdocs as well.

Organization Committee:
Nikhil Bansal
Artur Czumaj
Andreas Feldmann
Danupon Nanongkai
Adi Rosen
Eva Rotenberg
Piotr Sankowski
Christian Sohler

**********************************************************
*
* 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] ICDCN 2022 - Call For Tutorials

CALL FOR TUTORIALS
23rd International Conference on Distributed Computing and Networking
(ICDCN 2022) invites submissions for Tutorial proposals on all topics
listed below and more. Tutorial proposals should be no more than six (6)
pages (excluding the biography of the presenters) and strictly follow the
ACM conference style templates
http://www.acm.org/publications/article-templates/proceedings-template.html.
Tutorials are expected to take place in parallel with the workshops and
main conference tracks of the conference. The length of each tutorial is
supposed to be 1.5 - 2.5 hours (flexible). The tutorials will follow the
organization of the main conference. Most probably, they will be organized
in virtual or in hybrid mode. At least one organizer of an accepted
Tutorial is required to attend the conference to carry out the
presentation. Each accepted Tutorial will receive one complimentary
conference registration. Proposal evaluation criteria include the
following: relevance to ICDCN, scientific quality, perceived interest and
overlap with ICDCN tutorials in the past.

TOPICS
Scope of the tutorial tentatively include, but are not limited to:
- Autonomous Robots in Asynchronous and Synchronous Models
- Networks of Mobile Robots in Intelligent Transportation Systems
- Robots in Modern Agriculture
- Internet of Things in Agriculture and in Networking
- Covid19, Big Data, and Networks
- Machine Learning in Distributed Computing and Networking
- Graph-Based Machine Learning in Intelligent Transportation Systems
- Algorithms and Infrastructures for UAV control: from Visual Line-of-Sight
(VLoS) to Beyond Line-of-Sight (BLoS)
- UAVs as mobile wireless infrastructures for communications
- Vehicle-to-every-one communications
- Next-Generation Secure Internet Architecture
- Multipath Transport Protocols
- Networking for Financial Applications
- Smart Grid communications
- Blockchain and Distributed Ledger

Tutorials in the past recent years:
- Edge Learning for Distributed Big Data Analytics: Theory, Algorithm and
System
Design (2021)
- Cryptocurrency Network Analysis & Forensics (2020)
- Byzantine Agreement and Leader Election: From Classical to the Modern
(2020)
- Understanding the Peaks and Pitfalls of Applying Blockchain Technology
(2019)
- Security in SDN/NFV and 5G Networks-Opportunities and Challenges (2019)

Submission Guidelines
Proposals (six pages, excluding the biography of the presenters) must
include the following
sections:
- Title and abstract.
- Introduction.
- Scope, motivation, summary of tutorial.
- If the organizers have had a similar tutorial held in the past, a brief
history-description.
- Description of target audience and relevance to ICDCN 2022 research
topics.
- Tutorial outline (sections and an overview of their contents).
- Biographies of presenters.

Submission procedure: Please send to both the tutorial co-chairs an email
with the subject:
PROPOSAL FOR TUTORIAL ICDCN22

Important Dates
Submission of Proposals: August 30, 2021
Acceptance Notification: September 27, 2021
Camera Ready Deadline: October 11, 2021
Tutorial (Conference) Dates: January 4-7, 2021

Tutorial Co-Chairs
- Cristina M. Pinotti (University of Perugia, Italy)
- Bivas Mitra (Indian Institute of Technology Kharagpur, India)
Contact addresses:
cristina.pinotti[at]unipg.it and bivas[at]cse.iitkgp.ac.in.

**********************************************************
*
* 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 ALGOSENSORS 2021 : Deadline extended to 5 July

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

IMPORTANT: *The submission deadline has been extended* to
5 July 2021

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

*** Call for Papers ***

ALGOSENSORS 2021

17th International Symposium on Algorithms and
Experiments for Wireless Sensor Networks

9-10 September 2021
Lisbon, Portugal
--- part of ALGO 2021 ---

http://algo2021.tecnico.ulisboa.pt/ALGOSENSORS2021/index.html


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

*** The submission server at
*** https://easychair.org/conferences/?conf=algosensors2021
*** is now open.

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


*****************************************************************************
*** ***
*** IMPORTANT: See note on COVID-19 at the end of this message. ***
*** ***
*****************************************************************************


Authors are invited to submit original research papers in the broad area of
algorithms for wireless networks.


===============
IMPORTANT DATES
===============

Paper submission: 5 July 2021 (AoE)
Notification to authors: 2 August 2021
Camera-ready submission: 23 August 2021
Symposium: 9-10 September 2021


=================
ABOUT ALGOSENSORS
=================

ALGOSENSORS is an international symposium dedicated to the algorithmic
aspects of wireless networks. Originally focused on sensor networks, it
now covers algorithmic issues arising in wireless networks of all types
of computational entities, static or mobile, including sensor networks,
sensor-actuator networks, autonomous robots. The focus is on the design
and analysis of algorithms, models of computation, and experimental
analysis.

ALGOSENSORS 2021 will be held on 9-10 September 2021 in Lisbon, Portugal.
It will be part of ALGO 2021, which also hosts ALGOCLOUD, ATMOS, ESA, IPEC
and WAOA.


===============
INVITED SPEAKER
===============

There will be one invited talk at ALGOSENSORS 2021. The invited speaker is:

- Bernhard Haeupler (CMU, USA & ETHZ, Switzerland).

The invited talk will be integrated in the global ALGO program, as a joint keynote.


=====
SCOPE
=====

Original research contributions are solicited related to diverse algorithmic
aspects of sensor networks, wireless networks as well as distributed robotics,
including the theoretical, experimental and application perspectives.

Topics of interest include, but are not limited to:

- Ad Hoc Networks
- Algorithms
- Autonomous Mobile Robots
- Communication Protocols
- Complexity and Computability
- Computational Models
- Cryptography, Security and Trust
- Cyber Physical Systems
- Data Aggregation and Fusion
- Deployment
- Dynamic Networks, Temporal Graphs
- Energy Management
- Experimental Analysis
- Fault Tolerance and Dependability
- Game Theoretic Aspects
- Infrastructure Discovery
- Internet of Things
- Localization
- Medium Access Control
- Mobility and Dynamics
- Obstacle Avoidance
- Pattern Formation
- Performance Evaluation
- Population Protocols
- Power Saving Schemes
- Resource Efficiency
- RFID Algorithms
- Routing and Data Propagation
- Self-stabilization, Self-* Properties
- Sensor Networks
- Swarm Computing
- Systems and Testbeds
- Time Synchronization
- Topology Control
- Tracking
- Virtual Infrastructures
- Wireless Networks


========================
PROGRAM COMMITTEE CHAIRS
========================

Leszek GÄ…sieniec (University of Liverpool, UK)
Ralf Klasing (CNRS and University of Bordeaux, France)
Tomasz Radzik (King's College London, UK)


=================
PROGRAM COMMITTEE
=================

Eleni C. Akrida (Durham University, UK)
Petra Berenbrink (University of Hamburg, Germany)
Christelle Caillouet (University of Côte d'Azur, Nice, France)
Arnaud Casteigts (University of Bordeaux, France)
Dibyayan Chakraborty (Indian Institute of Science, Bengaluru, India)
Marek Chrobak (University of California, Riverside, USA)
Giuseppe Antonio Di Luna (Sapienza University, Rome, Italy)
Romaric Duvignau (Chalmers University of Technology, Gothenburg, Sweden)
Thomas Erlebach (University of Leicester, UK)
Sándor Fekete (TU Braunschweig, Germany)
Florent Foucaud (Clermont Auvergne University, France)
Pierre Fraigniaud (CNRS and University Paris Diderot, France)
Luisa Gargano (University of Salerno, Italy)
Sun-Yuan Hsieh (National Cheng Kung University, Tainan, Taiwan)
Ling-Ju Hung (National Taipei University of Business, Taipei, Taiwan)
Irina Kostitsyna (Eindhoven University of Technology, Netherlands)
Dariusz R. Kowalski (Augusta University, USA)
Kitty Meeks (University of Glasgow, UK)
Nathalie Mitton (Inria Lille-Nord Europe, France)
Tobias Mömke (Augsburg University, Germany)
Oscar Morales-Ponce (California State University, Long Beach, USA)
Rolf Niedermeier (Technical University of Berlin, Germany)
Aris Pagourtzis (National Technical University of Athens, Greece)
Peter Rossmanith (RWTH Aachen University, Germany)
Olga Saukh (Graz University of Technology and CSH Vienna, Austria)
Grzegorz Stachowiak (University of Wrocław, Poland)
Walter Unger (RWTH Aachen University, Germany)
Yukiko Yamauchi (Kyushu University, Fukuoka, Japan)


==================
STEERING COMMITTEE
==================

Josep Díaz (Universitat Politècnica de Catalunya, Barcelona, Spain)
Magnús M. Halldórsson (Reykjavik University, Iceland)
Bhaskar Krishnamachari (University of Southern California, Los Angeles, USA)
Panganamala R. Kumar (Texas A&M University, USA)
Sotiris Nikoletseas (Chair) (University of Patras and CTI, Greece)
José Rolim (University of Geneva, Switzerland)
Paul Spirakis (University of Liverpool, UK and University of Patras, Greece)
Adam Wolisz (Technical University of Berlin, Germany)


===========
PROCEEDINGS
===========

The conference proceedings will be published in the Springer "Lecture Notes
in Computer Science" series (publication expected October 2021).


=============
SPECIAL ISSUE
=============

Selected papers will be invited to a special issue of the journal
"Theoretical Computer Science", devoted to ALGOSENSORS 2021.


======
AWARDS
======

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


==========
SUBMISSION
==========

Papers are to be submitted electronically using the EasyChair server at
https://easychair.org/conferences/?conf=algosensors2021. The submissions must
contain original results that have not already been published and are not
concurrently submitted to a journal or conference with published proceedings.
By submitting a paper, the authors acknowledge that in case of acceptance at least
one of the authors will register for ALGO/ALGOSENSORS 2021 and present the paper.

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

Each submission should consist of the main part of the paper, not exceeding 12 pages
(including the title page and excluding the references), plus an optional clearly
marked appendix (to be read at the discretion of the program committee). Any figure
pertaining to the main part of the paper should be included therein (within the 12 page
limit). The first page must include an indication of whether the paper is eligible for
the best student paper award.


+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

IMPORTANT NOTE: We hope that by September it will be possible to travel to Portugal
from many parts of the world, but we also expect that it may be unsafe, difficult or
impossible for some people to attend in person. If your paper is accepted we hope it
will be possible for you to present it on location, but remote participation options
will be available, and the choice of whether to travel would be yours entirely.

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++


**********************************************************
*
* 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] UCNC 2021 - Call for posters

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

The 19th International Conference on Unconventional Computation and Natural Computation (UCNC 2021)


October 18-22, 2021


Aalto University, Espoo, Finland

Website: https://ucnc2021.cs.aalto.fi

Submission webpage: https://easychair.org/conferences/?conf=ucnc2021

Contact: ucnc2021@aalto.fi<mailto:ucnc2021@aalto.fi>

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

Conference organisation


The meeting is planned to be held on-site with a remote participation option to view the talks. We are monitoring the status of the COVID-19 pandemic and will be adjusting the conference organisation if needed. Arrangements will be made for presenters who cannot travel due to the pandemic. Registration opens in August.


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


The International Conference on Unconventional Computation and Natural Computation (UCNC) is a meeting where scientists from many different backgrounds are united in their interest in novel forms of computation, human-designed computation inspired by nature, and computational aspects of natural processes. The 19th International Conference on Unconventional Computation and Natural Computation (UCNC 2021) will be held at Aalto University, Espoo, Finland on October 18-22, 2021.


Posters


For poster submissions, authors are invited to submit a maximum of 2 pages abstract of their work by email with a tag "[Poster submission]" in the header to ucnc2021@aalto.fi<mailto:ucnc2021@aalto.fi>


Poster submission deadline August 2, 2021

Poster notification August 16, 2021


Topics include, but are not limited to:

* Programmable matter
* Material computing
* Molecular computing
* Membrane computing
* Quantum computing
* Self-assembling and self-organising systems
* Super-Turing computation
* Swarm computing
* Optical computing
* Collision-based computing
* Cellular automata
* Neural computation
* Evolutionary computation
* Artificial life
* Artificial immune systems
* Amorphous computing
* Chaos computing
* Physarum computing
* Computational systems biology
* Computational neuroscience
* Cellular (in-vivo) computing
* Synthetic biology


Important Dates

Submission (full papers): June 17, 2021 AoE

Notification (full papers): July 16, 2021

Final version (full papers): August 2, AoE

Poster submission: August 2, 2021 AoE

Poster notification: August 16, 2021

Early registration: TBA

Late registration: TBA

Conference: October 18-22, 2021


Invited speakers

* Corentin Coulais<https://coulaislab.com/> (University of Amsterdam, The Netherlands)
* Cody Geary<https://pure.au.dk/portal/en/persons/cody-geary(98d316cf-149c-4918-b58b-34ead7bd2e20).html> (Aarhus University, Denmark)
* Mikko Möttönen<https://www.aalto.fi/en/department-of-applied-physics/quantum-computing-and-devices-qcd> (Aalto University, Finland)
* Andrew Phillips<https://www.microsoft.com/en-us/research/people/aphillip/?from=http%3A%2F%2Fresearch.microsoft.com%2F%7Eaphillip> (Microsoft Research Cambridge, UK)
* Damien Querlioz<https://sites.google.com/site/damienquerlioz/> (CNRS, Université Paris-Saclay, France)


Workshops

The following independent workshops are going to be held in parallel with the conference:

* Programmable Matter, organised by Christian Scheideler<https://www.uni-paderborn.de/en/person/20792/> (Paderborn University, Germany) and Matthew Patitz<http://self-assembly.net/mpatitz> (University of Arkansas, USA)
* Third International Workshop on Theoretical and Experimental Material Computing (TEMC 2021)<https://www.cs.york.ac.uk/nature/temc/TEMC2021-UCNC21/index.html>, organised by Susan Stepney<https://www-users.cs.york.ac.uk/susan/> (University of York, UK)


Programme Committee

* Selim G. Akl (Queen's University, Canada)
* Pablo Arrighi (Université Paris-Saclay, France)
* Peter Banda (University of Luxembourg, Luxembourg)
* Daniela Besozzi (Università degli Studi di Milano-Bicocca, Italy)
* Julien Bourgeois (Université Bourgogne Franche-Comté, France)
* Olivier Bournez (École Polytechnique, France)
* Cristian Calude (University of Auckland, New Zealand)
* Matteo Cavaliere (Manchester Metropolitan University, UK)
* Jérôme Durand-Lose (Université d'Orléans, France)
* Ángel Goñi-Moreno (Technical University of Madrid, Spain)
* Masami Hagiya (University of Tokyo, Japan)
* Mika Hirvensalo (University of Turku, Finland)
* Nataša Jonoska (University of South Florida, USA)
* Jarkko Kari (University of Turku, Finland)
* Irina Kostitsyna (TU Eindhoven, The Netherlands), co-chair
* Robert Legenstein (TU Graz, Austria)
* Makoto Naruse (University of Tokyo, Japan)
* Pekka Orponen (Aalto University, Finland), co-chair
* Matthew Patitz (University of Arkansas, USA)
* Christian Scheideler (University of Paderborn, Germany)
* Susan Stepney (University of York, UK)
* Gunnar Tufte (Norwegian University of Science and Technology, Norway)

**********************************************************
*
* 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] 1 PhD Position in Distributed Computing (City University of Hong Kong)

Dear all,

We are looking for one PhD student with a strong interest in algorithms and distributed computing. The successful candidate will be expected to conduct research in distributed computing with a focus on fault-tolerant algorithms for P2P networks (e.g., blockchain networks) and other dynamically changing environments. The research will involve designing new distributed algorithms and mathematically analyzing their performance, as well as proving lower bounds on the time and communication complexity. Having a strong background/interest in algorithms, theoretical computer science, or discrete mathematics is essential. Being familiar with distributed computing is helpful but not required.

Interested?
Please get in touch with peter.robinson@cityu.edu.hk<mailto:peter.robinson@cityu.edu.hk> to discuss your application. Expedited admission for Fall 2021 is still possible.

Some facts about CityU:
- #53 in QS World University Ranking 2022
- #84 in Times Higher Education World University Ranking 2021 (Computer Science).
- #4 in QS Top 50 Under 50 (ranking of universities which are under 50 years old).

Best,
Peter Robinson

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

[DMANET] ADFOCS 2021 - Convex Optimization and Graph Algorithms

*****************************************************************
22nd Max-Planck Summer School
Advanced Course on the Foundations of Computer Science

ADFOCS 2021

July 26 - August 13, 2021
virtual event (hosted from Saarbrücken, Germany)

http://www.mpi-inf.mpg.de/conference/adfocs
*****************************************************************


ABOUT ADFOCS
------------
ADFOCS is an international summer school organized annually by the Max
Planck Institute for Informatics. The goal of this year's ADFOCS is that
people with traditional background in theoretical computer science learn
the continuous optimization techniques which have become indispensable
tools for modern graph algorithms, linear programming solvers, and
numerous other applications. The title is:

*** Convex Optimization and Graph Algorithms ***

Unlike previous ADFOCS, this year the event will take place over the
span of three weeks. There will be a talk every day from 16:00-18:00
CEST from July 26 to August 13. We will start with a primer week to
learn the very basics of continuous optimization (July 26 - July 30),
followed by two weeks of talks by the speakers on more advanced
continuous optimization and its use in graph algorithms (August 2 - 13).

The event will take place entirely online.

PROGRAM
-------
Our invited speakers give three 90-minute lectures with subsequent
exercise and discussion sessions. The lecturers are (in alphabetical
order):

* Alina Ene, Boston University, USA: Adaptive gradient descent
* Rasmus Kyng, ETH Zurich, Switzerland: Graphs, sampling, and iterative
methods
* Aaron Sidford, Stanford University, USA: Optimization Methods for
Maximum Flow


REGISTRATION
------------
Registration on the homepage of ADFOCS is now open. There is no
registration fee. However, if you want to participate in the exercise
sessions, then you will need to provide either a recommendation letter
from your advisor or a motivation letter. If you choose to do this,
please mark the check-box in the registration link. We will contact you
to provide the letter at a suitable time.


CONTACT
-------
The homepage of ADFOCS, providing forms for registration and a more
detailed program, can be found at

http://www.mpi-inf.mpg.de/conference/adfocs

If you have further questions, please do not hesitate to contact the
ADFOCS team by sending an email to adfocs at mpi-inf.mpg.de

Organizers: Karl Bringmann, Alejandro Cassis, Cosmina Croitoru, Themis
Gouleakis, Andreas Karrenbauer, Kurt Mehlhorn, and Vasileios Nakos


--
"Nur wer erwachsen wird, und Kind bleibt, ist ein Mensch!" :) (Erich
Kaestner)

Cosmina Croitoru

**********************************************************
*
* 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] [EXTENSION DEADLINE - CFP]: 2nd Joint Workshop on CPS&IoT Security and Privacy (CPSIoTSec 2021) - [FIRM DEADLINE: JULY 13th, 2021]

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

C a l lF o rP a p e r s

2nd Joint Workshop on CPS&IoT Security and Privacy (CPSIoTSec 2021)

**** EXTENSION 2 WEEKS (FIRM DEADLINE: JULY 13th, 2021) *****

Seoul, South Korea, November 15 (Monday), 2021

URL: https://cpsiotsec.github.io <https://cpsiotsec.github.io>

co-located with the ACM Conference on Computer and Communications
Security (ACM CCS 2021)

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

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

CONFERENCE OUTLINE:

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

The Joint Workshop on CPS&IoT Security and Privacy invites academia,
industry, and governmental entities to submit:

- Original research papers on the security and privacy of CPS&IoT

- Systematization of Knowledge (SoK) papers on the security and privacy
of CPS&IoT

- Demos (hands-on or videos) of testbeds/experiences of CPS&IoT security
and privacy research

We seek submissions from multiple interdisciplinary backgrounds tackling
security and privacy issues in CPS&IoT,

including but not limited to:

- Mathematical foundations for secure CPS/IoT

- Control-theoretic approaches

- High assurance security architectures

- Security and resilience metrics

- Metrics and risk assessment approaches

- Identity and access management

- Privacy and trust

- Network security

- Game theory applied to CPS/IoT security

- Human factors, humans in the loop, and usable security

- Understanding dependencies among security, reliability and safety in
CPS/IoT

- Economics of security and privacy

- Intrusion and anomaly detection

- Model-based security systems engineering

- Sensor and actuator attacks

- CPS/IoT malware analysis

- CPS/IoT firmware analysis

- Hardware-assisted CPS/IoT security

Also of interest will be papers that can point the research community to
new research directions, and those that

can set research agendas and priorities in CPS/IoT security and privacy.
There will be a best paper award.

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

PAPER SUBMISSION:

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

Submissions include long papers (12 pages), short papers (6 pages), and
abstracts (1 page):

- Long papers include a) Original research on a CPS/IoT security and
privacy topic, b) Systematization of Knowledge of CPS/IoT security and
privacy;

- Short papers include original work-in-progress research on a CPS/IoT
security and privacy topic; and

- 1-page abstracts include demos/interesting findings/insights on
CPS/IoT security and privacy, which will be accompanied by a hands-on
demo during the workshop.

Submitted papers must include appendices and references (except for SoK
papers where references are excluded).

Submissions must use the ACM SIG Proceedings Templates (see
https://www.acm.org/publications/proceedings-template <https://www.acm.org/publications/proceedings-template>,

with a simpler version here: https://github.com/acmccs/format <https://github.com/acmccs/format>). Only PDF files will be accepted.

Accepted papers will be published by the ACM Press and/or the ACM
Digital Library. Submissions must not substantially overlap

with papers that have been published or that are simultaneously
submitted to a journal or a conference with proceedings. Each

accepted paper must be presented by a registered author. Submissions not
meeting these guidelines risk immediate rejection.

For questions about these policies, please contact the chairs.

NEW FOR 2021: The workshop will feature a second paper submission
deadline for papers that have been submitted but not accepted to the
main conference.

The deadline will be 10 days after the paper notification is out.
Authors are not required to upload CCS reviews; verification of CCS
submission status will be done

by informing the program chairs of the paper ID of the CCS submission.

Paper submission site: https://easychair.org/conferences/?conf=cpsiotsec2021 <https://easychair.org/conferences/?conf=cpsiotsec2021>

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

IMPORTANT DATES:

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

- **FIRM** Submission deadline: ***July 13, 2021*** (23:59 Anywhere on
Earth).

- Submission deadline applicable only to papers rejected from ACM CCS
2021: July 30, 2021 (23:59 Anywhere on Earth).

- Notification of acceptance/rejection (tentative): August 13, 2021.

- Deadline for submission of camera-ready papers (hard deadline):
September 6, 2021

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

Program Committee Chairs:

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

- Cristina Alcaraz, University of Malaga, Spain

– Michail Maniatakos, New York University Abu Dhabi, UAE

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

Program Committee:

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

–Magnus Almgren, Chalmers University, Sweden

– Rakesh Bobba, Oregon State University, USA

–Gedare Bloom, University of Colorado Colorado Springs, USA

– Alvaro Cardenas, UC Santa Cruz, USA

– Mauro Conti, University of Padua, Italy

– Yongkai Fan, Communication University of China, China

– Vasileios Gkioulos, Norwegian University of Science and Technology, Norway

– Dawu Gu, Shanghai Jiao Tong University, China

– Le Guan, University of Georgia, USA

– Gerhard Hancke, City University of Hong Kong

– Monowar Hasan, Wichita State University, USA

– Sokratis Katsikas, Open University of Cyprus, Cyprus

– Charalambos Konstantinou, Florida State University, USA

– Marina Krotofil, Honeywell Industrial Cyber Security Lab, USA

– Peng Liu, Pennsylvania State University, USA

– Xiaofeng Lu, Beijing University of Posts and Telecommunications, China

– Emil Lupu, Imperial College, UK

– Weizhi Meng, Technical Universtiy of Denmark, Denmark

– Sibin Mohan, University of Illinois at Urbana-Champaign, USA

– Awais Rashid, University of Bristol, UK

– George Stergiopoulos, University of the Aegean, Greece

– Habeeb Olufowobi, Howard University, USA

– Gang Tan, Pennsylvania State University, USA

– Nils Ole Tippenhauer, CISPA Helmholtz Center for Information Security,
Germany

– Nektarios Georgios Tsoutsos, University of Delaware, USA

– Claire Vishik, Intel, USA

– Avishai Wool, Tel Aviv University, Israel

– Min Yang, Fudan Fudan University

– Stefano Zanero, Politecnico di Milano, Italy China

– Yuqing Zhang, University of CAS–Jianying Zhou, Singapore University of
Technology and Design, Singapore

– Saman Zonouz, Rutgers University, USA

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

Steering Committee:

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

– Rakesh Bobba, Oregon State University

– Alvaro Cardenas, University of California, Santa Cruz

– Peng Liu, Penn State University–Sibin Mohan, University of Illinois at
Urbana-Champaign

– Awais Rashid, University of Bristol

– Gang Tan, Penn State University

– Nils Ole Tippenhauer, CISPA–Roshan Thomas, MITRE

– Yuqing Zhang, University of CAS

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

Publicity Chair:

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

- Sergio Gonzalez, University of Malaga, Spain

==========

Web Chair:

==========

- Monowar Hasan, Wichita State University, USA


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

[DMANET] CSL 2022: Last call for papers

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

Last call for papers CSL'22

=====================================
News and updates:
Deadlines approaching: abstract submission -- 5.7 (in one week), Paper submission -- 12.7.
Updated information on submission guidelines, Helena Rasiowa award, and collocated events.
=====================================

Computer Science Logic (CSL) is the annual conference of the European
Association for Computer Science Logic (EACSL), see https://www.eacsl.org/.

CSL is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science.

CSL'22 will be held on February 14 - 19, 2022, in Göttingen, Germany. Currently, we expect that the conference will be organized in a hybrid way: both with an in-presence component and an online component. A final decision on the format of the conference will be reached and announced in September 2021.

Website: http://csl2022.uni-goettingen.de/

Invited speakers:
-----------------

Annabelle McIver Macquarie (University, Sydney, Australia)
Udi Boker (IDC Herzliya, Israel)
Martin Escardo (University of Birmingham, UK)
Rosalie Iemhoff (Utrecht University, The Netherlands)
Karen Lange (Wellesley College, USA)


Submission guidelines:
----------------------

Submitted papers must be in English and must provide sufficient detail to allow the Programme Committee to assess the merits of the paper. Full proofs may appear in a clearly marked technical appendix which will be read at the reviewers' discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the PC.

The CSL 2022 conference proceedings will be published in Leibniz International Proceedings in Informatics (LIPIcs), see https://submission.dagstuhl.de/documentation/authors.

Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (not including references), presenting unpublished work fitting the scope of the conference. Proofs omitted due to space constraints should be put into an appendix, to be read by the program committee members at their discretion.

Papers may not be submitted concurrently to another conference with refereed proceedings. The PC chairs should be informed of closely related work submitted to a conference or a journal.

Papers authored or co-authored by members of the PC are not allowed.

At least one of the authors of each accepted paper is expected to register for the conference and attend it in person or online, in order to present their papers.

Submissions should be made via easychair: https://easychair.org/conferences/?conf=csl2022


Helena-Rasiowa-Award:
---------------------

The Helena Rasiowa Award is the best student paper award for the CSL conference series, starting from CSL 2022.

The award will be given to the best paper (as decided by the PC) written solely by students or for which students were the main contributors. A student in this context is any person who is currently studying for a degree or whose PhD award date is less than one year prior to the first day of the conference.

Read more about the contribution of Helena Rasiowa to logic and computer science, and their interplay, here: https://www.eacsl.org/?page_id=1104

At submission, the authors should clearly indicate if their paper is eligible for this award.

Important dates:
----------------

Abstract submission: July 5, 2021 (AoE),
Paper submission: July 12, 2021 (AoE),
Notification: September 30, 2021,
Conference: February 14-19, 2022

List of topics:
---------------

automated deduction and interactive theorem proving
constructive mathematics and type theory
equational logic and term rewriting
automata and games, game semantics
modal and temporal logic
model checking
decision procedures
logical aspects of computational complexity
finite model theory
computability
computational proof theory
logic programming and constraints
lambda calculus and combinatory logic
domain theory
categorical logic and topological semantics
database theory
specification, extraction and transformation of programs
logical aspects of quantum computing
logical foundations of programming paradigms
verification and program analysis
linear logic
higher-order logic
nonmonotonic reasoning

Program Committee:
------------------

Thorsten Altenkirch (Nottingham, UK)
Benedikt Bollig (Cachan, France)
Agata Ciabattoni (Vienna, Austria)
Liron Cohen (Ben-Gurion University, Israel)
Anupam Das (Birmingham, UK)
Claudia Faggian (Paris, France)
Francesco Gavazzo (Bologna, Italy)
Stefan Göller (Kassel, Germany)
Willem Heijltjes (Bath, UK)
Sandra Kiefer (Aachen, Germany)
Emanuel Kieronski (Wroclaw, Poland)
Bartek Klin (Warsaw, Poland)
Juha Kontinen (Helsinki, Finland)
Anthony Lin (Kaiserslautern, Germany)
Karoliina Lehtinen (Marseille, France)
Florin Manea (Göttingen, Germany, co-chair)
Fredrik Nordvall Forsberg (Strathclyde, UK)
Liat Peterfreund (Paris, France and Edinburgh, UK)
Daniela Petrisan (Paris, France)
Karin Quaas (Lepizig)
Alex Simpson (Ljubljana, Slovenia, co-chair)
Pawel Sobocinski (Tallin, Estonia)
Anna Sokolova (Salzburg, Austria)
Linda Brown Westrick (Connecticut, US)

Organization Committee:
-----------------------

Fundamentals of Computer Science Group - University of Göttingen, Germany.

Colocated events:
-----------------

LCC 2022: Logic and Computational Complexity
---------
Meetings of the workshop "Logic and Computational Complexity" are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in implicit computational complexity (descriptive and type-theoretic methods); deductive formalisms as they relate to complexity (e.g. ramification, weak comprehension, bounded arithmetic, linear logic and resource logics); complexity aspects of finite model theory and databases; complexity-mindful program derivation and verification; computational complexity at higher type; and proof complexity. LCC 2022 will be the 23rd workshop in the series, see https://www.cs.swansea.ac.uk/lcc/. The program will consist of invited lectures as well as contributed papers selected by the Program Committee.

LMW@CSL: Logic Mentoring Workshop
---------
The Logic Mentoring Workshop introduces young researchers to the technical and practical aspects of a career in logic research. It is targeted at students, from senior undergraduates to graduates, and will include talks and panel sessions from leaders in the subject. Building on successful LMW editions from past years, its first winter edition will be collocated with CSL 2022.
Website: https://lmw.mpi-sws.org/csl/

Contact:
--------

Please send all questions about submissions to the PC co-chairs:
csl2022@easychair.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/
*
**********************************************************