ICTCS 2021 - 22th Italian Conference on Theoretical Computer Science
13-15 September 2021, Bologna, Italy
THE CONFERENCE WILL BE HELD ON-LINE DUE TO CORONAVIRUS RESTRICTIONS
http://helm.cs.unibo.it/ictcs2021/index.html
CALL FOR PAPERS
================
SCOPE AND TOPICS
================
The Italian Conference on Theoretical Computer Science (ICTCS) is the
conference of the Italian Chapter of the European Association for
Theoretical Computer Science.
The purpose of ICTCS is to foster the cross-fertilization of ideas
stemming from different areas of theoretical computer science.
In particular, ICTCS provides an ideal environment where junior
researchers and PhD students can meet senior researchers.
Contributions in any area of theoretical computer science are warmly
invited from researchers of all nationalities.
The topics of interest include, but are not limited to, the following:
agents, algorithms, argumentation, automata theory, complexity theory,
computational logic, computational social choice, concurrency theory,
cryptography, discrete mathematics, distributed computing, dynamical
systems, formal methods, game theory, graph theory, knowledge
representation, languages, model checking, process algebras, quantum
computing, rewriting systems, security and trust, semantics,
specification and verification, systems biology, theorem proving, type
theory.
================
PAPER SUBMISSION
================
Two types of contributions, written in English and formatted
accordingto Springer LNCS style, are solicited.
Regular papers: up to 12 pages PLUS bibliography, presenting original
results not appeared or submitted elsewhere. To ease the reviewing
process, the authors of regula papers may add an appendix, although
reviewers are not required to consider it in their evaluation.
Communications: up to 5 pages PLUS bibliography, suitable for extended
abstracts of papers already appeared/submitted or to be submitted
elsewhere, as well as papers reporting ongoing research on which the
authors wish to get feedback and overviews of PhD theses or research
projects.
Authors are invited to submit their manuscripts in PDF format via
EasyChair:
https://easychair.org/conferences/?conf=ictcs2021
All accepted original contributions (regular papers and communications)
will be published on CEUR-WS.org.
For each accepted contribution, at least one of the authors is required
to attend the conference and present the paper.
============================
TCS Special Issue
============================
Following the tradition, the authors of the very best papers presented
at the conference will be invited to submit an extended version of
their work in a special issue of Theoretical Computer Science journal.
Invitations will be sent out after the workshop. The target is to
publish the special issue by the end of the year 2022.
===============
IMPORTANT DATES
===============
Abstract submission: 17 May 2021
Paper submission: 24 May 2021
Notification: 30 June 2021
Revised version for pre-proceedings: 19 July 2021
Conference: 13-15 September 2021
Final version for CEUR-WS proceedings: 31 October 2021 (tentative)
==================
INVITED SPEAKERS
==================
Luca Padovani (Universita di Torino)
Nadia Pisanti (Universita di Pisa)
====================
PROGRAM COMMITTEE
====================
Program Committee:
Claudio Sacerdoti Coen (co-chair) (University of Bologna, Italy)
Ivano Salvo (co-chair) (University of Roma "Sapienza", Italy)
Franco Barbanera (University of Catania, Italy)
Davide Bilo (University of Sassari, Italy)
Stefano Bistarelli (University of Perugia, Italy)
Davide Bresolin (University of Padua, Italy)
Mattia D'Emidio (University of L'Aquila; Gran Sasso Science
Institute, Italy)
Miriam Di Ianni (University of Rome "Tor Vergata", Italy)
Diodato Ferraioli (University of Salerno, Italy)
Roberta Gori (University of Pisa, Italy)
Ruggero Lanotte (University of Insubria, Italy)
Andrea Marino (University of Florence, Italy)
Isabella Mastroeni (University of Verona, Italy)
Marino Miculan (DMIF, University of Udine, Italy)
Fabio Mogavero (University of Naples Federico II, Italy)
Manuela Montangero (University of Modena e Reggio Emilia, Italy)
Luca Roversi (University of Torino, Italy)
Marinella Sciortino (University of Palermo, Italy)
Francesca Scozzari (University of Chieti-Pescara, Italy)
Elena Zucca (DIBRIS - University of Genova, Italy)
Roberto Zunino (University of Trento, Italy)
--
Prof. Claudio Sacerdoti Coen
Department of Computer Science and Engineering
University of Bologna
**********************************************************
*
* 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, March 25, 2021
[DMANET] Fully-funded three-year PhD, University of Portsmouth
Dear colleagues,
Applications are invited for a fully-funded three-year PhD to commence in
October 2021. The PhD will be based in the School of Mathematics and
Physics, University of Portsmouth. Candidates applying for this project may
be eligible to compete for one of a small number of bursaries available.
Closing date is on 4 May 2021 (12pm GMT). Please see below for more
information:
*IMPROVING PASSENGER'S EXPERIENCE USING TACTICAL AND REAL-TIME TRAIN
SCHEDULING AND ROUTING ALGORITHMS*
https://www.port.ac.uk/study/postgraduate-research/research-degrees/phd/explore-our-projects/improving-passengers-experience-using-tactical-and-real-time-train-scheduling-and-routing-algorithms
Informal enquiries can be made at any time to: Dr Banafsheh Khosravi (
banafsheh.khosravi@port.ac.uk)
I would be thankful if you could forward this to any interested candidates.
Best regards,
Banafsheh
------------------------------------------------------------
Banafsheh Khosravi (PhD, MSc, BSc, FHEA)
Senior Lecturer in Operational Research
Department of Mathematics and Physics
University of Portsmouth
Portsmouth PO1 3HF
URL: https://tinyurl.com/5ah4x6fm
------------------------------------------------------------
**********************************************************
*
* 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/
*
**********************************************************
Applications are invited for a fully-funded three-year PhD to commence in
October 2021. The PhD will be based in the School of Mathematics and
Physics, University of Portsmouth. Candidates applying for this project may
be eligible to compete for one of a small number of bursaries available.
Closing date is on 4 May 2021 (12pm GMT). Please see below for more
information:
*IMPROVING PASSENGER'S EXPERIENCE USING TACTICAL AND REAL-TIME TRAIN
SCHEDULING AND ROUTING ALGORITHMS*
https://www.port.ac.uk/study/postgraduate-research/research-degrees/phd/explore-our-projects/improving-passengers-experience-using-tactical-and-real-time-train-scheduling-and-routing-algorithms
Informal enquiries can be made at any time to: Dr Banafsheh Khosravi (
banafsheh.khosravi@port.ac.uk)
I would be thankful if you could forward this to any interested candidates.
Best regards,
Banafsheh
------------------------------------------------------------
Banafsheh Khosravi (PhD, MSc, BSc, FHEA)
Senior Lecturer in Operational Research
Department of Mathematics and Physics
University of Portsmouth
Portsmouth PO1 3HF
URL: https://tinyurl.com/5ah4x6fm
------------------------------------------------------------
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] Postdoctoral position at Paris
The ANR JCJC project ASSK (ANR-18-CE40-0025-01) offers a post-doctoral position for two year. The theme of this project is small separation phenomena on graphs and linear matroids, emphasizing the applications on algorithms design. The position will be hosted at LAMSADE (https://www.lamsade.dauphine.fr/en.html), a joint laboratory of Paris-Dauphine University and CNRS, Paris, France.
A successful applicant will have strong research potential with expertise in structural graph theory, graph width parameters, combinatorial optimization, matroid theory or algorithms design (with emphasis on fixed-parameter algorithms). Prior experience with algorithm design for graph width parameters and solid background knowledge in matroid theory are highly appreciated.
The expected starting date of the position is 1st September 2021, which is negotiable. The salary will be 2300+ euros (net). The working language is English.
Further information about the project, job opening and how to apply can be found at
https://www.lamsade.dauphine.fr/~kim/project/index.html.
Eunjung Kim, Charge de recherche, LAMSADE, CNRS.
https://www.lamsade.dauphine.fr/~kim/
Eunjung KIM
**********************************************************
*
* 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/
*
**********************************************************
A successful applicant will have strong research potential with expertise in structural graph theory, graph width parameters, combinatorial optimization, matroid theory or algorithms design (with emphasis on fixed-parameter algorithms). Prior experience with algorithm design for graph width parameters and solid background knowledge in matroid theory are highly appreciated.
The expected starting date of the position is 1st September 2021, which is negotiable. The salary will be 2300+ euros (net). The working language is English.
Further information about the project, job opening and how to apply can be found at
https://www.lamsade.dauphine.fr/~kim/project/index.html.
Eunjung Kim, Charge de recherche, LAMSADE, CNRS.
https://www.lamsade.dauphine.fr/~kim/
Eunjung KIM
**********************************************************
*
* 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] Ph.D position on Combinatorial Algorithms on Strings and Graphs at CWI, Amsterdam
CWI has a vacancy for one PhD student with specialization in
Combinatorial Algorithms on Strings and Graphs. The PhD student will be
positioned at CWI within the "Algorithms for PAngenome" (ALPACA) network
funded by the European Commission through the Horizon 2020 Marie
Sklodowska-Curie ITN Programme.
Applications must be made online through the CWI vacancy portal. Full
details can be found at: https://www.cwi.nl/jobs/vacancies/866988
The application deadline is April 30, 2021.
Best, Solon Pissis
--
Solon P. Pissis, Ph.D
Principal Investigator
Life Sciences and Health research group
Centrum Wiskunde & Informatica (CWI)
Science Park 123, 1098 XG Amsterdam, The Netherlands
Associate Professor
Faculty of Science, Bioinformatics
Vrije Universiteit
Tel: +31 62 881 7122
Skype: solonas13
Email: solon.pissis@cwi.nl
WWW: https://homepages.cwi.nl/~solon/
**********************************************************
*
* 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/
*
**********************************************************
Combinatorial Algorithms on Strings and Graphs. The PhD student will be
positioned at CWI within the "Algorithms for PAngenome" (ALPACA) network
funded by the European Commission through the Horizon 2020 Marie
Sklodowska-Curie ITN Programme.
Applications must be made online through the CWI vacancy portal. Full
details can be found at: https://www.cwi.nl/jobs/vacancies/866988
The application deadline is April 30, 2021.
Best, Solon Pissis
--
Solon P. Pissis, Ph.D
Principal Investigator
Life Sciences and Health research group
Centrum Wiskunde & Informatica (CWI)
Science Park 123, 1098 XG Amsterdam, The Netherlands
Associate Professor
Faculty of Science, Bioinformatics
Vrije Universiteit
Tel: +31 62 881 7122
Skype: solonas13
Email: solon.pissis@cwi.nl
WWW: https://homepages.cwi.nl/~solon/
**********************************************************
*
* 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] DCOSS 2021 Final Call - Firm Deadline 31 Mar 2021 - No further extension
=============================================================
The 17th Annual International Conference on Distributed Computing in Sensor
Systems (DCOSS 2021)
TO BE HELD VIRTUALLY (*)
July 14 - 16, 2021
https://dcoss.org/
(*) DCOSS 2021 Goes Virtual
Due to the evolution of the health pandemic, the event will be held fully
on-line. This will not impact the publication of the DCOSS 2021 proceedings
and accepted papers will be included in the IEEE Xplore Proceedings. The
virtual program will include live sessions of invited speakers and author
presentations, possibly supplemented by online material such as the papers,
presentation slides and videos. Reduced registration fees will apply. Check
for updates at https://dcoss.org.
=============================================================
-----------------
Important Dates:
-----------------
Extended Final Abstract/Paper Submission Deadline: March 31, 2021 (Firm)
Acceptance Notification: May 15, 2021
Camera Ready Deadline: May 31, 2021
=============================================================
DCOSS is technically co-sponsored by IEEE.
A Special Issue of the Computer Networks (COMNET) Elsevier Journal will
include selected best papers of DCOSS 2021.
Submissions instructions: https://dcoss.org/paper-submission/
DCOSS 2021 is the 17th International Conference on Distributed Computing in
Sensor Systems which finally will be held fully on-line July 14-16, 2021.
In the last few years, we have witnessed a significant growth in the use of
IoT and distributed sensor systems in a number of application areas,
ranging from smart transport, energy and buildings, to factory automation,
smart healthcare and environmental monitoring. In order for smart sensor
systems to truly become useful and pervasive, we need to address a number
of research challenges, including the tight integration of sensing and
machine intelligence, reliable and efficient networking, interoperability
and scalability, the need for dependable autonomy, interaction with humans,
and important aspects of security, privacy and trust. DCOSS focuses on
issues arising in the entire IoT and networked sensor systems stack:
covering aspects of high-level abstractions, models and languages, novel
algorithms and applications, system design approaches and architectures, as
well as tools for simulated and real deployments. Potential authors are
invited to submit original unpublished manuscripts that demonstrate recent
advances in both theoretical and experimental research. Topics of interest
include, but are not limited to, the following:
- Artificial Intelligence for IoT
- Smart healthcare to combat epidemics (including COVID-19)
- Edge and fog computing: distributed computing models from sensor to cloud
- Energy harvesting models and optimization
- Machine intelligence in distributed sensor systems and real time analytics
- Communication and networking primitives and protocols
- Autonomy: closing the loop between sensing and actuation
- Task allocation, reprogramming, and reconfiguration
- Robustness, resilience and dependability
- Security and privacy issues
- Approaches, tools, and experience of deployment and operation
- Performance analysis: complexity, correctness, scalability
- Mobile and human-centered sensing
- Interoperability, heterogeneity and scalability
- Crowd sensing and social sensing techniques, applications, and systems
- Complex systems comprising wearable, robotic and/or fixed sensor systems
- Novel and compelling applications
- IoT systems for emerging and developing economies
- Green and environmentally-friendly IoT
Authors are invited to submit original unpublished manuscripts that
demonstrate current research on distributed sensor systems related to DCOSS
topics of interest. Please use the US letter size (8.5 X 11 in) standard
IEEE conference LaTeX format or Microsoft Word template available on the
link below:
http://www.ieee.org/conferences_events/conferences/publishing/templates.html
Note that DCOSS does not follow the double-blind review policy. The names
and affiliations of all the authors must be present in the submitted
manuscript.
Please visit DCOSS website at https://dcoss.org for more information.
******** Main Organizers ********
- Technical Program Committee Chairs:
--------------------------------------
Enzo Mingozzi (University of Pisa, Italy)
Stefano Basagni (Northeastern University, USA)
Jiannong Cao (The Hong Kong Polytechnic University)
--------------
- TPC Members
--------------
Tarek Abdelzaher, University of Illinois Urbana Champaign
Carlo Alberto Boano, Graz University of Technology
Azzedine Boukerche, University of Ottawa
Jean-Francois Chamberland, Texas A&M University
Kevin Chan, US CCDC Army Research Laboratory
Behnam Dezfouli, Santa Clara University
Jiaxin Ding, Shanghai Jiaotong university
Rahman Doost-Mohammady, Rice University
Thomas Erlebach, University of Leicester
Valerio Frascolla, Intel Labs Europe
Jie Gao, Rutgers University
Omprakash Gnawali, University of Houston
Raja Jurdak, Queensland University of Technology
Tomasz Jurdzinski, University of Wroclaw
Evangelos Kranakis, Carleton University
Olaf Landsiedel, Kiel University
Jun Luo, Nanyang Technological Univeristy
Gaia Maselli, University of Rome
Prasant Misra, TATA Consultancy Services
Nathalie Mitton, Inria Lille-Nord Europe
Miguel Mosteiro, Pace University
Sirajum Munir, Bosch Research
Enrico Natalizio, University of Lorraine/Loria
Shijia Pan, University of California Merced
Gian Pietro Picco, University of Trento
Cristina Pinotti, University of Perugia
Theofanis Raptis, IIT-CNR
Francesco Restuccia, Northeastern University
Utz Roedig, University College Cork
Simone Silvestri, University of Kentucky
Nicolas Tsiftes, RISE Research Institutes of Sweden
Eirini Eleni Tsiropoulou, University of New Mexico
Damla Turgut, University of Central Florida
Ambuj Varshney, University of California,Berkeley
Vasos Vassiliou, University of Cyprus
Antonio Virdis, University of Pisa
Thiemo Voigt, Swedish Institute of Computer Science
Dong Wang, University of Notre Dame
Hongkai Wen, University of Warwick
Chenren Xu, Peking University
Jie Yang, Florida State University
Desheng Zhang, Rutgers University
Xiaolong Zheng, Beijing University of Posts and Telecommunications
---------------
- Local Chairs
---------------
Vasos Vassiliou (University of Cyprus, Cyprus)
Zinon Zinonos (Neapolis University Pafos, Cyprus)
-------------------
- Workshops Chairs
-------------------
Enrico Natalizio (University of Lorraine, France)
Zhangyu Guan (University at Buffalo, The State University of New York, USA)
-----------------------
- Poster & Demo Chairs
-----------------------
Thomas Lagkas (International Hellenic University, Greece)
Roger Chamberlain (Washington University in St. Louis, USA)
--------------------
- Proceedings Chair
--------------------
Marios Angelopoulos (Bournemouth University, UK)
-------------------
- Publicity Chairs
-------------------
Eirini Eleni Tsiropoulou (University of New Mexico, USA)
Lei Shu (Nanjing Agricultural University & University of Lincoln, China/UK)
Tamoghna Ojha (IIT-CNR, Italy)
----------------------------
- Steering Committee Chair:
----------------------------
Sotiris Nikoletseas (University of Patras and CTI, Greece)
******** Collocated Events ********
DCOSS 2021 collocates with several thematic Workshops and Special Sessions
on emerging topics and technologies. For more info:
https://dcoss.org/workshops/
The event will also feature a poster and demo session.
--
Tamoghna Ojha
--
Post-Doctoral Research Fellow
Institute for Informatics and Telematics (IIT)
National Research Council (CNR)
Via G. Moruzzi, 1, 56124, Pisa, Italy
Personal Website: http://tamoghnaojha.github.io/
**********************************************************
*
* 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/
*
**********************************************************
The 17th Annual International Conference on Distributed Computing in Sensor
Systems (DCOSS 2021)
TO BE HELD VIRTUALLY (*)
July 14 - 16, 2021
https://dcoss.org/
(*) DCOSS 2021 Goes Virtual
Due to the evolution of the health pandemic, the event will be held fully
on-line. This will not impact the publication of the DCOSS 2021 proceedings
and accepted papers will be included in the IEEE Xplore Proceedings. The
virtual program will include live sessions of invited speakers and author
presentations, possibly supplemented by online material such as the papers,
presentation slides and videos. Reduced registration fees will apply. Check
for updates at https://dcoss.org.
=============================================================
-----------------
Important Dates:
-----------------
Extended Final Abstract/Paper Submission Deadline: March 31, 2021 (Firm)
Acceptance Notification: May 15, 2021
Camera Ready Deadline: May 31, 2021
=============================================================
DCOSS is technically co-sponsored by IEEE.
A Special Issue of the Computer Networks (COMNET) Elsevier Journal will
include selected best papers of DCOSS 2021.
Submissions instructions: https://dcoss.org/paper-submission/
DCOSS 2021 is the 17th International Conference on Distributed Computing in
Sensor Systems which finally will be held fully on-line July 14-16, 2021.
In the last few years, we have witnessed a significant growth in the use of
IoT and distributed sensor systems in a number of application areas,
ranging from smart transport, energy and buildings, to factory automation,
smart healthcare and environmental monitoring. In order for smart sensor
systems to truly become useful and pervasive, we need to address a number
of research challenges, including the tight integration of sensing and
machine intelligence, reliable and efficient networking, interoperability
and scalability, the need for dependable autonomy, interaction with humans,
and important aspects of security, privacy and trust. DCOSS focuses on
issues arising in the entire IoT and networked sensor systems stack:
covering aspects of high-level abstractions, models and languages, novel
algorithms and applications, system design approaches and architectures, as
well as tools for simulated and real deployments. Potential authors are
invited to submit original unpublished manuscripts that demonstrate recent
advances in both theoretical and experimental research. Topics of interest
include, but are not limited to, the following:
- Artificial Intelligence for IoT
- Smart healthcare to combat epidemics (including COVID-19)
- Edge and fog computing: distributed computing models from sensor to cloud
- Energy harvesting models and optimization
- Machine intelligence in distributed sensor systems and real time analytics
- Communication and networking primitives and protocols
- Autonomy: closing the loop between sensing and actuation
- Task allocation, reprogramming, and reconfiguration
- Robustness, resilience and dependability
- Security and privacy issues
- Approaches, tools, and experience of deployment and operation
- Performance analysis: complexity, correctness, scalability
- Mobile and human-centered sensing
- Interoperability, heterogeneity and scalability
- Crowd sensing and social sensing techniques, applications, and systems
- Complex systems comprising wearable, robotic and/or fixed sensor systems
- Novel and compelling applications
- IoT systems for emerging and developing economies
- Green and environmentally-friendly IoT
Authors are invited to submit original unpublished manuscripts that
demonstrate current research on distributed sensor systems related to DCOSS
topics of interest. Please use the US letter size (8.5 X 11 in) standard
IEEE conference LaTeX format or Microsoft Word template available on the
link below:
http://www.ieee.org/conferences_events/conferences/publishing/templates.html
Note that DCOSS does not follow the double-blind review policy. The names
and affiliations of all the authors must be present in the submitted
manuscript.
Please visit DCOSS website at https://dcoss.org for more information.
******** Main Organizers ********
- Technical Program Committee Chairs:
--------------------------------------
Enzo Mingozzi (University of Pisa, Italy)
Stefano Basagni (Northeastern University, USA)
Jiannong Cao (The Hong Kong Polytechnic University)
--------------
- TPC Members
--------------
Tarek Abdelzaher, University of Illinois Urbana Champaign
Carlo Alberto Boano, Graz University of Technology
Azzedine Boukerche, University of Ottawa
Jean-Francois Chamberland, Texas A&M University
Kevin Chan, US CCDC Army Research Laboratory
Behnam Dezfouli, Santa Clara University
Jiaxin Ding, Shanghai Jiaotong university
Rahman Doost-Mohammady, Rice University
Thomas Erlebach, University of Leicester
Valerio Frascolla, Intel Labs Europe
Jie Gao, Rutgers University
Omprakash Gnawali, University of Houston
Raja Jurdak, Queensland University of Technology
Tomasz Jurdzinski, University of Wroclaw
Evangelos Kranakis, Carleton University
Olaf Landsiedel, Kiel University
Jun Luo, Nanyang Technological Univeristy
Gaia Maselli, University of Rome
Prasant Misra, TATA Consultancy Services
Nathalie Mitton, Inria Lille-Nord Europe
Miguel Mosteiro, Pace University
Sirajum Munir, Bosch Research
Enrico Natalizio, University of Lorraine/Loria
Shijia Pan, University of California Merced
Gian Pietro Picco, University of Trento
Cristina Pinotti, University of Perugia
Theofanis Raptis, IIT-CNR
Francesco Restuccia, Northeastern University
Utz Roedig, University College Cork
Simone Silvestri, University of Kentucky
Nicolas Tsiftes, RISE Research Institutes of Sweden
Eirini Eleni Tsiropoulou, University of New Mexico
Damla Turgut, University of Central Florida
Ambuj Varshney, University of California,Berkeley
Vasos Vassiliou, University of Cyprus
Antonio Virdis, University of Pisa
Thiemo Voigt, Swedish Institute of Computer Science
Dong Wang, University of Notre Dame
Hongkai Wen, University of Warwick
Chenren Xu, Peking University
Jie Yang, Florida State University
Desheng Zhang, Rutgers University
Xiaolong Zheng, Beijing University of Posts and Telecommunications
---------------
- Local Chairs
---------------
Vasos Vassiliou (University of Cyprus, Cyprus)
Zinon Zinonos (Neapolis University Pafos, Cyprus)
-------------------
- Workshops Chairs
-------------------
Enrico Natalizio (University of Lorraine, France)
Zhangyu Guan (University at Buffalo, The State University of New York, USA)
-----------------------
- Poster & Demo Chairs
-----------------------
Thomas Lagkas (International Hellenic University, Greece)
Roger Chamberlain (Washington University in St. Louis, USA)
--------------------
- Proceedings Chair
--------------------
Marios Angelopoulos (Bournemouth University, UK)
-------------------
- Publicity Chairs
-------------------
Eirini Eleni Tsiropoulou (University of New Mexico, USA)
Lei Shu (Nanjing Agricultural University & University of Lincoln, China/UK)
Tamoghna Ojha (IIT-CNR, Italy)
----------------------------
- Steering Committee Chair:
----------------------------
Sotiris Nikoletseas (University of Patras and CTI, Greece)
******** Collocated Events ********
DCOSS 2021 collocates with several thematic Workshops and Special Sessions
on emerging topics and technologies. For more info:
https://dcoss.org/workshops/
The event will also feature a poster and demo session.
--
Tamoghna Ojha
--
Post-Doctoral Research Fellow
Institute for Informatics and Telematics (IIT)
National Research Council (CNR)
Via G. Moruzzi, 1, 56124, Pisa, Italy
Personal Website: http://tamoghnaojha.github.io/
**********************************************************
*
* 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, March 24, 2021
[DMANET] Lecturer and Senior Lecturer positions in Computer Science at University of Birmingham
The School of Computer Science, University of Birmingham, UK is looking to
recruit Lecturers and Senior Lecturers (corresponding to Assistant and
Associate Professors respectively -
https://en.wikipedia.org/wiki/Senior_lecturer).
The official advert is here:
https://bham.taleo.net/careersection/external/jobdetail.ftl?job=210000DX&tz=GMT%2B00%3A00&tzname=Europe%2FLondon
In particular, applicants with interests close to our Theory Group (
https://www.birmingham.ac.uk/research/activity/computer-science/theory-of-computation/index.aspx)
are very welcome. The interests of this group include, among other things,
higher category theory, homotopy type theory, constructive mathematics,
string diagrams and graphical calculi, proof assistants, topology and
domain theory, game semantics, quantum computation, programming languages,
verification and model checking, algorithms and complexity.
Feel free to approach me or other members of the theory group for further
information. The application deadline is 21st April.
- Rajesh Chitnis
**********************************************************
*
* 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/
*
**********************************************************
recruit Lecturers and Senior Lecturers (corresponding to Assistant and
Associate Professors respectively -
https://en.wikipedia.org/wiki/Senior_lecturer).
The official advert is here:
https://bham.taleo.net/careersection/external/jobdetail.ftl?job=210000DX&tz=GMT%2B00%3A00&tzname=Europe%2FLondon
In particular, applicants with interests close to our Theory Group (
https://www.birmingham.ac.uk/research/activity/computer-science/theory-of-computation/index.aspx)
are very welcome. The interests of this group include, among other things,
higher category theory, homotopy type theory, constructive mathematics,
string diagrams and graphical calculi, proof assistants, topology and
domain theory, game semantics, quantum computation, programming languages,
verification and model checking, algorithms and complexity.
Feel free to approach me or other members of the theory group for further
information. The application deadline is 21st April.
- Rajesh Chitnis
**********************************************************
*
* 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] TABLEAUX 2021 - 2nd Call for Papers. 6-9 September, 2021. Birmingham, UK.
TABLEAUX 2021
The 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Birmingham, UK, September 6-9, 2021
Website: <https://tableaux2021.org/> https://tableaux2021.org/
Submission deadlines: 19 April (abstract), 26 April 2021 (paper)
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.
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). The conferences will provide a rich programme of workshops, tutorials, invited talks, paper presentations and system descriptions.
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.
SUBMISSION GUIDELINES
Submissions are invited in the following two categories:
(A) research papers reporting original theoretical research or applications, with length up to 15 pages excluding references;
(B) system descriptions, with length up to 9 pages excluding references.
There will also be a later call inviting position papers and brief reports on work-in-progress. Details will be kept up to date on the website.
Submissions will be reviewed by the PC, possibly with the help of external reviewers, taking into account readability, relevance and originality. Any additional material (going beyond the page limit) can be included in a clearly marked appendix, which will be read at the discretion of the committee and must be removed for the camera-ready version.
For category (A) submissions, the reported results must be original and not submitted for publication elsewhere. For category (B) submissions, a working implementation must be accessible via the internet. Authors are encouraged to publish the implementation under an open source license. The aim of a system description is to make the system available in such a way that people can use it, understand it, and build on it. Accepted papers in categories (A) and (B) will be published in the conference proceedings.
Papers must be edited in LaTeX using the llncs style and must be submitted electronically as PDF files via the EasyChair system:
https://easychair.org/conferences/?conf=tableaux21
For all accepted papers at least one author is required to register to the conference and present the paper. A title and a short abstract of about 100 words must be submitted before the paper submission deadline. Formatting instructions and the LNCS style files can be obtained at:
http://www.springer.com/br/computer-science/lncs/conference-proceedings-guidelines
IMPORTANT DATES
Abstract submission: 19 April 2021 (AoE)
Paper submission: 26 April 2021 (AoE)
Notification: 14 June 2021
Conference: 6-9 September 2021
CONFERENCE FORMAT AND COVID-19
TABLEAUX 2021 and FroCoS 2021 are intended to be *hybrid* conferences welcoming both physical and virtual participation. The organisers are closely monitoring the pandemic situation and may choose to make the conference virtual-only if it seems unreasonable to host any sort of physical event. A final decision will be taken before the notification date 14 June (12 weeks before the conference) to leave ample time for potential travel plans to be made.
PUBLICATION
The conference proceedings will be published in the Springer series Lecture Notes in Artificial Intelligence (LNAI/LNCS).
BEST PAPER AWARDS
The program committee will select
* the TABLEAUX 2021 Best Paper; and,
* the TABLEAUX 2021 Best Paper by a Junior Researcher.
Researchers will be considered "junior" if either they are students or their PhD degree date is less than two years from the first day of the meeting. The two awards will be presented at the conference.
TRAVEL GRANTS FOR STUDENTS
Some funding may be available to support students participating at TABLEAUX 2021. More details will be given on the conference website in due time.
PROGRAM COMMITTEE
Bahareh Afshari (University of Amsterdam, Netherlands, and University of Gothenburg, Sweden)
Carlos Areces (Universidad Nacional de Cordoba, Argentina)
Arnon Avron (Tel-Aviv University, Israel)
Nick Bezhanishvili (University of Amsterdam, Netherlands)
Patrick Blackburn (University of Roskilde, Denmark)
Serenella Cerrito (Universite Paris-Saclay, Univ Evry, France)
Kaustuv Chaudhuri (Inria, France)
Liron Cohen (Ben-Gurion University, Israel)
Anupam Das (University of Birmingham, UK)
Stephane Demri (CNRS, France)
Hans de Nivelle (Nazarbayev University, Kazakhstan)
Valeria de Paiva (Topos Institute Berkeley, USA)
Clare Dixon (University of Manchester, UK)
Christian Fermueller (TU Wien, Austria)
Didier Galmiche (Universite de Lorraine, France)
Silvio Ghilardi (Universita degli Studi di Milano, Italy)
Rajeev Gore (Australian National University, Australia)
Andrzej Indrzejczak (University of Lodz, Poland)
Hidenori Kurokawa (Kanazawa University, Japan)
Stepan Kuznetsov (Russian Academy of Sciences, Russia)
Bjoern Lellmann (SBA Research, Austria)
Stephane Graham-Lengrand (SRI International, USA)
George Metcalfe (University of Bern, Switzerland)
Neil Murray (University At Albany, USA)
Claudia Nalon (Universidade de Brasilia, 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)
Jose Espirito Santo (University of Minho, Portugal)
Lutz Strassburger (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)
**********************************************************
*
* 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/
*
**********************************************************
The 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Birmingham, UK, September 6-9, 2021
Website: <https://tableaux2021.org/> https://tableaux2021.org/
Submission deadlines: 19 April (abstract), 26 April 2021 (paper)
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.
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). The conferences will provide a rich programme of workshops, tutorials, invited talks, paper presentations and system descriptions.
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.
SUBMISSION GUIDELINES
Submissions are invited in the following two categories:
(A) research papers reporting original theoretical research or applications, with length up to 15 pages excluding references;
(B) system descriptions, with length up to 9 pages excluding references.
There will also be a later call inviting position papers and brief reports on work-in-progress. Details will be kept up to date on the website.
Submissions will be reviewed by the PC, possibly with the help of external reviewers, taking into account readability, relevance and originality. Any additional material (going beyond the page limit) can be included in a clearly marked appendix, which will be read at the discretion of the committee and must be removed for the camera-ready version.
For category (A) submissions, the reported results must be original and not submitted for publication elsewhere. For category (B) submissions, a working implementation must be accessible via the internet. Authors are encouraged to publish the implementation under an open source license. The aim of a system description is to make the system available in such a way that people can use it, understand it, and build on it. Accepted papers in categories (A) and (B) will be published in the conference proceedings.
Papers must be edited in LaTeX using the llncs style and must be submitted electronically as PDF files via the EasyChair system:
https://easychair.org/conferences/?conf=tableaux21
For all accepted papers at least one author is required to register to the conference and present the paper. A title and a short abstract of about 100 words must be submitted before the paper submission deadline. Formatting instructions and the LNCS style files can be obtained at:
http://www.springer.com/br/computer-science/lncs/conference-proceedings-guidelines
IMPORTANT DATES
Abstract submission: 19 April 2021 (AoE)
Paper submission: 26 April 2021 (AoE)
Notification: 14 June 2021
Conference: 6-9 September 2021
CONFERENCE FORMAT AND COVID-19
TABLEAUX 2021 and FroCoS 2021 are intended to be *hybrid* conferences welcoming both physical and virtual participation. The organisers are closely monitoring the pandemic situation and may choose to make the conference virtual-only if it seems unreasonable to host any sort of physical event. A final decision will be taken before the notification date 14 June (12 weeks before the conference) to leave ample time for potential travel plans to be made.
PUBLICATION
The conference proceedings will be published in the Springer series Lecture Notes in Artificial Intelligence (LNAI/LNCS).
BEST PAPER AWARDS
The program committee will select
* the TABLEAUX 2021 Best Paper; and,
* the TABLEAUX 2021 Best Paper by a Junior Researcher.
Researchers will be considered "junior" if either they are students or their PhD degree date is less than two years from the first day of the meeting. The two awards will be presented at the conference.
TRAVEL GRANTS FOR STUDENTS
Some funding may be available to support students participating at TABLEAUX 2021. More details will be given on the conference website in due time.
PROGRAM COMMITTEE
Bahareh Afshari (University of Amsterdam, Netherlands, and University of Gothenburg, Sweden)
Carlos Areces (Universidad Nacional de Cordoba, Argentina)
Arnon Avron (Tel-Aviv University, Israel)
Nick Bezhanishvili (University of Amsterdam, Netherlands)
Patrick Blackburn (University of Roskilde, Denmark)
Serenella Cerrito (Universite Paris-Saclay, Univ Evry, France)
Kaustuv Chaudhuri (Inria, France)
Liron Cohen (Ben-Gurion University, Israel)
Anupam Das (University of Birmingham, UK)
Stephane Demri (CNRS, France)
Hans de Nivelle (Nazarbayev University, Kazakhstan)
Valeria de Paiva (Topos Institute Berkeley, USA)
Clare Dixon (University of Manchester, UK)
Christian Fermueller (TU Wien, Austria)
Didier Galmiche (Universite de Lorraine, France)
Silvio Ghilardi (Universita degli Studi di Milano, Italy)
Rajeev Gore (Australian National University, Australia)
Andrzej Indrzejczak (University of Lodz, Poland)
Hidenori Kurokawa (Kanazawa University, Japan)
Stepan Kuznetsov (Russian Academy of Sciences, Russia)
Bjoern Lellmann (SBA Research, Austria)
Stephane Graham-Lengrand (SRI International, USA)
George Metcalfe (University of Bern, Switzerland)
Neil Murray (University At Albany, USA)
Claudia Nalon (Universidade de Brasilia, 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)
Jose Espirito Santo (University of Minho, Portugal)
Lutz Strassburger (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)
**********************************************************
*
* 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] [Deadline Approaching, March 26] Call for Papers - DPM (Data Privacy Management) 2021, co-located with ESORICS 2021, LNCS proceedings, October 2021, Darmstadt, Germany
CALL FOR PAPERS
******************************************************************
16th International Workshop on Data Privacy Management (DPM 2021)
October 4-8, 2021, Darmstadt, Germany
(co-located with ESORICS & CBT 2021 http://cbtworkshop.org/)
https://deic-web.uab.cat/conferences/dpm/dpm2021/
******************************************************************
IMPORTANT DATES
======================
Deadlines:
-- Spring Cycle: March 26, 2021
-- Summer Cycle: July 16, 2021
Notifications:
-- Spring Cycle: April 26, 2021
-- Summer Cycle: August 20, 2021
Camera Ready:
-- Spring Cycle: May 26, 2021
-- Summer Cycle: September 10, 2021
===============
EVENT FORMAT
===============
As a satellite event of the ESORICS symposium, DPM will be organised
as a hybrid workshop: digitally with remote participation and talks
and physically with presence in Darmstadt. The health and safety of
the symposium participants is our number one priority hence the
digital part may be increased depending on the development of
COVID-19. This new format will not affect our proceedings, which will
be published as Springer LNCS proceedings.
======
SCOPE
======
DPM is an annual international workshop covering research in data
privacy management. Organizations are increasingly concerned
about the privacy of information that they manage (as witnessed,
for example, by lawsuits filed against organizations for
violating the privacy of customer's data). Thus, the management
of privacy-sensitive information is very critical and important
for every organization.
This poses several challenging problems, such as how to translate the
high-level business goals into system-level privacy policies,
administration of privacy-sensitive data, privacy preserving data
integration and engineering, privacy preserving access control
mechanisms, information-oriented security, and query execution on
privacy-sensitive data for partial answers. Starting from these
observations, the aim of DPM is to discuss and exchange ideas related
to data privacy management. We invite papers from researchers and
practitioners working in privacy, security, trustworthy data systems
and related areas to submit their original papers in this workshop.
Submissions by PhD students as well as controversial ideas are
encouraged. Case studies (successful or not) are also encouraged.
TOPICS
========
Topics of interest include, but are not limited to:
- Privacy Information Management
- Privacy Policy-based Infrastructures and Architectures
- Privacy-oriented Access Control Languages and Models
- Privacy in Trust Management
- Privacy in Cryptocurrencies
- Privacy Data Integration
- Privacy Risk Assessment and Assurance
- Privacy Services
- Privacy Policy Analysis
- Data Protection Regulations in Practice
- Cryptographic Protocols for Privacy
- Query Execution over Privacy Sensitive Data
- Privacy Preserving Data Mining
- Privacy for Integrity-based Computing
- Privacy Monitoring and Auditing
- Privacy in Social Networks
- Privacy in Ambient Intelligence (AmI) Applications
- Individual Privacy vs. Corporate/National Security
- Privacy in computer networks
- Privacy and RFIDs
- Privacy and Big Data
- Privacy in sensor networks
- Privacy in the Internet of Things
PAPER SUBMISSIONS
===================
Submitted papers must not substantially overlap papers that have been
published or that are simultaneously submitted to a journal or a
conference with proceedings. Papers can be submitted as Full Papers or
Short Papers. Full papers should be at most 16 pages in the LNCS
format, including the bibliography and well-marked appendices. Short
papers should be at most 8 pages in the LNCS format, including the
bibliography and well-marked appendices. Program Committee members are
not required to read the appendices, so papers should be intelligible
without them.
Authors should indicate whether their paper is a short paper to
differentiate them from full papers. All submissions must be written
in English. It is planned to have accepted papers published by
Springer in the Lecture Notes in Computer Science (LNCS) series, the
LNCS template can be found at
http://www.springer.com/computer/lncs/lncs+authors.
Authors must submit their papers by the indicated deadline, using the
EasyChair web site (at
https://easychair.org/conferences/?conf=dpm2021). Only PDF files will
be accepted (a Latex source file will be required for the final
version of the accepted papers). All papers will be refereed. Accepted
papers must be presented at the Workshop. At least one author of each
accepted paper must register to the workshop, by the early date
indicated by the organizers, and present the paper.
PROGRAM CHAIRS
===============
- Joaquin Garcia-Alfaro (Institut Polytechnique de Paris)
- Guillermo Navarro-Arribas (Universitat Autonoma de Barcelona)
- Miquel Soriano (Universitat Politecnica de Catalunya)
PROGRAM COMMITTEE
=================
- Ken Barker (University of Calgary)
- Elisa Bertino (Purdue University)
- Jordi Casas-Roma (Universitat Oberta de Catalunya)
- Mauro Conti (University of Padua)
- Frederic Cuppens (Polytechnique Montreal)
- Nora Cuppens-Boulahia (Polytechnique Montreal)
- Sabrina De Capitani di Vimercati (University of Milan)
- Josep Domingo-Ferrer (Universitat Rovira i Virgili)
- Sara Foresti (University of Milan)
- Jose M. De Fuentes (Universidad Carlos III de Madrid)
- Sebastien Gambs (Universite du Quebec A Montreal)
- Javier Herranz (Universitat Politecnica de Catalunya)
- Marc Juarez (University of Southern California)
- Christos Kalloniatis (University of the Aegean)
- Florian Kammueller (Middlesex University London)
- Sokratis Katsikas (Norwegian University of Science and Technology)
- Hiroaki Kikuchi (Meiji University)
- Evangelos Kranakis (Carleton University)
- Alptekin Kupcu (Koc University)
- Costas Lambrinoudakis (University of Piraeus)
- Maryline Laurent (Institut Mines-Telecom)
- Giovanni Livraga (University of Milan)
- Brad Malin (Vanderbilt University)
- Chris Mitchell (Royal Holloway, University of London)
- Martin Ochoa (AppGate Inc.)
- Melek Onen (EURECOM)
- Gerardo Pelosi (Politecnico di Milano)
- Silvio Ranise (Fundazione Bruno Kessler)
- Kai Rannenberg (Goethe University Frankfurt)
- Ruben Rios (Universidad de Malada)
- Pierangela Samarati (University of Mila)
- Vicenc Torra (Umea University)
- Yasuyuki Tsukada (Kanto Gakuin University)
- Alexandre Viejo (Universitat Rovira i Virgili)
- Isabel Wagner (De Montfort University)
- Jens Weber (University of Victoria)
- Lena Wiese (University of Gottingen)
- Nicola Zannone (Eindhoven University of Technology)
SPONSORS
=========
The UNESCO Chair in Data Privacy will offer stipends to offset some of
the costs associated with participating in the DPM workshop for
participants coming from transition countries, which we define as
those having GDP per capita less than 20000 international dollars,
according to the World Bank's list. Priority will be given to authors
and students. Interested participants please send a mail with your
vitae to dpm2021@easychair.org
This call for papers and additional information about the conference
can be found at https://deic-web.uab.cat/conferences/dpm/dpm2021/
**********************************************************
*
* 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/
*
**********************************************************
******************************************************************
16th International Workshop on Data Privacy Management (DPM 2021)
October 4-8, 2021, Darmstadt, Germany
(co-located with ESORICS & CBT 2021 http://cbtworkshop.org/)
https://deic-web.uab.cat/conferences/dpm/dpm2021/
******************************************************************
IMPORTANT DATES
======================
Deadlines:
-- Spring Cycle: March 26, 2021
-- Summer Cycle: July 16, 2021
Notifications:
-- Spring Cycle: April 26, 2021
-- Summer Cycle: August 20, 2021
Camera Ready:
-- Spring Cycle: May 26, 2021
-- Summer Cycle: September 10, 2021
===============
EVENT FORMAT
===============
As a satellite event of the ESORICS symposium, DPM will be organised
as a hybrid workshop: digitally with remote participation and talks
and physically with presence in Darmstadt. The health and safety of
the symposium participants is our number one priority hence the
digital part may be increased depending on the development of
COVID-19. This new format will not affect our proceedings, which will
be published as Springer LNCS proceedings.
======
SCOPE
======
DPM is an annual international workshop covering research in data
privacy management. Organizations are increasingly concerned
about the privacy of information that they manage (as witnessed,
for example, by lawsuits filed against organizations for
violating the privacy of customer's data). Thus, the management
of privacy-sensitive information is very critical and important
for every organization.
This poses several challenging problems, such as how to translate the
high-level business goals into system-level privacy policies,
administration of privacy-sensitive data, privacy preserving data
integration and engineering, privacy preserving access control
mechanisms, information-oriented security, and query execution on
privacy-sensitive data for partial answers. Starting from these
observations, the aim of DPM is to discuss and exchange ideas related
to data privacy management. We invite papers from researchers and
practitioners working in privacy, security, trustworthy data systems
and related areas to submit their original papers in this workshop.
Submissions by PhD students as well as controversial ideas are
encouraged. Case studies (successful or not) are also encouraged.
TOPICS
========
Topics of interest include, but are not limited to:
- Privacy Information Management
- Privacy Policy-based Infrastructures and Architectures
- Privacy-oriented Access Control Languages and Models
- Privacy in Trust Management
- Privacy in Cryptocurrencies
- Privacy Data Integration
- Privacy Risk Assessment and Assurance
- Privacy Services
- Privacy Policy Analysis
- Data Protection Regulations in Practice
- Cryptographic Protocols for Privacy
- Query Execution over Privacy Sensitive Data
- Privacy Preserving Data Mining
- Privacy for Integrity-based Computing
- Privacy Monitoring and Auditing
- Privacy in Social Networks
- Privacy in Ambient Intelligence (AmI) Applications
- Individual Privacy vs. Corporate/National Security
- Privacy in computer networks
- Privacy and RFIDs
- Privacy and Big Data
- Privacy in sensor networks
- Privacy in the Internet of Things
PAPER SUBMISSIONS
===================
Submitted papers must not substantially overlap papers that have been
published or that are simultaneously submitted to a journal or a
conference with proceedings. Papers can be submitted as Full Papers or
Short Papers. Full papers should be at most 16 pages in the LNCS
format, including the bibliography and well-marked appendices. Short
papers should be at most 8 pages in the LNCS format, including the
bibliography and well-marked appendices. Program Committee members are
not required to read the appendices, so papers should be intelligible
without them.
Authors should indicate whether their paper is a short paper to
differentiate them from full papers. All submissions must be written
in English. It is planned to have accepted papers published by
Springer in the Lecture Notes in Computer Science (LNCS) series, the
LNCS template can be found at
http://www.springer.com/computer/lncs/lncs+authors.
Authors must submit their papers by the indicated deadline, using the
EasyChair web site (at
https://easychair.org/conferences/?conf=dpm2021). Only PDF files will
be accepted (a Latex source file will be required for the final
version of the accepted papers). All papers will be refereed. Accepted
papers must be presented at the Workshop. At least one author of each
accepted paper must register to the workshop, by the early date
indicated by the organizers, and present the paper.
PROGRAM CHAIRS
===============
- Joaquin Garcia-Alfaro (Institut Polytechnique de Paris)
- Guillermo Navarro-Arribas (Universitat Autonoma de Barcelona)
- Miquel Soriano (Universitat Politecnica de Catalunya)
PROGRAM COMMITTEE
=================
- Ken Barker (University of Calgary)
- Elisa Bertino (Purdue University)
- Jordi Casas-Roma (Universitat Oberta de Catalunya)
- Mauro Conti (University of Padua)
- Frederic Cuppens (Polytechnique Montreal)
- Nora Cuppens-Boulahia (Polytechnique Montreal)
- Sabrina De Capitani di Vimercati (University of Milan)
- Josep Domingo-Ferrer (Universitat Rovira i Virgili)
- Sara Foresti (University of Milan)
- Jose M. De Fuentes (Universidad Carlos III de Madrid)
- Sebastien Gambs (Universite du Quebec A Montreal)
- Javier Herranz (Universitat Politecnica de Catalunya)
- Marc Juarez (University of Southern California)
- Christos Kalloniatis (University of the Aegean)
- Florian Kammueller (Middlesex University London)
- Sokratis Katsikas (Norwegian University of Science and Technology)
- Hiroaki Kikuchi (Meiji University)
- Evangelos Kranakis (Carleton University)
- Alptekin Kupcu (Koc University)
- Costas Lambrinoudakis (University of Piraeus)
- Maryline Laurent (Institut Mines-Telecom)
- Giovanni Livraga (University of Milan)
- Brad Malin (Vanderbilt University)
- Chris Mitchell (Royal Holloway, University of London)
- Martin Ochoa (AppGate Inc.)
- Melek Onen (EURECOM)
- Gerardo Pelosi (Politecnico di Milano)
- Silvio Ranise (Fundazione Bruno Kessler)
- Kai Rannenberg (Goethe University Frankfurt)
- Ruben Rios (Universidad de Malada)
- Pierangela Samarati (University of Mila)
- Vicenc Torra (Umea University)
- Yasuyuki Tsukada (Kanto Gakuin University)
- Alexandre Viejo (Universitat Rovira i Virgili)
- Isabel Wagner (De Montfort University)
- Jens Weber (University of Victoria)
- Lena Wiese (University of Gottingen)
- Nicola Zannone (Eindhoven University of Technology)
SPONSORS
=========
The UNESCO Chair in Data Privacy will offer stipends to offset some of
the costs associated with participating in the DPM workshop for
participants coming from transition countries, which we define as
those having GDP per capita less than 20000 international dollars,
according to the World Bank's list. Priority will be given to authors
and students. Interested participants please send a mail with your
vitae to dpm2021@easychair.org
This call for papers and additional information about the conference
can be found at https://deic-web.uab.cat/conferences/dpm/dpm2021/
**********************************************************
*
* 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 Brno, Czech Republic ( Transportation planning and scheduling)
*Postdoc positions at FI MU 2021 *
The Faculty of Informatics <http://www.fi.muni.cz> of Masaryk University (FI MU)
in Brno, Czech Republic, invites applications for one or two* *Post-doctoral
positions in all areas of Computer Science. Brno, the second largest city in the
Czech Republic, see https://www.gotobrno.cz/en/ <https://www.gotobrno.cz/en/>,
is an attractive city for students and young researchers. The Faculty has
a strong interest in attracting applications from abroad.
See the call
https://www.muni.cz/en/about-us/careers/vacancies/61014
<https://www.muni.cz/en/about-us/careers/vacancies/61014>
This includes, in particular, the area of
* Transportation planning and scheduling*
**
Please contact Hana Rudova <hanka@fi.muni.cz> <mailto:hanka@fi.muni.cz> if you
are interested in these particular topics. You should also send:
* an academic CV including a list of publications (only published or accepted),
* motivation letter,
* your three best publications from recent years from above mentioned areas
(references as well as PDF files), where all publications must be published
or accepted. Please, do not send publications under review.
* PDF of your PhD thesis if it is written in English.
Note that deadline for application is ****April 12, 2021. However, you should
contact Hana Rudova as early as possible to compare potential candidates for
these areas in advance. More details about corresponding research topics can be
found at
https://www.fi.muni.cz/research/networks/scheduling.html.en
<https://www.fi.muni.cz/research/networks/scheduling.html.en>
**Offer**
The postdoctoral positions are awarded for one year with an extension to the
second year after a review. Gross salary is 50,000 CZK per month which, with an
optional 10% bonus, sums to more than **25,000 EUR per year*. *Additional funds
of 4,000 EUR per year will be available for travel and material expenses.
Preferred start date of the contract is between July and September 2021, but
other options can be negotiated without hassle.********
**Requirements**
Candidates must have a* *Ph.D. degree not older than 4 years* *at the time of
application, from a university outside of the Czech and Slovak Republics. In
case that the Ph.D. defense is not yet finished, the candidate must also provide
an official letter certifying that his/her Ph.D. thesis has already been
submitted for defense and outlining the expected schedule of the Ph.D. defense.
Candidates with a Ph.D. degree from a Czech or Slovak university may also be
considered if they prove at least two years of post-doctoral research experience
abroad.
**Evaluation**
All candidates are expected to be fluent in English, while prior knowledge of
Czech is not required. Candidates will be evaluated on the ground of their
strong international research record, and preference will be given to those
whose research areas match the research directions of the Faculty of
Informatics; see http://www.fi.muni.cz/research/
<http://www.fi.muni.cz/research/.en>.
***Contact***
****Hana Rudova, Ph.D.
Associate Professor
Faculty of Informatics, Masaryk University
Botanicka 68a, 602 00 Brno, Czech Republic
hanka@fi.muni.cz <mailto:hanka@fi.muni.cz>
http://www.fi.muni.cz/~hanka <http://www.fi.muni.cz/~hanka>
**********************************************************
*
* 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/
*
**********************************************************
The Faculty of Informatics <http://www.fi.muni.cz> of Masaryk University (FI MU)
in Brno, Czech Republic, invites applications for one or two* *Post-doctoral
positions in all areas of Computer Science. Brno, the second largest city in the
Czech Republic, see https://www.gotobrno.cz/en/ <https://www.gotobrno.cz/en/>,
is an attractive city for students and young researchers. The Faculty has
a strong interest in attracting applications from abroad.
See the call
https://www.muni.cz/en/about-us/careers/vacancies/61014
<https://www.muni.cz/en/about-us/careers/vacancies/61014>
This includes, in particular, the area of
* Transportation planning and scheduling*
**
Please contact Hana Rudova <hanka@fi.muni.cz> <mailto:hanka@fi.muni.cz> if you
are interested in these particular topics. You should also send:
* an academic CV including a list of publications (only published or accepted),
* motivation letter,
* your three best publications from recent years from above mentioned areas
(references as well as PDF files), where all publications must be published
or accepted. Please, do not send publications under review.
* PDF of your PhD thesis if it is written in English.
Note that deadline for application is ****April 12, 2021. However, you should
contact Hana Rudova as early as possible to compare potential candidates for
these areas in advance. More details about corresponding research topics can be
found at
https://www.fi.muni.cz/research/networks/scheduling.html.en
<https://www.fi.muni.cz/research/networks/scheduling.html.en>
**Offer**
The postdoctoral positions are awarded for one year with an extension to the
second year after a review. Gross salary is 50,000 CZK per month which, with an
optional 10% bonus, sums to more than **25,000 EUR per year*. *Additional funds
of 4,000 EUR per year will be available for travel and material expenses.
Preferred start date of the contract is between July and September 2021, but
other options can be negotiated without hassle.********
**Requirements**
Candidates must have a* *Ph.D. degree not older than 4 years* *at the time of
application, from a university outside of the Czech and Slovak Republics. In
case that the Ph.D. defense is not yet finished, the candidate must also provide
an official letter certifying that his/her Ph.D. thesis has already been
submitted for defense and outlining the expected schedule of the Ph.D. defense.
Candidates with a Ph.D. degree from a Czech or Slovak university may also be
considered if they prove at least two years of post-doctoral research experience
abroad.
**Evaluation**
All candidates are expected to be fluent in English, while prior knowledge of
Czech is not required. Candidates will be evaluated on the ground of their
strong international research record, and preference will be given to those
whose research areas match the research directions of the Faculty of
Informatics; see http://www.fi.muni.cz/research/
<http://www.fi.muni.cz/research/.en>.
***Contact***
****Hana Rudova, Ph.D.
Associate Professor
Faculty of Informatics, Masaryk University
Botanicka 68a, 602 00 Brno, Czech Republic
hanka@fi.muni.cz <mailto:hanka@fi.muni.cz>
http://www.fi.muni.cz/~hanka <http://www.fi.muni.cz/~hanka>
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] FACS 2021 - First Call for Papers
=============================================================================
**
** First Call for Papers: FACS 2021
**
** 17th International Conference on Formal Aspects of Component Software
**
** Virtual Event
**
** https://facs2021.inria.fr
**
=============================================================================
## OVERVIEW
Component-based software development proposes sound engineering principles
and techniques to cope with the complexity of present-day software systems.
However, many challenging conceptual and technological issues remain in
component-based software development theory and practice. Furthermore, the
advent of service-oriented and cloud computing, cyber-physical systems, and
the Internet of Things has brought to the fore new dimensions, such as
quality of service and robustness to withstand faults, which require
revisiting established concepts and developing new ones.
FACS 2021 is concerned with how formal methods can be applied to
component-based software and system development. Formal methods have
provided foundations for component-based software through research on
mathematical models for components, composition and adaptation, and
rigorous approaches to verification, deployment, testing, and certification.
## INVITED SPEAKERS
* Radu Calinescu (University of York, UK)
* Corina Pasareanu (NASA Ames, CMU, USA)
## DATES
* Abstract: June 25, 2021
* Paper: July 2, 2021
* Notification: August 20, 2021
* Conference: October 28-29, 2021
All deadlines are AoE.
## SCOPE
The conference seeks to address the application of formal methods in all
aspects of software components and services. Specific topics include, but
are not limited to:
* formal models for software components and their interaction;
* formal aspects of services, service-oriented architectures, business
processes, cloud computing, cyber-physical systems, Internet of Things, and
other artifacts;
* design and verification methods for software components and services;
* composition and deployment: models, calculi, languages;
* formal methods and modeling languages for components and services;
* (behavioral) type systems for components and services;
* models for QoS and other extra-functional properties (e.g., trust,
compliance, security) of components and services;
* components for real-time, safety-critical, secure, and/or embedded
systems;
* components for the Internet of things and cyber-physical systems;
* artificial intelligence and machine learning for components and services;
* probabilistic techniques for modeling and verification of component-based
systems;
* model-based testing of components and services;
* case studies and experience reports;
* tools supporting formal methods for components and services.
## SUBMISSION & PUBLICATION
We solicit submissions related to the topics mentioned above in the
following categories:
* full papers: original research, applications and experiences, surveys
(16 pages max, excluding references);
* short papers: tools and demonstrations, new ideas and emerging results,
position papers (6 pages max, excluding references).
Paper submission is done via EasyChair at:
https://easychair.org/conferences/?conf=facs2021.
All submissions must be original, unpublished, and not submitted
concurrently for publication elsewhere. Each paper will be reviewed by at
least three PC members and evaluated in terms of novelty, importance,
evidence, and clarity.
The proceedings of FACS 2021 will be published as a volume of LNCS. All
accepted papers will be published in this LNCS volume. Authors should
consult Springer's authors' guidelines and use their proceedings templates,
either for LaTeX or for Word, for the preparation of their papers. Springer
encourages authors to include their ORCIDs in their papers. In addition,
the corresponding author of each paper, acting on behalf of all of the
authors of that paper, must complete and sign a Consent-to-Publish form.
The corresponding author signing the copyright form should match the
corresponding author marked on the paper. Once the files have been sent to
Springer, changes relating to the authorship of the papers cannot be made.
A special issue of an international journal on FACS 2021 will be prepared
and published. After the conference, authors of select papers will be
invited to submit an extended version for inclusion in this special issue.
## CHAIRS
Gwen Salaun, University Grenoble Alpes, France
Anton Wijs, Eindhoven University of Technology, The Netherlands
## PROGRAM COMMITTEE
Kyungmin Bae, Pohang University of Science and Technology, Korea
Christel Baier, TU Dresden, Germany
Luis Soares Barbosa, University of Minho, Portugal,
Simon Bliudze, Inria Lille, France
Javier Camara, University of York, UK
Francisco Duran, University of Malaga, Spain
Fatemeh Ghassemi, University of Tehran, Iran
Sung-Shik Jongmans, Open University and CWI, the Netherlands
Olga Kouchnarenko, University of Franche-Comte, France
Alfons Laarman, Leiden University, The Netherlands
Ivan Lanese, University of Bologna, Italy
Zhiming Liu, Southwest University, China
Alberto Lluch-Lafuente, Technical University of Denmark, Denmark
Markus Lumpe, Swinburne University of Technology, Australia
Eric Madelaine, Inria Sophia Antipolis, France
Mieke Massink, CNR ISTI, Italy
Hernan Melgratti, University of Buenos Aires, Argentina
Fabrizio Montesi, University of Southern Denmark
Peter Csaba Olveczky, University of Oslo, Norway
Jun Pang, University of Luxembourg
Jose Proenca, CISTER, Portugal
Jorge Perez, University of Groningen, The Netherlands
Camilo Rocha, Pontificia Universidad Javeriana Cali, Colombia
Gwen Salaun, Universite Grenoble Alpes, France
Ana Sokolova, University of Salzburg, Austria
Jacopo Soldani, University of Pisa, Italy
Anton Wijs, Eindhoven University of Technology, The Netherlands
Shoji Yuen, Nagoya University, Japan
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
**
** First Call for Papers: FACS 2021
**
** 17th International Conference on Formal Aspects of Component Software
**
** Virtual Event
**
** https://facs2021.inria.fr
**
=============================================================================
## OVERVIEW
Component-based software development proposes sound engineering principles
and techniques to cope with the complexity of present-day software systems.
However, many challenging conceptual and technological issues remain in
component-based software development theory and practice. Furthermore, the
advent of service-oriented and cloud computing, cyber-physical systems, and
the Internet of Things has brought to the fore new dimensions, such as
quality of service and robustness to withstand faults, which require
revisiting established concepts and developing new ones.
FACS 2021 is concerned with how formal methods can be applied to
component-based software and system development. Formal methods have
provided foundations for component-based software through research on
mathematical models for components, composition and adaptation, and
rigorous approaches to verification, deployment, testing, and certification.
## INVITED SPEAKERS
* Radu Calinescu (University of York, UK)
* Corina Pasareanu (NASA Ames, CMU, USA)
## DATES
* Abstract: June 25, 2021
* Paper: July 2, 2021
* Notification: August 20, 2021
* Conference: October 28-29, 2021
All deadlines are AoE.
## SCOPE
The conference seeks to address the application of formal methods in all
aspects of software components and services. Specific topics include, but
are not limited to:
* formal models for software components and their interaction;
* formal aspects of services, service-oriented architectures, business
processes, cloud computing, cyber-physical systems, Internet of Things, and
other artifacts;
* design and verification methods for software components and services;
* composition and deployment: models, calculi, languages;
* formal methods and modeling languages for components and services;
* (behavioral) type systems for components and services;
* models for QoS and other extra-functional properties (e.g., trust,
compliance, security) of components and services;
* components for real-time, safety-critical, secure, and/or embedded
systems;
* components for the Internet of things and cyber-physical systems;
* artificial intelligence and machine learning for components and services;
* probabilistic techniques for modeling and verification of component-based
systems;
* model-based testing of components and services;
* case studies and experience reports;
* tools supporting formal methods for components and services.
## SUBMISSION & PUBLICATION
We solicit submissions related to the topics mentioned above in the
following categories:
* full papers: original research, applications and experiences, surveys
(16 pages max, excluding references);
* short papers: tools and demonstrations, new ideas and emerging results,
position papers (6 pages max, excluding references).
Paper submission is done via EasyChair at:
https://easychair.org/conferences/?conf=facs2021.
All submissions must be original, unpublished, and not submitted
concurrently for publication elsewhere. Each paper will be reviewed by at
least three PC members and evaluated in terms of novelty, importance,
evidence, and clarity.
The proceedings of FACS 2021 will be published as a volume of LNCS. All
accepted papers will be published in this LNCS volume. Authors should
consult Springer's authors' guidelines and use their proceedings templates,
either for LaTeX or for Word, for the preparation of their papers. Springer
encourages authors to include their ORCIDs in their papers. In addition,
the corresponding author of each paper, acting on behalf of all of the
authors of that paper, must complete and sign a Consent-to-Publish form.
The corresponding author signing the copyright form should match the
corresponding author marked on the paper. Once the files have been sent to
Springer, changes relating to the authorship of the papers cannot be made.
A special issue of an international journal on FACS 2021 will be prepared
and published. After the conference, authors of select papers will be
invited to submit an extended version for inclusion in this special issue.
## CHAIRS
Gwen Salaun, University Grenoble Alpes, France
Anton Wijs, Eindhoven University of Technology, The Netherlands
## PROGRAM COMMITTEE
Kyungmin Bae, Pohang University of Science and Technology, Korea
Christel Baier, TU Dresden, Germany
Luis Soares Barbosa, University of Minho, Portugal,
Simon Bliudze, Inria Lille, France
Javier Camara, University of York, UK
Francisco Duran, University of Malaga, Spain
Fatemeh Ghassemi, University of Tehran, Iran
Sung-Shik Jongmans, Open University and CWI, the Netherlands
Olga Kouchnarenko, University of Franche-Comte, France
Alfons Laarman, Leiden University, The Netherlands
Ivan Lanese, University of Bologna, Italy
Zhiming Liu, Southwest University, China
Alberto Lluch-Lafuente, Technical University of Denmark, Denmark
Markus Lumpe, Swinburne University of Technology, Australia
Eric Madelaine, Inria Sophia Antipolis, France
Mieke Massink, CNR ISTI, Italy
Hernan Melgratti, University of Buenos Aires, Argentina
Fabrizio Montesi, University of Southern Denmark
Peter Csaba Olveczky, University of Oslo, Norway
Jun Pang, University of Luxembourg
Jose Proenca, CISTER, Portugal
Jorge Perez, University of Groningen, The Netherlands
Camilo Rocha, Pontificia Universidad Javeriana Cali, Colombia
Gwen Salaun, Universite Grenoble Alpes, France
Ana Sokolova, University of Salzburg, Austria
Jacopo Soldani, University of Pisa, Italy
Anton Wijs, Eindhoven University of Technology, The Netherlands
Shoji Yuen, Nagoya University, Japan
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] Permutation Patterns 2021 Virtual Workshop
Dear All,
In light of the Covid-19 pandemic, Permutation Patterns 2021 will take
place in an online format for the second year in a row. The Permutation
Patterns 2021 Virtual Workshop will be hosted by the Strathclyde
Combinatorics Group, and will be held on 15th & 16th June 2021.
The workshop webpage is: http://combinatorics.cis.strath.ac.uk/pp2021/
The Plenary Speakers are Luca Ferrari (University of Florence) and Lucas
Gerin (Ecole Polytechnique).
Registration is free, but you must register in advance of the workshop.
Only registered participants will have access to the pre-recorded keynote
addresses and login information for the synchronous panel discussions of
contributed talks.
All contributed work will be presented as short talks (5-10 minutes; exact
length to be determined when the programme is finalised), with slides
shared online in advance of the workshop. The synchronous part of the
workshop will allow speakers on similar themes to participate in
conversation, together with anyone else interested in joining them.
Registration details and abstract submission instructions will be available
on the workshop webpage by Friday 2nd April.
Best regards,
Sergey Kitaev (on behalf of the organising committee)
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
In light of the Covid-19 pandemic, Permutation Patterns 2021 will take
place in an online format for the second year in a row. The Permutation
Patterns 2021 Virtual Workshop will be hosted by the Strathclyde
Combinatorics Group, and will be held on 15th & 16th June 2021.
The workshop webpage is: http://combinatorics.cis.strath.ac.uk/pp2021/
The Plenary Speakers are Luca Ferrari (University of Florence) and Lucas
Gerin (Ecole Polytechnique).
Registration is free, but you must register in advance of the workshop.
Only registered participants will have access to the pre-recorded keynote
addresses and login information for the synchronous panel discussions of
contributed talks.
All contributed work will be presented as short talks (5-10 minutes; exact
length to be determined when the programme is finalised), with slides
shared online in advance of the workshop. The synchronous part of the
workshop will allow speakers on similar themes to participate in
conversation, together with anyone else interested in joining them.
Registration details and abstract submission instructions will be available
on the workshop webpage by Friday 2nd April.
Best regards,
Sergey Kitaev (on behalf of the organising committee)
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] International Workshop on Security in Mobile Technologies (SecMT 2021): Submission deadline extended
Dear Colleagues,
Please consider submitting a paper to the 2nd edition of the SecMT workshop, held in conjunction with ACNS 2021. The deadline for submissions has been extended to April 5, 2021, AoE.
=================================================================
International Workshop on Security in Mobile Technologies (SecMT 2021)
https://spritz.math.unipd.it/events/2021/ACNS_Workshop/index.html
will be held in conjunction with
ACNS 2021
June 21-24, 2021 (in parallel with the main conference)
Kamakura, Japan
=================================================================
Despite being small computing devices, smartphones offer a wide range of functionalities and services to their users, which are currently encountered to be more than one third of the world population. This range of features introduces new security and privacy threats, which expose users to serious damages. Even though research in mobile security has been active over the past 10 years, as long as the mobile technology is used, new challenges will always come up. The purpose of this workshop is to bring researchers, hardware and software developers, as well as practitioners and policy makers, to explore the latest advances in the security and privacy for mobile devices.
Topics of interest include, but are not limited to:
* Mobile network security
* Mobile operating system security
* Side-channel attacks on mobile devices
* Mobile authentication
* Mobile transactions security
* Software vulnerabilities in mobile devices
* Hardware vulnerabilities in mobile devices
* Mobile applications security
* Mobile malware
=================================================================
IMPORTANT DATES:
Workshop paper submission deadline (extended): April 5, 2021 AoE
Workshop paper notification: May 8, 2021
Camera-ready papers submission deadline: May 20, 2021
Workshop dates: TBD during June 21-24, 2021 (in parallel with the main conference)
=================================================================
PROGRAM CHAIRS:
Olga Gadyatskaya, LIACS, Leiden University, the Netherlands
Eleonora Losiouk, University of Padua, Italy
=================================================================
WEB CHAIR:
Eleonora Losiouk, University of Padua, Italy
=================================================================
SUBMISSION:
Submissions must not substantially duplicate work that any of the authors has published elsewhere or has submitted in parallel to any other venue with formally published proceedings. Information about submissions may be shared with program chairs of other conferences for that purpose. Submissions must be anonymous, with no author names, affiliations, acknowledgement or obvious references. Each submission must begin with a title, short abstract, and a list of keywords. The introduction should summarize the contributions of the paper at a level appropriate for a non-specialist reader. All submissions must follow the original LNCS format (see http://www.springeronline.com/lncs) with a page limit of 18 pages (incl. references) for the main part (reviewers are not required to read beyond this limit) and 30 pages in total. Authors of accepted papers must guarantee that their paper will be presented at the conference and must make a full version of their paper available online. Best paper award (selected from all workshops at ACNS21) will be awarded to the selected paper based on the reviews by the committee. Submissions not meeting the submission guidelines risk rejection without consideration of their merits. The accepted papers will have post-proceedings published by Springer in the LNCS series.
There will be a best paper award.
The accepted papers will have post-proceedings published by Springer.
Papers must be submitted through the EasyChair submission system.
===============================================================
--------------------------------------------------
Olga Gadyatskaya
Assistant professor
LIACS, Leiden University
Niels Bohrweg 1, 2333 CA, Leiden, The Netherlands
**********************************************************
*
* 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/
*
**********************************************************
Please consider submitting a paper to the 2nd edition of the SecMT workshop, held in conjunction with ACNS 2021. The deadline for submissions has been extended to April 5, 2021, AoE.
=================================================================
International Workshop on Security in Mobile Technologies (SecMT 2021)
https://spritz.math.unipd.it/events/2021/ACNS_Workshop/index.html
will be held in conjunction with
ACNS 2021
June 21-24, 2021 (in parallel with the main conference)
Kamakura, Japan
=================================================================
Despite being small computing devices, smartphones offer a wide range of functionalities and services to their users, which are currently encountered to be more than one third of the world population. This range of features introduces new security and privacy threats, which expose users to serious damages. Even though research in mobile security has been active over the past 10 years, as long as the mobile technology is used, new challenges will always come up. The purpose of this workshop is to bring researchers, hardware and software developers, as well as practitioners and policy makers, to explore the latest advances in the security and privacy for mobile devices.
Topics of interest include, but are not limited to:
* Mobile network security
* Mobile operating system security
* Side-channel attacks on mobile devices
* Mobile authentication
* Mobile transactions security
* Software vulnerabilities in mobile devices
* Hardware vulnerabilities in mobile devices
* Mobile applications security
* Mobile malware
=================================================================
IMPORTANT DATES:
Workshop paper submission deadline (extended): April 5, 2021 AoE
Workshop paper notification: May 8, 2021
Camera-ready papers submission deadline: May 20, 2021
Workshop dates: TBD during June 21-24, 2021 (in parallel with the main conference)
=================================================================
PROGRAM CHAIRS:
Olga Gadyatskaya, LIACS, Leiden University, the Netherlands
Eleonora Losiouk, University of Padua, Italy
=================================================================
WEB CHAIR:
Eleonora Losiouk, University of Padua, Italy
=================================================================
SUBMISSION:
Submissions must not substantially duplicate work that any of the authors has published elsewhere or has submitted in parallel to any other venue with formally published proceedings. Information about submissions may be shared with program chairs of other conferences for that purpose. Submissions must be anonymous, with no author names, affiliations, acknowledgement or obvious references. Each submission must begin with a title, short abstract, and a list of keywords. The introduction should summarize the contributions of the paper at a level appropriate for a non-specialist reader. All submissions must follow the original LNCS format (see http://www.springeronline.com/lncs) with a page limit of 18 pages (incl. references) for the main part (reviewers are not required to read beyond this limit) and 30 pages in total. Authors of accepted papers must guarantee that their paper will be presented at the conference and must make a full version of their paper available online. Best paper award (selected from all workshops at ACNS21) will be awarded to the selected paper based on the reviews by the committee. Submissions not meeting the submission guidelines risk rejection without consideration of their merits. The accepted papers will have post-proceedings published by Springer in the LNCS series.
There will be a best paper award.
The accepted papers will have post-proceedings published by Springer.
Papers must be submitted through the EasyChair submission system.
===============================================================
--------------------------------------------------
Olga Gadyatskaya
Assistant professor
LIACS, Leiden University
Niels Bohrweg 1, 2333 CA, Leiden, The Netherlands
**********************************************************
*
* 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 Workshop Proposals - IEEE MASS 2021, deadline 30th Mars
************* CALL FOR WORKSHOP PROPOSALS - IEEE MASS 2021 *************
Important Dates
================
* Proposal Submission : March 30
* Acceptance Notification : April 15
Call for Workshop Proposals
===========================
The 18th IEEE International Conference on Mobile Ad-Hoc and Smart
Systems (IEEE MASS 2021) is the meeting point for leading researchers in
the thriving area of wireless ad hoc communications, sensor, and
actuator networks. Topics of IEEE MASS cover a large range of scientific
areas, spanning topics from computer science, physics, embedded systems,
electrical engineering, control theory, as well as application areas
such as disaster recovery and rescue operations, environmental
monitoring, smart cities, smart grids, health applications, and many more.
Continuing this tradition, the 18th IEEE International Conference on
Mobile Ad-Hoc and Smart Systems (MASS) will be held in Denver, CO, USA,
in 2021. Since its very beginning in 2004, MASS also offers a range of
associated workshops, which cover special topics and applications in
wireless ad hoc and sensor networks. During the last years, up to ten
workshops have been held each year in conjunction with MASS, with some
of the workshops already having seen their seventh edition. Each
workshop will provide an arena for presentations and discussions about a
special topic of relevance to MASS. IEEE MASS 2021 now invites the
submission of workshop proposals.
Workshop Submission Instructions
=================================
Proposals should be submitted in a maximum 3-page PDF file to:
- the IEEE MASS 2021 workshop chairs: Aline Carneiro
Viana(aline.viana@inria.fr) and
Mingjun Xiao(xiaomj@ustc.edu.cn)
- with the email subject tag [MASS 2020 Workshop Proposal] and
- containing the following information:
* Workshop title
* Abstract (maximum 200 words)
* The topics of the workshop and how it relates to MASS
* Workshop organizers, including contact information, short bio,
affiliation and previous experience with organising scientific events
* Proposed Technical Program Committee (tentative)
* Planned submission and review procedure
* Planned format:
o Expected duration of the workshop (half-day or full-day)
o Keynotes, panels, invited presentations, submitted presentations, etc.
o Expected virtual workshop procedure (tool, recorded presentation
videos, or fully on-line, the use of virtual space or not)
* A rough estimate of the number of participants and their profile
* Information on previous editions (hosting conference, date, and number
of attendees), if any.
**********************************************************
*
* 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/
*
**********************************************************
Important Dates
================
* Proposal Submission : March 30
* Acceptance Notification : April 15
Call for Workshop Proposals
===========================
The 18th IEEE International Conference on Mobile Ad-Hoc and Smart
Systems (IEEE MASS 2021) is the meeting point for leading researchers in
the thriving area of wireless ad hoc communications, sensor, and
actuator networks. Topics of IEEE MASS cover a large range of scientific
areas, spanning topics from computer science, physics, embedded systems,
electrical engineering, control theory, as well as application areas
such as disaster recovery and rescue operations, environmental
monitoring, smart cities, smart grids, health applications, and many more.
Continuing this tradition, the 18th IEEE International Conference on
Mobile Ad-Hoc and Smart Systems (MASS) will be held in Denver, CO, USA,
in 2021. Since its very beginning in 2004, MASS also offers a range of
associated workshops, which cover special topics and applications in
wireless ad hoc and sensor networks. During the last years, up to ten
workshops have been held each year in conjunction with MASS, with some
of the workshops already having seen their seventh edition. Each
workshop will provide an arena for presentations and discussions about a
special topic of relevance to MASS. IEEE MASS 2021 now invites the
submission of workshop proposals.
Workshop Submission Instructions
=================================
Proposals should be submitted in a maximum 3-page PDF file to:
- the IEEE MASS 2021 workshop chairs: Aline Carneiro
Viana(aline.viana@inria.fr) and
Mingjun Xiao(xiaomj@ustc.edu.cn)
- with the email subject tag [MASS 2020 Workshop Proposal] and
- containing the following information:
* Workshop title
* Abstract (maximum 200 words)
* The topics of the workshop and how it relates to MASS
* Workshop organizers, including contact information, short bio,
affiliation and previous experience with organising scientific events
* Proposed Technical Program Committee (tentative)
* Planned submission and review procedure
* Planned format:
o Expected duration of the workshop (half-day or full-day)
o Keynotes, panels, invited presentations, submitted presentations, etc.
o Expected virtual workshop procedure (tool, recorded presentation
videos, or fully on-line, the use of virtual space or not)
* A rough estimate of the number of participants and their profile
* Information on previous editions (hosting conference, date, and number
of attendees), if any.
**********************************************************
*
* 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 student (or PostDoc) pos. at HU Berlin in (applied) graph algorithms: deadline extension
You love discrete algorithms, their systematic analysis and efficient
implementation? You are about to graduate with an excellent Master's
(or PhD) degree and can teach in German? You love research and always
wanted to work in Berlin? Then read on:
The research group "Modeling and Analysis of Complex Systems" at the
Dept. of Computer Science of HU Berlin advertises a fixed-term position
(pay grade 13 TV-L, 100%) on algorithm engineering for graph problems.
Starting date is asap (but negotiable). New application deadline: April
14th.
More details at:
https://www.personalabteilung.hu-berlin.de/de/stellenausschreibungen/wissenschaftliche-r-mitarbeiter-in-m-w-d-e-13-tv-l-hu-max-befristet-fuer-6-jahre-gem-wisszeitvg
If interested, feel encouraged to direct informal inquiries to Henning
Meyerhenke (meyerhenke (at) hu-berlin.de) first. Submit your formal
application with the relevant documents (preferably as 1 PDF attachment)
by April 14th to Silvia Schoch (schochsi (at) informatik.hu-berlin.de),
see the call above.
**********************************************************
*
* 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/
*
**********************************************************
implementation? You are about to graduate with an excellent Master's
(or PhD) degree and can teach in German? You love research and always
wanted to work in Berlin? Then read on:
The research group "Modeling and Analysis of Complex Systems" at the
Dept. of Computer Science of HU Berlin advertises a fixed-term position
(pay grade 13 TV-L, 100%) on algorithm engineering for graph problems.
Starting date is asap (but negotiable). New application deadline: April
14th.
More details at:
https://www.personalabteilung.hu-berlin.de/de/stellenausschreibungen/wissenschaftliche-r-mitarbeiter-in-m-w-d-e-13-tv-l-hu-max-befristet-fuer-6-jahre-gem-wisszeitvg
If interested, feel encouraged to direct informal inquiries to Henning
Meyerhenke (meyerhenke (at) hu-berlin.de) first. Submit your formal
application with the relevant documents (preferably as 1 PDF attachment)
by April 14th to Silvia Schoch (schochsi (at) informatik.hu-berlin.de),
see the call above.
**********************************************************
*
* 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] [CFW - *** deadline approaching *** ]: CALL FOR WORKSHOPS IEEE ATC 2021 - 18th IEEE International Conference on Advanced and Trusted Computing
======================================================================================
CALL FOR WORKSHOPS IEEE ATC 2021
18th IEEE International Conference on Advanced and Trusted Computing
Atlanta, USA
October 18-21, 2021
Website: http://www.ieeesmartworld.org
======================================================================================
OVERVIEW:
Advances in technologies and our society will also result in an
integration
of our real, cyber, and virtual worlds to form smart, and cyber-physical
socially aware and integrated hyper worlds. Underpinning such worlds are
advanced
computing (AC) infrastructure and trusted computing (TC) applications
and services.
For example, a robust and resilient AC infrastructure can support TC
applications
and services, in order to provide secure and/or privacy-preserving
communications,
as well as ensuring computing and communication systems and services are
available,
predictable, accountable, controllable, assessable, sustainable,
dependable,
persistent, and secure.
Proposals are solicited for Workshops to be held in conjunction with
IEEE ATC 2021.
A Workshop should aim at providing a forum on emerging topics of high
interest to
the security and privacy community working on advanced and trusted
technologies.
IMPORTANT DATES:
* Workshop proposals due: March 30, 2021
* Notification of decision: April 15, 2021
======================================================================================
WORKSHOP CHAIRS AND SUBMISSION:
- Cristina Alcaraz, University of Malaga, Spain
- Reza M. Parizi, Kennesaw State University, USA
- Tianqing Zhu, University of Technology Sydney, Australia
Submission via email to: ieeeatc2021.workshops@gmail.com
For further details, visit http://www.ieeesmartworld.org/atc/
**********************************************************
*
* 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/
*
**********************************************************
CALL FOR WORKSHOPS IEEE ATC 2021
18th IEEE International Conference on Advanced and Trusted Computing
Atlanta, USA
October 18-21, 2021
Website: http://www.ieeesmartworld.org
======================================================================================
OVERVIEW:
Advances in technologies and our society will also result in an
integration
of our real, cyber, and virtual worlds to form smart, and cyber-physical
socially aware and integrated hyper worlds. Underpinning such worlds are
advanced
computing (AC) infrastructure and trusted computing (TC) applications
and services.
For example, a robust and resilient AC infrastructure can support TC
applications
and services, in order to provide secure and/or privacy-preserving
communications,
as well as ensuring computing and communication systems and services are
available,
predictable, accountable, controllable, assessable, sustainable,
dependable,
persistent, and secure.
Proposals are solicited for Workshops to be held in conjunction with
IEEE ATC 2021.
A Workshop should aim at providing a forum on emerging topics of high
interest to
the security and privacy community working on advanced and trusted
technologies.
IMPORTANT DATES:
* Workshop proposals due: March 30, 2021
* Notification of decision: April 15, 2021
======================================================================================
WORKSHOP CHAIRS AND SUBMISSION:
- Cristina Alcaraz, University of Malaga, Spain
- Reza M. Parizi, Kennesaw State University, USA
- Tianqing Zhu, University of Technology Sydney, Australia
Submission via email to: ieeeatc2021.workshops@gmail.com
For further details, visit http://www.ieeesmartworld.org/atc/
**********************************************************
*
* 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, March 23, 2021
[DMANET] Workshop on Evolutionary Computation for the Automated Design of Algorithms
-----------------------------------------------------------------------------------------------------------------
11th Workshop on Evolutionary Computation for the Automated Design of
Algorithms (ECADA) under the auspices of the 23rd ACM Annual Conference on
Genetic and Evolutionary Computation (GECCO 2021) July 10-14, 2021
Note that GECCO 2021 will be an electronic-only conference due to COVID-19
and presentations of all accepted papers will need to be provided in the
form of a pre-recorded talk with live Q&A.
Submission deadline: April 12, 2021
https://bonsai.auburn.edu/ecada/GECCO2021/
NEW! Confirmed Invited Speaker: Gisele L. Pappa, Associate Professor in the
Computer Science Department at UFMG, Brazil
<https://ufmg.br/international-visitors>.
NEW! Confirmed Programme Committee (see website for details)
-----------------------------------------------------------------------------------------------------------------
------------------------
CALL FOR PAPERS
------------------------
We welcome original submissions on all aspects of Evolutionary Computation
for the Automated Design of Algorithms, in particular, evolutionary
computation methods and other hyper-heuristics for the automated design,
generation or improvement of algorithms that can be applied to any instance
of a target problem domain. Relevant methods include methods that evolve
whole algorithms given some initial components as well as methods that take
an existing algorithm and improve it or adapt it to a specific domain.
Another important aspect in automated algorithm design is the definition of
the primitives that constitute the search space of hyper-heuristics. These
primitives should capture the knowledge of human experts about useful
algorithmic components (such as selection, mutation and recombination
operators, local searches, etc.) and, at the same time, allow the
generation of new algorithm variants. Examples of the application of
hyper-heuristics, including genetic programming and automatic configuration
methods, to such frameworks of algorithmic components are of interest to
this workshop, as well as the (possibly automatic) design of the
algorithmic components themselves and the overall architecture of
metaheuristics. Therefore, relevant topics include (but are not limited to):
- Applications of hyper-heuristics, including general-purpose automatic
algorithm configuration methods, for the design of evolutionary algorithms, other metaheuristics and other algorithms for application domains such as optimization, data mining, machine learning, image processing, engineering, cyber security, critical infrastructure protection, and bioinformatics.
- Novel hyper-heuristics, including but not limited to genetic programming
based approaches, automatic configuration methods, and online, offline and life-long hyper-heuristics, with the stated goal of designing or improving the design of algorithms.
- Empirical comparison of hyper-heuristics.
- Theoretical analyses of hyper-heuristics.
- Studies on primitives (algorithmic components) that may be used by
hyper-heuristics as the search space when automatically designing
algorithms.
- Automatic selection/creation of algorithm primitives as a preprocessing
step for the use of hyper-heuristics.
- Analysis of the trade-off between generality and effectiveness of
different hyper-heuristics or of algorithms produced by a hyper-heuristic.
- Analysis of the most effective representations for hyper-heuristics
(e.g., Koza style Genetic Programming versus Cartesian Genetic Programming).
- Asynchronous parallel evolution of hyper-heuristics.
For more detailed information, see the ECADA@GECCO 2021 workshop website (
https://bonsai.auburn.edu/ecada/GECCO2021/).
--------------------------
IMPORTANT DATES
--------------------------
- Submission deadline: April 12, 2021
- Notification of acceptance: April 26, 2021
- Camera-ready deadline: May 3, 2021
- Author registration deadline: May 3, 2021
- Workshop: half-a-day during GECCO 2021 which runs July 10-14, 2021
---------------------------
PAPER SUBMISSION
---------------------------
Workshop papers must be submitted using the GECCO submission system (
https://ssl.linklings.net/conferences/gecco/). After login, the authors
need to select the "Workshop Paper" submission form. In the form, the
authors must select the workshop they are submitting to. To see a sample of
the "Workshop Paper" submission form, go to GECCO's submission system and
select "Sample Submission Forms". Submitted papers must not exceed 8 pages
(excluding references) and are required to be in compliance with the GECCO
2021 Papers Submission Instructions (
https://gecco-2021.sigevo.org/index.html/Papers+Submission+Instructions).
It is recommended to use the same templates as the papers submitted to the
main tracks. Each paper submitted to this workshop will be rigorously
reviewed in a double-blind review process. In other words, authors should
not know who the reviewers of their work are and reviewers should not know
who the authors are. To this end, the following information is very
important: Submitted papers should be ANONYMIZED. This means that they
should NOT contain any element that may reveal the identity of their
authors. This includes author names, affiliations, and acknowledgments.
Moreover, any references to any of the author's own work should be made as
if the work belonged to someone else. All accepted papers will be presented
at the ECADA workshop and appear in the GECCO 2021 Conference Companion
Proceedings. By submitting a paper, the author(s) agree that, if their
paper is accepted, they will:
- Submit a final, revised, camera-ready version to the publisher on or
before the camera-ready deadline.
- Register at least one author by May 3, 2021 to participate in the
conference.
- Provide a pre-recorded version of the talk and be present during its
online transmission (which will occur during the days of the conference) to answer questions from the (online) audience.
-----------------------------------------------------
WORKSHOP CHAIRS (in alphabetical order)
-----------------------------------------------------
Manuel Lopez-Ibanez (manuel.lopez-ibanez@uma.es)
Daniel R. Tauritz (dtauritz@acm.org)
John R. Woodward (j.woodward@qmul.ac.uk)
For more detailed information, see the ECADA@GECCO 2021 workshop website (
https://bonsai.auburn.edu/ecada/GECCO2021).
john.r.woodward@gmail.com
JOHN WOODWARD is inviting you to a scheduled Zoom meeting.
https://us04web.zoom.us/j/9460050001?pwd=RHVFNXBOWE9pSFdnSjZzTmM0aG1UQT09
Meeting ID: 946 005 0001 Passcode: U9Ded7
https://orcid.org/0000-0002-2093-8990
https://www.facebook.com/JohnRWWoodward
https://scholar.google.co.uk/citations?user=iZIjJ80AAAAJ&hl=en
**********************************************************
*
* 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/
*
**********************************************************
11th Workshop on Evolutionary Computation for the Automated Design of
Algorithms (ECADA) under the auspices of the 23rd ACM Annual Conference on
Genetic and Evolutionary Computation (GECCO 2021) July 10-14, 2021
Note that GECCO 2021 will be an electronic-only conference due to COVID-19
and presentations of all accepted papers will need to be provided in the
form of a pre-recorded talk with live Q&A.
Submission deadline: April 12, 2021
https://bonsai.auburn.edu/ecada/GECCO2021/
NEW! Confirmed Invited Speaker: Gisele L. Pappa, Associate Professor in the
Computer Science Department at UFMG, Brazil
<https://ufmg.br/international-visitors>.
NEW! Confirmed Programme Committee (see website for details)
-----------------------------------------------------------------------------------------------------------------
------------------------
CALL FOR PAPERS
------------------------
We welcome original submissions on all aspects of Evolutionary Computation
for the Automated Design of Algorithms, in particular, evolutionary
computation methods and other hyper-heuristics for the automated design,
generation or improvement of algorithms that can be applied to any instance
of a target problem domain. Relevant methods include methods that evolve
whole algorithms given some initial components as well as methods that take
an existing algorithm and improve it or adapt it to a specific domain.
Another important aspect in automated algorithm design is the definition of
the primitives that constitute the search space of hyper-heuristics. These
primitives should capture the knowledge of human experts about useful
algorithmic components (such as selection, mutation and recombination
operators, local searches, etc.) and, at the same time, allow the
generation of new algorithm variants. Examples of the application of
hyper-heuristics, including genetic programming and automatic configuration
methods, to such frameworks of algorithmic components are of interest to
this workshop, as well as the (possibly automatic) design of the
algorithmic components themselves and the overall architecture of
metaheuristics. Therefore, relevant topics include (but are not limited to):
- Applications of hyper-heuristics, including general-purpose automatic
algorithm configuration methods, for the design of evolutionary algorithms, other metaheuristics and other algorithms for application domains such as optimization, data mining, machine learning, image processing, engineering, cyber security, critical infrastructure protection, and bioinformatics.
- Novel hyper-heuristics, including but not limited to genetic programming
based approaches, automatic configuration methods, and online, offline and life-long hyper-heuristics, with the stated goal of designing or improving the design of algorithms.
- Empirical comparison of hyper-heuristics.
- Theoretical analyses of hyper-heuristics.
- Studies on primitives (algorithmic components) that may be used by
hyper-heuristics as the search space when automatically designing
algorithms.
- Automatic selection/creation of algorithm primitives as a preprocessing
step for the use of hyper-heuristics.
- Analysis of the trade-off between generality and effectiveness of
different hyper-heuristics or of algorithms produced by a hyper-heuristic.
- Analysis of the most effective representations for hyper-heuristics
(e.g., Koza style Genetic Programming versus Cartesian Genetic Programming).
- Asynchronous parallel evolution of hyper-heuristics.
For more detailed information, see the ECADA@GECCO 2021 workshop website (
https://bonsai.auburn.edu/ecada/GECCO2021/).
--------------------------
IMPORTANT DATES
--------------------------
- Submission deadline: April 12, 2021
- Notification of acceptance: April 26, 2021
- Camera-ready deadline: May 3, 2021
- Author registration deadline: May 3, 2021
- Workshop: half-a-day during GECCO 2021 which runs July 10-14, 2021
---------------------------
PAPER SUBMISSION
---------------------------
Workshop papers must be submitted using the GECCO submission system (
https://ssl.linklings.net/conferences/gecco/). After login, the authors
need to select the "Workshop Paper" submission form. In the form, the
authors must select the workshop they are submitting to. To see a sample of
the "Workshop Paper" submission form, go to GECCO's submission system and
select "Sample Submission Forms". Submitted papers must not exceed 8 pages
(excluding references) and are required to be in compliance with the GECCO
2021 Papers Submission Instructions (
https://gecco-2021.sigevo.org/index.html/Papers+Submission+Instructions).
It is recommended to use the same templates as the papers submitted to the
main tracks. Each paper submitted to this workshop will be rigorously
reviewed in a double-blind review process. In other words, authors should
not know who the reviewers of their work are and reviewers should not know
who the authors are. To this end, the following information is very
important: Submitted papers should be ANONYMIZED. This means that they
should NOT contain any element that may reveal the identity of their
authors. This includes author names, affiliations, and acknowledgments.
Moreover, any references to any of the author's own work should be made as
if the work belonged to someone else. All accepted papers will be presented
at the ECADA workshop and appear in the GECCO 2021 Conference Companion
Proceedings. By submitting a paper, the author(s) agree that, if their
paper is accepted, they will:
- Submit a final, revised, camera-ready version to the publisher on or
before the camera-ready deadline.
- Register at least one author by May 3, 2021 to participate in the
conference.
- Provide a pre-recorded version of the talk and be present during its
online transmission (which will occur during the days of the conference) to answer questions from the (online) audience.
-----------------------------------------------------
WORKSHOP CHAIRS (in alphabetical order)
-----------------------------------------------------
Manuel Lopez-Ibanez (manuel.lopez-ibanez@uma.es)
Daniel R. Tauritz (dtauritz@acm.org)
John R. Woodward (j.woodward@qmul.ac.uk)
For more detailed information, see the ECADA@GECCO 2021 workshop website (
https://bonsai.auburn.edu/ecada/GECCO2021).
john.r.woodward@gmail.com
JOHN WOODWARD is inviting you to a scheduled Zoom meeting.
https://us04web.zoom.us/j/9460050001?pwd=RHVFNXBOWE9pSFdnSjZzTmM0aG1UQT09
Meeting ID: 946 005 0001 Passcode: U9Ded7
https://orcid.org/0000-0002-2093-8990
https://www.facebook.com/JohnRWWoodward
https://scholar.google.co.uk/citations?user=iZIjJ80AAAAJ&hl=en
**********************************************************
*
* 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] Faculty position at UCL, London
Open position at UCL: Lecturer or Associate Professor, Programming Principles, Logic, and Verification (PPLV).
The Department of Computer Science at University College London (UCL, https://www.ucl.ac.uk) invites applications for a faculty position (Lecturer or Associate Professor) in the area of Programming Principles, Logic, and Verification (PPLV, http://pplv.cs.ucl.ac.uk/welcome/). The PPLV group (see http://pplv.cs.ucl.ac.uk/welcome/) conducts world-leading research broadly in logic, semantics, and program and systems verification and their supporting mathematical and conceptual fields.
The group contributes to the delivery of undergraduate and graduate programs and supports a lively and diverse community of PhD students and post-doctoral researchers. The group has very substantial research funding from a variety of sources and has excellent connections with the world-class tech community that is located close-by in London and elsewhere. For this position, we particularly welcome applications from candidates with interests in the theory or practice of program and systems verification.
UCL is an elite institution that attracts students and staff of the highest quality. London is one of the world's greatest cities and offers excellent quality of life. We seek world-class talent; candidates must have an outstanding research track record. UCL's faculty are expected to carry world-class research, publish in top-tier venues, obtain research funding, deliver high-quality undergraduate and post-graduate teaching, supervise doctoral students, engage with the community, and contribute to the management of their department and the College.
Candidates will be expected to carry out research, teaching, and administrative duties within the Department, especially in the areas of Programming Principles, Logic, and Verification.
Enquiries: David Pym (Head of PPLV, d.pym@ucl.ac.uk, http://www.cs.ucl.ac.uk/staff/D.Pym/) or Steve Hailes (Head of Computer Science, s.hailes@ucl.ac.uk)
Closing date: 7 May 2021
UCL: www.ucl.ac.uk
UCL CS: https://www.ucl.ac.uk/computer-science/
PPLV: http://pplv.cs.ucl.ac.uk/welcome/
UCL HR page, including how to apply:
https://atsv7.wcn.co.uk/search_engine/jobs.cgi?amNvZGU9MTg3NTE5MSZ2dF90ZW1wbGF0ZT05NjYmb3duZXI9NTA0MTE3OCZvd25lcnR5cGU9ZmFpciZicmFuZF9pZD0wJnZhY194dHJhNTA0MTE3OC41MF81MDQxMTc4PTkyNzg2JnZhY3R5cGU9MTI3MSZwb3N0aW5nX2NvZGU9MjI0&jcode=1875191&vt_template=966&owner=5041178&ownertype=fair&brand_id=0&vac_xtra5041178.50_5041178=92786&vactype=1271&posting_code=224
**********************************************************
*
* 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/
*
**********************************************************
The Department of Computer Science at University College London (UCL, https://www.ucl.ac.uk) invites applications for a faculty position (Lecturer or Associate Professor) in the area of Programming Principles, Logic, and Verification (PPLV, http://pplv.cs.ucl.ac.uk/welcome/). The PPLV group (see http://pplv.cs.ucl.ac.uk/welcome/) conducts world-leading research broadly in logic, semantics, and program and systems verification and their supporting mathematical and conceptual fields.
The group contributes to the delivery of undergraduate and graduate programs and supports a lively and diverse community of PhD students and post-doctoral researchers. The group has very substantial research funding from a variety of sources and has excellent connections with the world-class tech community that is located close-by in London and elsewhere. For this position, we particularly welcome applications from candidates with interests in the theory or practice of program and systems verification.
UCL is an elite institution that attracts students and staff of the highest quality. London is one of the world's greatest cities and offers excellent quality of life. We seek world-class talent; candidates must have an outstanding research track record. UCL's faculty are expected to carry world-class research, publish in top-tier venues, obtain research funding, deliver high-quality undergraduate and post-graduate teaching, supervise doctoral students, engage with the community, and contribute to the management of their department and the College.
Candidates will be expected to carry out research, teaching, and administrative duties within the Department, especially in the areas of Programming Principles, Logic, and Verification.
Enquiries: David Pym (Head of PPLV, d.pym@ucl.ac.uk, http://www.cs.ucl.ac.uk/staff/D.Pym/) or Steve Hailes (Head of Computer Science, s.hailes@ucl.ac.uk)
Closing date: 7 May 2021
UCL: www.ucl.ac.uk
UCL CS: https://www.ucl.ac.uk/computer-science/
PPLV: http://pplv.cs.ucl.ac.uk/welcome/
UCL HR page, including how to apply:
https://atsv7.wcn.co.uk/search_engine/jobs.cgi?amNvZGU9MTg3NTE5MSZ2dF90ZW1wbGF0ZT05NjYmb3duZXI9NTA0MTE3OCZvd25lcnR5cGU9ZmFpciZicmFuZF9pZD0wJnZhY194dHJhNTA0MTE3OC41MF81MDQxMTc4PTkyNzg2JnZhY3R5cGU9MTI3MSZwb3N0aW5nX2NvZGU9MjI0&jcode=1875191&vt_template=966&owner=5041178&ownertype=fair&brand_id=0&vac_xtra5041178.50_5041178=92786&vactype=1271&posting_code=224
**********************************************************
*
* 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 | DACH+ Conference and Doctoral Workshop on Energy Informatics | Deadline extended
Dear DACH+ Energy Informatics Community,
Please find here the updated Call for Papers for this year's edition of
the DACH+ Conference on Energy Informatics, taking place during 13-17
September 2021 **ONLINE**. You can also find the text below and under
https://energy-informatics2021.org/call-for-papers/. We would be
grateful if you would further circulate this call.
As a good tradition from the last years, the Doctoral Workshop on Energy
Informatics is co-located with the DACH+ Conference. Please spread this
information to doctoral students that might benefit from the workshop's
signature feature of shepherding process and intense discussion.
Best regards on behalf of the organizers,
Anke Weidlich - General Chair
Ramiz Qussous & Nick Harder - Publicity Chairs
Dirk Neumann, Philipp Staudt & Gunther Gust - TPC Chairs
Astrid Niesse - Doctoral Workshop Chair
*** *Energy Informatics 2021 -- Call for Papers ****
The European Union intends to reduce its emissions by 55% in 2030 and
aims to be climate neutral in 2050. This makes the integration of
intermittent renewable power generation a question of growing
importance. Simultaneously, new demand side resources are added both at
the transmission level with newly installed large electrolysers and at
the distribution level with a sharp increase in numbers of electric
vehicles and heat pumps. Bridging the intermittency of generation and
the load of new (flexible) consumers can only succeed through ICT and
related concepts.
The objective of the DACH+ conference series on Energy Informatics is to
promote the research, development, and implementation of information and
communication technologies in the energy domain and to foster the
exchange between academia, industry, and service providers in the
German-Austrian-Swiss region and its neighbouring countries (DACH+).
We seek high-quality original contributions addressing the design,
adoption, operation and management of smart energy systems, the
integration of intermittent renewable generation and energy efficiency
gains through ICT, market approaches and mechanisms for ICT-enabled
energy systems, and research on associated (decentralised) data-driven
decisions. We welcome theoretical contributions as well as publications
addressing system design, implementation, and experimentation. The list
of topics of interest to the conference includes, but is not limited to:
* ICT for future energy systems, sector coupling and the integration
of intermittent renewable generation
* Information and decision support systems for future energy markets
and mechanisms
* Energy system modelling
* Protocols and architectures for IT systems in the energy sector
* Data analytics and machine learning for smart energy systems and
decentralised decision making, as well as platforms for data analysis
* Open data and software for energy research
* Management of distributed generation and demand side management
* ICT for (multi-) energy networks and micro-grids
* Energy-efficient mobility, charging management for electric
vehicles, energy-aware traffic control, and smart grid integration
of mobile storage
* Smart buildings, digital metering, occupant comfort, and user
interaction
* Adoption of ICT in the energy sector
* Cross-cutting issues including cyber security and privacy
protection, interoperability, verification of networked smart grid
systems
*** *Important Dates ****
* Paper submission: May 7, 2021
* Poster/Demo submission: May 7, 2021
* Notification: Jun 18, 2021
* Camera-ready paper due: Jul 2, 2021
* Doctoral Workshop: Sep 14-15, 2021
* Conference: Sep 13-17, 2021
**** Posters, Demos and Workshops ****
Submissions for posters, demos, and workshop suggestions are welcome,
too. Details can be found on the conference website.
**** Submission and Publication ****
Submitted papers will be reviewed in a double-blind process. Accepted
and presented papers will be published in the Springer Open Journal
Energy Informatics https://energyinformatics.springeropen.com
<https://energyinformatics.springeropen.com>. The conference language is
English, and papers must be written in English. We solicit full research
papers (max. 18 pages of content plus 2 additional pages for references)
as well as short papers (max. 10 pages of content plus 2 additional
pages for references). Templates and instructions will be made available
at https://www.energy-informatics.eu/
<https://www.energy-informatics.eu/>. Further information on the
submission of posters and demos is also available on the website. The
Open Access fee for the journal article is included in the registration fee.
**********************************************************
*
* 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/
*
**********************************************************
Please find here the updated Call for Papers for this year's edition of
the DACH+ Conference on Energy Informatics, taking place during 13-17
September 2021 **ONLINE**. You can also find the text below and under
https://energy-informatics2021.org/call-for-papers/. We would be
grateful if you would further circulate this call.
As a good tradition from the last years, the Doctoral Workshop on Energy
Informatics is co-located with the DACH+ Conference. Please spread this
information to doctoral students that might benefit from the workshop's
signature feature of shepherding process and intense discussion.
Best regards on behalf of the organizers,
Anke Weidlich - General Chair
Ramiz Qussous & Nick Harder - Publicity Chairs
Dirk Neumann, Philipp Staudt & Gunther Gust - TPC Chairs
Astrid Niesse - Doctoral Workshop Chair
*** *Energy Informatics 2021 -- Call for Papers ****
The European Union intends to reduce its emissions by 55% in 2030 and
aims to be climate neutral in 2050. This makes the integration of
intermittent renewable power generation a question of growing
importance. Simultaneously, new demand side resources are added both at
the transmission level with newly installed large electrolysers and at
the distribution level with a sharp increase in numbers of electric
vehicles and heat pumps. Bridging the intermittency of generation and
the load of new (flexible) consumers can only succeed through ICT and
related concepts.
The objective of the DACH+ conference series on Energy Informatics is to
promote the research, development, and implementation of information and
communication technologies in the energy domain and to foster the
exchange between academia, industry, and service providers in the
German-Austrian-Swiss region and its neighbouring countries (DACH+).
We seek high-quality original contributions addressing the design,
adoption, operation and management of smart energy systems, the
integration of intermittent renewable generation and energy efficiency
gains through ICT, market approaches and mechanisms for ICT-enabled
energy systems, and research on associated (decentralised) data-driven
decisions. We welcome theoretical contributions as well as publications
addressing system design, implementation, and experimentation. The list
of topics of interest to the conference includes, but is not limited to:
* ICT for future energy systems, sector coupling and the integration
of intermittent renewable generation
* Information and decision support systems for future energy markets
and mechanisms
* Energy system modelling
* Protocols and architectures for IT systems in the energy sector
* Data analytics and machine learning for smart energy systems and
decentralised decision making, as well as platforms for data analysis
* Open data and software for energy research
* Management of distributed generation and demand side management
* ICT for (multi-) energy networks and micro-grids
* Energy-efficient mobility, charging management for electric
vehicles, energy-aware traffic control, and smart grid integration
of mobile storage
* Smart buildings, digital metering, occupant comfort, and user
interaction
* Adoption of ICT in the energy sector
* Cross-cutting issues including cyber security and privacy
protection, interoperability, verification of networked smart grid
systems
*** *Important Dates ****
* Paper submission: May 7, 2021
* Poster/Demo submission: May 7, 2021
* Notification: Jun 18, 2021
* Camera-ready paper due: Jul 2, 2021
* Doctoral Workshop: Sep 14-15, 2021
* Conference: Sep 13-17, 2021
**** Posters, Demos and Workshops ****
Submissions for posters, demos, and workshop suggestions are welcome,
too. Details can be found on the conference website.
**** Submission and Publication ****
Submitted papers will be reviewed in a double-blind process. Accepted
and presented papers will be published in the Springer Open Journal
Energy Informatics https://energyinformatics.springeropen.com
<https://energyinformatics.springeropen.com>. The conference language is
English, and papers must be written in English. We solicit full research
papers (max. 18 pages of content plus 2 additional pages for references)
as well as short papers (max. 10 pages of content plus 2 additional
pages for references). Templates and instructions will be made available
at https://www.energy-informatics.eu/
<https://www.energy-informatics.eu/>. Further information on the
submission of posters and demos is also available on the website. The
Open Access fee for the journal article is included in the registration fee.
**********************************************************
*
* 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 in Algorithms for Star Discrepancy Problems
We are looking for a PhD candidate to do research on efficient
algorithms for star discrepancy problems at LIP6, Sorbonne Universite,
Paris, France. Extended research visits to the University of Coimbra,
Portugal, are also possible.
Star discrepancy measures how regularly a set of points is distributed
in a given space. Point sets of low star discrepancy have several
important applications including Quasi-Monte Carlo integration,
financial mathematics, optimization, design of experiments, and many
more. The main goal of this PhD project is the design and the analysis
of efficient algorithms to address the discrepancy subset selection
problem, that is, to find a subset of a point set that minimizes star
discrepancy.
The PhD student will be supervised by Carola Doerr from LIP6, Sorbonne
Universite and Luis Paquete from the University of Coimbra. Applicants
are expected to have excellent skills on design and analysis of
algorithms.
The earliest starting date is October 2021. Application deadline is May
16.
More details about the PhD project are available at
http://www-ia.lip6.fr/~doerr/2021-PhD-Discrepancy.pdf
Questions about the position should be sent to Carola.Doerr at lip6.fr
or/and paquete at dei.uc.pt.
--
Luis Paquete | paquete@dei.uc.pt
http://www.uc.pt/go/paquete
Dept. of Informatics Engineering
University of Coimbra, Portugal
--------------------------------
**********************************************************
*
* 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/
*
**********************************************************
algorithms for star discrepancy problems at LIP6, Sorbonne Universite,
Paris, France. Extended research visits to the University of Coimbra,
Portugal, are also possible.
Star discrepancy measures how regularly a set of points is distributed
in a given space. Point sets of low star discrepancy have several
important applications including Quasi-Monte Carlo integration,
financial mathematics, optimization, design of experiments, and many
more. The main goal of this PhD project is the design and the analysis
of efficient algorithms to address the discrepancy subset selection
problem, that is, to find a subset of a point set that minimizes star
discrepancy.
The PhD student will be supervised by Carola Doerr from LIP6, Sorbonne
Universite and Luis Paquete from the University of Coimbra. Applicants
are expected to have excellent skills on design and analysis of
algorithms.
The earliest starting date is October 2021. Application deadline is May
16.
More details about the PhD project are available at
http://www-ia.lip6.fr/~doerr/2021-PhD-Discrepancy.pdf
Questions about the position should be sent to Carola.Doerr at lip6.fr
or/and paquete at dei.uc.pt.
--
Luis Paquete | paquete@dei.uc.pt
http://www.uc.pt/go/paquete
Dept. of Informatics Engineering
University of Coimbra, Portugal
--------------------------------
**********************************************************
*
* 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 Operations Research at KU Leuven (Ref. BAP-2021-28) -- deadline April 5
The research group ORSTAT of KU Leuven (Belgium) has a vacancy for one full-time PhD scholarship starting in September 2021, for a period of four years. The researcher to be hired will work in the field of operations research (OR) under the supervision of Prof. Roel Leus; this work should lead to a PhD degree. Some keywords of our research area are: combinatorial optimization, integer (linear) programming, stochastic and robust optimization, algorithm design, ... The candidate will work on the development of models and algorithms at the interface of discrete optimization, scheduling, project management, and innovation. He/she will find a dynamic and pleasant working environment, in a group that is actively involved in scientific research at the highest international level.
Candidates will be expected to participate in seminars and conferences, be internationally mobile and to enroll in our PhD program. The candidate can be asked to give guidance to Bachelor and Master students, to be involved in teaching activities and to supervise exams.
Candidates should have a strong interest in OR and preferably hold a Master's degree in Business Engineering (Handelsingenieur), Mathematics, Computer Science, Industrial Engineering, Operations Research, or equivalent. Graduation with honors in preliminary studies is a requirement, as well as an appropriate command of written and spoken English. Experience with at least one programming language is an asset. Students that are currently in the final year of their Masters are especially encouraged to apply.
We offer an employment as full-time doctoral scholar for 1 year, renewable up until max. 4 years after positive evaluation. The tentative starting date is September 20, 2021, depending on the availability of the candidate. For more information please contact prof. dr. Roel Leus, mail: roel.leus@kuleuven.be, or dr. Ben Hermans, mail: ben.hermans@kuleuven.be.
You can apply for this job no later than April 5, 2021. Applications can only be received via KU Leuven's online application tool at the webpage https://www.kuleuven.be/personeel/jobsite/jobs/56144997?hl=en (ref. BAP-2021-28), the university does not accept applications via any other way. When applying, you must upload a motivation letter and cv in pdf. In the motivation letter you should specifically indicate why you are the right person for the vacant position. You can also upload a publication list, photo and/or other attachments.
KU Leuven seeks to foster an environment where all talents can flourish, regardless of gender, age, cultural background, nationality or impairments. If you have any questions relating to accessibility or support, please contact us at diversiteit.HR@kuleuven.be.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Candidates will be expected to participate in seminars and conferences, be internationally mobile and to enroll in our PhD program. The candidate can be asked to give guidance to Bachelor and Master students, to be involved in teaching activities and to supervise exams.
Candidates should have a strong interest in OR and preferably hold a Master's degree in Business Engineering (Handelsingenieur), Mathematics, Computer Science, Industrial Engineering, Operations Research, or equivalent. Graduation with honors in preliminary studies is a requirement, as well as an appropriate command of written and spoken English. Experience with at least one programming language is an asset. Students that are currently in the final year of their Masters are especially encouraged to apply.
We offer an employment as full-time doctoral scholar for 1 year, renewable up until max. 4 years after positive evaluation. The tentative starting date is September 20, 2021, depending on the availability of the candidate. For more information please contact prof. dr. Roel Leus, mail: roel.leus@kuleuven.be, or dr. Ben Hermans, mail: ben.hermans@kuleuven.be.
You can apply for this job no later than April 5, 2021. Applications can only be received via KU Leuven's online application tool at the webpage https://www.kuleuven.be/personeel/jobsite/jobs/56144997?hl=en (ref. BAP-2021-28), the university does not accept applications via any other way. When applying, you must upload a motivation letter and cv in pdf. In the motivation letter you should specifically indicate why you are the right person for the vacant position. You can also upload a publication list, photo and/or other attachments.
KU Leuven seeks to foster an environment where all talents can flourish, regardless of gender, age, cultural background, nationality or impairments. If you have any questions relating to accessibility or support, please contact us at diversiteit.HR@kuleuven.be.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Subscribe to:
Posts (Atom)
Posts
