Thursday, July 23, 2020

[DMANET] Call for Papers: [Algorithms, MDPI] Special Issue on Parameterized Complexity and Algorithms for Nonclassical Logics

We are pleased to announce the launch of new Special Issue dedicated to
"Parameterized Complexity and Algorithms for Nonclassical Logics" in the
journal Algorithms, an *EI-*, *ESCI-*, and *Scopus-indexed* open access
journal.

We are looking for latest and original results on the new field of
research in the area of parameterized complexity and algorithms for
nonclassical logics.

We encourage your high-quality papers with subjects covering recent
research on this (non-exhaustive) list of possible directions with an
emphasis on nonclassical logics: Parameterized complexity
classifications, Parameterized proof-theoretic approaches, Parameterized
counting complexity investigations, Parameterized enumeration
complexity, Experimental studies, New results on lower bounds,
Developments on fine-grained parameterized complexity.

Further information can be found at the Special Issue website:

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

The submission deadline is 31 January 2021. Papers will be published on
an ongoing basis, so you can submit your paper at any point before the
deadline.

We look forward to receiving your submission.

CiteScore of Algorithms (2019): 2.2
CiteScoreTracker 2020 (updated on 7 July, 2020): 2.3

Best regards,
Alina Chen
Assistant Editor
E-Mail: alina.chen@mdpi.com
--

MDPI Branch Office, Wuhan
Skype: live:a70ca49eff100a5b

**********************************************************
*
* 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] Extended deadline: The 25th Pacific Rim International Symposium on Dependable Computing

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

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

CALL FOR PAPERS - PRDC 2020
The 25th Pacific Rim International Symposium on Dependable Computing

December 1-4, 2020, Perth, Australia

Paper Submission Deadline: 1 August 2020 (Firm)

http://prdc.dependability.org/PRDC2020/

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

PRDC 2020 is the twenty-fifth event in the series of symposia started
in 1989 that are devoted to dependable and fault-tolerant computing.
PRDC is recognized as the main event in the Pacific area that covers
many dimensions of dependability and fault tolerance, encompassing
fundamental theoretical approaches, practical experimental projects,
and commercial components and systems. As applications of computing
systems have permeated into all aspects of daily life, the dependabil-
ity of computing systems has become increasingly critical. This sympo-
sium provides a forum for countries around the Pacific Rim and other
areas of the world to exchange ideas for improving the dependability
of computing systems.

Topics of interest include (but are not limited to):

・Software and hardware reliability, testing, verification, and
validation
・Dependability measurement, modeling, evaluation, and tools
・Self-healing, self-protecting, and fault-tolerant systems
・Software aging and rejuvenation
・Safety-critical systems and software
・Architecture and system design for dependability
・Fault-tolerant algorithms and protocols
・Reliability in cloud computing, Internet, and web systems and
applications
・Cloud computing security and privacy
・Software defined networks architectures and protocols
・Internet of things architectures, protocols, security and privacy
・Dependability issues in artificial intelligence and its
applications
・Dependability issues in computer networks and communications
・Dependability issues in high performance computing
・Dependability issues in real-time systems
・Dependability issues in storage and databases systems
・Dependability issues in cyber-physical systems
・Dependability issues in socio-technical systems
・Dependability and security in machine learning systems
・Blockchain and smart contracts

----------------------------------------------------------------------
Submission and Publication Information

Manuscripts should be submitted in the following two categories:
Regular Papers and Practical Experience Reports.
Regular Papers should describe original research (not submitted or
published elsewhere) and be not more than 10 pages using IEEE Computer
Society camera-ready 8.5"x11" two-column format. Practical Experience
Reports (max 6 pages using IEEE format guidelines) should describe an
experience or a case study, such as the design and deployment of a
system or actual failure and recovery field data.

All submissions must be made electronically (in PDF format) on the
submission website:

https://www.easychair.org/conferences/?conf=prdc2020

Please note that all submissions will undergo a double-blind review.
Please ensure that you have removed any references that could lead to
identifying the authors of the paper. Failure to do so may result in
rejection of the paper regardless of the paper contributions. Papers
will be reviewed internationally and selected based on their original-
ity, significance, relevance, and clarity of presentation.

All accepted papers will be published by IEEE Computer Society Press
(EI Indexed). One outstanding paper will be selected to receive the
Best Paper Award, and one outstanding paper first authored by a stude-
nt will receive the Best Student Paper Award.

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

Paper Submission Deadline : 1 August 2020 (Firm)
Notification of Acceptance : 29August 2020

----------------------------------------------------------------------
Organizing Committee

General Chair:
Jin B. Hong, University of Western Australia, Australia

Program Co-Chair:
Fumio Machida, University of Tsukuba, Japan
Mengmeng Ge, Deakin University, Australia

Local Arrangement Co-Chair:
Naveed Akhtar, University of Western Australia, Australia
Syed Zulqarnain Gilani, Edith Cowan University, Australia

Publicity Co-Chair:
Simon Yusuf-Enoch (Australasia), University of Queensland, Australia
Zeyi Wen (Australasia), University of Western Australia, Australia
Gregory Blanc (Europe), Telecom SudParis, France

Finance Chair:
Susan Marie, University of Westner Australia, Australia

Fast Abstract Chair:
Leonardo Montecchi, University of Campinas, Brazil

Steering Committee
Yennun Huang, Academia Sinica (Chair)
Leon Alkalai, California Institute of Technology
Takashi Nanya, University of Tokyo
Nobuyasu Kanekawa, Hitachi Research Lab
Jin Song Dong, National University of Singapore
Karthik Pattabiraman, University of British Columbia
Gernot Heiser, University of New South Wales
Sy-Yen Kuo, National Taiwan University
Michael Lyu, Chinese University of Hong Kong
Zhi Jin, Peking University
DongSeong Kim, University of Queensland

----------------------------------------------------------------------
Sponsors

IEEE Computer Society
University of Western Australia
Business Events Perth
Tourism Western Australia



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

[DMANET] Call for Papers: [Algorithms, MDPI] Special Issue on Online Algorithms beyond Competitive Analysis

We are pleased to announce the launch of new Special Issue dedicated to
"Online Algorithms beyond Competitive Analysis" in the journal
Algorithms, an *EI-*, *ESCI-*, and *Scopus-indexed* open access journal.

We are looking for new online algorithms and their competitive analysis.
More realistic models have been studied as well, either by giving more
power to the algorithm or by giving less power to the adversary.

We warmly welcome submissions, including original research papers and
reviews, on this topic.

Further information can be found at the Special Issue website:

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

The submission deadline is 31 January 2021. Papers will be published on
an ongoing basis, so you can submit your paper at any point before the
deadline.

We look forward to receiving your submission.

CiteScore of Algorithms (2019): 2.2
CiteScoreTracker 2020 (updated on 7 July, 2020): 2.3

Best regards,
Alina Chen
Assistant Editor
E-Mail: alina.chen@mdpi.com
--

MDPI Branch Office, Wuhan
Skype: live:a70ca49eff100a5b

**********************************************************
*
* 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] Open positions at DFG SFB/CRC FONDA in Berlin and Potsdam

The DFG-funded Collaborative Research Center 1404 "FONDA - Foundations
of Workflows for Large-Scale Scientific Data Analysis" opens

24 research positions (PostDoc and PhD students)

The positions are located at several universities and research
institutes in Berlin and Potsdam, Germany. They are part of the recently
established CRC/SFB FONDA. In this project, more than 50 researchers
will jointly research innovative infrastructures for the large-scale
analysis of scientific data sets. The CRC is highly interdisciplinary,
embracing the scientific disciplines software engineering, distributed
systems, algorithm engineering, data science, bioinformatics, biomedical
image analysis, material science, and satellite-based remote sensing.

For further information including a detailed list of all positions and a
description of the application procedures, please visit:

https://fonda.hu-berlin.de

There are several algorithm-oriented positions in FONDA. This includes a
position in subproject B1 on algorithm engineering for scheduling
problems in distributed systems, for which the deadline has been moved
for administrative reasons to August 5th, 2020. Applications are still
welcome, also see [1] and [2].


Disclaimer: This text is an informal description of the open positions
without legal binding. The official announcement can be found at the
FONDA website.

[1]
https://www.informatik.hu-berlin.de/de/forschung/gebiete/macsy/Jobs/FONDA-PhD

[2]
https://www.personalabteilung.hu-berlin.de/de/stellenausschreibungen/wissenschaftliche-r-mitarbeiter-in-m-w-d-mit-vorauss-vollzeit-e-13-tv-l-hu-drittmittelfinanzierung-befristet-bis-30-06-2024-5
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Wednesday, July 22, 2020

[DMANET] 1st IFORS Global Webinar - O.R. in Latin America: from Theory to Practice - July 29th, 2020

1st IFORS Global Webinar - O.R. in Latin America: from Theory to Practice
July 29th, 2020 - 11 a.m. BRT (GMT -3)
https://www.ifors.org/
Register here: https://zoom.us/webinar/register/WN_q86SD-tTShSrxgPmjR26gQ


IFORS has launched a Global Webinar Series in 2020. Speakers from each of
the four IFORS regions will provide our worldwide community with updates on
exciting new challenges, methodologies and solution approaches that impact
their region and the world. Regional representatives on the
Administrative Committee of IFORS will select speakers and host the
webinar. The webinars will have different formats. The overall aim of this
webinar series is to strengthen research activities and foster potential
collaboration by encouraging the exchange of ideas and the sharing of our
successes and challenges.


The first IFORS Global Webinar is organized by ALIO and will take place on
July 29th at 2:00 p.m. GMT. Anyone interested can find information about
the webinar on the IFORS website https://www.ifors.org/ or register
here:
https://zoom.us/webinar/register/WN_q86SD-tTShSrxgPmjR26gQ

Participate and disseminate this information.

Grazia Speranza - IFORS President
Rosiane de Freitas - IFORS Vice-President-ALIO
Guillhermo Duran - ALIO President

[image: Global Webinar Series]

*O.R. in Latin America: *

*From Theory to Practice*

July 29, 2020 11 a.m. – 12:30 p.m. GMT(-3)

*Hosts*
Grazia Speranza, Italy (IFORS President)

Guillermo Duran, Argentina (ALIO President)

Rosiane de Freitas, Brazil (VP IFORS-ALIO)

*Register for this free webinar on the IFORS website: www.ifors.org
<http://www.ifors.org>*

*Invited Speakers*

[image: Marcia Fampa Universidade Federal do Rio de Janeiro - UFRJ Brazil
Parametric relaxation for the quadratic knapsack problem]

[image: Andres Medaglia Universidad de los Andes – UNIANDES, Colombia Level
of traffic stress in Bogotá: towards a friendlier city for cyclists]

[image: Roger Rios Universidad Autonoma de Nuevo Leon – UANL, Mexico A case
study on the potential impact of a kidney exchange program in Mexico]


[image: Several times each year, IFORS will offer free webinars on topics
of key interest to those developing and applying Operational Research and
Analytics methodologies and models.]

--
Rosiane de Freitas, CS Research Professor
Optimization, Algorithms, and Computational Complexity research group
Institute of Computing - Federal University of Amazonas (IComp/UFAM)
Manaus - Amazonas, Brazil
+55 92 9 8242-4088
---


**********************************************************
*
* 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(s) in Structural and Algorithmic Aspects of Preference-based Problems in Social Choice - Vienna, Austria - Deadline: July 31, 2020

We invite applications for PhD position(s) (3 years with the possibility of extension), working with Jiehua Chen in the Algorithms and Complexity Group at the Vienna University of Technology (Technische Universität Wien – TU Wien), Vienna, Austria.

The PhD position(s) is available for the research on Structural and Algorithmic Aspects of Preference-based Problems in Social Choice: https://www.wwtf.at/programmes/vienna_research_groups/VRG18-012/index.php?lang=EN

The research topics include voting, structured preferences, stable matching (matchings under preferences) with a focus on parameterized and approximation algorithm design.

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

YOUR PROFILE

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

Applicants with a solid background in areas such as algorithm design (including BUT NOT LIMITED to parameterized algorithms and approximation algorithms), computational complexity, and/or discrete mathematics are welcome to apply.

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

WE OFFER

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

-The PhD position(s) entails an employment contract.

-The position(s) is available immediately and the starting date is quite flexible

- A research and study environment that is friendly and gender-balanced

- TU Wien is a great place for professional growth (e.g., the Austrian Science Fund and other funding agencies offer multiple funding opportunities for young researchers to advance their independent scientific careers)

- Vienna, the city, features a vibrant and excellence-driven research landscape, with several leading research institutes (e.g., University of Vienna, IST, AIT, SBA) and universities continuously establishing collaborations in various fields

- Vienna has been consistently ranked by Mercer over the last years the best city for quality of life worldwide.

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

APPLICATION

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

Please send your application, including

- your academic CV,

- a motivation letter, including an explanation of your research interests,

- your Master's thesis and

- a list of subjects studied, giving sufficient details and grades/marks obtained

directly to Jiehua Chen: jiehua.chen@tuwien.ac.at <mailto:jiehua.chen@tuwien.ac.at>

(If possible all in a single PDF file)

DEADLINE: 31. July 2020

For informal inquiries you can also contact via the above email address.

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

ADDITIONAL INFORMATION

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

Faculty of Informatics: https://informatics.tuwien.ac.at/

Research group website: https://www.ac.tuwien.ac.at/

Outreach: www.vcla.at <http://www.vcla.at>

Twitter: @vclaTUwien


**********************************************************
*
* 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] [Submission Deadline: Sep. 1][10+ Special Issues] CFP IEEE DependSys 2020: The 6th IEEE International Conference on Dependability in Sensor, Cloud, and Big Data Systems and Applications, Dec. 14-16, Fiji

[Apologies if you receive multiple copies of this message]
Call For Papers
=============================================================================
The 6th IEEE International Conference on Dependability in Sensor, Cloud,
and Big Data Systems and Applications (IEEE DependSys 2020), 14-16 December
2020, Fiji [Submission Deadline: Sep. 1][10+ Special Issues]

http://cse.stfx.ca/~dependsys/2020/index.html

IEEE DependSys 2020 conference is the 6th 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 2020 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. Information Fusion (IF: 13.669)
SI on Fusion from Big Data to Smart Data
https://www.journals.elsevier.com/information-fusion/call-for-papers/special-issue-on-fusion-from-big-data-to-smart-data
2. Information Fusion (IF: 13.669)
SI on Data Fusion for Trust Evaluation
https://www.journals.elsevier.com/information-fusion/call-for-papers/special-issue-on-data-fusion-for-trust-evaluation
3. IEEE Transactions on Industrial Informatics (IF: 9.112)
SI on Digital Twinning: Integration AI-ML and Big Data Analytics for
Virtual Representation
http://www.ieee-ies.org/images/files/tii/ss/2020/Digital_Twinning_Integrating_AI-ML_and_Big_Data_Analytics_for_Virtual_Representation_2020-4-30.pdf
4. Future Generation Computer Systems (IF: 6.125)
SI on Artificial Intelligence for Cyber Defence and Smart Policing
https://www.journals.elsevier.com/future-generation-computer-systems/call-for-papers/artificial-intelligence-for-cyber-defence-and-smart-policing
5. Journal of Cloud Computing (IF: 2.788)
SI on Security and Privacy Issues for AI in Edge-Cloud Computing
https://journalofcloudcomputing.springeropen.com/securityprivacyaiedgecloud?from=singlemessage
6. Software: Practice and Experience
SI on Software and Hardware Co-Design for Sustainable Cyber-Physical
Systems
https://onlinelibrary.wiley.com/pb-assets/assets/page/journal/1097024x/SI_softandhard.pdf
7. MDPI Electronics (IF: 2.412)
SI on Blockchain-based Technology for Mobile Application
https://www.mdpi.com/journal/electronics/special_issues/BTMA
8. IEEE/CAA Journal of Automatics Sinica (IF: 5.129)
SI on Blockchain for Internet-of-Things and Cyber-Physical Systems:
Emerging Trends, Issues and Challenges
http://www.ieee-jas.org/news/news_en/9248195c-6d90-4868-9962-263ed9ba12f3_en.htm
9. IEEE Transactions on Network Science and Engineering (IF: 5.213)
SI on Computing and Networking for Cyber-Physical-Social Systems
https://www.comsoc.org/publications/journals/ieee-tnse/cfp/computing-and-networking-cyber-physical-social-systems
10. IEEE Access (IF: 3.745)
SI on Reliability in Sensor-Cloud Systems and Applications (SCSA)
https://ieeeaccess.ieee.org/special-sections/reliability-in-sensor-cloud-systems-and-applications-scsa/
* More special issues will be added later.


==================
Important Dates
==================
Workshop Proposal/Special Session Due: 30 June 2020
Submission Deadline: 1 September 2020
Authors Notification Date: 15 October 2020
Final Manuscript Due: 10 November 2020
Conference Date: 14-16 December 2020


==================
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/N27703) 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
- Mohammad Zulkernine, Queen's University, Canada
- Aniello Castiglione, University of Naples Parthenope, Italy
- Alireza Jolfaei, Macquarie University, Australia

Program Chairs
- Salimur Choudhury, Lakehead University, Canada
- Qinghua Lu, CSIRO, 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 Fiji, Fiji
- 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

**********************************************************
*
* 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] Extended Deadline: Open PostDoc Position in Knowledge-based Systems and Artificial Intelligence, at TU Wien, Vienna, Austria. Extended Application deadline: July 31, 2020

A PostDoc position is available at the Database and Artificial Intelligence Group at the TU Wien (Vienna University of Technology), Austria (Faculty of Informatics).

We invite highly motivated applicants interested both in the theory and practice of

- Description Logics

- Answer Set Programming

- Knowledge Representation and Reasoning

- Reasoning about Actions and Change

- Database Theory

In particular, we are seeking to strengthen our research teams in two foundational research projects "Ontology-mediated Queries for Graph Databases"[1] and "KtoAPP: Compiling Knowledge into Applications"[2] funded by the Austrian Science Fund (FWF).

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

YOUR PROFILE

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

- A PhD degree in Computer Science, Mathematics, or other closely related field

- Excellent academic record

- High motivation to succeed in academia

- Very good English writing skills

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

WE OFFER

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

- Employment at TU Wien from 2 years to 3.5 years, depending on research tasks

- Gross salary of approx. 54.453 EUR per year (approx. 35.463 EUR per year after taxes in basic circumstances)

- A department that offers top research expertise, and a stimulating and supportive environment

- TU Wien is a great place for professional growth (e.g., the Austrian Science Fund offers multiple funding opportunities for young researchers to advance their independent scientific careers).

- Vienna is a beautiful city that offers excellent quality of life [4]

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

APPLICATION PROCESS

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

Extended Application Deadline: July 31, 2020

Please send your application to Dr. Mantas Å imkus (simkus@dbai.tuwien.ac.at <mailto:simkus@dbai.tuwien.ac.at> )

Application Documents:

- Curriculum Vitae

- PhD thesis and/or the list of publications

- At least 2 names of referees

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

LINKS

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

[1] <http://www.simkus.info/projects/fwf-project-p30360/> http://www.simkus.info/projects/fwf-project-p30360/

[2] <http://www.simkus.info/projects/fwf-project-p30873/> http://www.simkus.info/projects/fwf-project-p30873/

[3] <https://logic-cs.at/> https://logic-cs.at

[4] <https://mobilityexchange.mercer.com/Insights/quality-of-living-rankings> https://mobilityexchange.mercer.com/Insights/quality-of-living-rankings


**********************************************************
*
* 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, July 21, 2020

[DMANET] [ICSOC 2020]: Call for Demonstrations & PhD symposium Papers

[Apologies for multiple cross-posting]


The 18th International Conference on Service-Oriented Computing
- ICSOC 2020 -
December 14-17, 2020
Dubai, United Arab Emirates
CALL FOR PAPERS (including demonstrations, PhD symposium papers, and workshop papers)
Website: https://icsoc2020.connect.rs/
Social links: https://twitter.com/icsoc2020
Submission site: https://www.conftool.com/icsoc2020/


Due to ongoing uncertainty about future travel caused by COVID-19, ICSOC'2020 is monitoring the situation and will consider adequate arrangements for the presentations of accepted papers as the situation evolves. We will update this information on a regular basis.


ICSOC, the International Conference on Service-Oriented Computing, is the premier international forum for academics, industry researchers, developers, and practitioners to report and share groundbreaking work in service-oriented computing. ICSOC fosters cross-community scientific excellence by gathering experts from various disciplines, such as business-process management, distributed systems, computer networks, wireless and mobile computing, cloud computing, cyber-physical systems, networking, scientific workflows, services science, data science, management science, and software engineering.
********************** Call for Demonstrations **********************
https://icsoc2020.connect.rs/call-for-demonstrations/

The goal of the ICSOC Demo track is to provide opportunities for participants from both academia and industry to present their latest development in Service Oriented Computing. The following proposals are particularly welcome:


· Novel Service Applications and Implementations (interactive systems), including:

§ Data Science: Services for Organizing, Curating, Annotating, Linking, Analyzing, Mining and Visualizing Data/Big Data

§ Artificial Intelligence: AI-enabled Services and Process Automation

§ Crowdsourcing Services

§ Internet of Things (IoT) Services

§ Edge Services

· Service-oriented Architecture Showcases

· Testbeds for Service Technologies and Concepts

· Design-support tools (platforms, Open APIs)

· Integration platform for SOA, SaaS, and APIs

· Best practices for microservices and API Engineering


Important dates

- Submission deadline: September 15, 2020

- Authors Notification: September 30, 2020

- Camera Ready submission: October 5, 2020

- Authors registration due: October 12, 2020

********************** Call for PhD symposium papers **********************
https://icsoc2020.connect.rs/call-for-phd-symposium-papers/

The ICSOC Ph.D. Symposium 2020 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.

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.

Important dates

- Submission deadline: September 1, 2020

- Authors Notification: September 30, 2020

- Camera Ready submission: October 5, 2020

- Authors registration due: October 12, 2020



**********************************************************
*
* 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] Hausdorff Center for Mathematics: Hausdorff Chairs

The Cluster of Excellence Hausdorff Center for Mathematics at the
University of Bonn combines researches in Theoretical and Applied
Mathematics, and Mathematical Economics. In this framework, the
university looks forward to filling two Hausdorff Chairs which
correspond to full professorships with tenure. One of the positions will
be devoted to Theoretical Mathematics, the other one to Applied
mathematics or Mathematical Economics. There are no further
specifications concerning the scientific direction
https://www.hcm.uni-bonn.de/opportunities/hausdorff-chairs/official-announcement/

Daniela Schmidt

Administrative Assistant
Hausdorff Center for Mathematics
Endenicher Allee 62, Villa Maria, Room 0.005
53115 Bonn
Tel: +49-228-73-4881, Fax: +49-228-73-62251
E-Mail: daniela.schmidt@hcm.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] Hausdorff Center for Mathematics: Postdoctoral Positions in Bonn

The Hausdorff Center for Mathematics (HCM) at Bonn University offers
several Postdoctoral Positions in all fields of mathematics and
quantitative economics. The duration of these positions is 2 years with
the possibility of extension by up to one year. Expected starting date
is no later than October 2021. Generally there are no teaching
obligations but such opportunities are provided if desired by the
candidates.
https://www.hcm.uni-bonn.de/opportunities/postdocs/official-announcement/

Daniela Schmidt

Administrative Assistant
Hausdorff Center for Mathematics
Endenicher Allee 62, Villa Maria, Room 0.005
53115 Bonn
Tel: +49-228-73-4881, Fax: +49-228-73-62251
E-Mail: daniela.schmidt@hcm.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] Hausdorff Center for Mathematics: W2 Positions ("Bonn Junior Fellows") in Bonn

The Hausdorff Center for Mathematics (HCM) at the University of Bonn
brings together researchers in mathematics and its applications,
including in particular quantitative economics. In this framework the
center is looking forward to filling up to three
W2-Professorships  ("Bonn Junior Fellows")
https://www.hcm.uni-bonn.de/opportunities/bonn-junior-fellows/bjf-announcement/

Daniela Schmidt

Administrative Assistant
Hausdorff Center for Mathematics
Endenicher Allee 62, Villa Maria, Room 0.005
53115 Bonn
Tel: +49-228-73-4881, Fax: +49-228-73-62251
E-Mail: daniela.schmidt@hcm.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/
*
**********************************************************

Sunday, July 19, 2020

[DMANET] CFP: IEEE Transactions on Network Science and Engineering Special Issue on“Intelligence-Empowered Collaboration among Space, Air, Ground, and Sea Mobile Networks towards B5G

[Apologies, if you receive multiple copies of this CFP]
IEEE Transactions on Network Science and Engineering Call for Papers

Special Issue: Intelligence-Empowered Collaboration among Space, Air,
Ground, and Sea Mobile Networks towards B5G
https://www.comsoc.org/publications/journals/ieee-tnse/cfp/intelligence-empowered-collaboration-among-space-air-ground-and

Aim and Scope
Providing the ubiquitous network accessibility is one of the main goals in
the Beyond 5G (B5G) mobile networks. To achieve this goal, it is vital to
connect the space, air, ground, and sea networks (SAGS) in such
heterogenous B5G networks. Although the above networks exhibit different
types of technical issues, they should be connected seamlessly with
collaborated networking functionalities and management. On the other hand,
in the last five years, with the growing popularity of artificial
intelligence (AI), the application and innovation of AI have also been
attracting significant research attention to enable intelligent networking
and communication, in which the network quality can be ensured by meeting
the key performance metrics.

This special issue (SI) is to foster innovative work that can promote
collaboration among SAGS mobile networks by involving AI in the background
of B5G. This SI aims to foster research contributions beyond the state of
the art, making concrete steps towards solutions for the current problems
and opens up new horizons for collaborative efforts over different
communication environments.

The topics of interest for this special issue include, but are not limited
to:

· Integration of Space, Air, Ground, and Sea Networks

· Intelligent Space-Air Networks

· Intelligent Satellite-assisted UAV Communication

· Intelligent Satellite-assisted Airship Networks

· Intelligent Drone-assisted Mobile Ad-hoc Networks

· Intelligent Drone-assisted Cellular Networks

· Intelligent Drone-assisted Wireless Sensor Networks

· Intelligent Drone-assisted Vehicular Ad-hoc Networks

· Intelligent Drone-assisted Sea Networks

· Intelligent Maritime-assisted Underwater Networks

· Software-Defined SAGS networks

· Data-based Collaboration for SAGS networks

· Network-based models and optimisation algorithms for SAGS networks

· Network Trust, Security, and Privacy of SAGS networks

· Intelligence-driven Mobile Computing in SAGS networks

· Data analysis for SAGS networks

· Intelligent Cloud, Fog and Edge Computing for SAGS networks

· Intelligent Load Balancing, Traffic Control and Scheduling of SAGS
networks

· Path Planning and Route Management of Cyber-Physical Systems in SAGS
networks

· SAGS-enabled Smart City

· SAGS-enabled Smart Sea

· SAGS-enabled Smart Ocean

The papers for rigorous and well-coordinated peer-review process will be
collected through the Manuscript Central System
<https://mc.manuscriptcentral.com/tnse-cs> for *IEEE Transactions on
Network Science and Engineering*.

*Submission Guidelines*

Prospective authors are invited to submit their manuscripts electronically,
adhering to the *IEEE Transactions on Network Science and Engineering*
guidelines
<https://www.comsoc.org/publications/journals/ieee-tnse/ieee-transactions-network-science-and-engineering-information>.
Note that the page limit is the same as that of regular papers. Please
submit your papers through the online system
<https://mc.manuscriptcentral.com/tnse-cs> and be sure to select the
special issue or special section name. Manuscripts should not be published
or currently submitted for publication elsewhere. Please submit only full
papers intended for review, not abstracts, to the ScholarOne portal. If
requested, abstracts should be sent by e-mail to the Guest Editors directly.

*Important Dates*

*Manuscripts Due:* 1 August 2020
*Peer Reviews to Authors:* 1 November 2020
*Revised Manuscripts Due:* 1 January 2021
*Second-Round Reviews to Authors:* 1 March 2021
*Final Accepted Manuscript Due:* 1 May 2021

**********************************************************
*
* 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: Extended deadline 22 July; IEEE Int. Conferences (ISPA, BDCloud, SocialCom, SustainCom) in England, 15-17 October 2020

[Please accept our apologies if you receive multiple copies of this email]



*** The paper submission deadline is extended to 22 July 2020 ***



*** IEEE (ISPA-2020, BDCloud-2020, SocialCom-2020, SustainCom-2020
International Conferences) ***



To be held in Exeter, England, UK, 15-17 October 2020.



The 18th IEEE International Symposium on Parallel and Distributed
Processing with Applications (ISPA-2020)

https://hpcn.exeter.ac.uk/ispa2020



The 10th IEEE International Conference on Big Data and Cloud Computing
(BDCloud-2020)

https://hpcn.exeter.ac.uk/bdcloud2020



The 13th IEEE International Symposium on Social Computing and Networking
(SocialCom-2020)

https://hpcn.exeter.ac.uk/socialcom2020



The 10th IEEE International Conference on Sustainable Computing and
Communications (SustainCom-2020)

https://hpcn.exeter.ac.uk/sustaincom2020



Sponsored by

IEEE, IEEE Computer Society, and IEEE Technical Committee of Scalable
Computing (TCSC)



IMPORTANT DATES

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

Paper Submission Deadline: 22 July 2020

Authors Notification: 22 August 2020

Camera-Ready Paper Due: 15 September 2020

Early Registration Due: 15 September 2020

Conference Date: 15-17 October 2020



PAPER SUBMISSION GUIDELINE

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

All papers need to be submitted electronically through the conference
websites 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).

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).



JOURNAL SPECIAL ISSUES

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

Distinguished papers selected from the conferences and associated
workshops, after further extensions, will be recommended for submission and
publication in the Special Issues of the following prestigious journals:



- IEEE Transactions on Industrial Informatics

- Computer Networks (Elsevier)

- Future Generation Computer Systems (Elsevier)

- Journal of Parallel and Distributed Computing (Elsevier)

- Knowledge-Based Systems (Elsevier)

- Neurocomputing (Elsevier)

- Information Fusion (Elsevier)

- IEEE/CAA Journal of Automatics Sinica

- IEEE Transactions on Network Science and Engineering

- IEEE ACCESS

- Sensors

**********************************************************
*
* 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 position in predictive analytics

My apologies for possible cross posting


A postdoc position is available for a period of 18 month (possible
extension for up to 9 month) in the framework of SOCORRO2 – Interreg 2Seas
project.

- Starting date: Immediately
- Duration: 18 months (possible extension)
- Deadline for application: The call is open while the position is available
- Location: Bethune (46 Km from Lille, France), Universite d'Artois

The successful candidate will be pushing the boundaries of predictive
analytics and machine learning techniques for problems appearing in the
context of corrosion risk assessment.

Background in Math, Phys, Computer Science and OR is obligatory.
Proficiency in data science toolkits and languages in particular Python
(scikit-learn, dash, tensorflow, keras, plotly etc.) is an important
criterion. A proven record of research and/or development in data science
is expected.

While a candidate with solid theoretical background is sought, other
criteria such as excellent communication skills, capacity and willingness
in dealing with challenges of working with partners in industry and also
academic partners in experimental science, autonomy, big-data manipulation
skills, project management, software modeling and engineering, web
programming knowledge and problem-solving and creativity attitude are
decisive criteria.

This position also includes some traveling within the region of 2Seas
(Southern UK, Flemish Belgium and Nord-pas-de-Calais France).

Applicants are invited to send their CV and other evidences such as GitHub
links, or links to up-and-running solutions or any other supporting
material to shahin.gelareh@univ-artois.fr

Please do include "PostdocSOCORRO" in the title of your email.

**********************************************************
*
* 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, July 18, 2020

[DMANET] Fwd: A 12-month postdoc position in OR

My apologies for the cross-posting.


A postdoc position is available for a period of 12 months in the framework
of ELSAT project.

- Starting date: Immediately
- Duration: 12months
- Deadline for application: The call is open while the position is available
- Location: Bethune (46 Km from Lille, France), Universite d'Artois

The successful candidate will be working on optimisation modeling and the
design of hybrid methods for solving the resulting large scale mathematical
programming models of specific problems (location and transshipment) in
modern distribution systems.

Candidates are expected to have a solid knowledge and proven record of
research in optimisation of logistics systems, exact methods for
mathematical programming (decomposition, B&C and BPC) , metaheuristics and
some knowledge in learning techniques. In addition, evidence of
proficiency in C++ (and python) as well as an excellent command of English
are expected.


Applicants are invited to send their CVs, two selected journal articles and
other evidences such as GitHub links, links to up-and-running solutions or
any other supporting material to shahin.gelareh@univ-artois.fr

Please do include "PostdocELSAT2020" in the title of your email.


le projet ELSAT est cofinancé par l'Union Européenne avec le Fonds européen
de développement régional, par l'État et la Région Hauts-de-France dans le
cadre du Contrat Plan État Région.
[image: image.png]


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

Friday, July 17, 2020

[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, 2017 and September 30, 2020
* 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 2021 (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 August 31, 2020.

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] INVITE - Public LogicLounge with Cory Doctorow - Surveillance Capitalism is not a Rogue Capitalism, part of CAV 2020 - 21 July 2020 - 8am PST - 3pm UTC - 5pm CEST - Admission free - Virtual

Perhaps this invite would entice your participation as well as a share among your community?

We would like to cordially invite you to the 18th public discussion

in the series LogicLounge on 21 July 2020, part of the 32nd CAV 2020 - virtual:

LogicLounge with Cory Doctorow

Working as Intended: Surveillance Capitalism is not a Rogue Capitalism

Virtual (admission free)

Tuesday, 21 July 2020

8am PST │ 3pm UTC │ 5pm CEST (Vienna)

https://bit.ly/2YJswKE

„BigTech is not about "making things" business, it's a "buying things" business." - Cory Doctorow

The "surveillance capitalism" thesis holds that companies spy because data lets them conduct devastatingly effective influence operations while racing past regulators who might otherwise rein in their operations. Cory Doctorow believes this gives undue credence to Big Tech's sales literature -- the source of the claims about the power of behavioral advertising to influence behavior -- while underplaying the role that monopoly and state surveillance play in both the decay of public discourse and governmental complacency when it comes to corporate surveillance.

However, what if Big Tech's ability to command billions for ads have more to do with cornering markets and eking out marginal gains through targeting, with stale data being largely useless for commercial purposes -- but still full of juicy kompromat for greedy state surveillance agencies?

There seems to be a knowledge gap between technologists, CEOs, and the politicians who should enact surveillance or antitrust policy reforms. To what extent do the free-range BigTech monopolies influence the innovation ecosystem, democracy, personal freedoms, and sense of community? Taking into account growing usage of data-saturated services, is it possible to remain private in public? What are some ways that computer scientists, tech professionals or civil society could be helpful in achieving policy reform?

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

Date: Tuesday, 21 July 2020

Time: 8am PST │ 3pm UTC │ 5pm CEST

Venue: This is a free, virtual public talk, with live Q&A session.

Q&A: You can already submit your questions for Cory Doctorow via Slido #CoryLounge

Website: https://bit.ly/2YJswKE

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

Livestream

To get the link to the Zoom room we require attendees to register via the following registration form: https://stanford.zoom.us/webinar/register/WN_9AwAiQSmTj2ZjaIsIoTr5A

The LogicLounge is hosted by the 32nd CAV 2020, and it will be recorded.

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

About Cory Doctorow

Cory Doctorow is a science fiction novelist, journalist, and technology activist, working as <https://www.eff.org/about/staff/cory-doctorow> a special advisor for the Electronic Frontier Foundation (EFF). He is a former director of Europen Affairs for the EFF, holds an honorary doctorate in computer science from the Open University (UK), where he is a Visiting Professor; he is also a MIT Media Lab Research Affiliate and a Visiting Professor of Practice at the University of South Carolina's School of Library and Information Science. In 2007, he served as the Fulbright Chair at the Annenberg Center for Public Diplomacy at the University of Southern California. His novels have been translated into dozens of languages and are published by Tor Books, Head of Zeus (UK), Titan Books (UK) and HarperCollins (UK). He has won the Locus, Prometheus, Copper Cylinder, White Pine and Sunburst Awards, and been nominated for the Hugo, Nebula and British Science Fiction Awards. He co-founded the open source peer-to-peer software company OpenCola, and serves on the boards and advisory boards of the Participatory Culture Foundation, the Clarion Foundation, the Open Technology Fund and the Metabrainz Foundation. Cory Doctorow is also the co-founder of the UK Open Rights Group.

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

Organizers

The LogicLounge is hosted by the 32nd International Conference on Computer-Aided Verification (CAV) in memoriam of Helmut Veith. It is organized by Aina Niemetz and Mathias Preiner of Stanford University in collaboration with the Vienna Center for Logic and Algorithms at TU Wien (VCLA).

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

About the LogicLounge

The series originated in 2014 at the Vienna Summer of Logic, and is since then travelling between Vienna and the venue of the CAV conferences. LogicLounge features discussions on the "science of reasoning" in the areas of logic, philosophy, mathematics, computer science and artificial intelligence. The recordings of the past LogicLounges with Toby Walsh, Eva Galperin, Moshe Vardi or Dana Scott, among others, are available at: <http://www.vcla.at/logiclounge/> www.vcla.at/logiclounge


**********************************************************
*
* 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 fellow (AI and economics), Harvard Computer Science, Fall 2020

The Harvard EconCS <https://econcs.seas.harvard.edu/> group solicits applications for a Postdoctoral Fellow position for Fall 2020, and the continuing 2021-22 academic year.

The postdoc will work under the supervision of Prof. David Parkes <http://www.eecs.harvard.edu/~parkes/> to pursue a research project on the use of AI techniques, specifically imitation learning and deep multi-agent reinforcement learning, for economic design. The postdoc will be provided with a competitive salary plus additional funds to support research and travel.

The ideal researcher will have a technical background in an area related to computer science and economics, especially machine learning, and a passion to creatively use those skills to address problems of societal importance. Experience with economic theory is desirable but not required.

Harvard is an equal opportunity employer and all qualified applicants will receive consideration for employment without regard to race, color, religion, sex, national origin, disability status, protected veteran status, gender identity, sexual orientation, pregnancy and pregnancy-related conditions or any other characteristic protected by law.

Application Procedure and Deadline:

A complete application will include:
(a) A cover letter
(b) A CV
(c) A 2-4 page research statement
(d) At most three research papers
(e) 2-3 letters of reference

Applicants should email items (a)-(d) as a single PDF file to Ann Marie King (aking@seas.harvard.edu <mailto:aking@seas.harvard.edu>) using "EconCS postdoc application" as the title of the email. References should also send their letters directly to Ann Marie.

Interested candidates are encouraged to submit their applications by July 27, 2020 for full consideration. We'll continue accepting applications after this deadline if the position is not filled.

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

[DMANET] First Call for Papers: EvoCOP 2021 - The 21st European Conference on Evolutionary Computation in Combinatorial Optimisation

(Apologies for cross-posting)

*************************************************************************************
First Call for Papers:
EvoCOP 2021 - The 21st European Conference on
Evolutionary Computation in Combinatorial Optimisation

http://www.evostar.org/2021/evocop/

April 7 - 9, 2021
Seville, Spain
held as part of EvoStar (http://www.evostar.org)

Submission deadline: November 1, 2020
*************************************************************************************

The 21st European Conference on Evolutionary Computation in Combinatorial
Optimisation is a multidisciplinary conference that brings together researchers
working on applications and theory of evolutionary computation methods and
other metaheuristics for solving difficult combinatorial optimisation problems
appearing in various industrial, economic, and scientific domains.

Successfully solved problems include, but are not limited to, multi-objective,
uncertain, dynamic and stochastic problems in the context of scheduling,
timetabling, network design, transportation and distribution, vehicle routing,
stringology, graphs, satisfiability, energy optimisation, cutting, packing,
planning and search-based software engineering.

The EvoCOP 2021 conference will be held in the city of Seville, Spain, together
with EuroGP (the 24th European Conference on Genetic Programming), EvoMUSART
(the 10th European conference on evolutionary and biologically inspired music,
sound, art and design) and EvoApplications (the 24th European Conference on the
Applications of Evolutionary Computation), in a joint event collectively known
as EvoStar (Evo*).

Accepted papers will be published by Springer Nature in the Lecture Notes in
Computer Science series. (See https://link.springer.com/conference/evocop for
previous proceedings.)

Download the CFP in PDF format:
http://www.evostar.org/2021/wp-content/uploads/2020/06/evo2021_tracks_flyers_evocop.pdf

The best regular paper presented at EvoCOP 2021 will be distinguished
with a Best Paper Award.


**** Areas of Interest and Contributions ****

EvoCOP welcomes submissions in all experimental and theoretical aspects of
evolutionary computation and other metaheuristics to combinatorial optimisation
problems, including (but not limited to) the following areas:

* Applications of metaheuristics to combinatorial optimisation problems
* Theoretical developments
* Neighbourhoods and efficient algorithms for searching them
* Variation operators for stochastic search methods
* Constraint-handling techniques
* Parallelisation and grid computing
* Search space and landscape analyses
* Comparisons between different (also exact) methods
* Automatic algorithm configuration and design

Prominent examples of metaheuristics include (but are not limited to):

* Evolutionary algorithms
* Estimation of distribution algorithms
* Swarm intelligence methods such as ant colony and particle swarm optimisation
* Artificial immune systems
* Local search methods such as simulated annealing, tabu search, variable
neighbourhood search, iterated local search, scatter search and path relinking
* Hybrid methods such as memetic algorithms
* Matheuristics (hybrids of exact and heuristic methods)
* Hyper-heuristics and autonomous search
* Surrogate-model-based methods

Notice that, by tradition, continuous/numerical optimisation is *not* part of
the topics of interest of EvoCOP. Interested authors might consider submitting
to other EvoStar conferences such as EvoApplications.


**** Submission Details ****

Paper submissions must be original and not published elsewhere. The submissions
will be peer reviewed by members of the program committee. The reviewing
process will be double-blind, please omit information about the authors in the
submitted paper. Submit your manuscript in Springer LNCS format:
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0

Page limit: 16 pages

Submission link: coming soon

The authors of accepted papers will have to improve their paper on the basis of
the reviewers' comments and will be asked to send a camera-ready version of
their manuscripts. At least one author of each accepted work has to register
for the conference, attend the conference and present the work.


**** Important Dates ****

Submission deadline: November 1, 2020
EvoStar: April 7-9, 2021


**** EvoCOP Programme Chairs ****

Sébastien Verel
Université du Littoral Côte d'Opale (ULCO), France
verel@univ-littoral.fr<mailto:verel@univ-littoral.fr>

Christine Zarges
Aberystwyth University, Wales, UK
c.zarges@aber.ac.uk<mailto:c.zarges@aber.ac.uk>



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

Pantycelyn yn agor mis Medi 2020. https://www.aber.ac.uk/cy/accommodation/accommodation-options/catered/pantycelyn/

Pantycelyn opening September 2020. https://www.aber.ac.uk/en/accommodation/accommodation-options/catered/pantycelyn/

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

Prifysgol Aberystwyth www.aber.ac.uk/cy/

Prifysgol y Flwyddyn yng Nghymru - The Times & The Sunday Times 2020.


Aberystwyth University www.aber.ac.uk/en/

Welsh University of the Year - The Times & The Sunday Times 2020.

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

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