A post doc position in theoretical computer science, under the
supervision of Associate Professor Kasper Green Larsen, is available
in the Algorithms and Data Structures group at Aarhus University,
Denmark.
The research group has a broad focus on theoretical computer science,
but topics of particular interest include lower bounds, data
structures and (theoretical aspects of) machine learning.
Candidates with expertise in lower bounds, data structures,
dimensionality reduction, generalization bounds or other theoretical
aspects of machine learning are preferred. Publications at top theory
or machine learning conferences such as
STOC/FOC/SODA/ICALP/NeurIPS/ICML/ICLR are also much appreciated.
The position is available with a start of August 1st, 2020 (a later
start date may be negotiated in light of COVID-19). The position is
for one year.
The application deadline for the position is July 1st,
2020. Applicants should apply online via our recruitment system by
sending a letter of interest and a CV, as well as indicate at least
two names of references for recommendations. The following is a link to the call:
https://www.au.dk/om/stillinger/job/the-algorithms-and-data-structures-group-is-looking-for-a-post-doc-in-theoretical-computer-science/
Questions regarding the position should be directed to Associate
Professor Kasper Green Larsen (larsen@cs.au.dk)
The place of work will be Dept. of Computer Science, Aarhus
University, Aabogade 34, DK8200 Aarhus, Denmark.
Best regards
Kasper Green Larsen
Associate Professor, Ph.D.
Department of Computer Science
Aarhus University, Denmark
**********************************************************
*
* 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, May 27, 2020
[DMANET] Post Doc in Cryptography at Aarhus University
A post doc position in cryptography, under the supervision of
Associate Professor Kasper Green Larsen, is available at Aarhus
University, Denmark. The focus of the research project is on
developing and applying techniques for proving lower bounds in
cryptography.
Candidates with expertise in cryptography are preferred. It is not
expected that the applicant has significant experience in proving
lower bounds, but the candidate should have a good overview of the
field of cryptography, and should be able to independently identify
problems where we can collaborate on proving lower bounds.
The daily work will be carried out in close collaboration between the
Algorithms (and Complexity) group and the Cryptography group at Aarhus
University. The supervisor Kasper Green Larsen represent the
Algorithms group. The cryptography group consists of faculty members
Professor Ivan Damgaard, Professor Jesper Buus Nielsen, Associate
Professor Claudio Orlandi and Assistant Professor Peter Scholl. Jesper
Buus Nielsen will also take an active part in the project, and in
general, there will be rich opportunity for collaboration across the
two research groups (which are physically located next to each other).
The position is available with a start of August 1st, 2020 (a later
start date may be negotiated in light of COVID-19). The position is
initially for two years, but may be extended by mutual consent.
The application deadline for the position is July 1st,
2020. Applicants should apply online via our recruitment system by
sending a letter of interest and a CV, as well as indicate at least
two names of references for recommendations. Follow this link to
access the call:
https://www.au.dk/om/stillinger/job/a-post-doc-position-in-cryptography-is-available-at-dept-of-computer-science-aarhus-university/
Questions regarding the position should be directed to Associate
Professor Kasper Green Larsen (larsen@cs.au.dk)
The place of work will be Dept. of Computer Science, Aarhus
University, Aabogade 34, DK8200 Aarhus, Denmark.
Best regards
Kasper Green Larsen
Associate Professor, Ph.D.
Department of Computer Science
Aarhus University, Denmark
**********************************************************
*
* 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/
*
**********************************************************
Associate Professor Kasper Green Larsen, is available at Aarhus
University, Denmark. The focus of the research project is on
developing and applying techniques for proving lower bounds in
cryptography.
Candidates with expertise in cryptography are preferred. It is not
expected that the applicant has significant experience in proving
lower bounds, but the candidate should have a good overview of the
field of cryptography, and should be able to independently identify
problems where we can collaborate on proving lower bounds.
The daily work will be carried out in close collaboration between the
Algorithms (and Complexity) group and the Cryptography group at Aarhus
University. The supervisor Kasper Green Larsen represent the
Algorithms group. The cryptography group consists of faculty members
Professor Ivan Damgaard, Professor Jesper Buus Nielsen, Associate
Professor Claudio Orlandi and Assistant Professor Peter Scholl. Jesper
Buus Nielsen will also take an active part in the project, and in
general, there will be rich opportunity for collaboration across the
two research groups (which are physically located next to each other).
The position is available with a start of August 1st, 2020 (a later
start date may be negotiated in light of COVID-19). The position is
initially for two years, but may be extended by mutual consent.
The application deadline for the position is July 1st,
2020. Applicants should apply online via our recruitment system by
sending a letter of interest and a CV, as well as indicate at least
two names of references for recommendations. Follow this link to
access the call:
https://www.au.dk/om/stillinger/job/a-post-doc-position-in-cryptography-is-available-at-dept-of-computer-science-aarhus-university/
Questions regarding the position should be directed to Associate
Professor Kasper Green Larsen (larsen@cs.au.dk)
The place of work will be Dept. of Computer Science, Aarhus
University, Aabogade 34, DK8200 Aarhus, Denmark.
Best regards
Kasper Green Larsen
Associate Professor, Ph.D.
Department of Computer Science
Aarhus University, Denmark
**********************************************************
*
* 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] [Algorithms, MDPI] The Special Issue on Algorithms for PID Controller 2019 - Call for Papers
We cordially invite you to submit a manuscript for consideration and
possible publication in a Special Issue on "Algorithms for PID
Controller 2019" to be published in an EI, ESCI and Scopus-indexed open
access journal Algorithms (http://www.mdpi.com/journal/algorithms).
Further information can be found at the Special Issue website:
https://www.mdpi.com/si/algorithms/PID_Controller
The submission deadline is 30 December 2020. Papers will be published on
an ongoing basis, so you can submit your paper at any point before the
deadline.
We look forward to receiving your submission!
Best regards,
Ms. Hortensia Hou
CiteScore of Algorithms (2018): 1.46
CiteScoreTracker 2019 (updated on 9 April, 2020): 2.00
--
Skype: live:8869fb0f2dd74ce5
E-Mail: hortensia.hou@mdpi.com
MDPI AG
Postfach, CH-4020 Basel, Switzerland
Office: St.Alban-Anlage 66, CH-4052 Basel, Switzerland
Tel.: +41 61 683 77 34
Fax: +41 61 302 89 18
www.mdpi.com
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
possible publication in a Special Issue on "Algorithms for PID
Controller 2019" to be published in an EI, ESCI and Scopus-indexed open
access journal Algorithms (http://www.mdpi.com/journal/algorithms).
Further information can be found at the Special Issue website:
https://www.mdpi.com/si/algorithms/PID_Controller
The submission deadline is 30 December 2020. Papers will be published on
an ongoing basis, so you can submit your paper at any point before the
deadline.
We look forward to receiving your submission!
Best regards,
Ms. Hortensia Hou
CiteScore of Algorithms (2018): 1.46
CiteScoreTracker 2019 (updated on 9 April, 2020): 2.00
--
Skype: live:8869fb0f2dd74ce5
E-Mail: hortensia.hou@mdpi.com
MDPI AG
Postfach, CH-4020 Basel, Switzerland
Office: St.Alban-Anlage 66, CH-4052 Basel, Switzerland
Tel.: +41 61 683 77 34
Fax: +41 61 302 89 18
www.mdpi.com
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] Open PhD position in the intersection of formal methods, machine learning, and artificial intelligence
The Max Planck Institute for Software Systems is looking for an
enthusiastic and highly qualified Doctoral Researcher (m/f/d) to work in
the intersection of formal methods, machine learning, and artificial
intelligence. The open position is available in the Intelligent Formal
Methods group under the supervision of Daniel Neider
(https://people.mpi-sws.org/~neider) and is to be filled on the next
possible date. The position is part of the project "Temporal Logic
Sketching", funded by the Deutsche Forschungsgemeinschaft (DFG), and
seeks to fundamentally improve the way hardware and software engineers
write formal specifications. For more information, please refer to:
enthusiastic and highly qualified Doctoral Researcher (m/f/d) to work in
the intersection of formal methods, machine learning, and artificial
intelligence. The open position is available in the Intelligent Formal
Methods group under the supervision of Daniel Neider
(https://people.mpi-sws.org/~neider) and is to be filled on the next
possible date. The position is part of the project "Temporal Logic
Sketching", funded by the Deutsche Forschungsgemeinschaft (DFG), and
seeks to fundamentally improve the way hardware and software engineers
write formal specifications. For more information, please refer to:
https://people.mpi-sws.org/~neider/phd-position.html
Required Profile
----------------
- A candidate must have (or soon obtain) a Master's degree in Computer
Science or a closely related area and have completed their studies with
excellent grades.
- A strong background in either formal methods, machine learning, or
artificial intelligence is expected.
- A candidate should have had exposure to temporal logics such as Linear
Temporal Logic (LTL), Signal Temporal Logic (STL), and Computational
Tree Logic (CTL).
- Knowledge of automata learning, grammatical inference, and constraint
solving (SAT and SMT) is preferred but not required.
How to Apply
------------
To apply, please submit a CV, a grade transcript, a short statement of
purpose, and a list of references to:
Please mention "Temporal Logic Sketching" in your application and send
an email to neider@mpi-sws.org with your application ID. Review of
applications will begin on June 12, 2020 and will continue until the
position is filled.
What we Offer
-------------
The Max Planck Institute for Software Systems (MPI-SWS) offers a vibrant
international research environment with the possibility to participate
in high-impact research. The institute is co-located in Kaiserslautern
and Saarbrücken, Germany, and offers a multicultural and open working
environment. The successful applicant will join the Intelligent Formal
Methods group in Kaiserslautern. The working language at MPI-SWS is
English. Proficiency in German is helpful but not required. You can find
more information about MPI-SWS at https://www.mpi-sws.org.
The initial duration of the position is three years. The position is
fully funded by the Deutsche Forschungsgemeinschaft (DFG) and pays
according to the collective wage agreement of the German public service
(TVöD).
Contact
-------
Please contact neider@mpi-sws.org for further information.
**********************************************************
*
* 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 at Max Planck Institute for Informatics, Saarbrücken, Germany
[The following call for applications is in German because proficiency in German is required for this position.]
Das Max-Planck-Institut für Informatik in Saarbrücken bittet um Bewerbungen für eine
Doktorandenstelle (m/w/d)
im Bereich Diskrete Optimierung/Operations Research in der Abteilung Algorithmen und Komplexität. Die Disseration wird von Andreas Karrenbauer und Kurt Mehlhorn betreut. Das Thema ergibt sich aus der Mitarbeit in einem Industrieprojekt mit einem Unternehmen aus dem Automobilsektor. Darin wird an Optimierungsproblemen geforscht, die in der Produktionssteuerung auftreten. Die Stelle kann nach gegenseitiger Absprache unmittelbar angetreten werden.
Vorkenntnisse in ganzzahliger Optimierung und Programmierkenntnisse sind ebenso Voraussetzungen wie ein sehr guter Masterabschluss in Informatik oder Mathematik.
Die Max-Planck-Gesellschaft will den Anteil von Frauen in den Bereichen erhöhen, in denen sie unterrepräsentiert sind. Frauen werden deshalb ausdrücklich aufgefordert, sich zu bewerben. Die Max-Planck-Gesellschaft ist bemüht, mehr schwerbehinderte Menschen zu beschäftigen. Bewerbungen schwerbehinderter Menschen sich ausdrücklich erwünscht.
Bewerbungen sind in Form einer einzigen PDF-Datei inklusive
* Anschreiben
* Lebenslauf
* Zeugnisse
* Zusammenfassung der Abschlussarbeit (maximal 2 Seiten auf Deutsch oder Englisch)
* Namen und E-Mail-Adressen zweier Referenzen
per E-Mail bis zum 15.06.2020 zu richten an Andreas Karrenbauer (andreas.karrenbauer@mpi-inf.mpg.de).
Bewerbungen, die nach dem o.g. Zeitpunkt eintreffen, werden berücksichtigt, solange die Stelle noch nicht besetzt ist.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] [cfp] Deadline extended- Call for Book Chapters Metaheuristics in machine learning: theory and applications, Springer
Call for Book Chapters
Metaheuristics in machine learning: theory and applications
**** DEADLINE EXTENDED****
Metaheuristics in machine learning: theory and applications
**** DEADLINE EXTENDED****
Publication Schedule ***COVID 19 UPDATE***
The tentative schedule of the book publication is as follows:
Deadline for paper submission: August 31, 2020 (EXTENDED)
First-round notification: September 2020 (EXTENDED)
Camera-ready submission: October 2020 (EXTENDED)
Publication date: 1st quarter of 2021
More information: http://diegoliva.com/cfp/cbc-maml/
Important:
-No Publication Fee
-SCOPUS INDEXED
Volume editors
Dr. Diego Oliva
Departamento de Ciencias Computacionales,
Universidad de Guadalajara, CUCEI, México
Dr. Salvador Hinojosa
Departamento de Ciencias Computacionales,
Universidad de Guadalajara, CUCEI, México
Dr. Essam Halim Houssein
Faculty of Computers & Information,
Minia University, Egypt
**********************************************************
*
* 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, May 26, 2020
[DMANET] CfP: Reachability Problems, RP 2020
Call for Papers -- RP 2020
14th International Conference on Reachability Problems (RP'20).
October 19-21 2020, Paris, France
https://www.irif.fr/~rp2020/
--------------------------------------------------------------------
Abstract submission: June 30, 2020, AoE
Paper submission deadline: July 3, 2020, AoE
https://easychair.org/conferences/?conf=rp20200
--------------------------------------------------------------------
The institut de recherche en informatique fondamentale at Université
de Paris organises the 14th International Conference on Reachability
Problems (RP'20).
Invited speakers:
* Valérie Berthé (CNRS, Paris)
* Patricia Bouyer-Decitre (CNRS, Saclay)
* Kousha Etessami (University of Edinburgh)
* Orna Kupferman (Hebrew University)
* Dirk Nowotka (Kiel University)
Submission Guidelines:
There are two categories of submissions:
* Regular Papers: authors are invited to submit a draft of a full
paper with at most 12 pages (excluding the bibliography) formatted
according to the LNCS guidelines. Authors are asked to submit
their paper through EasyChair at
https://easychair.org/conferences/?conf=rp20200
* Presentations: in addition to the formal presentations based on our
LNCS proceedings volume, we invite researchers to submit a paper
which recently appeared (or which is going to appear) in
proceedings of another conference, or which has not yet been
submitted. Neither the paper nor the abstract will be published in
the proceedings.
Important Dates:
abstract submission: June 30, 2020, AoE
paper submission: July 3, 2020, AoE
notification: August 17, 2020
camera ready: August 24, 2020
Topics:
The conference is specifically aimed at gathering together scholars
from diverse disciplines and backgrounds interested in reachability
problems that appear in
* Algebraic structures
* Automata theory and formal languages
* Computational game theory
* Concurrency and distributed computation
* Decision procedures in computational models
* Hybrid dynamical systems
* Logic and model checking
* Verification of finite and infinite-state systems
Topics of interest include (but are not limited to): reachability
problems in infinite-state systems, rewriting systems, dynamical and
hybrid systems; reachability problems in logic and verification;
reachability analysis in different computational models, counter
timed/ cellular/ communicating automata; Petri nets; computational and
combinatorial aspects of algebraic structures (semigroups, groups and
rings); frontiers between decidable and undecidable reachability
problems; predictability in iterative maps and new computational
paradigms.
Program Committee:
* C. Aiswarya (CMI, IN)
* S. Akshay (IIT-Bombay, IN)
* Christel Baier (TU Dresden, DE)
* Nathalie Bertrand (Inria, FR)
* Sergiy Bogomolov (Newcastle U., UK)
* Olivier Bournez (École Polytechnique, FR)
* Laure Daviaud (City U. London, UK)
* Pierre Ganty (IMDEA Software Institute, ES)
* Gilles Geeraerts (U. Libre de Bruxelles, BE)
* Matthew Hague (Royal Holloway U. London, UK)
* Mika Hirvensalo (U. Turku, FI)
* Petr Jančar (Palacký U. Olomouc, CZ)
* Raphaël Jungers (U. C. Louvain, BE)
* Akitoshi Kawamura (Kyushu U., JP)
* Sang-Ki Ko (Kangwon Natl. U., KR)
* Slawomir Lasota (U. Warsaw, PL)
* Karoliina Lehtinen (U. Liverpool, UK)
* Igor Potapov (U. Liverpool, UK, co-chair)
* Cristian Riveros (Pontifica U. Católica de Chile, CHL)
* Sylvain Schmitz (U. de Paris, FR, co-chair)
* Mahsa Shirmohammadi (CNRS, FR)
* Georg Zetzsche (MPI-SWS, DE)
Venue:
The conference was initially planned to be held in Paris, on the
campus des grands moulins of Université de Paris. However, as the
coronavirus pandemic is causing a major disruption in the lives of
many members of our community, we will consult the authors of
submitted papers at notification time; based on this feedback the
conference will be either held physically (with an option of remote
participation and a reduced conference fee for those who cannot
attend) or completely virtually. Either way the publication of the
conference proceedings will go forward as usual.
Contact: rp2020-0@easychair.org
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
14th International Conference on Reachability Problems (RP'20).
October 19-21 2020, Paris, France
https://www.irif.fr/~rp2020/
--------------------------------------------------------------------
Abstract submission: June 30, 2020, AoE
Paper submission deadline: July 3, 2020, AoE
https://easychair.org/conferences/?conf=rp20200
--------------------------------------------------------------------
The institut de recherche en informatique fondamentale at Université
de Paris organises the 14th International Conference on Reachability
Problems (RP'20).
Invited speakers:
* Valérie Berthé (CNRS, Paris)
* Patricia Bouyer-Decitre (CNRS, Saclay)
* Kousha Etessami (University of Edinburgh)
* Orna Kupferman (Hebrew University)
* Dirk Nowotka (Kiel University)
Submission Guidelines:
There are two categories of submissions:
* Regular Papers: authors are invited to submit a draft of a full
paper with at most 12 pages (excluding the bibliography) formatted
according to the LNCS guidelines. Authors are asked to submit
their paper through EasyChair at
https://easychair.org/conferences/?conf=rp20200
* Presentations: in addition to the formal presentations based on our
LNCS proceedings volume, we invite researchers to submit a paper
which recently appeared (or which is going to appear) in
proceedings of another conference, or which has not yet been
submitted. Neither the paper nor the abstract will be published in
the proceedings.
Important Dates:
abstract submission: June 30, 2020, AoE
paper submission: July 3, 2020, AoE
notification: August 17, 2020
camera ready: August 24, 2020
Topics:
The conference is specifically aimed at gathering together scholars
from diverse disciplines and backgrounds interested in reachability
problems that appear in
* Algebraic structures
* Automata theory and formal languages
* Computational game theory
* Concurrency and distributed computation
* Decision procedures in computational models
* Hybrid dynamical systems
* Logic and model checking
* Verification of finite and infinite-state systems
Topics of interest include (but are not limited to): reachability
problems in infinite-state systems, rewriting systems, dynamical and
hybrid systems; reachability problems in logic and verification;
reachability analysis in different computational models, counter
timed/ cellular/ communicating automata; Petri nets; computational and
combinatorial aspects of algebraic structures (semigroups, groups and
rings); frontiers between decidable and undecidable reachability
problems; predictability in iterative maps and new computational
paradigms.
Program Committee:
* C. Aiswarya (CMI, IN)
* S. Akshay (IIT-Bombay, IN)
* Christel Baier (TU Dresden, DE)
* Nathalie Bertrand (Inria, FR)
* Sergiy Bogomolov (Newcastle U., UK)
* Olivier Bournez (École Polytechnique, FR)
* Laure Daviaud (City U. London, UK)
* Pierre Ganty (IMDEA Software Institute, ES)
* Gilles Geeraerts (U. Libre de Bruxelles, BE)
* Matthew Hague (Royal Holloway U. London, UK)
* Mika Hirvensalo (U. Turku, FI)
* Petr Jančar (Palacký U. Olomouc, CZ)
* Raphaël Jungers (U. C. Louvain, BE)
* Akitoshi Kawamura (Kyushu U., JP)
* Sang-Ki Ko (Kangwon Natl. U., KR)
* Slawomir Lasota (U. Warsaw, PL)
* Karoliina Lehtinen (U. Liverpool, UK)
* Igor Potapov (U. Liverpool, UK, co-chair)
* Cristian Riveros (Pontifica U. Católica de Chile, CHL)
* Sylvain Schmitz (U. de Paris, FR, co-chair)
* Mahsa Shirmohammadi (CNRS, FR)
* Georg Zetzsche (MPI-SWS, DE)
Venue:
The conference was initially planned to be held in Paris, on the
campus des grands moulins of Université de Paris. However, as the
coronavirus pandemic is causing a major disruption in the lives of
many members of our community, we will consult the authors of
submitted papers at notification time; based on this feedback the
conference will be either held physically (with an option of remote
participation and a reduced conference fee for those who cannot
attend) or completely virtually. Either way the publication of the
conference proceedings will go forward as usual.
Contact: rp2020-0@easychair.org
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] Announce: Global Virtual SageDays 109 - May 27-29
Sage is a mature, comprehensive, free (open-source) mathematics
software system based on Python, licensed under the GNU General Public
License, that integrates computer algebra facilities and general
computational packages.
software system based on Python, licensed under the GNU General Public
License, that integrates computer algebra facilities and general
computational packages.
SageDays are gatherings of people interested in SageMath, from
newcomers to contributors. Sage Days have been organized as local,
regional, or international in-person meetings by a wide range of
people around the globe. Because of the current global health crisis,
we organize SageDays 109 as the first fully virtual event in the
series.
It is held on Thursday, May 28, 2020 when it is that date in some
timezone in the world, which makes it a 50-hour event.
Scheduled presentations:
Fredrik Strömberg - An introduction to SageMath and Python
Jean-Philippe Labbé - Combinatorics and geometry of polyhedra in Sage
Krystal Guo - Using SageMath in Algebraic Graph Theory
Alex J. Best - Computations with p-adic polylogarithms in Sage
Edinah Gnang - Broadening the Linear Algebra Toolkit to a theory of constructs
Karl-Dieter Crisman - PreTeXt: Write Once, Read Anywhere - with Sage
Karl-Dieter Crisman - PreTeXt - nuts and bolts
William Hart - Introduction to Flint
William Hart - Flint-2.6.0 -- the biggest update in 5 years!
Julian Rüth - Introduction to running SageMath in Docker
Matthias Köppe - Tutorial for developers: Portability testing of the
Sage distribution using Docker and the Sage distro-package database
Haroldo G. Santos - On the design of Python-MIP: Why another Python
optimization library?
Travis Scrimshaw - Constructing algebraic objects with the category
framework in Sage
Karl-Dieter Crisman (host): Open discussion: Sage in Education
John Palmieri, Nicolas M. Thiéry, and others - Panel discussion:
Future development directions for SageMath
Túlio Toffolo - An Introduction to Python-MIP: Building an Effective
Traveling Salesman Problem Solver in 30 Minutes with Python-MIP
Kiran Kedlaya - Torsion closures of ideals
Jonathan Kliem - Combinatorics and recent and ongoing development of
Polyhedra in Sage
Anne Schilling - Markov chains through semigroup graph expansions
Kwankyu Lee - New in Sage 9.1: Integral curves over finite fields with
function fields
Details, schedule, free registration:
https://wiki.sagemath.org/days109
--
Dr. Matthias Koeppe . . . . . . . . http://www.math.ucdavis.edu/~mkoeppe
Professor of Mathematics . . . . . on sabbatical 2019-2020 . . . . . .
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] Open PhD Position: Organ Allocation at Eurotransplant
Open PhD Position: Organ Allocation at Eurotransplant
We are looking for a strong, motivated PhD-student with an analytical, algorithmic background who is interested in pursuing a PhD-project devoted to the allocation of donor organs to patients. The goal of the project is to apply and develop methods from data science (including machine learning methods) to quantify the benefits of transplantations depending on donor and recipient characteristics. In addition, the goal is to design and evaluate allocation mechanisms.
The project is a cooperation between Eindhoven University of Technology and Eurotransplant. The project has a large applied component; it is expected that results of this project will impact Eurotransplant's policies.
The position is for a period of 4 years at the Eindhoven University of Technology, Department of Mathematics and Computer Science. The PhD-student's working locations will be both at Eurotransplant headquarters in Leiden, as well as at TU/e.
We are looking for a student with a strong background in at least one of the following subjects: statistics, machine learning, discrete optimization, operations research. A strong interest in the medical and health policy aspects of the project are a plus.
The TU Eindhoven, the Department of Mathematics and Computer Science and the group Combinatorial Optimization
The TU Eindhoven (TU/e) was established in 1956 as a polytechnic. It has grown into a university with nine departments. The TU/e now has approximately 3000 employees (incl. PhD students) and 8000 BSc and MSc students. Our Department offers several bachelor and master programs, all of which are taught in English. The TU/e campus is in the center of Eindhoven. The PhD-position is within the group Combinatorial Optimization; this group is an active, internationally composed research group. There are strong ties with the research program NETWORKS.
Eurotransplant
Eurotransplant is responsible for the allocation of donor organs in Austria, Belgium, Croatia, Germany, Hungary, Luxembourg, the Netherlands and Slovenia. This international collaborative framework includes all transplant hospitals, tissue-typing laboratories and hospitals where organ donations take place. For more information, see www.eurotransplant.org<http://www.eurotransplant.org/>
What we offer
We offer a PhD position on an exciting topic at the intersection of data science and combinatorial optimization. The project will take place in a very stimulating environment, and the cooperation with Eurotransplant allows for real-life impact of the results. The position is fully funded, and the student receives a gross salary which ranges from € 2.325 per month in the first year increasing up to € 2.972 in the fourth year. The TU Eindhoven offers a broad package of fringe benefits (e.g. excellent technical infrastructure, child daycare and excellent sports facilities).
Being a PhD student in the Netherlands
In the Netherlands, every PhD student gets paid a salary; no additional grants are needed. Moreover, although PhD students sometimes take courses, there is no minimum requirement. Hence, PhD students are more like employees than like students. Indeed, the Dutch word for PhD student translates to "research trainee". The work of a PhD student may include assisting in courses of BSc or MSc programs of the department. This amounts to around 10% of the time; the remaining time is spent on research and research-related activities.
Further information
For more information about the project or about the working conditions, please contact Bart Smeulders (B.Smeulders@tue.nl<mailto:B.Smeulders@tue.nl>), or Frits Spieksma (F.C.R.Spieksma@tue.nl<mailto:F.C.R.Spieksma@tue.nl> ).
How to apply
You can apply to this position through the TU/e website (https://jobs.tue.nl/en/vacancy/phd-machine-learning-for-organ-allocation-at-eurotransplant-851205.html).
Closing Date: June 24, 2020
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
We are looking for a strong, motivated PhD-student with an analytical, algorithmic background who is interested in pursuing a PhD-project devoted to the allocation of donor organs to patients. The goal of the project is to apply and develop methods from data science (including machine learning methods) to quantify the benefits of transplantations depending on donor and recipient characteristics. In addition, the goal is to design and evaluate allocation mechanisms.
The project is a cooperation between Eindhoven University of Technology and Eurotransplant. The project has a large applied component; it is expected that results of this project will impact Eurotransplant's policies.
The position is for a period of 4 years at the Eindhoven University of Technology, Department of Mathematics and Computer Science. The PhD-student's working locations will be both at Eurotransplant headquarters in Leiden, as well as at TU/e.
We are looking for a student with a strong background in at least one of the following subjects: statistics, machine learning, discrete optimization, operations research. A strong interest in the medical and health policy aspects of the project are a plus.
The TU Eindhoven, the Department of Mathematics and Computer Science and the group Combinatorial Optimization
The TU Eindhoven (TU/e) was established in 1956 as a polytechnic. It has grown into a university with nine departments. The TU/e now has approximately 3000 employees (incl. PhD students) and 8000 BSc and MSc students. Our Department offers several bachelor and master programs, all of which are taught in English. The TU/e campus is in the center of Eindhoven. The PhD-position is within the group Combinatorial Optimization; this group is an active, internationally composed research group. There are strong ties with the research program NETWORKS.
Eurotransplant
Eurotransplant is responsible for the allocation of donor organs in Austria, Belgium, Croatia, Germany, Hungary, Luxembourg, the Netherlands and Slovenia. This international collaborative framework includes all transplant hospitals, tissue-typing laboratories and hospitals where organ donations take place. For more information, see www.eurotransplant.org<http://www.eurotransplant.org/>
What we offer
We offer a PhD position on an exciting topic at the intersection of data science and combinatorial optimization. The project will take place in a very stimulating environment, and the cooperation with Eurotransplant allows for real-life impact of the results. The position is fully funded, and the student receives a gross salary which ranges from € 2.325 per month in the first year increasing up to € 2.972 in the fourth year. The TU Eindhoven offers a broad package of fringe benefits (e.g. excellent technical infrastructure, child daycare and excellent sports facilities).
Being a PhD student in the Netherlands
In the Netherlands, every PhD student gets paid a salary; no additional grants are needed. Moreover, although PhD students sometimes take courses, there is no minimum requirement. Hence, PhD students are more like employees than like students. Indeed, the Dutch word for PhD student translates to "research trainee". The work of a PhD student may include assisting in courses of BSc or MSc programs of the department. This amounts to around 10% of the time; the remaining time is spent on research and research-related activities.
Further information
For more information about the project or about the working conditions, please contact Bart Smeulders (B.Smeulders@tue.nl<mailto:B.Smeulders@tue.nl>), or Frits Spieksma (F.C.R.Spieksma@tue.nl<mailto:F.C.R.Spieksma@tue.nl> ).
How to apply
You can apply to this position through the TU/e website (https://jobs.tue.nl/en/vacancy/phd-machine-learning-for-organ-allocation-at-eurotransplant-851205.html).
Closing Date: June 24, 2020
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] Professor in Operations Research
At the Technical University of Denmark (DTU) we are looking for an outstanding professor in Operations Research to join our Operations Research group. The position is based at DTU Management - Department of Technology, Management and Economics. The Department already has a strong and internationally recognized environment in Operations Research.
DTU Management conducts excellent research in the intersection between management, technology and economics-in close cooperation with companies and public authorities.
Operations Research (OR) is the discipline of applying advanced analytical methods to ensure better decision-making. By using techniques such as mathematical modelling to analyse complex situations, OR delivers executives the power to make more effective decisions and build more productive systems. OR is an essential part of the data science and analytics agenda.
DTU is a leading technical university globally recognized for the excellence of its research, education, innovation and scientific advice. We offer a rewarding and challenging job in an international environment. We strive for academic excellence in an environment characterized by collegial respect and academic freedom tempered by responsibility.
DTU Management conducts excellent research in the intersection between management, technology and economics. We develop solutions in close cooperation with companies and public authorities. Our research aims at strengthening welfare, productivity and sustainability within the society. A key element is the role of technology and its interaction with industry and individuals. The department's research is divided in four divisions: Innovation, Management Science, Sustainability and Transport. Furthermore, the department hosts a UN Collaborating Centre. The UN DTU Partnership conducts research, policy analysis and advising on a global scale. The department offers a wide range of courses and programmes at bachelor, master and PhD level across DTU's study programmes. DTU Management employs about 300 people. We offer an international environment with around 50 different nationalities represented at the department.
Technology for people
DTU develops technology for people. With our international elite research and study programmes, we are helping to create a better world and to solve the global challenges formulated in the UN's 17 Sustainable Development Goals. Hans Christian Ørsted founded DTU in 1829 with a clear vision to develop and create value using science and engineering to benefit society. That vision lives on today. DTU has 11,500 students and 6,000 employees. We work in an international atmosphere and have an inclusive, evolving, and informal working environment. Our main campus is in Kgs. Lyngby north of Copenhagen and we have campuses in Roskilde and Ballerup and in Sisimiut in Greenland.
Deadline for applications is July 3rd. Job announcement: https://www.dtu.dk/om-dtu/job-og-karriere/ledige-stillinger/job?id=c0c122a1-37ba-4ffa-a28c-e9cb83b66e0c
Best regards,
Jesper Larsen
[http://www.dtu.dk/-/media/DTU_Generelt/Andet/mail-signature-logo.png]
Jesper Larsen
Professor of Operations Research
Head of Management Science
Department head of teaching
Dir. +45 45 25 33 85
jesla@dtu.dk<mailto:jesla@dtu.dk>
Akademivej
Building 358
2800 Kgs. Lyngby
www.dtu.dk/english<https://www.dtu.dk/english>
On COVID-19: DTU Management is still very much up and running, but to stop the spread of COVID-19, the DTU Campus is closed. You can reach me on the above numbers and mail as well as MS Teams, Zoom and Skype.
**********************************************************
*
* 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/
*
**********************************************************
DTU Management conducts excellent research in the intersection between management, technology and economics-in close cooperation with companies and public authorities.
Operations Research (OR) is the discipline of applying advanced analytical methods to ensure better decision-making. By using techniques such as mathematical modelling to analyse complex situations, OR delivers executives the power to make more effective decisions and build more productive systems. OR is an essential part of the data science and analytics agenda.
DTU is a leading technical university globally recognized for the excellence of its research, education, innovation and scientific advice. We offer a rewarding and challenging job in an international environment. We strive for academic excellence in an environment characterized by collegial respect and academic freedom tempered by responsibility.
DTU Management conducts excellent research in the intersection between management, technology and economics. We develop solutions in close cooperation with companies and public authorities. Our research aims at strengthening welfare, productivity and sustainability within the society. A key element is the role of technology and its interaction with industry and individuals. The department's research is divided in four divisions: Innovation, Management Science, Sustainability and Transport. Furthermore, the department hosts a UN Collaborating Centre. The UN DTU Partnership conducts research, policy analysis and advising on a global scale. The department offers a wide range of courses and programmes at bachelor, master and PhD level across DTU's study programmes. DTU Management employs about 300 people. We offer an international environment with around 50 different nationalities represented at the department.
Technology for people
DTU develops technology for people. With our international elite research and study programmes, we are helping to create a better world and to solve the global challenges formulated in the UN's 17 Sustainable Development Goals. Hans Christian Ørsted founded DTU in 1829 with a clear vision to develop and create value using science and engineering to benefit society. That vision lives on today. DTU has 11,500 students and 6,000 employees. We work in an international atmosphere and have an inclusive, evolving, and informal working environment. Our main campus is in Kgs. Lyngby north of Copenhagen and we have campuses in Roskilde and Ballerup and in Sisimiut in Greenland.
Deadline for applications is July 3rd. Job announcement: https://www.dtu.dk/om-dtu/job-og-karriere/ledige-stillinger/job?id=c0c122a1-37ba-4ffa-a28c-e9cb83b66e0c
Best regards,
Jesper Larsen
[http://www.dtu.dk/-/media/DTU_Generelt/Andet/mail-signature-logo.png]
Jesper Larsen
Professor of Operations Research
Head of Management Science
Department head of teaching
Dir. +45 45 25 33 85
jesla@dtu.dk<mailto:jesla@dtu.dk>
Akademivej
Building 358
2800 Kgs. Lyngby
www.dtu.dk/english<https://www.dtu.dk/english>
On COVID-19: DTU Management is still very much up and running, but to stop the spread of COVID-19, the DTU Campus is closed. You can reach me on the above numbers and mail as well as MS Teams, Zoom and Skype.
**********************************************************
*
* 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 on COVID-19 related research project
In the Operations Research group at the Technical University of Denmark (DTU) we are looking for a postdoc to work with us on the COVID-19 related research project FiND: Finding the new normal, the power of distinct contacts.
The current Corona crisis has a tremendous global impact. This project will employ operations research techniques and knowledge from complex network theory/graph theory to investigate the impact of different lockdown and social distancing measures on disease spread. Specifically, we want to investigate what kind of contacts can be maintained during peak-spreading when we consider distinct contacts.
We are urgently looking for a postdoc to make this process a success. The postdoc will work with Evelien van der Hurk and David Pisinger.
Deadline for applications is July 1st, the ideal start would be late August/early September 2020.
Job announcement: https://www.dtu.dk/english/About/JOB-and-CAREER/vacant-positions/job?id=0ac7ee7a-0cdf-4317-8054-b355079bacfb
DTU develops technology for people. With our international elite research and study programmes, we are helping to create a better world and to solve the global challenges formulated in the UN's 17 Sustainable Development Goals. Hans Christian Ørsted founded DTU in 1829 with a clear vision to develop and create value using science and engineering to benefit society. That vision lives on today. DTU has 11,500 students and 6,000 employees. We work in an international atmosphere and have an inclusive, evolving, and informal working environment. Our main campus is in Kgs. Lyngby north of Copenhagen and we have campuses in Roskilde and Ballerup and in Sisimiut in Greenland.
Best regards,
Jesper Larsen
[http://www.dtu.dk/-/media/DTU_Generelt/Andet/mail-signature-logo.png]
Jesper Larsen
Professor of Operations Research
Head of Management Science
Department head of teaching
Dir. +45 45 25 33 85
jesla@dtu.dk<mailto:jesla@dtu.dk>
Akademivej
Building 358
2800 Kgs. Lyngby
www.dtu.dk/english<https://www.dtu.dk/english>
On COVID-19: DTU Management is still very much up and running, but to stop the spread of COVID-19, the DTU Campus is closed. You can reach me on the above numbers and mail as well as MS Teams, Zoom and Skype.
**********************************************************
*
* 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 current Corona crisis has a tremendous global impact. This project will employ operations research techniques and knowledge from complex network theory/graph theory to investigate the impact of different lockdown and social distancing measures on disease spread. Specifically, we want to investigate what kind of contacts can be maintained during peak-spreading when we consider distinct contacts.
We are urgently looking for a postdoc to make this process a success. The postdoc will work with Evelien van der Hurk and David Pisinger.
Deadline for applications is July 1st, the ideal start would be late August/early September 2020.
Job announcement: https://www.dtu.dk/english/About/JOB-and-CAREER/vacant-positions/job?id=0ac7ee7a-0cdf-4317-8054-b355079bacfb
DTU develops technology for people. With our international elite research and study programmes, we are helping to create a better world and to solve the global challenges formulated in the UN's 17 Sustainable Development Goals. Hans Christian Ørsted founded DTU in 1829 with a clear vision to develop and create value using science and engineering to benefit society. That vision lives on today. DTU has 11,500 students and 6,000 employees. We work in an international atmosphere and have an inclusive, evolving, and informal working environment. Our main campus is in Kgs. Lyngby north of Copenhagen and we have campuses in Roskilde and Ballerup and in Sisimiut in Greenland.
Best regards,
Jesper Larsen
[http://www.dtu.dk/-/media/DTU_Generelt/Andet/mail-signature-logo.png]
Jesper Larsen
Professor of Operations Research
Head of Management Science
Department head of teaching
Dir. +45 45 25 33 85
jesla@dtu.dk<mailto:jesla@dtu.dk>
Akademivej
Building 358
2800 Kgs. Lyngby
www.dtu.dk/english<https://www.dtu.dk/english>
On COVID-19: DTU Management is still very much up and running, but to stop the spread of COVID-19, the DTU Campus is closed. You can reach me on the above numbers and mail as well as MS Teams, Zoom and Skype.
**********************************************************
*
* 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] ICTCS 2020 - LAST CALL FOR PAPERS
ICTCS 2020 - last call for papers
==================================================
Extended Deadline
==================================================
Submissions are still open until June 1, regardless of the abstract
submission
==================================================
COVID-19 update
==================================================
The safety and well-being of all conference participants is our priority.
According to the worldwide evolution of COVID-19, we are sorry to announce
that ICTCS 2020, originally scheduled in Ischia, will be held online. More
information will be posted soon.
==================================================
CALL FOR PAPERS
==================================================
ICTCS 2020 - 21st Italian Conference on Theoretical Computer Science
14-16 September 2020, online.
================
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 the Italian Conference on Theoretical Computer Science
(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 according to
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 regular 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=ictcs2020
For each accepted contribution, at least one of the authors is required to
attend the conference and present the paper.
All accepted original contributions (regular papers and communications)
will be published on CEUR-WS.org.
============================
TCS Special Issue
============================
Following recent tradition, we will invite the authors of a selection of
paper to submit an extended version of their work to a special issue of
Theoretical Computer Science journal.
===============
IMPORTANT DATES
===============
Paper submission: 01 June 2020
Notification: 03 July 2020
Revised version for pre-proceedings: 20 July 2020
Conference: 14-16 September 2020
Final version for proceedings: 30 September 2020
==================
INVITED SPEAKERS
==================
Paolo Boldi (Università di Milano)
Paolo Ferragina (Università di Pisa)
====================
PROGRAM COMMITTEE
====================
Gennaro Cordasco (Co-chair, Università della Campania "Luigi
Vanvitelli", Italy)
Luisa Gargano (Co-chair, Università di Salerno, Italy)
Adele Rescigno (Co-chair, Università di Salerno, Italy)
Mario Alviano (Università della Calabria, Italy)
Davide Ancona (Università di Genova, Italy)
Marco Bernardo (Università di Urbino, Italy)
Davide Bilò (Università di Sassari, Italy)
Vittorio Bilò (Università del Salento, Italy)
Stefano Bistarelli (Università di Perugia, Italy)
Luca Bortolussi (Università di Trieste, Italy)
Luca Breveglieri (Politecnico di Milano, Italy)
Tiziana Calamoneri (Università di Roma "Sapienza", Italy)
Domenico Cantone (Università di Catania, Italy)
Ferruccio Damiani (Università di Torino, Italy)
Rocco De Nicola (IMT - School for Advanced Studies Lucca, Italy)
Gabriele Fici (Università di Palermo, Italy)
Michele Flammini (Gran Sasso Science Institute & University of L'Aquila,
Italy)
Luciano Gualà (Università di Tor Vergata, Italy)
Ivan Lanese (Università di Bologna, Italy)
Marina Lenisa (Università di Udine, Italy)
Zsuzsanna Liptak (Università di Verona, Italy)
Michele Loreti (Università di Camerino, Italy)
Flaminia Luccio (Università di Venezia "Ca' Foscari", Italy)
Giovanni Manzini (Università del Piemonte Orientale, Italy)
Manuela Montangero (Università di Modena e Reggio Emilia, Italy)
Nadia Pisanti (Università di Pisa, Italy)
Guido Proietti (Università dell'Aquila, Italy)
Geppino Pucci (Università di Padova, Italy)
Fabrizio Riguzzi (Università di Ferrara, Italy)
Simone Tini (Università dell'Insubria, Italy)
Paola Vocca (Università della Tuscia, Italy)
Enea Zaffanella (Università di Parma, Italy)
--
Gennaro Cordasco
Universita' degli Studi della Campania "Luigi Vanvitelli"
Viale Ellittico, 81100 Caserta ITALY
e-mail: gennaro.cordasco[@]unicampania.it
https://sites.google.com/site/cordasco/
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] CfP: SoftCOM 2020 - Symposium on Smart Environments & Internet of Things - September 17 - 19, 2020, Hvar, Croatia
[Our apologies if you receive multiple copies of this CfP]
======================================================================
CALL FOR PAPERS
======================================================================
SoftCOM 2020 - 28th International Conference on Software,
Telecommunications and Computer Networks
Symposium on Smart Environments & Internet of Things
IEEE ComSoc Technical Co-Sponsorship
September 17 - 19, 2020, Hvar, Croatia
======================================================================
IMPORTANT DATES
Paper Submission (Extended Final Deadline): June 10, 2020
Notification of acceptance: July 1, 2020
Camera-ready manuscript: July 20, 2020
======================================================================
Symposium on "Smart Environments & Internet of Things" will be held
in the frame of the 28th International Conference on Software,
Telecommunications and
Computer Networks (SoftCOM 2020), technically co-sponsored by the IEEE
Communication Society (ComSoc),
in hotel Amfora in attractive ambience of Hvar on September 17-19, 2020.
Recent advances in areas like pervasive computing, machine learning,
wireless and
sensor networking enable various smart environment applications in everyday
life.
The main goal of this symposium is to present and discuss recent advances
in the area
of the Internet of Things, in particular on technologies, architectures,
algorithms and
protocols for smart environments with emphasis on real smart environment
applications that
are becoming research topics more and more interesting for both academia
and industry.
We cordially invite speakers who wish to present original papers on the
following subjects, but not limited to:
·RFID and NFC
·Wireless Sensor Networks
·Energy consumption minimization
·6LoWPAN, CoAP, MQTT and ETSI M2M
·Middleware and Architecture for the IoT
·Smart devices and intelligent products
·Ubiquitous/Pervasive computing
·Localization technologies
·Location-aware Services
·Speech and speaker recognition
·Text-to-Speech (TTS)
·Virtual and augmented reality environments
·Human Computer Interaction (HCI)
·Low power sensing and ambient energy harvesting
·Wearable technologies
·Big Data and Data Analytics
·Robotics
·Embedded Systems
·IoT solutions for safety
·RFID and IoT tecnologies in Biomedicine
·Safety and emergency systems based on IoT technologies
·Security, video and signal based Surveillance in IoT
·Mobile applications and rapid prototyping in the IoT
·Fog Computing in IoT
·Case studies, field trials, and industrial Applications
-Manufacturing, Logistic and Supply Chain
-Micro-payments by NFC
-Intelligent Transport Systems (ITS)
-Indoor Positioning Systems (IPS)
-Pharmaceutical and Healthcare
-Food traceability and Cold Chain
-Animal Tracking systems
-Building Automation, Smart Home, Smart Cities and Smart GRID
Papers should conform to the IEEE format and will be handled and processed
electronically via EDAS Conference Management System.
https://edas.info/newPaper.php?c=27325&track=101770
Accepted and presented papers will be published in the conference
proceedings and
submitted to IEEE Xplore as well as other Abstracting and Indexing (A&I)
databases.
Authors of selected best papers will be invited to submit an extended
version of
their manuscripts for publication in a special issue of
the Journal of Communications Software and Systems (JCOMSS).
Symposium Co-Chairs:
Luigi Patrono (luigi.patrono@unisalento.it)
University of Salento, Italy
Mladen Russo (mrusso@ieee.org)
University of Split, Croatia
Maja Stella (mstella@ieee.org)
University of Split, Croatia
Conference contact:
softcom@fesb.hr
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Monday, May 25, 2020
[DMANET] Online tutorial lectures on Polynomial Optimization (within the Marie-Curie ITN POEMA)
This is to announce the forthcoming series of online lectures on the subject of Polynomial Optimization and Applications, within the Marie-Curie ITN Network POEMA (Polynomial Optimization, Efficiency through Moments and Algebra).
The lectures will be weekly, on Wednesday at 16h00, starting on Wednesday 27 May.
They will be given by the following scientists:
- Didier Henrion (LAAS-Toulouse)
- Edouard Pauwels (Institut de Recherche en Informatique de Toulouse)
- Cordian Riener (The Artic University of Norway)
- Mihai Putinar (University of California at Santa Barbara)
Participation is free but you need to register in order to be given access to the lectures.
Details can be found at the POEMA website:
http://poema-network.eu/index.php/news-and-events/project-workshops/7-poema-online-learning-weeks
**********************************************************
*
* 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 lectures will be weekly, on Wednesday at 16h00, starting on Wednesday 27 May.
They will be given by the following scientists:
- Didier Henrion (LAAS-Toulouse)
- Edouard Pauwels (Institut de Recherche en Informatique de Toulouse)
- Cordian Riener (The Artic University of Norway)
- Mihai Putinar (University of California at Santa Barbara)
Participation is free but you need to register in order to be given access to the lectures.
Details can be found at the POEMA website:
http://poema-network.eu/index.php/news-and-events/project-workshops/7-poema-online-learning-weeks
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] PostDoc Position in Algorithms for Temporal Constraint Networks (Verona-Italy)
Dear colleagues,
Apologies if you receive multiple copies of this announcement.
Please kindly help forward it to potentially interested authors/attendees.
a fellowship grant for 12 months is available at the University of Verona, Italy,
within the local project "Extending Uncertainty in Temporal Constraint Networks"
coordinated by Roberto Posenato.
The main research objectives of the project are:
1) to develop new faster algorithms for checking Conditional Simple Temporal Networks with Uncertainty (CSTNUs),
2) to strengthen the dynamic controllability checking techniques for Conditional Simple Temporal Networks
with Partially Shrinkable Uncertainty (CSTNPSU) to determine a sound-and-complete DC checking algorithms, and
3) to develop an efficient implementation of such algorithms in an open-source business management system.
The subject of the grant can be adapted, as long as it is in the scope of the project.
Requirements:
- doctoral degree (or being close to) in Computer Science or Computer Engineering;
- advanced programming skills (Java);
- hard-working and enthusiastic attitude; commitment to developing high-quality research.
The position is research-only, with no teaching or administrative obligations.
Having a doctoral degree (or being close to) is required.
The starting date is no after Oct 1, 2020.
Deadline for applications: Sep 1, 2020, 14:00 CEST.
Working environment: Department of Computer Science at the University of Verona.
Remuneration: about 1800 €/month net, after taxes, and contributions for social security and retirement scheme.
More details about the project at http://profs.scienze.univr.it/~posenato/varie/EUTCNProjectProposal.pdf
For any information, please contact Roberto Posenato <roberto.posenato@uniud.it>
Best regards,
Roberto Posenato
--
Roberto Posenato_________________________________________________
Associate Professor
Department of Computer Science - University of Verona
Verona, Italy
roberto.posenato@univr.it - https://www.di.univr.it/~posenato
**********************************************************
*
* 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] Prae/PostDoc in ML and Game Playing @ JKU Linz
The full call can be found here:
https://www.jku.at/en/faw/about-us/open-positions/
https://www.jku.at/en/faw/about-us/open-positions/
We are currently looking for post-doctoral researchers in machine
learning, game playing or knowledge discovery in databases for the
Computational Data Analytics group of Prof. Johannes Fürnkranz.
Exceptionally well qualified doctoral students may also apply.
We are particularly interested in researchers in one or more of the
following areas
* Interpretability in AI
* Inductive Rule Learning
* Preference Learning
* Multi-Label Classification
* Data Mining and Knowledge Discovery
* Machine Learning and Game Playing
* Monte-Carlo Tree Search
_Requirements_
- Ph. D. in Computer Science or a related area (Master is
sufficient if exceptionally well qualified)
- Strong background and track record in machine learning, game
playing, or knowledge discovery
- Willingness and ability to work in a team and to support students
and lectures
_How to apply_
Please provide us with
- a CV, including a publication list
- a research statement describing how you would position your work with
respect to one or more of the above-mentioned areas
- up to 3 sample publications
These materials need to be submitted via the JKU on-line portal
(http://jku.at/application). Please specify job reference number 3990 in
your application.
The position is open until filled. If you have questions, please contact
Prof. Johannes Fürnkranz.
--
Johannes Fürnkranz
Computational Data Analytics
Johannes Kepler University Linz
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Sunday, May 24, 2020
[DMANET] 2nd CFP: NMR 2020 at KR
* Apologies if you receive multiple copies of this call *
==============================
Call for Papers
NMR 2020
Dates: 12-14 September 2020
Rhodes, Greece
* Deadlines: 19 & 26 June 2020 *
==============================
The 18th International Workshop on Nonmonotonic Reasoning (NMR)
co-located with the International Conference on Principles of Knowledge Representation and Reasoning (KR)
NMR is the premier forum for results in the area of nonmonotonic reasoning. Its aim is to bring together active researchers in this broad field within knowledge representation and reasoning (KRR), including belief revision, uncertain reasoning, reasoning about actions, planning, logic programming, preferences, argumentation, causality, and many other related topics including systems and applications.
NMR has a long history - it started in 1984, and has been held every two years since then. Recent previous NMR workshops were held in Tempe (2018), Cape Town (2016), and Vienna (2014).
NMR 2020 is co-located with KR 2020 and DL 2020. In particular, NMR 2020 will share a joint session with DL 2020.
As in previous editions, NMR 2020 aims to foster connections between the different subareas of nonmonotonic reasoning and provide a forum for emerging topics. We especially invite papers on systems and applications, as well as position papers and papers addressing benchmark issues. The workshop will be structured by topical sessions fitting to the scopes of accepted papers.
The workshop will be held in the Greek island of Rhodes, from 12 to 14 September 2020. Workshop activities will include invited talks and presentations of technical papers.
-- Submission Information --
Papers should be at most 10 pages in AAAI style including references, figures, and appendices, if any. For further instructions on the format, please see the KR 2020 website. Papers must be submitted in PDF only.
Please submit to: https://easychair.org/conferences/?conf=nmr2020
Papers already published or accepted for publication at other conferences are also welcome, provided that the original publication is mentioned in a footnote on the first page. In the same vein, papers under review for other conferences can be submitted with a similar indication on their front page. Papers that have already been published or submitted elsewhere may have over length.
-- Workshop Proceedings --
There are no formal proceedings for NMR. The accepted papers will be published as a technical report and will be made available in the Computing Research Repository (CoRR). The papers will be compiled in the homepage of NMR 2020 (https://nmr2020.dc.uba.ar). The copyright of the papers lies with the authors, and as far as NMR is concerned, they are free to submit to other conferences and workshops as well.
-- Important Dates --
- Paper registration deadline: 19 June 2020
- Paper submission deadline: 26 June 2020
- Notification to authors: 15 July 2020
- Camera ready version: 31 July 2020
- Workshop dates: 12-14 September 2020
-- Invited Speakers --
- Andreas Herzig, IRIT CNRS, France (joint session with DL 2020)
- Francesca Toni, Imperial College London, UK
-- Workshop Co-Chairs --
- María Vanina Martínez, Universidad de Buenos Aires and CONICET, Argentina
- Ivan Varzinczak, CRIL, Univ. Artois & CNRS, France
-- Program Committee --
- Ofer Arieli, Academic College of Tel-Aviv, Israel
- Christoph Beierle, FernUniversitaet Hagen, Germany
- Alexander Bochman, Holon Institute of Technology, Israel
- Richard Booth, Cardiff University, UK
- Arina Britz, Stellenbosch University, South Africa
- Giovanni Casini, Université du Luxembourg
- James Delgrande, Simon Fraser University, Canada
- Juergen Dix, Clausthal University of Technology, Germany
- Wolfgang Faber, Alpen-Adria-Universität Klagenfurt
- Jorge Fandinno, IRIT-CNRS, France
- Eduardo Fermé, Universidade da Madeira, Portugal
- Martin Gebser, University of Potsdam, Germany
- Laura Giordano, Universite of Piemonte Orientale, Italy
- Lluis Godo Lacasa, IIIA - CSIC, Spain
- Andreas Herzig, IRIT-CNRS, France
- Aaron Hunter, British Columbia Institute of Technology, Canada
- Anthony Hunter, University College London, UK
- Katsumi Inoue, National Institute of Informatics, Japan
- Tomi Janhunen, Aalto University, Finland
- Souhila Kaci, Université Montpellier 2, France
- Antonis Kakas, University of Cyprus
- Gabriele Kern-Isberner, Technische Universitaet Dortmund, Germany
- Sébastien Konieczny, CRIL-CNRS, France
- Thomas Lukasiewicz, University of Oxford, UK
- Thomas Meyer, University of Cape Town, South Africa
- Nir Oren, University of Aberdeen, UK
- Odile Papini, Aix-Marseille Université, France
- Xavier Parent, Université du Luxembourg
- Ramon Pino Perez, Universidad de Los Andes, Venezuela
- Laurent Perrussel, Université de Toulouse, France
- Ricardo O. Rodriguez, Universidad de Buenos Aires, Argentina
- Ken Satoh, National Institute of Informatics and Sokendai, Japan
- Gerardo Simari, Universidad Nacional del Sur and CONICET, Argentina
- Guillermo R. Simari, Universidad del Sur in Bahia Blanca, Argentina
- Christian Straßer, Ruhr-Universitaet Bochum, Germany
- Matthias Thimm, Universität Koblenz-Landau, Germany
- Leon van der Torre, Université du Luxembourg
- Renata Wassermann, Universidade de São Paulo, Brazil
- Emil Weydert, Université du Luxembourg
- Stefan Woltran, Vienna University of Technology, Austria
-- Further Information --
Please visit the workshop website (https://nmr2020.dc.uba.ar) for further information and regular updates.
--
Ivan Varzinczak - https://www.ijv.ovh
CRIL, Université d'Artois & CNRS, France
**********************************************************
*
* 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] Tenure Track Junior Professor position in Optimization @ TU Dortmund University
The Faculty of Mathematics at TU Dortmund University is seeking to fill
the position of a Professor (W1) with W2 tenure track in "Optimization".
The position should build a bridge between infinite-dimensional and
mixed-integer optimization. For more information, see
the position of a Professor (W1) with W2 tenure track in "Optimization".
The position should build a bridge between infinite-dimensional and
mixed-integer optimization. For more information, see
http://www.mathematik.tu-dortmund.de/media/infos/ausschreibungen/Ausschreibung-W1-Optimierung-2020-englisch.pdf
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Friday, May 22, 2020
[DMANET] SI: Cybersecurity Management in the era of AI - Springer JONS
*Journal of Network and Systems Management - Springer*
*Special issue on*
*Cybersecurity Management in the era of AI*
https://www.springer.com/journal/10922/updates/17974838
***Submissions due:* October 31st, 2020****
*We encourage early submission, please check the open submission schedule
policy below.*
Fifth Generation (5G) and beyond cellular networks have revolutionized the
communication architecture, providing connectivity for people, things,
data, applications, transport, and cities in smart networked environments,
at faster data rates, reduced latencies, and acceptable costs. The massive
number and volume of heterogonous connected devices in such an open space,
as well as the advancements in human computer interaction (HCI), artificial
intelligence (AI), computing and communication technologies have led to an
increasing number of personal and ubiquitous intelligent systems. Such a
wide deployment of connected smart technologies introduces new challenges
to system security and privacy, mainly for Cyber-physical Systems.
Cyberphysical is a term used for the integration of physical and computing
domains as seen in many different areas such as medical, automotive, energy
and other critical systems. Nowadays, cyberphysical systems are highly
prone to cyber attacks and other forms of security threats at the
communication layer due to system high connectivity characteristics. Some
of today's emerging security threats are hard to detect using traditional
security and privacy measures and techniques. Therefore, innovative
security methods and privacy protection solutions are needed to provide
more secure and robust privacy-preserving intelligent cyber-physical
systems. To achieve this, *cybersecurity management systems *need to adapt
to the changing cyber security threats autonomously with minimal user
intervention to provide maximum protection against cyber attacks,
intrusions, malware and various types of data breaches. AI has the
potential to be leveraged in different aspects of cybersecurity and
cyberthreat detection. It has received significant interest lately, where a
plethora of AI and other intelligent learning solutions such as deep and
reinforcement learning are now being integrated into cybersecurity systems
to provide more secure and robust privacy-preserving solutions for personal
and ubiquitous systems. Such integration will play a vital role in
providing enhanced security for intelligent autonomous systems and enables
organizations to make crucial changes to their security landscape.
This Special Issue invites theoretical and applied cutting edge research on
standards, frameworks, models, and approaches on cybersecurity management
in the era of AI and intelligent learning technologies. More specifically,
we encourage original paper submissions on the most recent advances in
security network and system management solutions using AI. The Special
Issue also welcomes contributions from the industry perspective. Topics of
interest include, but they are not limited to:
- Cybersecurity management in cyber-physical systems using AI;
- Security, privacy, and trust issues in cyber-physical systems;
- Blockchain-enabled cyber-physical systems;
- Utilizing AI technologies for cyber investigation and threat
intelligence;
- The integration of AI and Blockchain for security critical
infrastructures;
- Design, optimization and modeling of cybersecurity management
systems;
- AI and ML for intrusion detection/prevention in sensitive
environments;
- Advanced AI techniques to secure future Internet
architectures/protocols;
- Trust management in cyber-physical networks and systems;
- Privacy management at edge of the network using machine learning;
- Trustworthy data collection and processing using intelligent
learning techniques;
- Cybersecurity management of big data;
- AI-based cybersecurity techniques for IoT, IoE, IoH, and IoV;
- Cybersecurity of connected and autonomous vehicles;
- Cybersecurity and AI for digital twin;
- Management framework for intelligent secure networking.
- Cybersecurity management to protect organizations' sensitive
data using intelligent learning techniques;
- AI-enabled digital investigation;
Planned Schedule
*Open-submission schedule:* in this special issue, we implement an "open"
submission approach, where we do not have a submission time period.
Interested authors can submit the paper any time before the fixed deadline,
and the review process will begin right after the paper submission, i.e.,
in a first-in first-serve fashion. The submission schedule is:
- Manuscript due: *October 31st, 2020.*
- Revision notification: within *two* months after the submission.
- Revised paper due: within *one* month after the revision
notification.
- Final notification: *one* month after the revised paper
notification.
- Expected Publication of the Special Issue: *Second Quarter of
2021* (early accepted papers will be accessible online before the deadline).
Submission Format and Review Guidelines
The submitted manuscripts must be written in English and describe original
research neither published nor currently under review by other journals or
conferences. Parallel submissions will not be accepted. *All papers will
undergo a similarity check using iThenticate and the work similarity should
be below 20%.* All submitted papers, if relevant to the theme and
objectives of the special issue, will go through an external peer-review
process. Submissions should (*i*) conform strictly to the *Instructions for
Authors* available on the JNSM website and (*ii*) be submitted through
the *Editorial
Management* system available at http://www.editorialmanager.com/jons.
*Guest Editors of the Special Issue: *
● Moayad Aloqaily, xAnalytics Inc., Canada
● Salil Kanhere, UNSW Sydney, Australia
● Paolo Bellavista, DEIS, Università di Bologna, Italy
● Michele Nogueira, Federal University of Parana, Brazil
*Best Regards*
*Moayad Aloqaily, Ph.D., P.Eng.*
**********************************************************
*
* 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] IWOCA 2020, 8-10 June 2020 (online and free of charge) - Call for Participation
**********************************************************************
*** Second Call for Participation ***
IWOCA 2020 (online, free of charge)
31st International Workshop on
Combinatorial Algorithms
8-10 June 2020
**********************************************************************
*** Registration is now open at https://iwoca2020.labri.fr/registration/
*** Registration deadline: 3 June 2020
*** Registration is free of charge, but mandatory
*** The program is available at https://iwoca2020.labri.fr/program/
**********************************************************************
===========
ABOUT IWOCA
===========
Since its inception in 1989 as AWOCA (Australasian Workshop on
Combinatorial Algorithms), IWOCA has provided an annual forum for
researchers who design algorithms for the myriad combinatorial problems
that underlie computer applications in science, engineering and
business. Previous IWOCA and AWOCA meetings have been held in Australia,
Canada, Czech Republic, Finland, France, India, Indonesia, Italy, Japan,
Singapore, South Korea, UK, and USA. Previous IWOCAs can be found at
http://www.iwoca.org/
IWOCA 2020 should have taken place in Bordeaux, France. Due to the
COVID-19 pandemic, the workshop will be held online, and the talks will
be live-streamed. All necessary technical details will be sent to the
participants after the free, but mandatory, registration.
This is an excellent opportunity for colleagues who usually cannot
attend conferences. Please feel free to distribute this call, for
example in the academic communities of developing countries.
================
INVITED SPEAKERS
================
There will be three invited talks at IWOCA 2020. The invited speakers are:
- Dan Alistarh (Institute of Science and Technology, Austria).
- Sándor Fekete (Technische Universität Braunschweig, Germany).
- Tatiana Starikovskaya (École normale supérieure, Paris, France).
See https://iwoca2020.labri.fr/invited-speakers/ for more details.
===============
ACCEPTED PAPERS
===============
There will be 30 contributed talks corresponding to this year's 30
accepted papers, whose list is available at
https://iwoca2020.labri.fr/accepted-papers/.
====================
OPEN PROBLEM SESSION
====================
Continuing an established tradition of IWOCA, there will be an open
problem session. There will be a separate call for open problems by the
open problem session chairs. A list of open problems from previous
editions of IWOCA is maintained at
https://nms.kcl.ac.uk/iwoca/problems_list.html. For any question related
to the open problem session, please contact Alessio Conte (conte [at]
di.unipi.it) or Gabriele Fici (gabriele.fici [at] unipa.it).
===========================
RELATED EVENT: GRAPHMASTERS
===========================
GraphMasters is a satellite event that will take place on Thursday June
11, one day after IWOCA. It is an open workshop organized to foster
collaboration between researchers interested in graph algorithms and
problems. The spirit of the workshop is informal: (virtual) working
space is provided to the participants, who are welcome to group as they
like and seek each other's counsel and opinion. See
http://graphmasters.di.unipi.it/ for the previous editions. For any
question related to GraphMasters, please contact Alessio Conte (conte
[at] di.unipi.it).
===============================
FURTHER INFORMATION AND CONTACT
===============================
For more details, please visit the IWOCA 2020 website:
https://iwoca2020.labri.fr/ (now open for registration).
For further information, please send an e-mail to iwoca2020@labri.fr.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Subscribe to:
Posts (Atom)
Posts
