Theory Announcements

Wednesday, August 21, 2019

[DMANET] Highlights of Logic, Games, and Automata: Call for Registration and Participation

Please register and attend HIGHLIGHTS 2019!
The programme is here:
http://highlights-conference.org/#program

REGISTRATION DEADLINE: 31 AUGUST 2019

***************
HIGHLIGHTS 2019: 7th annual conference on Highlights of LOGIC, GAMES, and
AUTOMATA

17-20 September 2019, Warsaw
http://highlights-conference.org

COLOCATED EVENT:
+ School on Nominal Techniques - 3rd School on Foundations of Programming
and Software Systems (FOPSS), 10-15 September

================================================
HIGHLIGHTS 2019 is the 7th conference on Highlights of Logic, Games, and
Automata that aims to integrate the diverse research community working in
the areas of Logic and Finite Model Theory, Automata Theory, and Games for
Logic and Verification. Individual papers are dispersed across many
conferences, which makes them challenging to follow. A visit to the annual
Highlights conference offers a wide picture of the latest research in the
field and a chance to meet and interact with most of the members of the
research community. The speakers are encouraged to present their best
recent work at Highlights, whether already published elsewhere or not.

The conference is short (from 18 September to the mid-day on 20 September)
and it is preceded by the Highlights Tutorial Day (17 September). The
participation costs are modest and Warsaw is easy to reach.

Invited Tutorials
+ Sebastian Siebertz, Nowhere dense graph classes and algorithmic
applications
+ Guy Avni, Formal Methods Meets Algorithmic Game Theory

Invited Talks
+ Dmitry Chistikov, On the complexity of logics over the integers
+ Marie Fortin, Expressivity of first-order logic and star-free
propositional dynamic logic over ordered structures

Invited Spotlight Talks
Upper and Lower bounds for Reachability in Petri Nets and Vector Addition
Systems
+ Jérôme Leroux
+ Sylvain Schmitz

**********************************************************
*
* 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, August 20, 2019

[DMANET] Assistant Professor position at University of Toronto Scarborough

Assistant Professor - OperationsManagement and Analytics

The Department ofManagement, University of Toronto Scarborough, invites applications for afull-time, tenure stream appointment in Operations Management and Analytics.The appointment will be at the rank of Assistant Professor and will commenceJuly 1, 2020, or shortly thereafter.

Applicants must have a PhD in Operations Research, Operations Management or arelated discipline by the time of appointment or shortly thereafter. We seekindividuals with research interests in Operations Management or Analytics, andwho can complement and enhance our existing departmental strengths

|
|
|
| | |

. Applicants musthave a strong theoretical and methodological background in these disciplinesand have demonstrated the ability to apply and develop this background toeffectively address important questions and issues in Operations and Analytics.We seek individuals with demonstrated excellence in research and demonstratedexcellence in teaching, who can highlight their willingness to participate inthe development and delivery of programs at UTSC, both at the undergraduate andgraduate levels.

The successful candidate will be expected to conduct independent and innovativeresearch at the highest international level and to establish an outstanding,externally funded research program. They must have an emerging record ofscholarly accomplishment including publications in leading academic journals,or provide evidence of excellence in research as demonstrated in a researchpipeline that is at high international levels, the submitted researchstatement, the quality of the job market paper and other publications orworking papers submitted with the application, presentations at significantconferences, awards for work in the field and strong endorsements by refereesof high international standing.

Excellence in teaching can be demonstrated by teaching accomplishmentshighlighted as part of the application, a teaching dossier (including ateaching statement, sample syllabi, and teaching evaluations), strongendorsements from referees, and evidence of strong communication and expositoryskills, which can be demonstrated during the interview and lecture presented tofaculty and students, if shortlisted. Applicants are also expected to showevidence of a commitment to equity, diversity, inclusion, and the promotion ofa respectful and collegial learning and working environment through theapplication materials.

The successful applicant will be a member of the tri-campus Graduate Departmentof Management at the University of Toronto, will be cross-appointed to theRotman School of Management and will be expected to participate in the GraduateDepartment of Management's graduate programs.

Salary will be commensurate with qualifications and experience.

The University of Toronto has been ranked first in Canada and in the top 30world-wide by most of the major international ranking scores. As a growingthree-campus university, we attract a diverse, scholarly and collegial group offaculty. The University of Toronto Scarborough is a research-intensive campusthat values and promotes teaching excellence, and is committed to inclusiveexcellence in the context of a multicultural student body.

The Department of Management has a strong core of research faculty engaged inworld-class research in all areas of Management including Operations Managementand Analytics, Marketing, Finance, Economics, Organizational Behaviour, Accounting,and Strategy. We offer unique and exceptionally high quality programs that arein high demand and attract the very best students to our Department. We arehoused in a state-of-the art building that boasts exceptional lecture halls, afinance trading lab, case rooms and research labs. Additional information onthe Department can be found at
Management

|
|
|
| | |

|
|
| |
Management

and theRotman School of Management http://www.rotman.utoronto.ca/

|
|
|
| | |

|
|
| |
Rotman School of Management

The Rotman School of Management is the business school at the University of Toronto, a global centre of research...
|

All qualified candidates are invited to apply by clicking on the link below.Please ensure that you include a letter of application with a currentcurriculum vitae, job market paper, up to three publications or working papers,a research statement outlining current and future research interests; and ateaching dossier (including a teaching statement, sample syllabi, and teachingevaluations and other evidence of teaching experience). All applicationmaterial must be submitted online.

Three letters of reference must be submitted electronically by your referees(on letterhead, dated, signed) directly to: mgmtoperations-reference-letters@utsc.utoronto.ca immediatelyafter the online application is initiated. Receipt of all three letters by theclosing date will be necessary to consider an application.

Submission guidelines can be found at http://uoft.me/how-to-apply

|
|
|
| | |

|
|
| |
How to Apply for Academic Positions - Careers at U of T

Careers Site Map Current Opportunities Applying for Academic Positions Frequently Asked Questions Why Join U of ...
|

Applications must be received by October 7, 2019 and must be submitted online.We recommend combining documents into one or two files in PDF/MS Wordformat.

Pre-interviews will be conducted during the INFORMS Meeting in Seattle onOctober 20-23, 2019.

If you have questions about the application process please contact JacquelineDeane at jacqueline.deane@utoronto.ca.

If you have questions about the position itself, please contact Professor DavidZweig, Chair, Department of Management at mgmtchair@utsc.utoronto.ca.

The University of Toronto is strongly committed to diversity within itscommunity and especially welcomes applications from racialized persons/personsof colour, women, Indigenous/Aboriginal People of North America, persons withdisabilities, LGBTQ persons, and others who may contribute to the furtherdiversification of ideas.

As part of your application, you will be asked to complete a brief DiversitySurvey. This survey is voluntary. Any information directly related to you isconfidential and cannot be accessed by search committees or human resourcesstaff. Results will be aggregated for institutional planning purposes. For moreinformation, please see http://uoft.me/UP.

All qualified candidates are encouraged to apply; however, Canadians andpermanent residents will be given priority.

Link to apply: Assistant Professor - Operations Management and Analytics

|
|
| |
Assistant Professor - Operations Management and Analytics

Click the link provided to see the complete job description.
|

[DMANET] Postdoc in Algorithms, University of Vienna

DEPARTMENTOFCOMPUTERSCIENCE UNIVERSITY OF VIENNA

POSTDOC POSITION IN ALGORITHMS

A half-time postdoc position is available in the research group "Theory and Applications of Algorithms" led by Professor Monika Henzinger. See

http://informatik.univie.ac.at/forschung/forschungsgruppen/theory-and-applications-of-algorithms/ for more information on the research group.

The position is available starting December 1, 2019 (or later) and will be for 3 years.See herethe official call <https://univis.univie.ac.at/ausschreibungstellensuche/flow/bew_ausschreibung-flow?_flowExecutionKey=_c80DDDC13-5FD8-BC00-97F0-A4FAD9D6B35C_k118CD290-567D-D5E3-F755-383D6185CD5B&tid=74281.28> for more details.

If you are interested, please send your CV including a list of
publications, a letter of motivation including a research statement, and
the names of 2 references to jobcenter@univie.ac.at
<mailto:jobcenter@univie.ac.at>. To receive full consideration please
send your application by August 25, 2019.

[DMANET] Workshop on Optimization & Machine Learning

Registrations are now open for the Workshop on Optimization and Machine Learning<https://www.southampton.ac.uk/cormsis/news/events/2019/10/18-optml-event.page> taking place on 18th of October 2019 at the University of Southampton.

The event is sponsored by The Alan Turing Institute<https://www.turing.ac.uk/>, the UK's National Institute for Data Science and Artificial Intelligence, and will feature invited talks from top machine learning and optimization experts, as well as practitioners from companies using and/or developing machine learning tools to solve real-world problems. A poster session dedicated to algorithms and applications of machine learning will also take place during the workshop.

Participation is free, but the number of places is limited to 60; you can register through the website of the event by clicking on this link<https://www.southampton.ac.uk/cormsis/news/events/2019/10/18-optml-event.page>. You have the option to provide a title and abstract if you would like to present a poster. The final list of participants will be confirmed in due course.

We look forward to seeing you in Southampton.

Best wishes,
Alain Zemkoho
On behalf of the organizers
------------------------------------
Centre for Operational Research, Management Sciences and Information Systems
School of Mathematical Sciences
School of Electronics and Computer Science
------------------------------------
University Road
SO17 1BJ Southmapton
United Kingdom
------------------------------------
e-mail: optml@southampton.ac.uk
website: https://www.southampton.ac.uk/cormsis/news/events/2019/10/18-optml-event.page

[DMANET] Reachability Problems 2019 - Brussels (11 - 13 September)

=================================
CALL FOR PARTICIPATION

RP 2019
13th International Conference on Reachability Problems
SEPTEMBER 11-13 2019, BRUSSELS, BELGIUM

https://sites.uclouvain.be/rp2019/
=================================

AIMS AND OBJECTIVES
===================
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

REGISTRATION
The registration is possible until September 06 2019:
students (260€) and non-students (290€) attendants.

PROGRAM
=======
The program consists of 5 invited talks, 14 presentations of regular LNCS papers
and 16 talks for presentation-only papers.

https://sites.uclouvain.be/rp2019/program.html

Invited Talks
===================
Thomas A. Henzinger, IST Austria.
[Temporal Logics for Multi-Agent Systems]

Vladimir Protasov, HSE Moscow.
[Primitivity and synchronizing automata: a functional analytic approach]

Slawomir Lasota, U. Warsaw.
[The Reachability Problem for Petri Nets is Not Elementary]

Sriram Sankaranarayanan, U. Colorado Boulder.
[Reaching out towards fully verified autonomous systems]

Jean-François Raskin, ULB Brussels.
[Game graphs for reactive synthesis]

Regular papers
===================
Partial Solvers for Generalized Parity Games
Véronique Bruyère, Guillermo Perez, Jean-Francois Raskin and Clément Tamines

Reachability of Five Gossip Protocols
Hans van Ditmarsch, Malvin Gattinger, Ioannis Kokkinis and Louwe B. Kuijer

On Relevant Equilibria in Reachability Games
Thomas Brihaye, Véronique Bruyère, Aline Goeminne and Nathan Thomasset

On the Computation of the Minimal Coverability Set of Petri Nets
Pierre-Alain Reynier and Frédéric Servais

On the Termination Problem for Counter Machines with Incrementing Errors
Christopher Hampson

Coverability Is Undecidable in One-Dimensional Pushdown Vector Addition Systems with Resets
Sylvain Schmitz and Georg Zetzsche

Reachability Problems on Partially Lossy Queue Automata
Chris Köcher

Synthesis of Structurally Restricted b-Bounded Petri Nets: Complexity Results
Ronny Tredup

On the Decidability of Parameterised Verification in Pub/Sub Networks with or without Exception Handling
Giorgio Delzanno

Deciding Reachability for Piecewise Constant Derivative Systems on Manifolds
Andrei Sandler and Olga Tveretina

On the m-Eternal Domination Number of Cactus Graphs
Václav Blažej, Tomáš Valla and Jan Matyáš Křišťan

On Solving Word Equations Using SAT
Joel Day, Thorsten Ehlers, Mitja Kulczynski, Florin Manea, Dirk Nowotka and Danny Bøgsted Poulsen

Reachability in Augmented Interval Markov Chains
Ventsislav Chonev

Cellular Automata for the Self-Stabilisation of Colourings and Tilings
Nazim Fatès, Irène Marcovici and Siamak Taati

Presentation-only papers
===================
Synthesis of Data Word Transducers
Léo Exibard, Emmanuel Filiot and Pierre-Alain Reynier

Monadic Decomposability of Regular Relations
Pablo Barceló, Chih-Duo Hong, Xuan-Bach Le, Anthony Widjaja Lin and Reino Niskanen

State Complexity of the Multiples of the Thue-Morse Set
Emilie Charlier, Célia Cisternino and Adeline Massuir

The Complexity of Mean Payoff Games Using Universal Graphs
Pierre Ohlmann, Nathanaël Fijalkow and Paweł Gawrychowski

Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions
Stéphane Le Roux, Arno Pauly and Mickael Randour

Randomization and Quantization for Average Consensus
Bernadette Charron-Bost and Patrick Lambein-Monette

Path-Complete Reachability for Switching Systems
Nikolaos Athanasopoulos and Raphaël Jungers

Reachability in Stochastic Hybrid Systems
Patricia Bouyer, Thomas Brihaye, Mickael Randour, Cédric Rivière and Pierre Vandenhove

On the Decidability of Reachability in Linear Time-Invariant Systems
Amaury Pouly, Nathanaël Fijalkow, James Worrell, Joel Ouaknine, Joao Sousa Pinto and Mohan Saiteja

Termination of Affine Loops over the Integers
Mehran Hosseini, Joel Ouaknine and James Worrell

The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games
Marie van den Bogaard

Partial Order Reduction for Reachability Games
Frederik M. Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muniz and Jiri Srba

On the Complexity of Reachability in Parametric Markov Decision Processes
Tobias Winkler, Sebastian Junges, Guillermo Perez and Joost-Pieter Katoen

Life Is Random, Time Is Not: Markov Decision Processes with Window Objectives
Florent Delgrange, Thomas Brihaye, Youssouf Oualhadj and Mickael Randour

On Reachability Problems for Low-Dimensional Matrix Semigroups
Thomas Colcombet, Joel Ouaknine, Pavel Semukhin and James Worrell

Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques
Cas Widdershoven and Stefan Kiefer

[DMANET] 2nd Call for Posters - RECOMB-CG'19 - Comparative Genomics 2019

RECOMB COMPARATIVE GENOMICS 2019, CALL FOR POSTERS
==================================================
17th RECOMB Satellite Conference on Comparative Genomics, RECOMB-CG 2019

Montpellier, France - October 1-4, 2019
<https://recombcg2019.bitbucket.io>

SCOPE
The annual RECOMB Comparative Genomics Satellite Conference (RECOMB-CG)
brings together leading researchers in the mathematical, computational
and life sciences to discuss cutting edge research in comparative
genomics, with an emphasis on computational approaches and the analysis
of novel experimental results. The program will include keynote talks,
contributed talks, and a poster session.

The 17th RECOMB-CG conference will be held in Montpellier, France,
October 1-4 2019. With this Call for Posters we invite high-quality
poster abstracts on topics related to the conference theme.

TOPICS
Papers are solicited on, but not limited to, the following topics:
- genome evolution
- genome rearrangements
- genome variation, diversity and dynamics
- phylogenomics
- comparative tools for genome assembly
- population genomics
- comparison of functional networks
- comparative epigenomics
- paleogenomics
- cancer evolution genomics
- epidemiology
- gene identification and/or annotation

IMPORTANT DATES
Poster Submission Deadline: August 23
Poster Notification: September 2
Early registration ends: September 9
Conference: October 1-4, 2019

KEYNOTE SPEAKERS

- Alessandra Carbone (CNRS - Sorbonne Université)
- Rute A. R. da Fonseca (University of Copenhagen)
- Purificación López García (CNRS - University Paris-Sud/Paris-Saclay)
- Romain Koszul (Insitut Pasteur)
- Benoît Nabholz (Université de Montpellier)

DETAILS ON POSTER FORMAT AND SUBMISSION
Submitted abstracts must be within 2 pages including references and
figures, in PDF format according to the LNBI guidelines.
<http://www.springer.com/us/computer-science/lncs/conference-proceedings-guidelines/>

At least one author of each accepted poster will be expected to attend
the conference and present the poster.

For instructions on submitting a poster, please visit the web page:
https://recombcg2019.bitbucket.io/posters.html

There will be a conference session dedicated to oral
"flash-presentation" of the accepted posters, which can be used to
advertise and give a small overview of the contents of each poster.

PROGRAM COMMITTEE
Max Alekseyev (George Washington University)
Nikita Alexeev (ITMO University)
Lars Arvestad (Stockholm University)
Anne Bergeron (Universite du Quebec a Montreal)
Marilia Braga (Bielefeld University)
Alessandra Carbone (Sorbonne Université)
Cedric Chauve (Simon Fraser University)
Rayan Chikhi (Institut Pasteur)
Daniel Doerr (Bielefeld University)
Ingo Ebersberger (Goethe University Frankfurt)
Nadia El-Mabrouk (University of Montreal)
Oliver Eulenstein (Iowa State University)
Guillaume Fertin (LS2N, Université de Nantes)
Pawel Gorecki (University of Warsaw)
Michael Hallett (Concordia University)
Fábio Henrique Viduani Martinez (Universidade Federal de Mato Grosso do Sul)
Katharina Jahn (ETH Zurich)
Asif Javed (Genome Institute of Singapore)
Manuel Lafond (Université de Sherbrooke)
Yu Lin (Australian National University)
Simone Linz (The University of Auckland)
Kevin Liu (Michigan State University)
István Miklós (Rényi Institute, Hungarian Academy of Sciences)
Bernard Moret (Ecole Polytechnique Fédérale de Lausanne)
Luay Nakhleh (Rice University)
Aïda Ouangraou (University of Sherbrooke)
Fabio Pardi (CNRS, LIRMM, Université Montpellier)
Teresa Przytycka (NCBI)
Vaibhav Rajan (National University of Singapore)
Marie-France Sagot (INRIA, LBBE, Lyon)
Michael Sammeth (Federal University of Rio de Janeiro)
Celine Scornavacca (CNRS, ISE-M, Université Montpellier)
Mingfu Shao (The Pennsylvania State University)
Jens Stoye (Bielefeld University)
Jijun Tang (University of South Carolina)
Eric Tannier (INRIA, LBBE, Lyon)
Glenn Tesler (University of California San Diego)
Olivier Tremblay-Savard (University of Manitoba)
Tamir Tuller (Tel Aviv University)
Jean-Stéphane Varré (CRIStAL, Université Lille 1)
Tandy Warnow (University of Illinois at Urbana-Champaign)
Sophia Yancopoulos (New York, USA)
Louxin Zhang (National University of Singapore)
Xiuwei Zhang (University of California, Berkeley)
Jie Zheng (ShanghaiTech University)

CONTACT
https://recombcg2019.bitbucket.io
recombcg2019@easychair.org

Annie Chateau
Sèverine Bérard
Krister Swenson
Mathias Weller

[DMANET] PhD/postdoc position in Discrete Mathematics, TU Ilmenau

Applications are invited for a PhD or PostDoc Position in Discrete Mathematics (full time, TV-L 13 pay scale, initial appointment for one year with an option of extending to 4 years, starting date is 1.10.2019) at the Institute of Mathematics at Ilmenau University of Technology, Germany.

The applicant will be based in the group of Yury Person. The research will be in Discrete Mathematics (especially in Probabilistic Combinatorics and Random Graphs).
The teaching load is 3-4 hours/week. The applicant might be involved in some administrative tasks (such as workshop organization and writing scientific reports/proposals).

Applicants should have an excellent degree in mathematics, physics or computer science, with advanced knowledge of Extremal and Probabilistic Combinatorics.
Applications should include a CV, a list of courses and grades/publication list, a copy or summary of master/PhD thesis, list of 2-3 references.

The closing date is 30.08.2019.
Applications should be made online through: https://jobundkarriere.tu-ilmenau.de/en/jobposting/7faf693d3a4ae997de6502653fc91c3b07bcb8510/apply
For further information please send an email to Yury Person (yury.person@tu-ilmenau.de<mailto:yury.person@tu-ilmenau.de>)

For official advertisement (in German) see https://jobundkarriere.tu-ilmenau.de/jobposting/7faf693d3a4ae997de6502653fc91c3b07bcb851

Monday, August 19, 2019

[DMANET] CFP Extended submission 30 Sept for Special Issue "New Frontiers in Parameterized Complexity and Algorithms"

===============================================================================
CALL FOR PAPERS - SUBMISSION DATE EXTENDED - 30 SEPTEMBER 2019
===============================================================================

Special Issue on "New Frontiers in Parameterized Complexity and
Algorithms" --
The Journal of Algorithms.

Homepage:
https://www.mdpi.com/journal/algorithms/special_issues/Parameterized_Complexity

A special issue of Algorithms (ISSN 1999-4893).

Deadline for manuscript submissions: 30 September 2019.

===============================================================================
SCOPE
===============================================================================

The research in Parameterized Complexity / Multivariate Algorithmics is
escalating and far-reaching. Welcome are submissions over the entire
breadth of research in Parameterized Complexity, both theoretical and
experimental. Particularly invited are research results and position
statements on new research directions and new paradigms of problem
parameterization that have been only lightly explored.

===============================================================================
SUBMISSION GUIDELINES
===============================================================================

Submissions are continuously reviewed and published as soon as accepted.
Our mission is to serve the community with high-quality research
articles. Therefore, if additional time is needed for your submission or
review, do not hesitate to let us know. For further details on the
submission process, see Instructions for Authors at the journal website
(http://www.mdpi.com/journal/algorithms/instructions).

The Journal Algorithms (http://www.mdpi.com/journal/algorithms, Prof.
Dr. Henning Fernau Editor-in-Chief) is EI, ESCI and Scopus indexed and
fully open access. Open access (unlimited and free access by readers)
increases publicity and promotes more frequent citations, as indicated
by several studies. As open access is supported by the authors and their
institutes, an Article Processing Charge applies. Responding to this
invitation gives a discount to CHF 800 for this Special Issue.

The EU and many institutions and libraries support OA article processing
charges. Please visit: https://www.mdpi.com/authors/funding. If your
institute is participating in the MDPI Institutional Open Access Program
(http://www.mdpi.com/about/ioap) or if you have previously received a
discount code then you may be entitled to a discount.

===============================================================================
PUBLISHING
===============================================================================

Accepted articles will be published continuously in the journal (as soon
as accepted) and will be listed together on the special issue website.

About the journal: Algorithms (ISSN 1999-4893; CODEN: ALGOCH) is an
international open access journal of computer science, theory, methods
and interdisciplinary applications, data and information systems,
software engineering, artificial intelligence, automation, and control
systems. It is published online monthly by MDPI.

===============================================================================
CONTACTS
===============================================================================

Guest Editors and Contact Information:

Prof. Frances Rosamond (University of Bergen, Norway)
<frances.rosamond@uib.no>
Dr. Neeldhara Misra (Indian Institute of Technology, Gandhinagar)
<neeldhara.m@iitgn.ac.in>
Dr. Meirav Zehavi (Ben-Gurion University, Israel) <meiravze@bgu.ac.il>

--
Frances Rosamond, Professor
Department of Informatics
University of Bergen
Editor: Parameterized Complexity Newsletter
Editor: Parameterized Complexity wiki (www.fpt.wikidot.com)
Parameter Implementation PACE (https://pacechallenge.com)
President and CEO: Rosamond Computer Science Research and Education
Tel: (47) 481 54 905
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Sunday, August 18, 2019

[DMANET] CFP: IEEE Trans. on Cognitive Communications and Networking, SI on Intelligent Resource Management for 5G and Beyond

Call for Papers: IEEE Transactions on Cognitive Communications and Networking
Special Issue on Intelligent Resource Management for 5G and Beyond

https://www.comsoc.org/publications/journals/ieee-tccn/cfp/intelligent-resource-management-5g-and-beyond

Deadline extended to: 1 September 2019

The International Telecommunication Union (ITU) has identified three broad use cases: enhanced mobile broadband (eMBB), ultra-reliable and low-latency communication (uRLLC), and massive machine-type communications (mMTC). 5G networks are expected to allow the coexistence of these use cases over the same physical infrastructure. Due to diversified and stringent service requirements in different use cases, 5G and beyond-5G need an intelligent way of managing the various physical resources including computing, networking and storage resources. The resources allocated to each service should meet the requirement precisely while at the same time maximising the resource utilisation of the physical infrastructure.

5G not only involves radio part, but also core network, Internet and datacenter parts. Different from the existing works focusing on either radio part or core part, this special issue focuses on the end-to-end intelligent resource management, from radio access networks to core networks (and up to datacenter networks). That is because end-to-end performance needs to be guaranteed to provide satisfactory QoS for diversified services with different requirements in 5G and beyond. Reciprocal effects may exist among different services vertically, and also, for the same service, between radio access networks and core networks horizontally; this cannot be ignored and need to be learned and considered cognitively for resource allocation and scheduling in 5G and beyond.

In addition, from 3GPP Release 15 to Release 16, the control plane and user plane splitting has been planned for more functionalities in the core network to satisfy the stringent requirements of uRLLC use cases. The intelligent resource management for the involved functionalities of a service is an emerging challenge to be addressed by the network and Telcom research community.

Learning from massive network data to produce cognitive knowledge for the end-to-end resource management in 5G is still cumbersome; real-time network management is still far from mature for the services with stringent requirements in 5G and beyond. Many research challenges still need to be addressed to achieve a fully intelligent resource management for 5G and beyond networks.

This special issue is devoted to the most recent developments and research outcomes addressing the related theoretical and practical aspects on intelligent resource management for 5G and beyond, and it also aims to provide worldwide researchers and practitioners an ideal platform to innovate new solutions targeting at the corresponding key challenges. Topics of interest include, but are not limited to:
- Architectures for end-to-end cognitive network/resource management for 5G and beyond
- Machine learning algorithms and solutions for end-to-end intelligent resource management
- Deep learning and data mining in end-to-end intelligent resource management
- Scalability of end-to-end intelligent resource management for 5G and beyond
- Autonomic monitoring and measurements in end-to-end intelligent resource management for 5G and beyond
- Autonomic analysis, autonomic and execution in end-to-end intelligent resource management for 5G and beyond
- Sustainability of end-to-end intelligent resource management for 5G and beyond
- End-to-end QoS/QoE/SLA guarantee in intelligent resource management for 5G and beyond
- Knowledge base for end-to-end intelligent resource management for 5G and beyond
- Intelligent network management for 5G and beyond
- Security, privacy and trust for end-to-end intelligent resource management for 5G and beyond

Submission Guidelines
Authors are invited to submit original and previously unpublished works. Submissions should follow the author guidelines of IEEE Transactions on Cognitive Communications and Networking. The complete instructions for prospective authors can be found on the IEEE TCCN Manuscript Central page. All submissions will undergo initial screening by the Guest Editors for fit to the theme of the Special Issue.

Important Date
- Submission Deadline: 1 September 2019
- First Reviews Complete: 1 November 2019
- Revision Due: 15 December 2020
- Final Review Decision: 15 January 2020
- Final Papers to Publisher: 31 January 2020
- Expected Publication: Second Quarter 2020

Guest Editors
Yulei Wu, University of Exeter, United Kingdom
Dimitra Simeonidou, University of Bristol, United Kingdom
Cheng-Xiang Wang, Southeast University, China
Richard Yu, Carleton University, Canada
Sunghyun Choi, Seoul National University, Korea
Guoliang Xue, Arizona State University, USA
Adlen Ksentini, EUROCOM, France

--
Dr. Yulei Wu, PhD, SMIEEE, FHEA
Senior Lecturer, Computer Science
College of Engineering, Mathematics and Physical Sciences
University of Exeter, UK
http://empslocal.ex.ac.uk/people/staff/yw433/

[DMANET] CFP: Special Session on Computational Intelligence for Smart Cities. International Conference on Optimization and Learning (OLA 2020)

Special Session on Computational Intelligence for Smart Cities

www.fing.edu.uy/inco/grupos/cecal/hpc/si_ola2020
<https://www.fing.edu.uy/inco/grupos/cecal/hpc/si_ola2020/#main.md>

International Conference on Optimization and Learning

OLA 2020, Cádiz, Spain, February 17-19, 2020

ola2020.sciencesconf.org

Smart cities are based on the synergistic application of communication and
information technologies, interconnected devices and information from
sensors to improve the quality of life of their citizens.

Many real-life problems arise in modern smart cities, including those
related to smart transportation systems, smart buildings, smart
communications, and smart grid/energy networks. Innovative resolution
approaches have been proposed in the literature in recent years, including
those dealing with computational intelligence, learning, optimization, and
other novel problem-solving strategies.

The Special Session on Computational Intelligence for Smart Cities aims at
discussing recent advances and exploring future directions on the
application of computational methods to solve a wide range of problems
arising in smart cities.

The topics of interest include, but are not limited to:

Learning and data science for smart cities
-

Computational intelligence for smart energy, energy efficiency and
sustainability (environmental, social, economic)
-

Computational intelligence for logistics
-

Novel resolution approaches for infrastructure, energy and environmental
problems
-

Optimization and management for smart mobility
-

Computational intelligence in smart homes and Internet of Things
-

Computational methods to improve governance and citizenship
-

Computational intelligence in smart healthcare systems
-

Computational intelligence in tourism and entertainment
-

Computational intelligence in circular economy
-

Cyberphysical systems and Internet of Things
-

Computational intelligence for security, big data, open data, and
software

SUBMISSION OF PAPERS

Submissions in two different formats will be accepted:

S1: Extended abstracts of work-in-progress and position papers of a
maximum of 3 pages
-

S2: Original research contributions of a maximum of 10 pages

IMPORTANT DATES

Submission deadline September 30, 2019

Notification of acceptance November 16, 2019

PROCEEDINGS

Accepted papers in categories S1 and S2 will be published in the
proceedings that will be available at the conference. In addition, a
post-conference indexed Springer book will be published. Participants will
be invited to submit updated versions of their work for consideration.
Special issues of indexed journals are planned too.

SPECIAL SESSION ORGANIZERS

Sergio Nesmachnow, Universidad de la República, Uruguay

Jamal Toutouh, Massachusetts Institute of Technology, USA

Luis Hernández, Universidad de Valladolid, Spain

Renzo Massobrio, Universidad de la República, Uruguay and Universidad de
Cádiz, Spain

--
Jamal Toutouh El Alamin

[DMANET] DISC 2019 accepted papers and call for participation

DISC 2019, 33rd International Symposium on Distributed Computing, will be organized in Budapest, Hungary, on October 14-18, 2019:
http://www.disc-conference.org/wp/disc2019/

The list of accepted papers is now available online:
http://www.disc-conference.org/wp/disc2019/accepted-papers/

Conference registration is now open, and the early registration deadline is August 31:
http://www.disc-conference.org/wp/disc2019/registration/

The highlights of the conference program include:

- 2019 Edsger W. Dijkstra Prize in Distributed Computing:
http://www.disc-conference.org/wp/disc2019/dijkstra-prize/

- Keynote talks:
http://www.disc-conference.org/wp/disc2019/invited-talks/

- Best papers:
http://www.disc-conference.org/wp/disc2019/best-papers/

This year there will be 8 workshops colocated with DISC 2019. The following workshops will be held on October 14, 2019:

- ADGA: Workshop on Advances in Distributed Graph Algorithms
- ApPLIED2019: Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems
- BTT: Workshop on Blockchain Technology and Theory
- CELLS: Computing among Cells

The following workshop will be held on October 18, 2019:

- DiADN: Distributed Algorithms for Dynamic Networks
- DCC: Workshop on Distributed Cloud Computing
- FRIDA: Formal Reasoning in Distributed Algorithms
- HDT: Workshop on Hardware Design and Theory

More information on the workshops is available at:
http://www.disc-conference.org/wp/disc2019/workshops/

For the latest updates, you can follow us on Twitter:
https://twitter.com/podc_disc

See you in Budapest in October!

Jukka Suomela
DISC 2019 PC chair

Friday, August 16, 2019

[DMANET] First Call for papers EvoMUSART 2020 - 9th International Conference on Computational Intelligence in Music, Sound, Art and Design - Seville, Spain. 15-17 April 2020.

------------------------------------------------
Call for papers for the 9th EvoMUSART conference
------------------------------------------------

The 9th International Conference on Computational Intelligence in
Music, Sound, Art and Design (EvoMUSART) will be held in Seville,
Spain, on 15-17 April 2020, as part of the evo* event.

The main goal of EvoMUSART is to bring together researchers who are
using Computational Intelligence techniques (e.g. Evolutionary
Computation, Artificial Neural Networks, Artificial Life, Machine
Learning, Swarm Intelligence) for artistic tasks such as visual art,
music, architecture, video, digital games, poetry, or design. The
conference gives researchers in the field the opportunity to promote,
present and discuss ongoing work in the area.

Accepted papers will be published by Springer Verlag in the Lecture
Notes in Computer Science series.

Important dates:
Submission deadline: 1 November 2019
Evo*: 15-17 April 2020

We welcome submissions which use Computational Intelligence techniques
in the generation, analysis and interpretation of art, music, design,
architecture and other artistic fields. Submissions must be at most 16
pages long, in Springer LNCS format (instructions downloadable from
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Each
submission must be anonymised for a double-blind review process. The
deadline for submission is 1 November 2019. Accepted papers will be
presented orally or as posters at the event and included in the
EvoMUSART proceedings published by Springer Verlag in a dedicated
volume of the Lecture Notes in Computer Science series.

Indicative topics include but are not limited to:
* Systems that create drawings, images, animations, sculptures,
poetry, text, designs, webpages, buildings, etc.;
* Systems that create musical pieces, sounds, instruments, voices,
sound effects, sound analysis, etc.;
* Systems that create artefacts such as game content, architecture,
furniture, based on aesthetic and/or functional criteria;
* Systems that resort to computational intelligence to perform the
analysis of image, music, sound, sculpture, or some other types of
artistic object;
* Systems in which computational intelligence is used to promote the
creativity of a human user;
* Theories or models of computational aesthetics;
* Computational models of emotional response, surprise, novelty;
* Representation techniques for images, videos, music, etc.;
* Surveys of the current state-of-the-art in the area;
* New ways of integrating the user in the process (e.g. improvisation,
co-creation, participation).

More information on the submission process and the topics of EvoMUSART
2020 can be found at:
http://www.evostar.org/2020/cfp_evomusart.php

Papers published in EvoMUSART can be found at:
https://evomusart-index.dei.uc.pt

We look forward to seeing you in Seville in 2020!

The EvoMUSART 2020 organisers
Juan Romero
Aniko Ekart
Tiago Martins (publication chair)
**********************************************************
*
* 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] Second Call For Paper : IBICA 2019 - WICT 2019 -- Call for Papers - Odisha - India - Springer

**. IBICA 2019 - WICT 2019 -- Call for Papers **

-- The 10th International Conference on Innovations in Bio-Inspired
Computing and Applications (IBICA'19) --

http://www.mirlabs.net/ibica19
http://www.mirlabs.org/ibica19

Proceedings of IBICA'2018: http://www.springer.com/us/book/9783319763538
Indexed by: SCOPUS, Thomson ISI Web of Science, DBLP etc.
History of IBICA series: http://www.mirlabs.net/ibica19/previous.php

AND

-- The 9th World Congress on Information and Communication Technologies
(WICT'19) --

http://www.mirlabs.org/wict19
http://www.mirlabs.net/wict19

* December 16-18, 2019 *
GIET University, Odisha, India

Indexed by: SCOPUS, Thomson ISI Web of Science, DBLP etc.
History of WICT series: http://www.mirlabs.net/wict18/previous.php

IBICA - WICT 2019: Scopus & UGC Approved Proceedings
All accepted and registered papers will be published in AISC Series of
Springer, indexed in ISI Proceedings, EI-Compendex, DBLP, SCOPUS, Google
Scholar and Springerlink. (Listed in UGC approved list, please refer List
1- Page 32 - S.No. - 1375) (
http://www.ugc.ac.in/pdfnews/8919877_Journals-1.pdf)

** Important Dates **
-------------------------
Paper submission due: September 01, 2019
Notification of paper acceptance: October 15, 2019
Registration and Final manuscript due: October 30, 2019
Conference: December 16 - 18, 2019

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

About IBICA'19 - WICT'19:
------------------------

The International Conference on Innovations in Bio-Inspired Computing and
Applications is to provide a platform for world research leaders and
practitioners, to discuss the full spectrum of current theoretical
developments, emerging technologies, and innovative applications of
Bio-inspired Computing. Bio-inspired Computing is currently one of the most
exciting research areas, and it is continuously demonstrating exceptional
strength in solving complex real life problems. The main driving force of
the conference is to further explore the intriguing potential of
Bio-inspired Computing.

WICT'19 aims to provide an opportunity for the researchers from academia
and industry to meet and discuss the latest solutions, scientific results
and methods in the usage and applications of ICT in the real world. The
conference programme includes workshops, special sessions and tutorials,
along with prominent keynote speakers and regular paper presentations in
parallel tracks. In the past century, our society has been through several
periods of dramatic changes, driven by innovations such as transportation
systems, telephone etc. Last few decades have experienced technologies that
are evolving so rapidly, altering the constraints of space and time, and
reshaping the way we communicate, learn and think. Rapid advances in
information technologies and other digital systems are reshaping our
ecosystem. Innovations in ICT allow us to transmit information quickly and
widely, propelling the growth of new urban communities, linking distant
places and diverse areas of endeavor in productive new ways, which a decade
ago was unimaginable. Thus, the theme of this World Congress is "Innovating
ICT For Social Revolutions".

~~~~~~~~~~~~~~~~~~~~~~
Submission Guidelines:
----------------------
Submission of paper should be made through the submission page from the
conference web page. Please refer to the conference website for guidelines
to prepare your manuscript.

Paper format templates:
http://www.springer.com/series/11156

IBICA'19 Submission:
http://www.easychair.org/conferences/?conf=ibica2019

WICT'19 Submission:
https://easychair.org/conferences/?conf=wict2019

Technical Committee (Please refer website):
http://www.mirlabs.net/ibica19/committees.php
http://www.mirlabs.net/wict19/committees.php

For technical contact:
----------------------
Ajith Abraham
Email: ajith.abraham@ieee.org

--
Best Regards
Dr. Sanju Mishra Tiwari
Member IEEE
Member Machine Intelligence Research Labs(MIR Lab), USA

Re: [DMANET] CFP for CALDAM 2020

*CALL FOR PAPERS for CALDAM 2020*

*CALDAM*

The International Conference on Algorithms and Discrete Applied Mathematics
(CALDAM), held under aegis of the Association for Computer Science and
Discrete Mathematics (ACSDM), is intended to bring together researchers
working in the areas of algorithms and applied discrete mathematics and
provide a high-quality forum for the dissemination and discussion of
research results in these broad areas. CALDAM has originated from the
ongoing efforts for promoting research in Algorithms and Discrete
Mathematics.

The first CALDAM was organized by the Department of Computer Science at
Indian Institute of Technology, Kanpur (IIT Kanpur) from February 8 to 10,
2015. The second CALDAM was organized by the Department of Future Studies,
University of Kerala, Thiruvananthapuram from February 18 to 20, 2016. The
third CALDAM was organized by the Department of Mathematics, Birla
Institute of Technology and Science, Pilani (BITS Pilani),K K Birla Goa
Campus, Goa, India from February 16 to 18, 2017. The fourth CALDAM was
organized by the Department of Computer Science Engineering, Indian
Institute of Technology, Guwahati (IIT Guwahati) from February 15 to 17,
2018. The fifth CALDAM was organized by the Department of Computer Science
Engineering, Indian Institute of Technology, Kharagpur (IIT Kharagpur) from
February 14 to 16, 2019.

The proceedings of accepted papers (CALDAM 2015, CALDAM 2016, CALDAM 2017,
CALDAM 2018, CALDAM 2019), were published in the Lecture Notes in Computer
Science by Springer. Also, selected papers are being published as a special
issue of Discrete Applied Mathematics (DAM). In all the previous CALDAMs,
Springer has sponsored awards for the best student presentations.

*CALDAM 2020 *

The sixth CALDAM (CALDAM 2020) will be organized by the Department of
Computer Science & Engineering, IIT Hyderabad from 13th to 15th of February
2020. As in earlier CALDAMs, the proceedings of accepted papers of CALDAM
2020 is being planned to be published in the Lecture Notes in Computer
Science by Springer (subject to finalizing the details with Springer).
Also, it is planned to publish the selected papers of CALDAM 2019 as a
special issue of Discrete Applied Mathematics (DAM), as in previous
CALDAMs. As before, Springer is likely to sponsor awards for the best
student presentations. For details, see the web page:
https://www.iith.ac.in/~caldam2020/callforpapers.php

CALDAM 2020 invites papers describing original research in the areas of
design, analysis and experimental evaluation of algorithms and in discrete
applied mathematics. Papers must be typeset using LaTeX/LaTeX2e and may not
exceed 12 pages in LNCS style, including bibliographic references. Further
details may be included in a clearly marked appendix that will be read at
the discretion of the program committee. Only electronic submission is
allowed. Submitted papers must describe previously unpublished work and may
not be submitted concurrently to another conference with refereed
proceedings or to a refereed journal. There will be Best Paper Awards of
Springer for outstanding research papers.

*SCOPE*

The range of topics within the scope of CALDAM 2020 includes (but is not
limited to) the following

*CALDAM TOPICS*

*PROCEEDINGS*

As in earlier CALDAMs, the proceedings of accepted papers of CALDAM 2020 is
being planned to be published in the Lecture Notes in Computer Science by
Springer (subject to finalizing the details with Springer). Also, selected
papers of CALDAM 2020 are planned to be published in a special issue of
Discrete Applied Mathematics (DAM) journal of Elsevier.

*IMPORTANT DATES*

Last date for Paper Submission: September 28, 2019

Notification of Acceptance: November 8, 2019

Camera-ready Version: November 25, 2019

Pre-Conference School: February 10-11, 2020

Conference: February 13-15, 2020

*For submission of papers, click here to go to the EasyChair submission
page: https://easychair.org/account/signin_timeout?l=SR503jHyNs4aWXPwVc98cU
<https://easychair.org/account/signin_timeout?l=SR503jHyNs4aWXPwVc98cU> *

*MANOJ CHANGAT & SANDIP DAS ( PC-CO-CHAIRS-CALDAM 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] ISAIM 2020: Call for Papers

CALL FOR PAPERS

Sixteenth International Symposium on
ARTIFICIAL INTELLIGENCE and MATHEMATICS
ISAIM 2020
http://isaim2020.cs.ou.edu/
January 6-8, 2020
Fort Lauderdale, Florida

PAPER SUBMISSION DEADLINE: Friday, October 4, 2019

The International Symposium on Artificial Intelligence and Mathematics (ISAIM), is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intelligence. This will be the sixteenth Symposium in the series, sponsored by Florida Atlantic University and the Annals of Mathematics and Artificial Intelligence.

We seek submissions of recent results with a particular emphasis on the foundations of AI and mathematical methods used in AI. Papers describing applications are also encouraged, but the focus should be on principled lessons learned from the development of the application. Traditionally, the Symposium attracts participants from a variety of disciplines, thereby providing a unique forum for scientific exchange. The three-day Symposium includes invited speakers, presentations of technical papers, and special topic sessions.

Work that will have been published as of January 2020 should not be submitted to ISAIM unless it introduces a significant addition to the previously published work. However, the ISAIM web site proceedings are not archival, so papers submitted to ISAIM can be under review elsewhere at the time of submission and can be submitted elsewhere after ISAIM.

Authors of a selected set of papers from the Symposium will be invited to submit full versions of their papers for inclusion in an archival special volume of the Annals of Mathematics and Artificial Intelligence, published by Springer. Those invited submissions will be subject to refereeing at the usual standards of the journal, and authors will receive more details with the acceptance notice. Papers must of course be new and unpublished to be considered for the special volume.

*PAPER SUBMISSIONS*

Paper submission will be electronic via a submission link that will be announced to the Paper Submission page of the Symposium website (/isaim2020.cs.ou.edu/). Papers must be formatted in accordance with the guidelines given there.

Any questions regarding paper submissions should be sent to the program committee chair (Lev Reyzin) at the email address <isaim2020 at cs DOT ou DOT edu>.

*IMPORTANT DATES*

Paper submission
October 4, 2019 (11:59 PM PDT)
Notification
November 1, 2019 (11:59 PM PDT)
Final papers due
November 22, 2019 (11:59 PM PDT)
Workshop
January 6-8, 2020, Ft. Lauderdale, Florida

Send inquiries and requests to <isaim2020 at cs DOT ou DOT edu>.
Visit http://isaim2020.cs.ou.edu/.
Join isaim@googlegroups.com to receive announcements related to ISAIM.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Thursday, August 15, 2019

[DMANET] Submission Deadline Extended! The 29th International Telecommunication Networks and Application Conference (ITNAC 2019) November 27-29, 2019, Auckland, New Zealand - Conference proceedings will be published by the IEEE + 10 Student Travel Grants

CALL FOR PAPERS

Submit your paper here https://edas.info/N25746

The 29th International Telecommunication Networks and Application Conference (ITNAC 2019) November 27-29, 2019, Auckland, New Zealand.
Technically co-sponsored by IEEE. Papers published on IEEE Xplore. Indexed by IEEE, Google Scholar and Ei COMPENDEX

http://itnac.org.au/

CONTEXT/SCOPE
With the increasing number of emerging robust networks, the challenges to design new networking protocols, techniques, and applications are never ending. ITNAC has been a leading forum for researchers and engineers to present and discuss topics related to advanced telecommunication network technologies, services, and applications. ITNAC 2019 seeks to address and capture highly innovative and state-of-the-art research from academia, communications industry and standardization bodies that covers distributed, mobile, cognitive and cloud computing, modelling and simulation, computer and data communications, local and metropolitan networks, optical, wired and wireless telecommunication networks and applications.

Contributions are welcome on all advanced research topics, particularly (but not limited to) the following:

Mobile & Wireless Networks
* Modelling and Simulation
* Wireless access and routing protocols
* Cross-layer design optimization
* Green, energy efficient and sustainable networking
* Nature and bio-inspired approaches to networking
* Network-based mobile positioning and tracking
* Cognitive and cooperative networking
* Mobile social and ambient networks
* Delay tolerant networks
* Mobile and wireless broadband access networks
* 4G/5G/6G networks
* Wireless sensor networks
* Vehicular Ad-hoc networks
* Cognitive networks
* Mission critical communications

Network Management, Privacy and Security
* Next generation network regulation
* Broadband network management
* Intrusion detection and prevention
* Key distribution and management
* Large-scale attacks and defense
* Security and privacy in wireless networks
* Network security policy, theory and tools
* Secure Mobile Agents and Mobile Code
* Trusted computing and management
* Security and privacy
* Network resiliency and network security
* Cyber-security and cyber-crime

Internet Technologies and Applications
* Network modeling and simulation
* Software defined networking
* Smart Cities and Smart Grids
* Traffic engineering, congestion and admission control
* Content delivery networking
* Datacenter networks and Cloud Computing
* Sustainable networking
* Peer-to-peer networks and overlays
* Novel network-enabled applications and services
* Future Internet routing schemes or transport concepts
* IPv6 and future network addressing
* High performance network virtualization
* Networking standards and regulations
* QoS/QoE provisioning and resource management
* IoT and Cyber physical systems

Optical Networking and Applications
* Modelling and Simulation
* Optical switching and routing
* Optical Network on Chips
* Visible light communication
* Optical Ethernet, EPON/GPON, 100Gb/s Ethernet
* WDM Access Networks, WDM-PON
* Wired/wireless convergence, Telecom/broadcast convergence, IPTV
* Optical-wireless access networks, Radio-over-fiber
* Large capacity optical transmission, WDM, OTDM
* OFDM and advanced modulation in photonics
* Energy efficient optical networks

Paper Submission GUIDELINES

Submitted manuscripts should be written in English conforming to the standard IEEE format. We invite the following two types of submissions:

Full Papers (6 pages complementary, and up to 8 pages with over length charge) and

Short Papers (3 pages complementary and up to 5 pages with over length charge).

All paper submissions must represent original and unpublished work.

All manuscripts will be reviewed on correctness, originality, technical strength, relevance, quality of results and presentation.

The conference proceedings will be published by the IEEE.

IMPORTANT DATES
Paper submission: 22 August, 2019
Acceptance Notification: 10 September, 2019
Camera-ready due: 15 October, 2019
Registration deadline: 1 November, 2019
Conference: 27-29 November, 2019

AWARDS AND SPECIAL ISSUES
Best Paper Awards: ITNAC 2019 papers will be eligible for conference and session best paper awards.

Student Travel Grant: ITNAC 2019 is pleased to announce there will be 10 NZ$600 travel assistance grants.

Special Issue: Selected papers will be invited for submission to the Australian Journal of Telecommunications and the Digital Economy.

For paper submission guidelines, please refer to the Conference website.

ORGANISING COMMITTEE

General Co-Chairs
Nurul I Sarkar and Adnan Al-Anbuky, AUT, Auckland, New Zealand
Mark Gregory, RMIT University, Australia

Technical Program Committee Co-Chairs
Peter Chong, AUT, Auckland, New Zealand
Edmund Lai, AUT, Auckland, New Zealand

Publication Chairs
Saeed Rehman, AUT, New Zealand
Leith Campbell, Melbourne University, Australia

Finance Chair
Harsha Sirisena, University of Canterbury, New Zealand

Publicity Co-Chairs
Al-Sakib Khan Pathan, Southeast University, Bangladesh
Xiang Gui, Massey Universty, Palmerston North, New Zealand
Salim Zabir, National Institute of Technology, Tsuruoka, Japan
Haitao Zhao, National University of Defense Technology, China
R Venkatesha Prasad, TUDelft,The Netherlands
Shui Yu, Deakin University, Australia
Frank Jiang,Deakin University, Australia

Local Organising Committee Chair
William Liu, AUT, Auckland, New Zealand

Steering Committee
Ron Addie, University of Southern Queensland, AU
Adnan Al-Anbuky, Auckland University of Technology, NZ
Franco Davoli, University of Genova, Italy
Mark Gregory, RMIT University, Melbourne, AU
Richard Harris, Massey University, NZ
Phuoc Tran-Gia, University of Wuerzburg, Germany

We kindly ask that you disseminate the Call for Papers to your colleagues and students.
**********************************************************
*
* 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 Extended to August. 20, 2019] IEEE Special Session On Cyber Security and Privacy for Smart Cities, October 29 – November 01, 2019 Fez, Morocco

CALL FOR PAPERS

*CSPSC session: Cyber Security and Privacy for Smart Cities*

The 7th International Conference on Wireless Networks and Mobile
Communications WINCOM 2019

Fez, Morocco

October 29 – November 01, 2019

https://www.wincom-conf.org <https://www.wincomconf.org/>

Dear Colleagues,

We are pleased to invite you to submit Full Papers to the special session
on *Cyber Security and Privacy for Smart Cities** (CSPSC'2019)* co-located
with the 7th International Conference on Wireless Networks and Mobile
Communications (WINCOM 2019).

==========Scope==========

In the recent years, with the successful development and the deployment of
Internet of Things (IoT) architectures, cities across the world are
becoming smart Cities. As result, the quality of life of citizen has been
enhanced through digitalization of many services such as transportation,
buildings, healthcare, education, agriculture, etc. In this context,
security and individual privacy are two important challenges that that
currently affect smart cities in general around the world.

The objective of this session is to bring together researchers and
practitioners to discuss recent algorithms and solutions related to
security and privacy for smart cities.

Authors are invited to submit previously unpublished papers to this special
session. Topics include, but are not limited to:

- Cloud Computing Security
- Security for Ubiquitous/Pervasive Computing
- Big Data Analytics for Smart Cities Security
- Security and privacy in the IoT
- Security and privacy in smart city
- Privacy preserving Machine learning
- Security architectures
- Security economics
- Security metrics
- AI for intrusion detection and intelligence
- Access control, Authorization, identification & authentication
- Security and privacy in social networks
- Security and privacy in web services

==========Submission Link: ============
https://edas.info/newPaper.php?c=25748&track=98462

==========Technically sponsored by: ==========
IEEE Communications Society

===========Important Dates=================
Submission: *August 20, 2019
(extended)*
Acceptance notification: August 30, 2019
Camera-ready: September 08, 2019
=============Extended Papers==============
Selected papers will be recommended for a special issue on "Emerging
Technologies in Wireless Networks and Mobile Communication
<https://www.inderscience.com/mobile/inauthors/index.php?pid=17#oct19>"
in International
Journal of Information Technology, Communications and Convergence (IJITCC)
<https://www.inderscience.com/jhome.php?jcode=IJITCC>

best regards

*Dr. M.Lahby*

Laboratory of Mathematics and Applications, University Hassan II, Ecole
Normale Supérieure (ENS) Casablanca, Morocco

mlahby@gmail.com
GSM : +212 6 65 29 23 76
In the world of Linux, who needs Windows and Gates

[DMANET] Call for Papers: Special Issue on “Recent Advances in Lot Sizing”

CALL FOR PAPERS
Pesquisa Operacional – *ISSN 0101-7438 (Printed version) / ISSN 1678-5142 (Online version)
Special Issue on "Recent Advances in Lot Sizing"

Production planning seeks to efficiently plan the production activities as well as the acquisition of the raw materials and resources required to transform raw materials into finished products in order to meet customer demand in the most economical way possible. The decisions to be made include but are not limited to work force levels, production lot sizes and the sequencing of production runs, while the ultimate aim is to determine the optimal timing and level of production.

Lot sizing problems are clearly present in many industrial contexts, and in spite of being studied for more than 60 years, the community still faces many challenges in the field, ranging from modeling paradigms to the design and experimental evaluation of efficient methods and algorithms. In view of its importance and applicability, this special issue of Pesquisa Operacional aims to invite researchers to submit original unpublished works, reviews, and case studies demonstrating recent advances in lot sizing. Topics include, but are not limited to:
• new approaches for classical problems;
• relevant new problems, such as remanufacturing, green supply chains, flexibility;
• integration of lot sizing with other problems such as scheduling, cutting stock, distribution or vehicle routing;
• presentation of industrial case studies;

Contributions may cover exact methods, relaxation, decomposition and lower bounding schemes, approximate methods, heuristics and metaheuristics, hybrid methods, simulation, big data, and integrated models arising from real-world situations as well.

– Instructions to authors: http://www.scielo.br/pope

– Deadline:
• Manuscript Submission Deadline: January 31, 2020
• Decision Notification: July 2020
• Publication Date: December 2020

Inquiries should be sent directly to any of the Guest Editors in charge of this issue.
– Guest Editors:
• Kerem Akartunali, University of Strathclyde, UK (mailto:kerem.akartunali@strath.ac.uk);
• Maristela O. dos Santos, Universidade de São Paulo-USP, Brazil (mailto:mari@icmc.usp.br)
• Raf Jans, HEC/Montreal, Canada (mailto:raf.jans@hec.ca);
• Silvio A. de Araujo, Universidade Estadual Paulista-UNESP, Brazil (mailto:silvio.araujor@unesp.br);

Pesquisa Operacional is indexed in:
• Cabell's directories
• IAOR (International Abstracts in Operations Research)
• SciELO
• SCOPUS

[DMANET] Data Scientist (Operational Research) positions in Nottingham, UK

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

Data Scientist (Operational Research) position in Nottingham, UK
----------------------------------------------------------------------------------------

Microlise is one of Europe's largest telematics and transport management
solutions providers with the HQ in Nottingham, Our mission is to empower
our customers such as Tesco, Sainsbury's, DHL, ASDA, Waitrose, Co-op, Eddie
Stobart, Royal mail, MAN, DAF, TATA to reduce their costs and environmental
impact by maximising the efficiency of their transportation operations. We
achieve this with our great employees who continue to develop and deploy
innovative, industry-leading technology solutions and services that enable
our customers to optimise fleet utilisation and driver performance, to
reduce costs and to improve service delivery.

The Data Science and Research team which consists of four PhD-level Data
Scientists, a Junior Data Scientist and a senior Research Programmer
collaborate with a number of universities on various R&D projects and
MSc/PhD research studies as well as work on a great variety of
collaborative R&D projects with partners and customers globally in the area
of Operational Research, Predictive modelling, Analytics, and Artificial
Intelligence.

As part of the on-going expansion of our Data Science and Research team,
Microlise, a leading Transport Management Solutions Provider, are looking
to appoint a Data Scientist - Operational Research. (Permanent,
Nottingham, £30,000 - £50,000).

You can find more details and apply online at:
https://www.microlise.com/careers/job/84656/

The successful applicant will be responsible for:

- Applying operational research, combinatorial optimisation,
computational/artificial intelligence and big data analytics techniques
- Designing and implementing Local Search, Heuristics and Meta-Heuristics
algorithms
- Performing exploratory, experimental, analytical and visualisation works
- Complete the analysis, design and build of data models, propensity
models, analytical models and business and personal insights
- Preparing technical and scientific reports, presentations and patent
applications
- Framing business problems into questions that can be answered through
data analysis, and translating business needs into requirements that can be
understood by technical teams.

Essential
- PhD degree (or close to completion) in Operational Research, Computer
Science, Mathematics, Engineering or a related discipline.
- 1+ year of experience in operational research, combinatorial optimisation
or computational intelligence
- Good knowledge of operational research, combinational optimisation,
heuristics/meta-heuristics and mathematical modelling
- Experience of designing and developing optimisation, local search
heuristics and meta-heuristics algorithms
- Proven knowledge of at least one object-oriented programming language
- Strong reporting and communication skills whilst working on a number of
tasks on a variety of different projects at the same time.
- Demonstrates good knowledge of MS Excel, Word and PowerPoint
- Ability to change direction quickly based on data analysis
- Enjoying discovering and solving problems
- Build collaborative partnerships with data scientists, data architects,
technical leads, product managers and key individuals within other
functional organizations.
- Being able to work independently
- Be adaptable and flexible to respond to the changing needs of a dynamic
business
- Embrace challenge and be passionate about solving hard problems
- Collaborate effectively in interdisciplinary teams

Desirable:
- 2+ years of experience in operational research, combinatorial
optimisation, computational intelligence, research computing or data science
- Experience in working on vehicle routing and scheduling algorithms Proven
knowledge in C#
- knowledge of analytical tools such as R
- knowledge of data visualisation tools such as Tableau and Power BI
- Knowledge of vehicle telematics systems and transport logistics

The application deadline is September 15th, 2019.

This role is eligible for a Certificate of Sponsorship for a UK Visa and
meets the resident labour market test.

Informal enquiries are welcome and may be sent to
mohammad.mesgarpour@microlise.com

Dr Mohammad Mesgarpour
Head of Data Science and Research, Microlise
-----------------------------------------------------------------

Wednesday, August 14, 2019

[DMANET] Postdoc position in dynamic algorithms at the University of Warwick, UK (application deadline: October 6, 2019)

A Postdoctoral Research Fellow position in the area of the dynamic algorithms is available at the University of Warwick, UK for 2 years. The start date can be negotiated for the successful candidate.

The position is available in connection with an EPSRC research grant of Dr Sayan Bhattacharya on the theory and applications of dynamic algorithms. The primary focus in this research area is to design algorithms that can efficiently maintain (approximately) optimal solutions to classical optimisation problems in a scenario where the input data keeps changing with time. The main objective of the post is to pursue cutting-edge research in this area.

You will need to have a strong background in theoretical computer science, with a specialization either in dynamic algorithms or in related areas such as approximation, online, distributed, streaming and FPT algorithms.

You will need to have (or expect to obtain shortly) a PhD in the relevant area.

You should provide with your application form a CV, including a list of publications and the names and contact details of three references, and a research statement.

You will be formally based in the Department of Computer Science at the University of Warwick, and you will be associated with the Centre for Discrete Mathematics and its Applications (http://www2.warwick.ac.uk/fac/cross_fac/dimap) and the Division of Theory and Foundations at the University of Warwick.

The Centre for Discrete Mathematics and its Applications (DIMAP) is an internationally renowned centre of excellence in algorithms, discrete mathematics and combinatorics, theoretical computer science and mathematical aspects of operational research. It is led by a number of internationally recognized researchers and has an extensive programme of scientific seminars, international workshops and conferences, and visiting researchers.

The Department of Computer Science at the University of Warwick is one of the top-ranking computing departments in the United Kingdowm. In the most recent national research evaluation exercise published in 2014 (REF 2014), the Department was ranked 2nd of all UK computer science departments. The department is especially renowned for its excellence in theoretical aspects of computer science. For further information about computer science at Warwick, please see our website (https://warwick.ac.uk/fac/sci/dcs/).

For further information, please contact Dr Sayan Bhattacharya (https://www.dcs.warwick.ac.uk/~u1671158/).

If you are interested in this position, please submit a formal application by October 6, 2019 via the following link:

https://atsv7.wcn.co.uk/search_engine/jobs.cgi?owner=5062452&ownertype=fair&jcode=1822680&vt_template=1457&adminview=1

Theory Announcements

Wednesday, August 21, 2019

[DMANET] Highlights of Logic, Games, and Automata: Call for Registration and Participation

Tuesday, August 20, 2019

[DMANET] Assistant Professor position at University of Toronto Scarborough

[DMANET] Postdoc in Algorithms, University of Vienna

[DMANET] Workshop on Optimization & Machine Learning

[DMANET] Reachability Problems 2019 - Brussels (11 - 13 September)

[DMANET] 2nd Call for Posters - RECOMB-CG'19 - Comparative Genomics 2019

[DMANET] PhD/postdoc position in Discrete Mathematics, TU Ilmenau

Monday, August 19, 2019

[DMANET] CFP Extended submission 30 Sept for Special Issue "New Frontiers in Parameterized Complexity and Algorithms"

Sunday, August 18, 2019

[DMANET] CFP: IEEE Trans. on Cognitive Communications and Networking, SI on Intelligent Resource Management for 5G and Beyond

[DMANET] CFP: Special Session on Computational Intelligence for Smart Cities. International Conference on Optimization and Learning (OLA 2020)

[DMANET] DISC 2019 accepted papers and call for participation

Friday, August 16, 2019

[DMANET] First Call for papers EvoMUSART 2020 - 9th International Conference on Computational Intelligence in Music, Sound, Art and Design - Seville, Spain. 15-17 April 2020.

[DMANET] Second Call For Paper : IBICA 2019 - WICT 2019 -- Call for Papers - Odisha - India - Springer

Re: [DMANET] CFP for CALDAM 2020

[DMANET] ISAIM 2020: Call for Papers

Thursday, August 15, 2019

[DMANET] Submission Deadline Extended! The 29th International Telecommunication Networks and Application Conference (ITNAC 2019) November 27-29, 2019, Auckland, New Zealand - Conference proceedings will be published by the IEEE + 10 Student Travel Grants

[DMANET] [Deadline Extended to August. 20, 2019] IEEE Special Session On Cyber Security and Privacy for Smart Cities, October 29 – November 01, 2019 Fez, Morocco

[DMANET] Call for Papers: Special Issue on “Recent Advances in Lot Sizing”

[DMANET] Data Scientist (Operational Research) positions in Nottingham, UK

Wednesday, August 14, 2019

[DMANET] Postdoc position in dynamic algorithms at the University of Warwick, UK (application deadline: October 6, 2019)

Mailing Lists

Search This Blog

Blog Archive

Wednesday, August 21, 2019

Tuesday, August 20, 2019

Monday, August 19, 2019

Sunday, August 18, 2019

Friday, August 16, 2019

Thursday, August 15, 2019

Wednesday, August 14, 2019

Mailing Lists

Subscribe To

Search This Blog

Blog Archive