Theory Announcements: August 2021

Monday, August 30, 2021

[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
October 1, 2018 and September 30, 2021
* 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: January 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 September 10, 2021.

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

[DMANET] Postdoc in Algorithms and Complexity at IIT Gandhinagar

We are inviting applications for a postdoctoral fellow to work on the
project "Complexity of Graph Patterns" at IIT Gandhinagar, India.

The advertisement can be found at:

https://drive.google.com/file/d/1ZNgj_Nrykkm1X4a2mDJa2ruSHPrutqjc/view?usp=sharing

The soft-deadline for sending in applications is September 15, 2021. This
advertisement is open until the position if filled.

Please email me if you have any questions.

--
Balagopal Komarath
Assistant Professor, Discipline of Computer Science and Engineering,
IIT Gandhinagar, India.
email: bkomarath@iitgn.ac.in
website: bkomarath.rbgo.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/
*
**********************************************************

Sunday, August 29, 2021

[DMANET] CFP: IEEE Network-SI: Managing Next-Generation Networks for Intelligent Services and Applications - Due: 30 September

*Managing Next-Generation Networks for Intelligent Services and
Applications*
*IEEE Network*
https://www.comsoc.org/publications/magazines/ieee-network/cfp/managing-next-generation-networks-intelligent-services-and

Next-Generation Networks (NGNs) integrate the functionalities of a plethora
of established and emerging technologies such as 5G, Artificial
Intelligence (AI), edge intelligence, network softwarization, and
data-plane programmability. NGNs promise to achieve ultra-fast data rates
and minimal latency in wireless communication and networking. It enables
smart and autonomous services and applications through AI and Machine
Learning (ML). Coupled with advances in user end-devices, NGNs enable a
plethora of smart services and user-defined applications. Given the rise in
system complexity and the exponential increase in the amount of data
exchanged through networks, new state-of-the-art NGN management solutions
are needed. By adapting cooperative and distributed management solutions,
more reliable and efficient services and applications are conveyed to the
end-users. Moreover, with distributed learning solutions, NGN's could be
optimized to support the dynamic nature in network configuration and enable
end-to-end system automation. For instance, the integration of Federated
Learning (FL), Deep Reinforcement Learning (DRL), and Blockchain to NGNs
can support scalable, secure and diversified services and applications.
Furthermore, through data plane programmability, network intelligence could
be implemented directly on programmable devices with the network core. An
intelligent forwarding plane would enable a faster reaction to network
events without depending on a time-consuming exchange between the data and
control planes.
In this special issue, we welcome original research that approaches novel
and state-of-the-art future network and system management solutions that
will ensure reliable, secure, efficient and autonomous services and
applications. Researchers, practitioners, developers, and industry experts
are invited to contribute to one of the scopes of the special issue,
including, but not limited to, the following:

- Intelligent service orchestration and management.
- Secure application and service provisioning in next-generation
networks.
- Smart management architectures for next-generation routing and
switching.
- Intelligent network and service virtualization.
- Intelligent network slicing.
- Distributed intelligence for next-generation network orchestration and
management.
- Distributed and federated learning on edge devices to support NGN
management.
- Blockchain solutions to support service delivery in NGN.
- Secure and trustworthy operations and management for next-generation
networks.
- Big and real-time data management and analytics for network operations.
- Federated Learning-aided next-generation multiple access.
- Architectures for next-generation routing and switching.
- FL-aided next generation circuit and packet switching.
- Emerging services and applications management for connected vehicles
technologies.
- Applications and services using UAVs to support autonomous vehicles in
B5G networks.

*Submission Deadline:*

- Submission deadline: *September 30, 2021*
- First-round notification: November 15, 2021
- Second round due: December 15, 2021
- Final notification: January 15, 2022
- Publication Date: May 2022

*Guest Editors:*

- Moayad Aloqaily, Qatar University, Doha, Qatar.
- Hichem Sedjelmaci, Orange Labs, Châtillon, France.
- Weverton Cordeiro, INF/UFRGS, Porto Alegre, Brazil.
- Lewis Tseng, Boston College, USA.
- Qian Zhang, Hong Kong University of Science and Technology, China.

*Best Regards*
*Moayad Aloqaily, Ph.D., P.Eng.*
*http://icnetlab.org/MA/ <http://icnetlab.org/MA/>*

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

[DMANET] [Deadline Approaching: Sep. 1][10+ Journal Special Issues] CFP IEEE DependSys 2021: The 7th IEEE International Conference on Dependability in Sensor, Cloud, and Big Data Systems and Applications

CFP IEEE DependSys 2021
The 7th IEEE International Conference on Dependability in Sensor, Cloud,
and Big Data Systems and Applications
Dec. 17-19, Haikou, China
[Submission Deadline: Sep. 1][10+ Journal Special Issues]

http://www.ieee-cybermatics.org/2021/dependsys/

IEEE DependSys 2021 conference is the 7th event in the series of
conferences which offers a timely venue for bringing together new ideas,
techniques, and solutions for dependability and its issues in sensor,
cloud, and big data systems and applications. As we are deep into the
Information Age, huge amounts of data are generated every day from sensors,
individual archives, social networks, Internet of Things, enterprises and
Internet in various scales and format which will pose a major challenge to
the dependability of our designed systems. As these systems often tend to
become inert, fragile, and vulnerable after a period of running.
Effectively improving the dependability of sensor, cloud, big data systems
and applications has become increasingly critical.

This conference provides a forum for individuals, academics, practitioners,
and organizations who are developing or procuring sophisticated computer
systems on whose dependability of services they need to place great
confidence. Future systems need to close the dependability gap in face of
challenges in different circumstances. The emphasis will be on differing
properties of such services, e.g., continuity, effective performance,
real-time responsiveness, ability to overcome data fault, corruption,
anomaly, ability to avoid catastrophic failures, prevention of deliberate
privacy intrusions, reliability, availability, sustainability,
adaptability, heterogeneity, security, safety, and so on.

=============================================================================
IEEE DependSys 2021 is sponsored by IEEE, IEEE Computer Society, and IEEE
Technical Committee on Scalable Computing (TCSC). All accepted papers will
be submitted to IEEE Xplore and Engineering Index (EI). Best Paper Awards
will be presented to high quality papers. Distinguished papers, after
further revisions, will be published in 10+ SCI & EI indexed prestigious
journals (confirmed).
1. IEEE Transactions on Intelligent Transportation Systems
SI on Graph-based Machine Learning for Intelligent Transportation Systems
https://ad051eeb-2ac9-4983-9271-c88f64105e50.filesusr.com/ugd/eaf218_db671bf4e4eb4a41ac1cf6da14a77750.pdf
2. IEEE Transactions on Intelligent Transportation Systems
SI on Data Science for Cooperative Intelligent Transportation Systems
https://ad051eeb-2ac9-4983-9271-c88f64105e50.filesusr.com/ugd/eaf218_de7a6f420a2b4c6d894e4de63e495624.pdf
3. IEEE Transactions on Network Science and Engineering
SI on The Nexus Between Edge Computing and AI for 6G Networks
https://www.comsoc.org/publications/journals/ieee-tnse/cfp/nexus-between-edge-computing-and-ai-6g-networks
3. IEEE/ACM Transactions on Computational Biology and Bioinformatics
SI: Deep Learning-Empowered Big Data Analytics in Biomedical Applications
and Digital Healthcare
https://www.computer.org/digital-library/journals/tb/call-for-papers-special-issue-on-deep-learning-empowered-big-data-analytics-in-biomedical-applications-and-digital-healthcare
5. Security and Communication Networks
SI on Protocols, Technologies, and Infrastructures for Secure Mobile Video
Communications
https://www.hindawi.com/journals/scn/si/926306/
6. MDPI Sensors
SI on Recent Advances in Algorithm and Distributed Computing for the
Internet of Things
https://www.mdpi.com/journal/sensors/special_issues/Algorithm_Distributed_Computing_IOT
7. International Journal of Distributed Sensor Networks
SI: Privacy-Preserving Solutions in the Internet of Things
https://journals.sagepub.com/page/dsn/collections/special-issues/privacy-preserving-solutions-in-the-internet-of-things
8. IET Communications
SI on Intelligent Metasurfaces for Smart Connectivity
https://digital-library.theiet.org/files/IET_COM_CFP_IMSC.pdf
9. Building and Environment
SI: AI and IoT Applications of Smart Buildings and Smart Environment
Design, Construction and Maintenance
https://www.journals.elsevier.com/building-and-environment/call-for-papers/ai-and-iot-applications-of-smart-buildings-and-smart-environment-design-construction-and-maintenance
10. Journal of Systems Architecture
SI: Cloud-Edge-End Architecture for Internet of Things Applications
https://www.journals.elsevier.com/journal-of-systems-architecture/call-for-papers/special-issue-on-cloud-edge-end-architecture-for-internet-of-things-applications-vsi-cloud-edge-end-iot
11. Information
SI: "Crossing "Data, Information, Knowledge, and Wisdom" Models—Challenges,
Solutions, and Recommendations"
https://www.mdpi.com/journal/information/special_issues/DIKW_RA_2021

* More special issues will be added later.

==================
Important Dates
==================
Workshop Proposal Due: 1 August, 2021
Paper Submission Deadline: 1 September, 2021
Authors Notification: 1 October, 2021
Final Manuscript Due: 1 November, 2021
Conference Date: 17-19 December, 2021

==================
Topics of interest include, but are not limited to
==================
Track 1: Dependability and Security Fundamentals and Technologies
- Concepts, theory, principles, standardization and modelling, and
methodologies
- Dependability of sensor, wireless, and Ad-hoc networks, software defined
networks
- Dependability issues in cloud/fog/edge
- Security and privacy
- Security/privacy in cloud/fog/edge
- Homomorphic encryption, differential privacy
- Blockchain security
- Artificial intelligence
- Big data foundation and management
- Dependable IoT supporting technologies

Track 2: Dependable and Secure Systems
- Dependable sensor systems
- Dependability and availability issues in distributed systems
- Cyber-physical systems (e.g. automotive, aerospace, healthcare, smart
grid systems)
- Database and transaction processing systems
- Safety and security in distributed computing systems
- Self-healing, self-protecting, and fault-tolerant systems
- Dependability in automotive systems
- Dependable integration
- Dependability in big data systems
- Software system security

Track 3: Dependable and Secure Applications
- Sensor and robot applications
- Big data applications
- Cloud/fog/edge applications
- Datacenter monitoring
- Safety care, medical care and services
- Aerospace, industrial, and transportation applications
- Energy, smart grid, IoT, CPS, smart city, and utility applications
- Decentralized applications, federated learning applications
- Mobile sensing applications, detection and tracking

Track 4: Dependability and Security Measures and Assessments
- Dependability metrics and measures for safety, trust, faith, amenity,
easiness, comfort, and worry
- Levels and relations, assessment criteria and authority
- Dependability measurement, modeling, evaluation, and tools
- Dependability evaluation
- Software and hardware reliability, verification and validation
- Evaluations and tools of anomaly detection and protection in sensor,
cloud, big data systems

==================
Paper Submission
==================
All papers need to be submitted electronically through the conference
submission website (https://edas.info/N28864) with PDF format. The
materials presented in the papers should not be published or under
submission elsewhere. Each paper is limited to 8 pages (or 10 pages with
over length charge) including figures and references using IEEE Computer
Society Proceedings Manuscripts style (two columns, single-spaced, 10
fonts). You can confirm the IEEE Computer Society Proceedings Author
Guidelines at the following web page: http://www.computer.org/web/cs-cps/

Manuscript Templates for Conference Proceedings can be found at:
https://www.ieee.org/conferences_events/conferences/publishing/templates.html

Once accepted, the paper will be included into the IEEE conference
proceedings published by IEEE Computer Society Press (indexed by EI). At
least one of the authors of any accepted paper is requested to register the
paper at the conference.

==================
Organizing Committee
==================
General Chairs
- Stephen S. Yau, Arizona State University, USA
- Zheng Yan, Xidian University, China and Aalto University, Finland
- Willy Susilo, University of Wollongong, Australia

Program Chairs
- Bin Song, Xidian University, China
- Mamoun Alazab, Charles Darwin University, Australia
- Jun Feng, Huazhong University of Science and Technology, China

Steering Committee
- Jie Wu, Temple University, USA (Chair)
- Md Zakirul Alam Bhuiyan, Fordham University, USA (Chair)
- Guojun Wang, Guangzhou University, China
- Vincenzo Piuri, University of Milan, Italy
- Jiannong Cao, Hong Kong Polytechnic University, Hong Kong
- Laurence T. Yang, St. Francis Xavier University, Canada
- Sy-Yen Kuo, National Taiwan University, Taiwan
- Yi Pan, Georgia State University, USA
- A. B. M Shawkat Ali, The University of Haikou, China, Haikou, China
- Mohammed Atiquzzaman, University of Oklahoma, USA
- Al-Sakib Khan Pathan, Southeast University, Bangladesh
- Kenli Li, Hunan University, China
- Shui Yu, University of Technology Sydney (UTS), Australia
- Yang Xiang, Swinburne University of Technology, Australia
- Kim-Kwang Raymond Choo, The University of Texas at San Antonio, USA
- Kamruzzaman Joarder, Federation University and Monash University,
Australia

--
Dr. Jun Feng
Huazhong University of Science and Technology
Mobile: +86-18827365073
WeChat: junfeng10001000
E-Mail: junfeng989@gmail.com

[DMANET] UCNC 2021 - CALL FOR PARTICIPATION/2nd 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 <https://ucnc2021.cs.aalto.fi>

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

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

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 (greater Helsinki area), Finland, on
October 18-22, 2021.

The conference will be a primarily on-site event, with opportunities for
real-life personal contacts, discussions and networking. We are closely
monitoring the status of the Covid-19 pandemic, and the meeting will be
organised according to the health and safety guidelines prescribed by
the Finnish authorities and Aalto University. More information is
available on the conference website
<https://ucnc2021.cs.aalto.fi/practical_information.shtml>.

Registration

Registration informationhttps://ucnc2021.cs.aalto.fi/registration.shtml
<https://ucnc2021.cs.aalto.fi/registration.shtml>

Early registration deadlineSeptember 26, 2021

Posters (2nd Call)

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 deadlineSeptember 19, 2021

Poster notificationSeptember 21, 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

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 co-located with the UCNC 2021
conference:

Programmable Matter
<http://www.self-assembly.net/UCNC2021-prog-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)

For participation in the workshops, please contact directly the
respective organisers.

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)

[DMANET] Special Issue " Parameterized Complexity and Algorithms"-Open Call

Dear Colleagues,

The journal Algorithms (ISSN 1999-4893,
http://www.mdpi.com/journal/algorithms) is currently running a Special
Issue entitled "Parameterized Complexity and Algorithms". As the guest
editors, we are delighted to invite you and your group to contribute a
*high-quality feature paper* (research or review) for peer review and
possible publication to this special issue. Please see the detailed
information at:

https://www.mdpi.com/journal/algorithms/special_issues/Parameterized_Complexity_Algorithms

Algorithms is a fully open access (since 2008) journal that is published
online monthly by MDPI. The journal is indexed by MathSciNet, EI, ESCI and
Scopus, we are on our way to achieve our goal--indexed by SCI. *The Article
Processing Charges (APC) for accepted papers are CHF 1400*. The author
instructions and submission link can be found at:

https://www.mdpi.com/journal/algorithms/instructions

https://susy.mdpi.com/user/manuscripts/upload

All submissions are peer-reviewed, and accepted papers will be published
online shortly. Authors can take advantage of the following benefits
including: Open access; no copyright constraints; rapid publication;
thorough peer-review; coverage by leading indexing services; no space
constraints; no extra space or color charges; low fees.

The submission deadline is 31 December 2021.

With kind regards,

Guest Editors

Dr. Yongjie Yang (Saarland University)

Dr. Yash Raj Shrestha (ETH Zurich)

Friday, August 27, 2021

[DMANET] INOC 2022 - First Call for Papers

---------------------------------------------------------
First Call for Papers

INTERNATIONAL NETWORK OPTIMIZATION CONFERENCE (INOC 2022)

Aachen, Germany-- 1-4 March 2022

https://sites.google.com/view/inoc2022/

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

The International Network Optimization Conference (INOC 2022) provides a
forum for researchers in the broad field of network optimization to
present and publish their latest results and ongoing research. INOC is
the conference of the European Network Optimization Group (ENOG), a
working group of EURO. The conference has been held biyearly since 2003,
the latest in Avignon (France) in 2019. INOC 2022 will be held in March
2022, most probably in a hybrid format, physically at RWTH Aachen
University (Aachen, Germany) and online for those who are unable to attend.

Topics of Interest
------------------

INOC solicits contributions in the broad field of Network Optimization,
from the areas of Mathematical Optimization, Operations Research, and
Graph Theory. Also application-oriented network optimization from areas
like Telecommunications, Routing, and Logistics are most welcome. Topics
include but are not restricted to:

Algorithmic Game Theory on Networks
Approximation Algorithms
Combinatorial Optimization
Connectivity Problems
Graph Algorithms
Graph Theory
Heuristics and Meta-heuristics
Mixed Integer Linear Programming
Mixed Integer Nonlinear Optimization
Multi-objective Optimization
Multicommodity Flows
Network Design
Network Flows
Network Interdiction
Network Optimization
Network Reliability
Path and Tree Problems
Robust Optimization
Routing Algorithms
Stochastic Networks
Supply Chain Network Optimization
Sustainable Mobility and Transportation
Telecommunication Networks
Transportation Networks
Vehicle Routing

Submission Guidelines
---------------------

INOC accepts both full papers to be published in the proceedings and
extended abstracts to be published at the conference only:

- Full papers describing original, not yet published or submitted work
can be up to 6 pages (with two columns) long.

- Extended abstracts describing recent results and ongoing research can
be up to 2 pages long.

All submission have to be formatted with the templates provided at the
submissions webpage. Contributions will be peer reviewed by the program
committee (see https://sites.google.com/view/inoc2022/ for the list of
committee members). The proceedings will be published at OpenProceedings.

After the conference, extended papers can be submitted to a special
issue of the journal Networks.

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

Submission deadline for full papers: October 1, 2021
Submission deadline for extended abstract: November 19, 2021
Notification of acceptance: December 17, 2021
Early registration deadline and final paper submission: January 17, 2022
Rosenmontag (Carnival): February 28, 2022
Welcome reception: March 1, 2022

Venue
-----

The conference will be held at RWTH Aachen University in Aachen,
Germany. For those that are not yet able to come to Aachen, online
participation will be offered.

Contact
-------

The conference is organized by the Discrete Optimization Group at RWTH
Aachen University, led by Christina Büsing and Arie Koster. All
questions about submissions should be emailed to
inoc2022@math2.rwth-aachen.de

--
Prof. Dr. Arie M.C.A. Koster
RWTH Aachen University
Lehrstuhl II für Mathematik
Pontdriesch 10-12, 2.0G, Raum 306
D-52062 Aachen
E: koster@math2.rwth-aachen.de
W: http://www.math2.rwth-aachen.de/~koster/
T: +49 (0)241 80-94995 (Secretary) -94524 (Direct)
F: +49 (0)241 80-92136

[DMANET] [Program Online and FREE Registration] 16th ACM/SIGEVO Workshop on Foundations of Genetic Algorithms (FOGA 2021)

Call For Participation

The FOGA2021 program is now online and conference registration is FREE for
ACM/SIGEVO members (and very affordable for everyone else). We look forward
to seeing you online in just over a week.

Date September 6-8, 2021
Venue FH Vorarlberg University of Applied Sciences, Dornbirn, Austria *[changed
to an online-only event]*
Conference website
https://www.fhv.at/foga2021

--
Pietro S. Oliveto
Senior Lecturer,
Head of the Algorithms Research Group
Department of Computer Science,
The University of Sheffield, Sheffield, UK.
*www.dcs.shef.ac.uk/people/P.Oliveto/rig/
<http://www.dcs.shef.ac.uk/people/P.Oliveto/rig/>*

**********************************************************
*
* 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] [ICSOC'21 - PhD Symposium] CFP (Extended Deadline)

Call for ICSOC PhD Symposium papers
The ICSOC Ph.D. Symposium 2021 is an international forum for Ph.D. students working in all areas related to the service-oriented computing. It is intended to bring together Ph.D. students working on foundations, techniques, tools, and applications of service-oriented computing, and provide them an opportunity to present and discuss their research to an audience of peers and senior faculty in a supportive environment, as well as to participate in a number of plenary sessions with service-oriented computing academics.
The goals of this Ph.D. Symposium are:

* To provide an opportunity to meet experts from different backgrounds working on topics related to service-oriented computing field
* To bring together Ph.D. students and established researchers in the field of service-oriented computing
* To provide fruitful feedback and advice to the selected Ph.D. students on their research project, and to stimulate the exchange of ideas, suggestions, and experiences among participants
* To provide the opportunity to discuss concerns about research, supervision, job market, and other career-related issues
We particularly encourage Ph.D. students who are still developing their research methodology or are somewhere in the middle of their research program to submit their preliminary results to this symposium. Topics are restricted to their doctoral work within the scope of the ICSOC conference. To be eligible for the Ph.D. Symposium, the candidate must be a current doctoral student within a recognized university. Ideally, the candidate should have at least 12 months work remaining before expected completion, and at least 12 months of work already performed. However, all Ph.D. students are eligible regardless of their doctoral stage.
Important Dates
Submission Deadline: August 30, 2021 September 6th, 2021 (Extended)
Author Notification: September 19 2021 September 27th, 2021
Camera Ready submission: October 4, 2021 October 10, 2021
Author registration due: October 30, 2021

All deadlines are in Anywhere on Earth time (AOE = GMT - 12). Check the time in the AOE Zone here: https://time.is/AOE
PC members

* Angelo Spognardi, Sapienza University of Rome, Rome, Italy
* Michela Fazzolari, IIT-CNR, Pisa, Italy
* Ilaria Matteucci, IIT-CNR, Pisa, Italy
* Manuel Pratelli, IMT Lucca School for Advanced Studies, Lucca, Italy
* Michele Starnini, ISI Foundation, Turin, Italy
* Francesco Pierri, Politecnico di Milano, Milan, Italy
* Vincenzo Ciancia, ISTI-CNR, Pisa, Italy
* Simone Raponi, College of Science and Engineering, Doha, Qatar
* Abderrahmane Maaradji, Universite de Paris, France
* Amin Beheshti, Macquarie University, Australia
* Helen Paik, University of New South Wales, Australia
* Fatma Outay, Zayed University, UAE
* Tetsuya Yoshida, Nara Women University, Japan
* Reda Bouadjenek, Deakin University, Australia
* Andrew Leonce, Zayed University, UAE
* Eleana Kafeza, Zayed University, UAE
* Ons shamaila, Zayed University, UAE
* Nadia Yacoubi, ISG, Tunisia.
* Ines Thabet, ESCN, Tunisia.
* Sami Yangui, INSA de Toulouse, France
* Mohamed Sellami, Telecom Paris, France
Paper submission
Submitted papers should give a clear description of the Ph.D. work. Papers must:

* Provide a clear problem statement
* Outline the research challenges that drive the proposed work
* Describe the proposed solution, its expected impact, the expected research plan, and preliminary results
* Discuss the progress beyond the state of the art of the envisioned research outcome compared to current literature and approaches (cite key papers)
Each paper must be formatted according to the Springer's LNCS<https://www.springer.com/gp/computer-science/lncs> Format and must be at most 6 pages in length (strictly enforced). Submissions must be single-authored, and the name of the supervisor(s) must be clearly marked as ("supervised by ...") under the Ph.D. author name. Papers must be submitted electronically, in PDF format, via the Ph.D. Symposium track in the ICSOC Submission System. Accepted papers presented at the Symposium will be included in the ICSOC 2020 post-conference proceedings of satellite events, to be published by Springer as part of the Service Science series. Each submission will be reviewed by three members of the Ph.D. Symposium Program Committee.
Submit your paper here<https://easychair.org/my/conference?conf=icsoc2021%23>
PhD Symposium Co-Chairs
Noura Faci, Claude Bernard Lyon 1 University, France
Honghao Gao, University of Shanghai, China
Fatma Outay, Zayed University, UAE

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

Thursday, August 26, 2021

[DMANET] SCSS 2021: call for participation

=========================
SCSS 2021
The 9th International Symposium on Symbolic Computation in Software Science
-- In the era of Computational and Artificial Intelligence --

September 8--10, 2021, virtual

Organized by RISC, Johannes Kepler University Linz, Austria
https://www.risc.jku.at/conferences/scss2021/
=========================

Conference program:
https://www.risc.jku.at/conferences/scss2021/program.html

Registration:
https://www.risc.jku.at/conferences/scss2021/registration.html

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

Overview
--------
Symbolic Computation is the science of computing with symbolic objects
(terms, formulae, programs, representations of algebraic objects, etc.).
Powerful algorithms have been developed during the past decades for the
major subareas of symbolic computation: computer algebra and
computational logic. These algorithms and methods are successfully
applied in various fields, including software science, which covers a
broad range of topics about software construction and analysis.

Meanwhile, artificial intelligence methods and machine learning
algorithms are widely used nowadays in various domains and, in
particular, combined with symbolic computation. Several approaches mix
artificial intelligence and symbolic methods and tools deployed over
large corpora to create what is known as cognitive systems. Cognitive
computing focuses on building systems that interact with humans
naturally by reasoning, aiming at learning at scale.

The purpose of SCSS 2021 is to promote research on theoretical and
practical aspects of symbolic computation in software science, combined
with modern artificial intelligence techniques.

Scope
------
SCSS 2021 solicits submissions on all aspects of symbolic computation
and their applications in software science, in combination with
artificial intelligence and cognitive computing techniques. The topics
of the symposium include, but are not limited to the following:

- automated reasoning, knowledge reasoning, common-sense reasoning and
reasoning in science
- algorithm (program) synthesis and/or verification, alignment and joint
processing of formal, semi-formal, and informal libraries.
- formal methods for the analysis of network and system security
- termination analysis and complexity analysis of algorithms (programs)
- extraction of specifications from algorithms (programs)
- theorem proving methods and techniques, collaboration between
automated and interactive theorem proving
- proof carrying code
- generation of inductive assertion for algorithm (programs)
- algorithm (program) transformations
- combinations of linguistic/learning-based and semantic/reasoning methods
- formalization and computerization of knowledge (maths, medicine,
economy, etc.)
- methods for large-scale computer understanding of mathematics and science
- artificial intelligence, machine learning and big-data methods in
theorem proving and mathematics
- formal verification of artificial intelligence and machine learning
algorithms, explainable artificial intelligence, symbolic artificial
intelligence
- cognitive computing, cognitive vision, perception systems and
artificial reasoners for robotics
- component-based programming
- computational origami
- query languages (in particular for XML documents)
- semantic web and cloud computing

Keynote speaker
---------------
Bruno Buchberger (RISC, Johannes Kepler University Linz, Austria)

Invited Speakers
------
Tateaki Sasaki (University of Tsukuba, Japan)
Martina Seidl (Johannes Kepler University Linz, Austria)
Stephen M. Watt (University of Waterloo, Canada)

General Chairs
-----
Adel Bouhoula (Arabian Gulf University, Bahrain)
Tetsuo Ida (University of Tsukuba, Japan)

Program Chair
-----
Temur Kutsia (Johannes Kepler University, Austria)

Program Committee
---------
David Cerna (Czech Academy of Sciences, Czech Republic,
and Johannes Kepler University Linz, Austria)
Changbo Chen (Chinese Academy of Sciences, China)
Rachid Echahed (CNRS, Grenoble, France)
Seyed Hossein Haeri (UC Louvain, Belgium)
Mohamed-Bécha Kaâniche (Sup'Com, Carthage University, Tunisia)
Cezary Kaliszyk (University of Innsbruck, Austria)
Yukiyoshi Kameyama (University of Tsukuba, Japan)
Michael Kohlhase (University of Erlangen-Nuremberg, Germany)
Laura Kovacs (Vienna University of Technology, Austria)
Temur Kutsia (Johannes Kepler University Linz, Austria) (Chair)
Zied Lachiri (ENIT, University of Tunis El Manar, Tunisia)
Christopher Lynch (Clarkson University, USA)
Mircea Marin (West University of Timisoara, Romania)
Yasuhiko Minamide (Tokyo Institute of Technology, Japan)
Yoshihiro Mizoguchi (Kyushu University, Japan)
Julien Narboux (Strasbourg University, France)
Michaël Rusinowitch (INRIA, France)
Wolfgang Schreiner (Johannes Kepler University Linz, Austria)
Sofiane Tahar (Concordia University, Canada)
Dongming Wang (CNRS, Paris, France)

Publication
-----------
The proceedings of SCSS 2021 will be published in the Electronic
Proceedings in Theoretical Computer Science (EPTCS).

A special issue of Annals of Mathematics and Artificial Intelligence
(AMAI) will be organized after the symposium. Submitted full-length
papers will be refereed according to the usual standards of the journal.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] CFP: IEEE DependSys/SmartCity-2021, Dec. 17-19, Haikou, China [Submission Deadline: Sep. 1][10+ Special Issues]

IEEE DependSys 2021: The 7th IEEE International Conference on Dependability
in Sensor, Cloud, and Big Data Systems and Applications
http://www.ieee-cybermatics.org/2021/dependsys/

IEEE SmartCity 2021: The 19th IEEE International Conference on Smart City
http://www.ieee-cybermatics.org/2021/smartcity/

The IEEE DependSys/SmartCity 2021 Conferences will be held at Haikou,
China, December 17-19, 2021. We will be pretty happy to see all authors
manage to attend DependSys/SmartCity-2021. However, given the COVID-19
pandemic and associated travel restrictions, as the safety of people is of
the highest priority, we know that special circumstances are best handled
by having flexible options, and thus we are offering the option of either
physical presence or virtual participation. Please consider to contribute
and submit your original research papers to DependSys/SmartCity-2021.

=============================================================================
IEEE DependSys/SmartCity 2021 are sponsored by IEEE, IEEE Computer Society,
and IEEE Technical Committee on Scalable Computing (TCSC). All accepted
papers will be submitted to IEEE Xplore and Engineering Index (EI). Best
Paper Awards will be presented to high quality papers. Distinguished
papers, after further revisions, will be published in 10+ SCI & EI indexed
prestigious journals (confirmed).
1. IEEE Transactions on Intelligent Transportation Systems
SI on Graph-based Machine Learning for Intelligent Transportation Systems
https://ad051eeb-2ac9-4983-9271-c88f64105e50.filesusr.com/ugd/eaf218_db671bf4e4eb4a41ac1cf6da14a77750.pdf
2. IEEE Transactions on Intelligent Transportation Systems
SI on Data Science for Cooperative Intelligent Transportation Systems
https://ad051eeb-2ac9-4983-9271-c88f64105e50.filesusr.com/ugd/eaf218_de7a6f420a2b4c6d894e4de63e495624.pdf
3. IEEE Transactions on Network Science and Engineering
SI on The Nexus Between Edge Computing and AI for 6G Networks
https://www.comsoc.org/publications/journals/ieee-tnse/cfp/nexus-between-edge-computing-and-ai-6g-networks
3. IEEE/ACM Transactions on Computational Biology and Bioinformatics
SI: Deep Learning-Empowered Big Data Analytics in Biomedical Applications
and Digital Healthcare
https://www.computer.org/digital-library/journals/tb/call-for-papers-special-issue-on-deep-learning-empowered-big-data-analytics-in-biomedical-applications-and-digital-healthcare
5. Security and Communication Networks
SI on Protocols, Technologies, and Infrastructures for Secure Mobile Video
Communications
https://www.hindawi.com/journals/scn/si/926306/
6. MDPI Sensors
SI on Recent Advances in Algorithm and Distributed Computing for the
Internet of Things
https://www.mdpi.com/journal/sensors/special_issues/Algorithm_Distributed_Computing_IOT
7. International Journal of Distributed Sensor Networks
SI: Privacy-Preserving Solutions in the Internet of Things
https://journals.sagepub.com/page/dsn/collections/special-issues/privacy-preserving-solutions-in-the-internet-of-things
8. IET Communications
SI on Intelligent Metasurfaces for Smart Connectivity
https://digital-library.theiet.org/files/IET_COM_CFP_IMSC.pdf
9. Building and Environment
SI: AI and IoT Applications of Smart Buildings and Smart Environment
Design, Construction and Maintenance
https://www.journals.elsevier.com/building-and-environment/call-for-papers/ai-and-iot-applications-of-smart-buildings-and-smart-environment-design-construction-and-maintenance
10. Journal of Systems Architecture
SI: Cloud-Edge-End Architecture for Internet of Things Applications
https://www.journals.elsevier.com/journal-of-systems-architecture/call-for-papers/special-issue-on-cloud-edge-end-architecture-for-internet-of-things-applications-vsi-cloud-edge-end-iot
11. Information
SI: "Crossing "Data, Information, Knowledge, and Wisdom" Models—Challenges,
Solutions, and Recommendations"
https://www.mdpi.com/journal/information/special_issues/DIKW_RA_2021

* More special issues will be added later.
http://www.ieee-cybermatics.org/2021/dependsys/special.html

==================
Important Dates
==================
Paper Submission Deadline: 1 September, 2021
Authors Notification: 1 October, 2021
Final Manuscript Due: 1 November, 2021
Conference Date: 17-19 December, 2021

==================
Paper Submission
==================
All papers need to be submitted electronically through the conference
submission website (http://www.ieee-cybermatics.org/2021/dependsys/) with
PDF format. The materials presented in the papers should not be published
or under submission elsewhere. Each paper is limited to 8 pages (or 10
pages with over length charge) including figures and references using IEEE
Computer Society Proceedings Manuscripts style (two columns, single-spaced,
10 fonts). You can confirm the IEEE Computer Society Proceedings Author
Guidelines at the following web page: http://www.computer.org/web/cs-cps/

Manuscript Templates for Conference Proceedings can be found at:
https://www.ieee.org/conferences_events/conferences/publishing/templates.html

--
Dr. Jun Feng
Huazhong University of Science and Technology
Mobile: +86-18827365073
WeChat: junfeng10001000
E-Mail: junfeng989@gmail.com

[DMANET] [Job offer] Open-rank positions in mathematics at Duke Kunshan University (China)

Dear colleagues,

My university, DKU (Duke Kunshan University), has several Faculty Positions (rank open) in Mathematics opening now.

DKU is an English -teaching, liberal-art university in Kunshan, Jiangsu, China.
The university is very close to Shanghai and Suzhou, two of the largest cities of China.
No Chinese language skills arerequired.
Please see the link for details.
https://www.mathjobs.org/jobs/list/18043

I am happy to answer any questions.

Best,
Xing Shi Cai

--
Sent with Tutanota, the secure & ad-free mailbox.

**********************************************************
*
* 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] COIN-OR Cup: call for nominations

CALL FOR NOMINATIONS: 17th annual "COIN-OR Cup" competition sponsored
by the COIN-OR Foundation.

The COIN-OR Cup recognizes and celebrates the best contributions to
open source operations research software development and use
associated with the COIN-OR software collection. To remind you,
COIN-OR stands for "COmputational INfrastructure for OPerations
Research". It is the definitive collection of free open source
operations research software that lets you concentrate on your
research instead of re-implementing software. See
https://www.coin-or.org. Get on board!

GUIDELINES FOR COIN-OR CUP SUBMISSIONS:

A submission or nomination must contain:
1. A synopsis of an effective use of COIN-OR or valuable contribution
to COIN-OR (or both!), including an explanation of its significance.
Maximum 3 pages (pdf format).
2. Copies of relevant papers or documents (pdf format).
We especially encourage nominations describing effective use of
COIN-OR that the community may not know about.
Self-nominations are welcome and encouraged.

Submission deadline: Friday, October 3, 2021.

Please e-mail your submissions to coin-cup@coin-or.org in a single
zipped archive, containing a description of your submission and copies
of all relevant papers/documents in pdf format.

The winner is normally announced and celebrated during the INFORMS
annual meeting. Due to travel uncertainty, the winner may instead
be announced online at the COIN-OR general meeting; details for the
announcement and celebration will be revealed when available.
**********************************************************
*
* 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 Formal Methods for Learned Systems at TU Delft, the Netherlands

PhD Position in Formal Methods for Learned Systems.
Challenge: Monitoring of human-in-the-loop learned systems.
Change: Synergy between formal methods and learning.
Impact: Reliable deployment of AI in the real world.

Job description

We have a PhD opening in the intersection of formal methods and machine learning supervised by Dr. Anna Lukina. We believe in the hidden potential of the synergies between these fields. You will conduct both theoretical and empirical research on monitoring learned systems. You can choose to primarily focus on one of the aspects or their intersection. We envision the project to have both significant scientific and practical impact, across areas that use learning for automation.

You will be part of the Algorithmics Group in the Department of Software Technology of the Faculty of Electrical Engineering, Mathematics and Computer Science. In addition, you will have an opportunity to collaborate with the Interactive Intelligence Group internationally recognized for their research on socially interactive agents.

Requirements

Successful candidates are expected to have a Master's degree in computer science, information/computer/software engineering, mathematics or closely related studies, firm mathematical foundations in control/formal methods/optimization and preferably prior experience with deep learning and statistical analysis, as well as strong programming skills.

Conditions of employment

TU Delft offers PhD-candidates a 4-year employment contract, with an official go/no go progress assessment after one year. Salary and benefits are in accordance with the Collective Labour Agreement for Dutch Universities, increasing from € 2395 per month in the first year to € 3061 in the fourth year. As a PhD candidate you will be enrolled in the TU Delft Graduate School.

For more information about this vacancy, please contact Dr. Anna Lukina, email: a.lukina@tudelft.nl<mailto:a.lukina@tudelft.nl>.

For information about the application procedure, please contact Sophie den Hartog, Secretary of the Algorithmics Group, s.c.denhartog@tudelft.nl<mailto:s.c.denhartog@tudelft.nl>.

Please apply before September 17, 2021 via https://www.tudelft.nl/over-tu-delft/werken-bij-tu-delft/vacatures/details?jobId=3690&jobTitle=PhD%20Position%20in%20Formal%20Methods%20for%20Learned%20Systems.
**********************************************************
*
* 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] FCT 2021 - Call for Participation

======================== FCT 2021 ========================
Call for Participation

23rd International Symposium on Fundamentals of Computation Theory
September 12-15, 2021
Athens, Greece (virtually)

https://www.corelab.ntua.gr/fct2021

==========================================================
The Symposium on Fundamentals of Computation Theory (FCT) was established in 1977 as a forum for researchers interested in all aspects of theoretical computer science, and in particular algorithms, complexity, formal and logical methods. FCT is a biennial series of conferences, previously held in Poland, Germany, Hungary, Sweden, Russia, Romania, Latvia, Norway, United Kingdom, France, and Denmark. The last five Symposia were held in Oslo (2011), Liverpool (2013), Gdansk (2015), Bordeaux (2017), and Copenhagen (2019).

FCT 2021 will be held completely online, via the Zoom platform, due to the COVID-19 pandemic. It will be hosted by the National Technical University of Athens.

============================================================
PLENARY TALKS
============================================================
- Constantinos Daskalakis, Massachusetts Institute of Technology
- Daniel Marx, Max Planck Institute for Informatics
- Claire Mathieu, CNRS and University of Paris
- Nobuko Yoshida, Imperial College London

============================================================
PROGRAM
============================================================
The main program comprises 4 plenary and 30 contributed talks, taking place between 12:00 and 19:00 Athens time (UTC+3), on September 13, 14 and 15. Apart from the main program there will also be a Tutorial and a Young Researchers' Forum on September 12. The program can be accessed through the FCT website or via this link:
https://www.corelab.ntua.gr/fct2021/program.html

============================================================
TUTORIAL
============================================================
A tutorial will be given on Sunday, September 12, 14:00-16:30 Athens time (UTC+3), by David Richerby, University of Essex, on the Complexity of Counting Problems.

============================================================
YOUNG RESEARCHERS' FORUM
============================================================
The Young Researchers' Forum aims to serve as an informal meeting for young researchers to present their work to a wider audience and receive feedback from peers and senior scientists. It will take place on Sunday, September 12, 17:00-18:30 Athens time (UTC+3). Presentations will be short and will be selected through a light, abstract-based reviewing process. Abstracts of selected presentations will appear on the conference's website. Young researchers interested in presenting recent or ongoing work in the Forum should send a title and abstract to fct2021_at_corelab_dot_ntua_dot_gr by September 9.

============================================================
REGISTRATION
============================================================
The registration fee for authors presenting regular papers is 80 Euros until September 5, and 100 Euros from September 6 to September 12. For all other participants the registration is free of charge until September 5, and 20 Euros from September 6 to September 12. Registration is necessary in order to receive the Zoom link and be able to attend the talks. Registration link: https://www.corelab.ntua.gr/fct2021/registration.html

============================================================
Please feel free to forward this announcement to other relevant mailing lists, and do not hesitate to contact us if you have any questions at fct2021_at_corelab_dot_ntua_dot_gr.

We look forward to seeing you all virtually in FCT 2021!

[DMANET] CP 2021 - CALL FOR ABSTRACTS - PTHG-21: The Fifth Workshop on Progress Towards the Holy Grail

PTHG-21: The Fifth Workshop on Progress Towards the Holy Grail - October 25th, 2021, at CP2021 <https://cp2021.a4cp.org/index.html>

New:

Announcing the PTHG-21 Constraint Acquisition Challenge. Further information is available here <https://doi.org/10.5281/zenodo.5155465>.

Please consider participating!

This Workshop is one of a series <https://freuder.wordpress.com/progress-towards-the-holy-grail-workshops/>.

Note: CP2021 and its workshops are virtual, with free registration.

Description:

In 1996 the paper "In Pursuit of the Holy Grail <https://dl.acm.org/doi/fullHtml/10.1145/242224.242304>" (also here <https://link.springer.com/content/pdf/10.1023/A:1009749006768.pdf>) proposed that Constraint Programming was well-positioned to pursue the Holy Grail of computer science: the user simply states the problem and the computer solves it. It was followed about a decade later by "Holy Grail Redux <http://www.i3s.unice.fr/~regin/Cpl/Papers/v1/freuder.pdf>", and then about a decade after that by "Progress Towards the Holy Grail <https://link.springer.com/article/10.1007/s10601-017-9275-0>". This series of workshops <https://freuder.wordpress.com/progress-towards-the-holy-grail-workshops/> aims to encourage and disseminate progress towards that goal, in particular regarding work on automating:

Acquisition: user-interaction, learning, debugging, maintaining, etc.
Reformulation: transformation for efficient solution, redundant models, etc.
Solving: adaptive parameter tuning, automated selection from portfolios, learning heuristics, deep learning, etc.
Explanation: reasons for failure, implications for choices, etc.
Of particular interest is the intersection of the Holy Grail goal with the increasing attention being paid to machine learning, explainable AI, and human-centric AI.

Organizing Committee:

Chair: Eugene Freuder, University College Cork, Ireland, eugene.freuder@insight-centre.org <mailto:eugene.freuder@insight-centre.org>

Christian Bessiere, University of Montpellier, France

Tias Guns, KU Leuven, Belgium

Lars Kotthoff, University of Wyoming, USA

Ian Miguel, University of St Andrews, Scotland

Michela Milano, University of Bologna, Italy

Helmut Simonis, University College Cork, Ireland

Submissions:

Submissions may be of any length, and in any format. They may be abstracts, position papers, technical papers, or demos. They may review your own previous work or survey a topic area. They may present new research or suggest directions for further progress. They may propose research roadmaps, demonstration domains, or collaborative projects. They may be proposals for measuring progress, and, in particular, for data sets or competitions to stimulate and compare progress.

Previously Published Track. Authors are encouraged to submit to this track pointers to relevant papers that they have published elsewhere since the date of the last workshop, PTHG-20, September 7, 2020. The objective is to further the Workshop goal of disseminating progress in this area.

Submissions should be emailed, in PDF form, with subject line "PTHG-21 Submission", directly to the Workshop chair, at: eugene.freuder@insight-centre.org <mailto:eugene.freuder@insight-centre.org>.

Submissions to the Previously Published Track should be in the form of a PDF that clearly identifies it as a submission to the Previously Published Track, contains bibliographic information on the previous publication, and provides a URL pointing to the paper (if possible without violating copyright, to a full version of the paper).

Authors may make multiple submissions if they wish. All submissions that appropriately address the topic of the workshop will be accepted as is, without further revision, and will be made available at the workshop website.

The deadline for submissions is September 15, 2021. Decisions on acceptance will be sent by September 20, 2021.

Authors of accepted submissions will be expected to upload a video presentation of the requested length by September 30, 2021; otherwise the submission will be withdrawn from the program and proceedings (if any). The conference will host these videos. Details of the upload process will become available.

Website: PTHG-21: The Fifth Workshop on Progress Towards the Holy Grail <https://freuder.wordpress.com/pthg-21-the-fifth-workshop-on-progress-towards-the-holy-grail/>
**********************************************************
*
* 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 Lightning Talks on Constraint Modelling and Reformulation (Deadline Extended - Modref 2021)

CALL FOR LIGHTNING TALKS (SLIGHT EXTENSION)

ModRef 2021<https://modref.github.io/ModRef2021.html> is the 20th in a series of workshops on Constraint Modelling and Reformulation. It takes place virtually on October 25, preceding CP2021, the 27th International Conference on Principles and Practice of Constraint Programming.

The main aim of the workshop is to identify recent trends in constraint modelling, including (but not limited to) innovative modelling techniques, reformulation and preprocessing techniques, and understanding search.

The Call

This year, ModRef will host a round-table discussion to identify exciting directions for future improvements in modelling, and model transformation. As a lead-in to this, we will be holding a series of 2-3 minute lightning talks, with the theme What really bugs me about modelling is....

Do you have some favourite problem, that is just really awkward to model? Or a really nice formulation, that somehow becomes garbage by the time it reaches a solver? Some way you really want to use solvers, and they just won't let you? Come along, and vent your spleen! And together, maybe we'll come up with some neat ideas.

Please submit your lightning talk ideas through EasyChair<https://easychair.org/conferences/?conf=modref2021> by submitting a PDF with a few sentences describing the main idea of your talk. The (extended) deadline is September 2.

Half of the workshop is dedicated to the collaborative exercise to identify challenges for the next five years of modelling, with the goal of producing a jointly-written white/research paper to guide future research. The lightning talks play a key role here. The other half of the workshop will have a more conventional format with paper presentations (deadline for submission passed) and invited talks by Professor Torsten Schaub (University of Potsdam) on Answer Set Programming (ASP) and Dr Bart Bogaerts (Vrije Universiteit Brussel, Belgium) on Predicate Logic as a Modelling Language: The IDP System.

Important Dates:

Lightning talk submissions: September 2nd, 2021 (extended)

Notification of acceptance/rejection: September 13th, 2021

Workshop day: October 25th, 2021

For questions about the workshop, please contact the chairs Dr Emir Demirović (TU Delft, The Netherlands) and Dr Graeme Gange (Monash University, Australia): modref2021@tudelft.nl<mailto:modref2021@tudelft.nl>

Best,

Emir

Dr Emir Demirovic

Assistant Professor

Algorithmics group<https://www.tudelft.nl/ewi/over-de-faculteit/afdelingen/software-technology/algorithmics/>, TU Delft

emirdemirovic.com<http://www.emirdemirovic.com>

Wednesday, August 25, 2021

[DMANET] [Job offer] Optimisation project lead and optimization consultant

Hi everyone,

FICO currently has 2 openings for operations research specialists.

You will be part of a fast-growing team working on a wide variety of projects across predictive modelling, optimization, and big data using the latest tools and techniques, in particular FICO Xpress Optimization<https://www.fico.com/en/products/fico-xpress-optimization> and FICO Xpress Insight<https://www.fico.com/en/products/fico-xpress-insight>.
The team is responsible for the delivery of all analytic offerings to clients within Europe, Middle East, and Africa (EMEA).
The location is flexible within Europe.

To learn more about the positions and to apply:

* Optimization project lead: https://fico.wd1.myworkdayjobs.com/en-US/External/job/ES-Madrid/Optimization-Project-Lead_25223-1
* Optimization consultant: https://fico.wd1.myworkdayjobs.com/en-US/External/job/ES-Madrid/Optimization-Consultant---EMEA_25488

While working at FICO you will benefit from the following:

* Flexible working practices, a lucrative base salary and bonus package, enhanced family leave policies (private medical insurance for you and your immediate family, private dental, life assurance plan, employee stock purchase plan, eye care assistance and group business travel insurance).
* A culture and work environment strongly reflecting our core values: Act Like an Owner, Delight Our Customers and Earn the Respect of Others.
* The opportunity to make a difference by leveraging your unique strengths.
* Opportunities to give back to your community, social events with colleagues.

Kind regards,

Sylvain Mouret * Director, Analytic Consulting, EMEA * FICO
Fair Isaac Europe Ltd., 52 rue de la Victoire, 75009, Paris, France
www.fico.com<http://www.fico.com/>

[cid:image001.png@01D799F8.0516FA10]<http://www.fico.com/>

This email and any files transmitted with it are confidential, proprietary and intended solely for the individual or entity to whom they are addressed. If you have received this email in error please delete it immediately.

**********************************************************
*
* 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] Thesis in Graph neural networks

# Graph decimation for Deep Graph Neural Networks
**A PhD grant at the GREYC Laboratory (Caen, France)**

**keywords :** Deep learning, Pooling, Graph Decimation, Graph Neural
Networks.

## Context

Most of the objects of interest of our today's life are based on
discrete objects with sequential (strings) or more complex (graph)
relationships. We can evoke the relationships between people in social
graphs, the bounds between atoms in a molecule or the topographic
distance between speed sensors in traffic analysis, to name a few. The
prediction of the properties of such objects falls in the scope of
structural pattern recognition. For decades, this research field has
been limited by costly (e.g. based on sub-graph isomorphism) or poorly
efficient metrics usually combined with limited machine learning
algorithms (mainly k-nearest neighbors algorithm). A first important
breakthrough has been achieved by the introduction of structural kernels
dedicated to strings or graph. In addition to provide efficient metrics
on these discrete objects, the latter are gateway towards many machine
learning methods. Hence, they reduce the gap between structural and
statistical pattern recognition techniques. A second breakthrough in
this field has been provided by the introduction of Graph Neural
Networks (GNNs). As graph kernels, these networks provide a strong
connection between graphs and machine leaning techniques. Moreover, as
other deep learning techniques, GNNs avoid handcrafting the design of a
similarity measure between graphs. GNNs are based on two operations,
namely, Graph convolution and Graph decimation/pooling. However, these
two operations still suffer from severe drawbacks. First, the expressive
power of Graph convolution operations is limited in the spectral domain
and usually corresponds to a low-pass filter. Secondly, the graph
decimation operation is usually performed by existing graph clustering
algorithms, while the equivalent operation in image neural networks
corresponds to a sub-sampling, which offers guarantees in terms of
decimation ratio and connectedness of the merged entities.

This PhD will focus on this last problem in close collaboration with
other partners investigating the graph convolution framework.

## Thesis topic

In the following we distinguish two different concepts: Graph
decimation, which consists in reducing the size of a graph by grouping
connected sets of vertices, and Graph pooling, which consists in summing
up a connected graph by a numerical value or vector.

The PhD will be roughly decomposed into three steps:

1. Graph decimation: The PhD student will first have to study Graph
    decimation techniques developed by our team in order to transpose
    them to a GPU implementation and the deep learning framework. These
    decimation scheme should insure :

1. A fixed decimation rate (ration between the sizes of two
successive graphs),

2. A bounded (small) radius of the subgraphs grouped into one
vertex by the decimation scheme.

2. Graph Spectral properties: The PhD student will have to study the
    literature related to decimation schemes preserving the spectral
    properties of Graphs. He will then have to propose new algorithms
    combining the findings of the previous step with these techniques in
    order to insure the preservation of spectral properties additionally
    to the fixed decimation ratio and the bounded sizes of clusters
    (subgraphs).

3. Learning decimation : This last step is certainly one of the most
    important. Existing techniques which learn a decimation scheme
    provide almost complete graphs hence discarding the graph structure.
    The PhD student will have to understand them and to improve the
    structural properties of the output based on previous findings.

## Application.

The main application field of the PhD will be devoted to drug design in
close collaboration with an other laboratory specialized in this field.
More precisely, the targeted applications are Alzheimer's disease and
poly-pharmacology. Two complementary targets will be investigated for
this application: 1) to improve the drug prediction activity on the
datasets provided by our biological partner, 2) to group automatically
atoms in pharmacophores(groups of atoms known to have a biological
activity) through our decimation scheme. Let us note that our biological
partner has already identified a set of handcrafted rules allowing to
group atoms in pharmacophores. Our aim here will be to propose new atom
groups through our learned decimation scheme.

## Candidate Profile

Curious and autonomous, the candidate should have a master degree or a
diploma of Engineering in computer science or applied mathematics. A
solid background in machine learning and/or deep learning will be
appreciated. Additional skills in Graph theory or an interest in the
subject would also be a plus. Due to short delays, an European Visa or
an ability to get one quickly (e.g. thanks to your nationality) will be
also appreciated.

## Contact

Luc Brun: luc.brun\@unicaen.fr (PhD's supervisor)
Benoit Gaüzère: benoit.gauzere\@insa-rouen.fr (co supervisor)

## Information about the position
### Location:
Caen. This city is located in the north-west part of France (2h from
Paris by train).

### Salary
at least 1768 € without charges (corresponding to 1430€ charges
included). This salary should be increased in 2022.

### Limit date to postulate: October 2021

### Start of the PhD: October/November 2021.

[DMANET] TABLEAUX 2021 – Call for Participation. 6-9 September, 2021. Virtual and Birmingham, UK.

TABLEAUX 2021
The 30th International Conference on Automated Reasoning with Analytic
Tableaux and Related Methods
Online and Birmingham, UK, September 6-9, 2021
https://tableaux2021.org/

GENERAL INFORMATION
The 30th International Conference on Automated Reasoning with Analytic
Tableaux and Related Methods (TABLEAUX 2021) will be hosted by the
University of Birmingham, UK, 6-9 September 2021. It will primarily be
a virtual conference, due to ongoing conerns about COVID-19. However it
will be possible to attend the conference physically for those who are
able to travel to Birmingham and take advantage of a hybrid format.

TABLEAUX is the main international conference at which research on all
aspects -- theoretical foundations, implementation techniques, systems
development and applications -- of tableaux-based reasoning and related
methods is presented. The first TABLEAUX conference was held in
Lautenbach near Karlsruhe, Germany, in 1992. Since then it has been
organised on an annual basis (sometimes as a part of IJCAR).

TABLEAUX 2021 will be co-located with the 13th International Symposium
on Frontiers of Combining Systems (FroCoS 2021).

SCOPE OF CONFERENCE
Tableaux and other proof based methods offer convenient and flexible
tools for automated reasoning for both classical and non-classical
logics. Areas of application include verification of software and
computer systems, deductive databases, knowledge representation and its
required inference engines, teaching, and system diagnosis.

Topics of interest include but are not limited to:
* tableau methods for classical and non-classical logics (including
first-order, higher-order, modal, temporal, description, hybrid,
intuitionistic, linear, substructural, fuzzy, relevance and non-
monotonic logics) and their proof-theoretic foundations;
* sequent, natural deduction, labelled, nested and deep calculi for
classical and non-classical logics, as tools for proof search and proof
representation;
* related methods (SMT, model elimination, model checking,
connection methods, resolution, BDDs, translation approaches);
* flexible, easily extendable, light-weight methods for theorem
proving; novel types of calculi for theorem proving and verification in
classical and non-classical logics;
* systems, tools, implementations, empirical evaluations and
applications (provers, proof assistants, logical frameworks, model
checkers, etc.);
* implementation techniques (data structures, efficient algorithms,
performance measurement, extensibility, etc.);
* extensions of tableau procedures with conflict-driven learning;
* techniques for proof generation and compact (or humanly readable)
proof representation;
* theoretical and practical aspects of decision procedures;
* applications of automated deduction to mathematics, software
development, verification, deductive and temporal databases, knowledge
representation, ontologies, fault diagnosis or teaching.

We also welcome papers describing applications of tableau procedures to
real-world examples. Such papers should be tailored to the TABLEAUX
community and should focus on the role of reasoning and on logical
aspects of the solution.

INVITED SPEAKERS
TABLEAUX 2021 will host the following the invited speakers:

Michael Benedikt (joint with FroCoS) (University of Oxford, UK). The
Strange Career of Interpolation and Definability.
Orna Kupferman (Hebrew University, Israel). Rational Synthesis.
Revantha Ramanayake (University of Groningen, The Netherlands). The
Barter Trade in Structure and Cuts.
Greg Restall (University of Melbourne, Australia / University of St
Andrews, UK). Comparing Rules for Identity in Sequent Systems and
Natural Deduction.
Renate Schmidt (joint with FroCoS) (University of Manchester, UK).
Forgetting and Subontology Generation for the Medical Ontology SNOMED
CT.

PROGRAM
The program can be found here: https://tableaux2021.org/#program .

REGISTRATION
TABLEAUX and FroCoS will be entirely free-of-charge to attend, but
registration is mandatory to fully engage with the scientific program.
The registration form is here:

https://forms.gle/DRNBgeRKA4Qbcsws7

If you wish to attend physically, you should indicate it on the
registration form. Note that you are able to edit this response in case
of change of circumstances. More information about the conference
format will be updated here.

PROGRAM COMMITTEE
Bahareh Afshari (University of Amsterdam, Netherlands, and University
of Gothenburg, Sweden)
Carlos Areces (Universidad Nacional de Córdoba, Argentina)
Arnon Avron (Tel-Aviv University, Israel)
Nick Bezhanishvili (University of Amsterdam, Netherlands)
Patrick Blackburn (University of Roskilde, Denmark)
Serenella Cerrito (Université Paris-Saclay, Univ Evry, France)
Kaustuv Chaudhuri (Inria, France)
Liron Cohen (Ben-Gurion University, Israel)
Anupam Das (University of Birmingham, UK)
Stéphane Demri (CNRS, France)
Hans de Nivelle (Nazarbayev University, Kazakhstan)
Valeria de Paiva (Topos Institute Berkeley, USA)
Clare Dixon (University of Manchester, UK)
Christian Fermüller (TU Wien, Austria)
Didier Galmiche (Université de Lorraine, France)
Silvio Ghilardi (Università degli Studi di Milano, Italy)
Rajeev Goré (Australian National University, Australia)
Andrzej Indrzejczak (University of Łódź, Poland)
Hidenori Kurokawa (Kanazawa University, Japan)
Stepan Kuznetsov (Russian Academy of Sciences, Russia)
Björn Lellmann (SBA Research, Austria)
Stéphane Graham-Lengrand (SRI International, USA)
George Metcalfe (University of Bern, Switzerland)
Neil Murray (University At Albany, USA)
Cláudia Nalon (Universidade de Brasília, Brazil)
Sara Negri (University of Genoa, Italy)
Nicola Olivetti (Aix-Marseille University, France)
Eugenio Orlandelli (University of Bologna, Italy)
Jens Otten (University of Oslo, Norway)
Alessandra Palmigiano (Vrije Universiteit Amsterdam, Netherlands)
Dirk Pattinson (Australian National University, Australia)
Frank Pfenning (Carnegie Mellon University, USA)
Elaine Pimentel (Federal University of Rio Grande do Norte, Brazil)
Andrei Popescu (University of Sheffield, UK)
Gian Luca Pozzato (University of Turin, Italy)
Giselle Reis (Carnegie Mellon University, Qatar)
Reuben Rowe (Royal Holloway, UK)
José Espírito Santo (University of Minho, Portugal)
Lutz Straßburger (Inria, France)
Josef Urban (Czech Technical University in Prague, Czech Republic)

PC CHAIRS
Anupam Das (University of Birmingham, UK)
Sara Negri (University of Genoa, Italy)

Theory Announcements

Monday, August 30, 2021

[DMANET] postdoctoral fellowship

[DMANET] Postdoc in Algorithms and Complexity at IIT Gandhinagar

Sunday, August 29, 2021

[DMANET] CFP: IEEE Network-SI: Managing Next-Generation Networks for Intelligent Services and Applications - Due: 30 September

Saturday, August 28, 2021

[DMANET] [Deadline Approaching: Sep. 1][10+ Journal Special Issues] CFP IEEE DependSys 2021: The 7th IEEE International Conference on Dependability in Sensor, Cloud, and Big Data Systems and Applications

[DMANET] UCNC 2021 - CALL FOR PARTICIPATION/2nd CALL FOR POSTERS

[DMANET] Special Issue " Parameterized Complexity and Algorithms"-Open Call

Friday, August 27, 2021

[DMANET] INOC 2022 - First Call for Papers

[DMANET] [Program Online and FREE Registration] 16th ACM/SIGEVO Workshop on Foundations of Genetic Algorithms (FOGA 2021)

[DMANET] [ICSOC'21 - PhD Symposium] CFP (Extended Deadline)

Thursday, August 26, 2021

[DMANET] SCSS 2021: call for participation

[DMANET] CFP: IEEE DependSys/SmartCity-2021, Dec. 17-19, Haikou, China [Submission Deadline: Sep. 1][10+ Special Issues]

[DMANET] [Job offer] Open-rank positions in mathematics at Duke Kunshan University (China)

[DMANET] COIN-OR Cup: call for nominations

[DMANET] PhD Position in Formal Methods for Learned Systems at TU Delft, the Netherlands

[DMANET] FCT 2021 - Call for Participation

[DMANET] CP 2021 - CALL FOR ABSTRACTS - PTHG-21: The Fifth Workshop on Progress Towards the Holy Grail

[DMANET] Call for Lightning Talks on Constraint Modelling and Reformulation (Deadline Extended - Modref 2021)

Wednesday, August 25, 2021

[DMANET] [Job offer] Optimisation project lead and optimization consultant

[DMANET] Thesis in Graph neural networks

[DMANET] TABLEAUX 2021 – Call for Participation. 6-9 September, 2021. Virtual and Birmingham, UK.

Mailing Lists

Search This Blog

Blog Archive

Monday, August 30, 2021

Sunday, August 29, 2021

Saturday, August 28, 2021

Friday, August 27, 2021

Thursday, August 26, 2021

Wednesday, August 25, 2021

Mailing Lists

Subscribe To

Search This Blog

Blog Archive