Tuesday, April 30, 2019

[DMANET] SEFM 2019 - abstract sub. deadline: May 3, 2019

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

SEFM 2019

17th International Conference on Software Engineering and Formal Methods

Oslo, Norway, September 16-20, 2019

http://sefm2019.inria.fr
Twitter: @SEFM_conf
---------------------------------------------------------------------

IMPORTANT DATES

Abstract submission deadline: May 3, 2019 (AoE)
Paper submission deadline: May 10, 2019 (AoE)
Notification: June 25, 2019
Conference: September 16-20, 2019


OVERVIEW AND SCOPE

SEFM aims to bring together leading researchers and practitioners from
academia, industry, and government, to advance the state of the art in
formal methods, to facilitate their uptake in the software industry,
and to encourage their integration within practical software
engineering methods and tools.

Topics of interest include, but are not limited to, the following
aspects of software engineering and formal methods:

# Software Development Methods
- Formal modeling, specification, and design
- Software evolution, maintenance, re-engineering, and reuse

# Design Principles
- Programming languages
- Domain-specific languages
- Type theory
- Abstraction and refinement

# Software Testing, Validation, and Verification
- Model checking, theorem proving, and decision procedures
- Testing and runtime verification
- Statistical and probabilistic analysis
- Synthesis
- Performance estimation and analysis of other non-functional properties
- Other light-weight and scalable formal methods

# Security and Safety
- Security, privacy, and trust
- Safety-critical, fault-tolerant, and secure systems
- Software certification

# Applications and Technology Transfer
- Service-oriented and cloud computing systems, Internet of Things
- Component, object, multi-agent and self-adaptive systems
- Real-time, hybrid, and cyber-physical systems
- Intelligent systems and machine learning
- HCI, interactive systems, and human error analysis
- Education

# Case studies, best practices, and experience reports


PAPER SUBMISSION

We solicit two categories of papers:

- Regular papers describing original research results, case studies, or
surveys. Regular papers should not exceed 15 pages, excluding bibliography.

- Tool papers that describe an operational tool and its contributions.
Tool papers should not exceed 6 pages (including bibliography) and should
include the URL of the tool.

All submissions must be original, unpublished, and not submitted
concurrently for publication elsewhere. Paper submission is done
via EasyChair at https://easychair.org/conferences/?conf=sefm2019
Papers must be formatted according to the guidelines for Springer LNCS
papers (see http://www.springer.com/lncs).


PUBLICATION

All accepted papers will appear in the proceedings of the conference that
will
be published as a volume in Springer's LNCS series.

The authors of a selected subset of accepted papers will be invited to
submit extended versions of their papers to special issues of the journals
"Software and Systems Modeling" and "Formal Methods in System Design."


INVITED SPEAKERS

Wil van der Aalst (RWTH Aachen University, Germany)
David Basin (ETH Zurich, Switzerland)
Koushik Sen (University of California, Berkeley, USA)


PROGRAM CHAIRS

Peter Csaba Ölveczky (University of Oslo, Norway)
Gwen Salaün (Université Grenoble Alpes, France)

PROGRAM COMMITTEE

Erika Abraham (RWTH Aachen University, Germany)
Cyrille Artho (KTH Royal Institute of Technology, Sweden)
Kyungmin Bae (Pohang University of Science and Technology, South Korea)
Olivier Barais (University of Rennes, France)
Luis Barbosa (University of Minho, Portugal)
Dirk Beyer (LMU Munich, Germany)
Roberto Bruni (University of Pisa, Italy)
Ana Cavalcanti (University of York, UK)
Alessandro Cimatti (FBK-irst, Italy)
Robert Clariso (Open University of Catalonia, Spain)
Rocco De Nicola (IMT School for Advanced Studies Lucca, Italy)
John Derrick (Unversity of Sheffield, UK)
José Luiz Fiadeiro (Royal Holloway, University of London, UK)
Osman Hasan (National University of Sciences & Technology, Pakistan)
Klaus Havelund (Jet Propulsion Laboratory, US)
Reiko Heckel (University of Leicester, UK)
Marieke Huisman (University of Twente, The Netherlands)
Alexander Knapp (Augsburg University, Germany)
Nikolai Kosmatov (CEA LIST, France)
Frederic Mallet (Université Nice Sophia Antipolis, France)
Tiziana Margaria (Lero, Ireland)
Hernan Melgratti (University of Buenos Aires, Argentina)
Madhavan Mukund (Chennai Mathematical Institute, India)
Marc Pantel (IRIT/INPT, Université de Toulouse, France)
Anna Philippou (University of Cyprus)
Grigore Rosu (University of Illinois, US)
Augusto Sampaio (Federal university of Pernambuco, Brazil)
Cesar Sanchez (IMDEA Software Institute, Spain)
Ina Schaefer (Technische Universität Braunschweig, Germany)
Graeme Smith (The University of Queensland, Australia)
Jun Sun (Singapore University of Technology and Design)
Maurice H. Ter Beek (ISTI-CNR, Pisa, Italy)
Antonio Vallecillo (University of Malaga, Spain)
Daniel Varro (Budapest University of Technology and Economics, Hungary &
McGill University, Canada)
Heike Wehrheim (University of Paderborn, Germany)
Franz Wotawa (University of Graz, Austria)

**********************************************************
*
* 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] Conference on Randomness, Information and Complexity -- Call for abstracts

12-14 June 2019, Moscow.
Submission deadline: May 18.
https://www.poncelet.ru/conference/ric

In honor of Alexander Shen and Nikolay Vereshchagin's 60ties birthdays.


Topics
------
Algorithmic randomness
Automata
Computational complexity
Kolmogorov complexity
Symbolic dynamics


Speakers
--------
Eric Allender (Rutgers University, US)
Harry Buhrman (CWI, Netherlands)
Enrico Formenti (Université Côte d'Azur, France)
Lance Fortnow (Georgia Tech university, US)
Peter Gács (Boston University, US)
Jarkko Kari (Turun Yliopisto, Finland)
Michal Koucký (Univerzita Karlova, Czech Republic)
Leonid Levitov (MIT, US)
Bruno Loff (Universidade do Porto, Portugal)
Wolfgang Merkle (Universität Heidelberg, Germany)
Alexey Milovanov (HSE, Russia)
Alexander Razborov (Chicago University, US) [to be confirmed]
Michael Vyalyi (HSE, Russia)
Marius Zimand (Towson University, US)


Related event
-------------
The workshop will immediately follow the Russian Workshop on Complexity and Model Theory (in MIPT, Moscow) on June 9-11.
**********************************************************
*
* 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] Book on kernelization

Our new textbook
Kernelization: Theory of Parameterized Preprocessing
by Fedor V. Fomin, Daniel Lokshtanov, Saket Saurabh and Meirav Zehavi
is available for downloading from
https://kernelization.ii.uib.no <https://kernelization.ii.uib.no/>

Fedor

**********************************************************
*
* 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: ParLearning 2019 in conjunction with KDD 2019

*****************************************************************************************
* The 8th International Workshop on Parallel and Distributed Computing for
* Large-Scale Machine Learning and Big Data Analytics (ParLearning 2019)
* https://parlearning.github.io
* August 5, 2019
* Anchorage, Alaska, USA
*
* Co-located with
* The 25th ACM SIGKDD International Conference on
* Knowledge Discovery and Data Mining (KDD 2019)
* https://www.kdd.org/kdd2019/
* August 4 - August 8, 2019
* Dena'ina Convention Center and William Egan Convention Center
* Anchorage, Alaska, USA
*****************************************************************************************

Call for Papers

Scaling up machine-learning (ML), data mining (DM) and reasoning algorithms
from Artificial Intelligence (AI) for massive datasets is a major technical
challenge in the time of "Big Data". The past ten years have seen the rise
of multi-core and GPU based computing. In parallel and distributed
computing, several frameworks such as OpenMP, OpenCL, and Spark continue to
facilitate scaling up ML/DM/AI algorithms using higher levels of
abstraction. We invite novel works that advance the trio-fields of ML/DM/AI
through development of scalable algorithms or computing frameworks. Ideal
submissions should describe methods for scaling up X using Y on Z, where
potential choices for X, Y and Z are provided below.

Scaling up

o Recommender systems
o Optimization algorithms (gradient descent, Newton methods)
o Deep learning
o Distributed algorithms and AI for Blockchain
o Clustering (agglomerative techniques, graph clustering, clustering
heterogeneous data)
o Probabilistic inference (Bayesian networks)
o Graph algorithms, graph mining and knowledge graphs
o Graph neural networks
o Autoencoders and variational autoencoders
o Generative adversarial networks
o Generative models
o Deep reinforcement learning

Using

o Parallel architectures/frameworks (OpenMP, CUDA etc.)
o Distributed systems/frameworks (MPI, Spark, etc.)
o Machine learning frameworks (TensorFlow, PyTorch etc.)

On

o Various infrastructures, such as cloud, commodity clusters, GPUs, and
emerging AI chips.

Workshop Proceedings

Accepted papers will be published in the conference proceedings by ACM and
also appear in the ACM Digital Library.

Awards

Best Paper Award: The program committee will nominate a paper for the Best
Paper award. In past years, the Best Paper award included a cash prize.
Stay tuned for this year!
Travel Awards: Students with accepted papers have a chance to apply for a
travel award. Please find details on the ACM KDD 2019 web page.

Important Dates

o Paper submission: May 5, 2019 (Anywhere on Earth)
o Author notification: June 1, 2019
o Camera-ready version: June 8, 2019

Paper Guidelines

All submissions are limited to a total of 6 pages, including all content
and references, and must be in PDF format and formatted according to the
new Standard ACM Conference Proceedings Template. Additional information
about formatting and style files is available online at:
https://www.acm.org/publications/proceedings-template. Papers that do not
meet the formatting requirements will be rejected without review.

All submissions must be uploaded electronically at
https://www.easychair.org/conferences/?conf=parlearning2019.

Special Issue

We are planning to publish a special issue of a journal, consisting of the
best papers of ParLearning 2019. We are about to publish a special issue of
the Springer journal Future Generation Computer Systems, containing the
selected papers of ParLearning 2017.

Keynote Speakers

o Professor V.S. Subrahmanian (Dartmouth College, Hanover, NH, USA)
o Dr. Lifeng Nai (Google, Mountain View, CA, USA)

Organizing Committee

o General Chairs: Arindam Pal (TCS Research and Innovation, Kolkata, India)
and Henri Bal (Vrije Universiteit, Amsterdam, Netherlands)
o Program Chairs: Azalia Mirhoseini (Google AI, Mountain View, CA, USA),
Thomas Parnell (IBM Research, Zurich, Switzerland)
o Publicity Chair: Anand Panangadan (California State University,
Fullerton, USA)
o Steering Committee Chairs: Sutanay Choudhury (Pacific Northwest National
Laboratory, Richland, WA, USA) and Yinglong Xia (Huawei Research America,
Santa Clara, CA, USA)

Technical Program Committee

o Vito Giovanni Castellana, PNNL, USA
o Daniel Gerardo Chavarria, PNNL, USA
o Jianting Zhang, City College of New York, USA
o Farinaz Koushanfar, UCSD, USA
o Erich Elsen, Google Brain, USA
o Kazuaki Ishizaki, IBM Research, Tokyo, Japan
o Zhihui Du, Tsinghua University, China
o Anand Eldawy, University of Minnesota, USA
o Carson Leung, University of Manitoba, Canada
o Lingfei Wu, IBM Watson Research Center, USA
o Ananth Kalyanaraman, Washington State University, Pullman, USA
o Animesh Mukherjee, IIT Kharagpur, India
o Arnab Bhattacharya, IIT Kanpur, India
o Dinesh Garg, IBM Research, India
o Francesco Parisi, University of Calabria, Italy
o Himadri Sekhar Paul, TCS Research and Innovation, India
o Kripabandhu Ghosh, IIT Kanpur, India
o Mayank Singh, IIT Gandhinagar, India
o Nirmalya Roy, University of Maryland, Baltimore County, USA
o Partha Basuchowdhuri, Heritage Institute of Technology, Kolkata, India
o Sanjukta Bhowmick, University of North Texas, USA
o Saptarshi Ghosh, IIT Kharagpur, India
o Saurabh Paul, Kohl's, USA
o Sourangshu Bhattacharya, IIT Kharagpur, India
o Tanmoy Chakraborty, IIIT Delhi, India

Past Workshops

The first 7 editions of ParLearning were organized in conjunction with the
International Parallel and Distributed Processing Symposium (IPDPS). The
details of the past workshops can be found on the website
http://parlearning.ecs.fullerton.edu. From 2019, the organizers have
decided to conduct it with KDD.

Regards,
Arindam Pal, Ph.D.
Research Scientist
TCS Research and Innovation
http://www.cse.iitd.ac.in/~arindamp/

**********************************************************
*
* 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 positions at the University of Florence

On April 29th the university of Florence (Italy) published a call for
application for the XXXV cycle of the PhD program. We invite all who might
be interested to look at the website https://www.unifi.it/p11549.html for
details.
Of particular interest for Optimization are:
- the PhD program in Information Engineering
<https://informationengineering.dinfo.unifi.it/>, with a specific
curriculum devoted to (continuous) Optimization (plus others on
Electronics, Telecommunications, Computer Science/Artificial Intelligence)
- the PhD program in Smart Computing <http://smartcomputing.unifi.it/>
- the PhD program in Smart Industry (based in Pisa)

Do not hesitate to contact me if you need further information of the PhD
program in Information Engineering
Fabio Schoen
Professor of Operations Research <http://www.scienceofbetter.org/>
Coordinator of the PhD program in Information Engineering
<http://informationengineering.dinfo.unifi.it/>
GOL <http://webgol.dinfo.unifi.it/> / Dip. Ingegneria dell'Informazione
<http://www.dinfo.unifi.it/> - Univ. di Firenze <http://www.unifi.it/>
via di S.Marta 3, 50139 FIRENZE (Italy)
<http://maps.google.it/maps?f=q&source=s_q&hl=it&geocode=&q=via+di+S.Marta+3,+50139+FIRENZE+%28Italy%29&aq=&sll=43.773668,11.26929&sspn=0.010443,0.01929&ie=UTF8&hq=&hnear=Via+di+Santa+Marta,+3,+50139+Firenze,+Toscana&z=16>

New telephone: +39 055 275 8512

Adjunct professor of Operations Management
New York University <http://www.nyu.edu/> (Florence campus villa La Pietra
<http://www.nyu.edu/global/lapietra/>)

**********************************************************
*
* 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: Special Issue of Algorithms on Graph-Theoretical Algorithms and Hybrid/Collaborative Technologies

Dear Colleagues,

We invite you to submit original research contributions to a special issue of Algorithms on "Graph-Theoretical Algorithms and Hybrid/Collaborative Technologies." This issue is intended to address the growing interest in, and demand for, the task of augmenting graph-theoretical algorithms with complementary, integrative or supporting technologies. We seek papers that advance the forefront of knowledge, focusing on natural synergies between graph-theoretical algorithms and complementary technologies, broadly interpreted. Machine learning provides a timely example. Bayesian analysis, constraint satisfaction, mathematical programming, parallel computing and statistical pre- and post- processing are but a few others.

The deadline for submission to this special issue is 31 January 2020. Authors are encouraged, however, to submit at their earliest convenience. Contributions will be continuously reviewed. Accepted papers will be published without delay. Both theoretical and applications-oriented submissions are welcomed.

For details about this special issue, please visit: https://www.mdpi.com/journal/algorithms/special_issues/GraphTheorl_Algorithms. Information about the MDPI submission process is available here: http://www.mdpi.com/journal/algorithms/instructions. Please feel free to distribute this invitation to others in your department or laboratory.

Algorithms (ISSN 1999-4893; CODEN: ALGOCH) is an international open access journal published quarterly by MDPI. It is indexed by EI, ESCI and Scopus. As indicated by several studies, open access (unlimited and free access by readers) increases publicity and promotes more frequent citations. As open access is supported by authors and their institutions, an Article Processing Charge (APC) of CHF 1000 applies to accepted papers. You may be entitled to a discount if you have previously received a discount code or if your institute is participating in the MDPI Institutional Open Access Program (IOAP). For more information see: http://www.mdpi.com/about/ioap.

If you are interested in submitting a paper to this special issue, please let us know by sending us a tentative title and abstract. We look forward to receiving your contributions.

Michael A. Langston and Bradley J. Rhodes

Guest Editors

About the journal. Algorithms' focus areas are computer science, theory, methods and interdisciplinary applications, data and information systems, software engineering, artificial intelligence, automation and control systems. Technical research monographs, review articles and short communications are invited. Submitted papers must not have been published previously, nor be under consideration for publication elsewhere. Exceptions may be made for contributions that represent highly expanded versions of prior conference proceedings. All submissions will be thoroughly peer reviewed. Typescripts should be submitted online after registering at www.mdpi.com<http://www.mdpi.com>. Accepted articles will be published continuously, and will be listed together on the special issue website. A guide for authors and other information related to the submission of papers is available on the "Instructions for Authors" page.

**********************************************************
*
* 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, April 29, 2019

[DMANET] Register now - AMSI Optimise 2019 | 17-21 June | Perth, Australia

AMSI Optimise 2019
Mining | Oil | Gas | Agriculture | Water
17-21 June, Hyatt Regency Perth, Australia
https://optimise.amsi.org.au/

Join industry leaders from the natural resources sector, academic experts and the nation's current postgraduate talent at AMSI's annual optimisation conference in Perth from 17-21 June. The event provides a platform to understand industry drivers and foster research collaborations, connecting business with Australia's future workforce.

The themes of the 2019 conference are Mining, Oil & Gas, Agriculture & Water. The event will comprise a three-day industry-focused conference, followed by a two-day research workshop.

Speakers include:

* Professor Rafael Epstein, Universidad de Chile
* Professor Martine Labbé, Université Libre de Bruxelles
* Professor Peter Dowd, University of Adelaide
* Professor Emeritus Doreen Thomas FTSE, FIEAust, The University of Melbourne
* Professor Jerzy A. Filar, Centre for Applications in Natural Resource Mathematics, The University of Queensland
* Professor Craig T. Simmons, National Centre for Groundwater Research and Training (NCGRT)
* Professor Maria Garcia De La Banda, Monash University
* Pulkit Jain, Finity Consulting
* Kylie Hollins, Alcoa
* Dr Alysson Costa, The University of Melbourne

REGISTER: https://optimise.amsi.org.au/register/

Email: events@amsi.org.au<mailto:events@amsi.org.au>


**********************************************************
*
* 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] SIAM Combinatorial Scientific Computing, USA, Feb 2020

SIAM Workshop on Combinatorial Scientific Computing (CSC),
Seattle, Washington USA, Feb 2020

SIAM CSC20 provides a top-tier forum for presenting original research
on the design, implementation, application, and evaluation of
combinatorial algorithms and data structures that arise from problems
in computational science, computational engineering, and data science.
The conference will be held February 11-13, 2020, Seattle, Washington,
U.S. It will be co-located with SIAM PP20 conference, February 12-15,
2020. Research in CSC involves identifying a scientific computing
problem arising in a relevant application area, representing this
problem using a combinatorial or graph model, describing the
corresponding graph problem, finding an algorithmic approach to its
solution, and carrying out a theoretical and/or experimental analysis
of the approach. Contributions involving any aspect of this workflow
are welcome. Authors are invited to submit both full papers and
extended abstracts. All submissions must present original unpublished
research. Full papers may be up to 10 pages in length. The accepted
full papers will be included in the proceedings published by SIAM (the
same publishing platform is used by SODA, ALENEX, ANALCO, etc.). The
proceedings of the previous workshop, CSC18, are at
https://epubs.siam.org/doi/book/10.1137/1.9781611975215 <https://epubs.siam.org/doi/book/10.1137/1.9781611975215>. Short
abstracts could be up to 2 pages in length and should describe
preliminary results for presentation as talks at the workshop, but
these abstracts will not be included in the proceedings. Submissions
should use the LaTeX macros at
http://www.siam.org/proceedings/macros.php <http://www.siam.org/proceedings/macros.php> (authors using other
software should adhere to the same double- column 11pt format).

The record of the earlier CSC Workshops is available at
www.csc-research.org <http://www.csc-research.org/>.

Submission will be handled through EasyChair. Submission link:
https://easychair.org/conferences/?conf=csc20 <https://easychair.org/conferences/?conf=csc20>

First submission deadline: August 1, 2019
Notification of Early Decision: October 1, 2019
Second submission deadline: November 15, 2019 (both new and
revised manuscript)
Notification of Final Decision: November 30, 2019
Applications to submit posters: February 10, 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] PhD Position on Combinatorial Optimisation at SANOFI

Dear all,
    We are looking for a PhD  student with a special interest in
combinatorial optimisation.
    Here is a  description of the proposition :

● *Name of the company *****:*SANOFI

● *City and zip code *****:*AMILLY 45200, France

● *Name of the partner academic laboratory (so already known):*LIFAT
Université de Tours.

● *Code of the laboratory: *EA 6300, ERL CNRS 7002.

● *Title of research theme (without any confidential character)
*****:*Optimization of order preparation within the logistics platform
by a dynamic approach

● *Description of the theme of research (without any confidential
character) *****: *

The Amilly Sanofi platform is organized into 4 customer order
preparation lines characterized by different dynamics and granularities.
The objective of the work is to carry out a planning of the order
preparation so as to satisfy the schedules of the delivery trucks; some
orders are known from the beginning of the day while others will appear
in the order book as the day progresses. The main constraint is that it
is necessary to regroup at the end of the factory and in the same truck
trailer, the different cartons constituting a single order.

The initial work will focus on improving the replenishment of lines so
as to avoid risks due to lack of a type of medication and by optimizing
distribution rules and planning at the level of preparation lines.

● *Description of job*****:*

The position created for this project is a research engineer position
whose work must bring a step back on the organization of the preparation
site.

● *Date of recruitment*** **:* September the 1^th 2019.

● *E-mail addresses to which the applicant should send his/her
application*** ** :*

Ameur SOUKHAL : ameur.soukhal@univ-tours.fr and Patrick MARTINEAU :
patrick.martineau@univ-tours.fr

● *Main Research Field*****: *
Information science, Computer science, Mathematics, Engineering, Technology

● *Function *****: *.Research Engineer.

● *Research Profile*****: *.Master / Engineer degree in computer sciences.


    Best, P Martineau

--

Patrick Martineau
Professeur des Universités, Responsable Relations Entreprises
Département Informatique de Polytech Tours
Laboratoire d'Informatique ERL CNRS 7002

64 av. Jean Portalis
F-37200 Tours
Tél : +33 (0)2 47 36 14 25
Fax : +33 (0)2 47 36 14 22

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

[DMANET] CFP: IEEE Transactions on Industrial Informatics Special Section on "Security and Privacy in Industry 4.0"

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

C a l l F o r P a p e r s

IEEE TRANSACTION ON INDUSTRIAL INFORMATICS

Special Section: Security and Privacy in Industry 4.0

URL:
http://www.ieee-ies.org/images/files/tii/ss/2019/Security_and_Privacy_in_Industry_40__2019-2-19.pdf

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

Industries, governments and scientific communities are increasingly drawing
a special attention to competitive advantages that Industry 4.0 can bring
about business sustainability and economy of a country. The tendency to
couple the Information Technologies (ITs) with the existing Operational
Technologies (OTs) adds new opportunities to improve and optimize
operational processes, products and services in which multiple stakeholders
[4], among them, end-users, can interact with the new industrial ecosystems
to speed up and customize processes. In this sense, Industry 4.0
constitutes a relevant investment source composed of a complex
technological showcase in which multiple connections and accesses can
arise, seriously impacting on the well performance of the different
production and distribution chains associated with smart factories and
manufacturing, smart grid systems, smart vehicles or smart health
environments. This way of connecting entities with the "smart world" and
the interconnection of different Industry 4.0 domains based on the new
paradigms and heterogeneous technologies such as Cyber-Physical Systems
(CPS), Industrial Internet of Things (IIoT) or edge computing
infrastructures (cloud/fog computing systems), certainly, opens the door to
coexistence problems and novel exploitations. Diverse vulnerabilities and
risks may significantly grow according to the new adaptations and the
participation of stakeholders, generating a need to further research
protection issues required to safeguard the operational processes and
ensure a secure and resilient and dependable cohesion between IT and OT
systems, including physical entities.

For this reason, industries, governments and scientific communities are
increasingly drawing a special attention to competitive advantages that
Industry 4.0 can bring about business sustainability and economy of a
country. The tendency to couple the ITs with the existing Operational
Technologies (OTs) adds new opportunities to improve and optimize
operational processes, products and services in which multiple stakeholders
[4], among them, end-users, can interact with the new industrial ecosystems
to speed up and customize processes. In this sense, Industry 4.0
constitutes a relevant investment source composed of a complex
technological showcase in which multiple connections and accesses can
arise, seriously impacting on the well performance of the different
production and distribution chains associated with smart factories and
manufacturing, smart grid systems, smart vehicles or smart health
environments.

The aim of this special issue is therefore to bring together researchers
from diverse interdisciplinary areas of computing and security to cover,
from a holistic point of view, the topics related to secure coupling of the
new ITs with operational networks, without discarding aspects on privacy.

This special section will focus on (but not limited to) the following
topics:

• Security and privacy analysis and requirements in Industry 4.0
• Secure management and governance of Industry 4.0 operational services and
systems
• Vulnerabilities and risk assessment in manufacturing and automation
systems
• Advanced threat models, cyber-crime or cyber-espionage for Industry 4.0
• Dependable and secure Industry 4.0 architectures by design
• Lightweight cryptography and key management in Industry 4.0
• Identity management and access control for Industry 4.0 domains
• Secure interoperability, mobility and coexistence between systems,
including users
• Prevention, awareness and resilience models for Industry 4.0 advanced
threats
• Secure context management and accountability for Industry 4.0 domains
• Data preservation and privacy models for Industry 4.0
• Trust management and trusted computing models for Industry 4.0.
• Secure cloud/fog-assisted manufacturing and predictive maintenance
services

----------------
Important Dates
----------------
* Deadline for manuscript submissions June 30, 2019
* Expected publication date (tentative) November 2019

----------------------------
Paper Submission Guidelines
----------------------------

Follow the guidelines in "Information for Authors" in the IEEE Transaction
on Industrial Informatics
http://www.ieee-ies.org/pubs/transactions-on-industrial-informatics .
Please submit your manuscript in electronic form through Manuscript Central
web site: https://mc.manuscriptcentral.com/tii . On the submitting page #1
in popup menu of manuscript type, select: SS on Security and Privacy in
Industry 4.0
Submissions to this Special Section must represent original material that
has been neither submitted to, nor published in, any other journal. Regular
manuscript length is 8 pages.

Note: The recommended papers for the section are subject to final approval
by the Editor-in-Chief. Some papers may be published outside the special
section, at the EIC discretion.

--------------
Guest Editors
--------------
• Prof. Cristina Alcaraz, University of Malaga, Spain - alcaraz@lcc.uma.es
• Prof. Yan Zhang, University of Oslo, Norway - yanzhang@ieee.org
• Prof. Alvaro Cardenas, University of California, Santa Cruz, USA -
alacarde@ucsc.edu
• Prof. Liehuang Zhu, Beijing University of Technology, China -
liehuangz@bit.edu.cn

**********************************************************
*
* 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, April 28, 2019

[DMANET] CfP [Algorithms] Special Issue "Distributed Algorithms in Cloud and Emerging Computing Platforms"

Special Issue: Distributed Algorithms in Cloud and Emerging Computing
Platforms
Deadline for manuscript submissions: 31 May 2019
Guest Editor:
Dr. Juan J. Durillo
Leibniz Supercomputing Centre, Boltzmannstrasse 1, 85748 Garching, Germany

Dr. Sashko Ristov
Distributed and Parallel Systems Group, Institute for Computer Science,
University of Innsbruck, Technikerstr. 21a, A-6020 Innsbruck, Austria

=======================
Dear Colleagues,

We cordially invite you to submit a manuscript for consideration and
possible publication in a Special Issue on "Distributed Algorithms in
Cloud and Emerging Computing Platforms" to be published in an EI, ESCI
and Scopus-indexed open access journal Algorithms
(http://www.mdpi.com/journal/algorithms).

The submission manuscript deadline is 31 May 2019. For more details,
please visit the website:
https://www.mdpi.com/journal/algorithms/special_issues/Distributed_Algorithms_Cloud

You may share this invitation with your team members and colleagues;
co-authors are most welcome.

Please let me know within a month or as soon as possible if you and your
colleagues are interested in submitting a manuscript for this special
issue. If more time is needed, please feel free to tell us
(algorithms@mdpi.com). Your contribution would be most welcome.

Algorithms is 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 (APC) of CHF 1000
applies to accepted papers. You may be entitled to a discount if you
have previously received a discount code or if your institute is
participating in the MDPI Institutional Open Access Program (IOAP); for
more information see: http://www.mdpi.com/about/ioap.

For further details on the submission process, please see the
instructions for authors at the journal website
(http://www.mdpi.com/journal/algorithms/instructions).

We hope this topic is of interest to you and look forward to
collaborating with you in the near future.

Kind regards,
Jones Zhang
Assistant Editor

--
MDPI Branch Office, Wuhan
E-Mail: algorithms@mdpi.com
http://www.mdpi.com/journal/algorithms/

MDPI AG
St. Alban-Anlage 66, 4052 Basel,
Postfach, CH-4020 Basel, Switzerland
Tel. +41 61 683 77 34; Fax +41 61 302 89 18
http://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] PhD or Postdoc Position at the Technical University of Munich

A PhD or postdoc position is available at the Technical University of
Munich, Germany in the research group of Prof. Martin Bichler
(http://dss.in.tum.de [1]).

We are looking for candidates with a strong background in operations
research or computer science. Interests in game theory or machine
learning as well as programming skills are a plus. Fluency in written
and spoken English is required.

Applicants for the PhD position should hold a Master's degree in
computer science, operations research, or mathematics and may obtain a
PhD degree in computer science. Applicants for the post-doc position
should hold a PhD degree in one of the mentioned disciplines. The
position has sufficient travel money available to support conference and
workshop attendance. Prospective candidates will assist in teaching
courses of the group.

The position is for 2 years with the possibility of extension. The
starting date is negotiable; we are interested in filling the position
as soon as possible. The position is full-time and paid according to
salary grade 100% TV-L E 13 (the standard rate for junior scientific
staff at German universities). As an equal opportunity employer, TUM
explicitly encourages applications from women and all others who would
bring additional diversity dimensions to the university

Applications should be submitted by email to bichler "at" in.tum.de
using the subject line "Application". Please enclose a curriculum vitae
including a complete list of publications and a sample publication
(e.g., a Master's thesis).

The deadline for applications is 20 May 2019.

Links:
------
[1] http://dss.in.tum.de/

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

Friday, April 26, 2019

[DMANET] [CFP] Workshop on Intelligent Vehicles 2019 (Zagreb, Croatia) [July 2 (Tue.) ~ July 5 (Fri.) 2019]

CALL FOR PAPERS for IV 2019

The 7th International Workshop on Intelligent Vehicles 2019 (IV 2019)

In conjunction with the 11th International Conference on Ubiquitous and
Future Networks (ICUFN)
co-sponsored by IEEE ComSoc and IEICE Communications Society technically.
(July 2 to 5, 2019 in Zagreb, Croatia)

http://icufn.org/?page_id=975

We are pleased to invite you to submit original contributions to IV 2019.

==========================================================
IMPORTANT DATES
Paper due: April 30, 2019
Author Notification: May 10, 2019
Camera-ready due: May 15, 2019
==========================================================

CALL FOR PAPERS

Intelligent vehicles based on information and communication technologies
are the prospective areas leading the advancement of
the convergence technologies for smart cars. The key technologies for the
intelligent vehicles are based on communication, environment
perception and software technologies. Those technologies are mainly focused
on the enhancement of vehicular safety. The workshop focuses on recent
developments and standardization of the intelligent vehicles,
vehicle-infrastructure cooperation and smart cars.

TECHNICAL TOPICS

The workshop focuses on topics related to communications, networks and
software for intelligent vehicles, which include, but are not limited to:

Advanced driver assistance systems
Artificial intelligence for autonomous vehicles
Applications for intelligent vehicles
Cellular V2X
Human factors and HMI for smart cars
Impact on traffic flows
In-vehicle networking technologies
Network design for V2X communications
Pedestrian protection
Regulation and standardization
Security for intelligent vehicles
Software technologies for intelligent vehicles
Vehicle environment perception
V2X communications

SUBMISSIONS

All papers must be submitted electronically, in PDF format, and uploaded on
EDAS. The direct link for paper submission is
https://edas.info/newPaper.php?c=25428&track=95946. There are two options
for the submissions, either a full paper or a short paper. We decided to
allow the submission of short papers in order to accommodate the most
recent research outcomes. The submissions should be formatted with
single-spaced, double-column pages using at least 10 pt (or higher) size
fonts on A4 or letter pages in IEEE style format. The maximum number of
pages is 6 for full papers and 3 for short papers. Detailed formatting and
submission instructions will be available on the conference web site (
http://www.icufn.org).

Accepted and presented papers will be published in the ICUFN 2019
Conference Proceedings. Also extended versions of selected papers will be
published in the following international journals as a special issue or
section for the ICUFN 2019.

Wireless Personal Communications (SCIE)
International Journal of Distributed Sensor Networks (SCIE)
Journal on Internet Technology (SCIE)
Mobile Information System (SCIE)
Sensors (SCIE)
ICT Express (Scopus)
Recent Advances on Communications and Networking Technology

COMMITTEES

STEERING COMMITTEES:

Dong Seog Han (Kyungpook National University, Korea)
Benaoumeur Senouci (ECE Paris, France)

ORGANIZING COMMITTEE CO-CHAIRS:

B?int Kiss (Budapest Univ. of Tech. and Economics, Hungary)
Juan-Carlos Cano (Technical University of Valencia, Spain)
Soo-In Lee (ETRI, Korea)
Umar Qasim (University of Alberta, Canada)

TECHNICAL PROGRAM COMMITTEE CO-CHAIRS:

Dongkyun Kim (Kyungpook National University, Korea)
Floriano De Rango (University of Calabria, Italy)
Houbing Song (West Virginia University, WV, USA)
Waleed Ejaz (Ryerson University, Toronto, Canada)
Woo Young Jung (DGIST, Korea)

TECHNICAL PROGRAM COMMITTEE MEMBERS:

Mahasweta Sarkar (San Diego State University, San Diego, California, USA)
Min Young Kim (Kyungpook National University, Korea)
Odongo Steven Eyobu (Makerere University, Uganda)
Rafik Zitouni (VEDECOM & ECE Paris, France)
Rasheed Hussain (University of Amsterdam (UvA), Netherland)
Sherali Zeadally (University of Kentucky, Kentucky, USA)
Syed Hassan Ahmed (Georgia Southern University, USA)
Wei Wang (San Diego State University, California, USA)

**********************************************************
*
* 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] SAGT 2019 - Final call for papers

SAGT 2019 - Final Call for Papers

12th INTERNATIONAL SYMPOSIUM ON ALGORITHMIC GAME THEORY
SAGT 2019
http://corelab.ntua.gr/sagt2019
Athens, Greece, Sep. 30 - Oct. 3, 2019

IMPORTANT DATES

- Submission: May 3, 2019.
- Notification: July 1, 2019.
- Camera ready: July 20, 2019.

The 12th International Symposium on Algorithmic Game Theory (SAGT) will
take place in Athens, Greece, Sep. 30 - Oct. 3, 2019. The purpose of SAGT
is to bring together researchers from Computer Science, Economics,
Mathematics, Operations Research, Psychology, Physics, and Biology to
present and discuss original research at the intersection of Algorithms and
Game Theory.

The program of SAGT will include both invited talks and presentations for
refereed submissions.

INVITED SPEAKERS
- Νina Balcan, Carnegie Mellon University
- Shahar Dobzinski, Weizmann Institute of Science
- Herve Moulin, University of Glasgow

TUTORIAL DAY
SAGT 2019 will start on September 30 with a tutorial on the topic of
"Learning Theory in Algorithmic Economics". The tutorial is supported by
the COST Action GAMENET (CA 16228), and will be delivered by:
- Georgios Piliouras, Singapore University of Technology and Design
- Vasilis Syrgkanis, Microsoft Research

SUBMISSIONS

Authors are invited to submit previously unpublished work for possible
presentation at the conference. Foundational work is solicited on topics
including but not limited to:

- Solution Concepts in Game Theory
- Efficiency of Equilibria and Price of Anarchy
- Complexity Classes in Game Theory
- Computational Aspects of Equilibria and Fixed-Point Theorems
- Repeated Games and Convergence of Dynamics
- Algorithmic Mechanism Design
- Reputation, Recommendation and Trust Systems
- Network Games and Graph-Theoretic Aspects of Social Networks
- Cost-Sharing Algorithms and Analysis
- Computing with Incentives
- Computational Social Choice
- Decision Theory, and Pricing
- Auction Design and Analysis
- Economic Aspects of Distributed Computing
- Internet Economics and Computational Advertising

Industrial application works and position papers presenting novel ideas,
issues, challenges and directions are also welcome.

It is expected that every accepted paper will be presented at the symposium
by one of the authors.
Submissions must be prepared in LNCS-style and limited to at most 14 pages,
excluding references. Additional material can be added in a clearly marked
appendix. Accepted papers are allocated at most 14 pages in the
proceedings. Alternatively, authors of accepted papers can choose to
publish only a one page abstract in the proceedings, along with a URL
pointing to the full paper.

BEST PAPER AWARD
There will be a SAGT 2019 Best Paper Award, accompanied by a prize of EUR
1,000 offered by Springer.

TRAVEL SUPPORT
A limited number of travel grants will be provided for young researchers to
attend the conference. Priority will be given to phd students presenting a
paper accepted at SAGT. More information will be made available in the near
future through the SAGT 2019 website.

SPECIAL ISSUE ON TOCS
After the conference, selected papers from SAGT 2019 will also be invited
to a special issue of the journal "Theory of Computing Systems" (TOCS).

PROGRAM COMMITTEE

- Siddharth Barman, Indian Institute of Science
- Vittorio Bilò, University of Salento
- Yang Cai, Yale University
- Giorgos Christodoulou, University of Liverpool
- Riccardo Colini-Baldeschi, Facebook
- Edith Elkind, University of Oxford
- Piotr Faliszewski, AGH University of Science and Technology
- Felix Fischer, Queen Mary University of London
- Michelle Flammini, Gran Sasso Science Institute & University of L' Aquila
- Dimitris Fotakis, National Technical University of Athens (co-chair)
- Laurent Gourvès, Universite Paris-Dauphine
- Tobias Harks, Augsburg University
- Martin Hoefer, Goethe University Frankfurt
- Panagiotis Kanellopoulos, University of Patras
- Thomas Kesselheim, University of Bonn
- Piotr Krysta, University of Liverpool
- Pinyan Lu, Shanghai University of Finance and Economics
- Brendan Lucier, Microsoft Research
- David Manlove, University of Glasgow
- Evangelos Markakis, Athens University of Economics and Business (co-chair)
- Georgios Piliouras, Singapore University of Technology and Design
- Christos-Alexandros Psomas, Carnegie Mellon University
- Guido Schaefer, Centrum Wiskunde & Informatica
- Alkmini Sgouritsa, Max Planck Institut fur Informatik
- Christos Tzamos, University of Wisconsin, Madison
- Carmine Ventre, University of Essex
- Rakesh Vohra, University of Pennsylvania

STEERING COMMITTEE

- Elias Koutsoupias, University of Oxford
- Marios Mavronicolas, University of Cyprus
- Dov Monderer, Technion
- Burkhard Monien, University of Paderborn
- Christos Papadimitriou, Columbia University
- Giuseppe Persiano, University of Salerno
- Paul Spirakis, University of Liverpool (chair)


ORGANIZING COMMITTEE

- Dimitris Fotakis, National Technical University of Athens
- Evangelos Markakis, Athens University of Economics and Business
- Aris Pagourtzis, National Technical University of Athens

**********************************************************
*
* 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] PCC2019 Early-bird registration deadline and abstract submission

Abstract submission for the Postgraduate Combinatorial Conference 2019 is now open and is available here https://pcc2019.github.io . Please note that the deadline for submitting abstracts is Saturday 1st June. More immediately, please also note that the deadline for early-bird registration is next Tuesday 30th April.
**********************************************************
*
* 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] Final Call for submissions for the 12th International Workshop on Numerical Software Verification

Final Call for Submissions
————————————————
The 12th International Workshop on
Numerical Software Verification co-located with CAV,
13-14 July 2019, New York, NY, USA
http://nsv19.mpi-sws.org/ <http://nsv19.mpi-sws.org/>

Important Dates:

Submission deadline: 1 May 2019
Notification of acceptance: 22 May 2019
Final version: 29 May 2019
Workshop: 13-14 July 2019

SCOPE:
—————————————————
Numerical computations are ubiquitous in digital systems: supervision, prediction, simulation and signal processing rely heavily on numerical calculus to achieve desired goals. Design and verification of numerical algorithms has a unique set of challenges, which set it apart from rest of software verification. To achieve the verification and validation of global properties, numerical techniques need to precisely represent local behaviors of each component. The implementation of numerical techniques on modern hardware adds another layer of approximation because of the use of finite representations of infinite precision numbers that usually lack basic arithmetic properties such as commutativity and associativity. Finally, the development and analysis of cyber-physical systems (CPS) which involve the interacting continuous and discrete components pose a further challenge. It is hence imperative to develop logical and mathematical techniques for the reasoning about programmability and reliability. The NSV workshop is dedicated to the development of such techniques.

Topics of interest:
The scope of the workshop includes, but is not restricted to, the following topics:

— Quantitative and qualitative analysis of hybrid systems
— Models and abstraction techniques
— Optimal control of dynamical systems
— Parameter identification for hybrid systems
— Numerical optimization methods
— Hybrid systems verification
— Applications of hybrid systems to systems biology
— Propagation of uncertainties, deterministic and probabilistic models
— Specifications of correctness for numerical programs
— Quality of finite precision implementations
— Numerical properties of control software
— Validation for space, avionics, automotive and real-time applications
— Validation for scientific computing programs

Submission Guidelines:
————————————————
We solicit regular and short papers:

— Regular papers describe original contributions that are neither published nor under review for publication elsewhere. They must not exceed 15 pages in LNCS style <https://www.springer.com/us/computer-science/lncs/conference-proceedings-guidelines>, plus possibly bibliography and appendices. However, program committee members are not required to read the appendices, thus papers must be intelligible without them.
— Short papers present tools, benchmarks, case-studies or are extended abstracts of ongoing research. They should not exceed 6 pages, excluding extra material as above.

Paper submission must be performed via the EasyChair system: https://easychair.org/conferences/?conf=nsv19 <https://easychair.org/conferences/?conf=nsv19>.

Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should clearly identify what has been accomplished and why it is signifiant. All accepted papers will be published as Lecture Notes in Computer Science (LNCS) with Springer Verlag http://www.springer.com/lncs <http://www.springer.com/lncs>.

Program Committee:
————————————————
— Matthias Althoff (Technical University of Munich, Germany)
— Olivier Bouissou (Mathworks, France)
— Samuel Coogan (Georgia institute of Technology, USA)
— Sicun Gao (University of California San Diego, USA)
— Alberto Griggio (Fondazione Bruno Kessler, Italy)
— Ashutosh Gupta (IIT Bombay, India)
— Ichiro Hasuo (National Institute of Informatics, Japan)
— Susmit Jha (SRI International, USA)
— James Kapinski (Toyota, USA)
— Soonho Kong (Toyota Research Institute, USA)
— Jun Liu (University of Waterloo, Canada)
— Manuel Mazo (Delft University of Technology, Netherlands)
— Tatjana Petrov (University of Konstanz, Germany)
— Ruzica Piskac (Yale University, USA)
— Sylvie Putot (LIX, Ecole Polytechnique, France)
— Akshay Rajhans (Mathworks, USA)
— Stefan Ratschan (Academy of Sciences of the Czech Republic, Czech Republic)
— Matthias Rungger (ABB Corporate Research, Germany)
— Sadra Sadraddini (MIT, USA)
— Krishna Shankaranarayanan (IIT Bombay, India)
— Sadegh Soudjani (Newcastle University, UK)
— Laura Titolo (National Institute of Aerospace, USA)
— Ashutosh Trivedi (University of Colorado Boulder, USA)
— Jana Tumova (KTH Royal Institute of Technology, Sweden)
— Caterina Urban (INRIA, France)
— Xiang Yin (Shanghai Jiao Tong University, China)

Organizers and Chairs:
————————————————
— Majid Zamani (University of Colorado Boulder, USA)
— Damien Zufferey (MPI-SWS, Germany)

**********************************************************
*
* 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] *Reminder* Final CFP: "Graph Partitioning: Theory, Engineering and Applications"

*REMINDER* FINAL CALL FOR PAPERS:

Dear Colleagues,

We cordially invite you to submit a manuscript for consideration and
possible publication in a special issue on "Graph Partitioning: Theory,
Engineering and Applications" to be published in the open access MDPI
journal Algorithms (http://www.mdpi.com/journal/algorithms), indexed by EI,
ESCI and Scopus.

The submission manuscript deadline is *30 June 2019*. The main themes
include all facets of recent graph partitioning algorithms, including
shared-memory parallel and distributed algorithms, streaming algorithms,
exact algorithms, approximation algorithms, local search, genetic
algorithms, metaheuristics, hardness results, parameterized algorithms,
variations in objective functions and alternate partitioning primitives
(such as edge partitioning) or process mapping algorithms. For more details
please visit the website:
https://www.mdpi.com/journal/algorithms/special_issues/Graph_Partitioning

You may share this invitation with your team members and colleagues;
co-authors are most welcome.

Please let me know within a month or as soon as possible if you and your
colleagues are interested in submitting a manuscript for this special
issue. If more time is needed, please feel free to tell us (
algorithms@mdpi.com). Your contribution would be most welcome.

Algorithms is 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 (APC) of CHF 850 applies
to accepted papers. You may be entitled to a discount if you have
previously received a discount code or if your institute is participating
in the MDPI Institutional Open Access Program (IOAP); for more information
see:http://www.mdpi.com/about/ioap.

For further details on the submission process, please see the instructions
for authors at the journal website (
http://www.mdpi.com/journal/algorithms/instructions).

We hope this topic is of interest to you and look forward to collaborating
with you in the near future.

/Best regards, Darren Strash and Christian Schulz/
/Guest Editors/


Submission information:
Research articles, review articles as well as short communications are
invited.

Submitted manuscripts should not have been published previously nor be
under consideration for publication elsewhere, except for in conference
proceedings. All submissions will be thoroughly refereed through a
peer-review process. Manuscripts should be submitted online atwww.mdpi.com
after registering and logging in.

Accepted articles will be published continuously in the journal (as soon as
accepted) and will be listed together on the special issue website. A guide
for authors and other information related to the submission of manuscripts
is available on the "Instructions for Authors" page. The article processing
charge for publication in this open access journal is also listed on the
journal's webpage.

Deadline:
The deadline for manuscript submissions is 30 June 2019.

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 quarterly by MDPI.


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

[DMANET] Call for papers: ATMOS 2019

Apologies for any cross-postings.
-----------------------------------------

ATMOS 2019: Call for papers
19th Symposium on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems

12-13 September 2019, Munich, Germany - ATMOS 2019 will be part of ALGO 2019
https://algo2019.ak.in.tum.de/


ATMOS – The Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems is an international forum for researchers in the area of optimization methods and algorithms to facilitate planning and operational management of freight and passenger transportation and traffic.
The symposium brings together researchers and practitioners who are interested in all aspects of algorithmic methods and models for transport optimization. The symposium provides a forum for the exchange and dissemination of new ideas and techniques. The aim of making transportation better gives rise to very complex and large-scale optimization problems requiring innovative solution techniques and ideas from mathematical optimization, theoretical computer science, and operations research. Tools and methodologies include those from graph and network algorithms, combinatorial optimization, approximation and online algorithms, stochastic and robust optimization.

----------------------------------------------------------
IMPORTANT DATES
Submission deadline: 26 June 2019
Notification: 25 July 2019
Conference: 12-13 September 2019

----------------------------------------------------------
TOPICS
The symposium welcomes but is not limited to papers addressing the following challenges:
Demand Forecasting
Models for User Behaviour
Design of Pricing Systems
Infrastructure Planning
Multi-modal Transport Optimization
Mobile Applications for Transport
Congestion Modelling and Reduction
Line Planning
Timetable Generation
Routing and Platform Assignment
Vehicle Scheduling
Route Planning
Crew and Duty Scheduling
Rostering
Real time re-scheduling and disruption management
Delay Management
Routing in Road Networks
Traffic Guidance
Electro Mobility

The symposium welcomes but is not limited to papers applying and advancing the following techniques:
Graph and Network Algorithms
Combinatorial Optimization
Mathematical Programming
Approximation Algorithms
Methods for the Integration of Planning Stages, Stochastic and Robust Optimization
Online and Real-time Algorithms
Algorithmic Game Theory
Heuristics for Real-world Instances
Simulation Tools

----------------------------------------------------------
SUBMISSION
Authors are invited to submit an extended abstract or full paper of at most 12 pages (including title page and abstract, but not counting references and an optional appendix). Submissions must be formatted in LaTeX, using the OASIcs style file:
www.dagstuhl.de/en/publications/oasics/instructions-for-authors/<http://www.dagstuhl.de/en/publications/oasics/instructions-for-authors/>

The paper should contain a succinct statement of the issues and of their motivation, a summary of the main results, and a brief explanation of their significance, accessible to non-specialist readers. Proofs omitted due to space constraints can be put into an appendix to be read by the program committee members at their discretion. Papers must be submitted electronically via the EasyChair submisson system at
https:easychair.org/conferences/?conf=atmos2019

The submission must be received by June 26, 2019. By submitting a paper the authors acknowledge that in case of acceptance at least one of the authors must register at ALGO 2019 or ATMOS 2019, attend the conference, and present the paper.

----------------------------------------------------------
PUBLICATION
The proceedings of ATMOS 2019 will be published online and as open-access in the Dagstuhl Open Access Series in Informatics (OASIcs).
There will be a Best Paper Award.

----------------------------------------------------------
INVITED SPEAKER
Dorothea Wagner, Karlsruhe Institute of Technology

----------------------------------------------------------
PROGRAM COMMITTEE
Valentina Cacchiani (co-Chair), University of Bologna
Giuseppe Italiano, LUISS, Roma
Natalia Kliewer, Freie University of Berlin
Spyros Kontogiannis, University of Ioannina
Jesper Larsen, Technical University of Denmark
Marco Laumanns, IBM Research, Zurich
Alberto Marchetti Spaccamela (co-Chair), Sapienza University of Rome
Juan Mesa, University of Seville
Matúš Mihalák, Maastricht University
Matthias Müller-Hannemann, University of Halle-Wittenberg
Grammati Pantziou, University of Western Attica, Athens
Marie Schmidt, Erasmus University, Rotterdam
Sebastian Stiller, Technical University Braunschweig
Sabine Storandt, University of Würzburg

----------------------------------------------------------
ORGANIZING COMMITTEE (ALGO)
Susanne Albers – Technical University of Munich
Ernst Bayer – Technical University of Munich
Gabriele Doblander – Technical University of Munich


On behalf of the Program Committee
Valentina Cacchiani and Alberto Marchetti Spaccamela

**********************************************************
*
* 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] EAI GOODTECHS 2019, Firm Deadline Aproaching - Valencia, Spain, 25/09 - 27/09

********************************************************************
*
* Call for Papers
*
* GoodTechs 2019
*
* 5th EAI International Conference on
* Smart Objects and Technologies for Social Good
*
* September 25-27, 2019
*
* Submissions due: May 1st, 2019 [Firm Deadline]
*
********************************************************************


SCOPE
======

By social good we refer to a "good" or a service that benefits the
largest number of people in the largest possible way. Some classic
examples of social goods are, of course, healthcare, safety,
environment, democracy, and human rights, but we can add to this
classic list even communication, art, entertainment and much more.

In this context, the popularity of portable computing devices, like
smartphones, tablets, or smart watches combined with the emergence of
many other small smart objects with computational, sensing and
communication capabilities coupled with the popularity of social
networks and new human-technology interaction paradigms is creating
unprecedented opportunities for each of us to do something useful,
ranging from a single person to the whole world. Furthermore, Internet
of Things, Smart-cities, distributed sensing and Fog computing are
representative examples of modern ICT paradigms that aim to describe a
dynamic and globally cooperative infrastructure built upon objects'
intelligence and self-configuring capabilities. These connected
objects are finding their way into our pockets, vehicles, urban areas
and infrastructure, thus becoming the very texture of our society and
providing us the possibility, but also the responsibility, to shape it.

In GOODTECHS we are hence interested in experiences with the design,
implementation, deployment, operation and evaluation of smart objects
and technologies for social good. Clearly, we are not considering only
the so called first world as the scenario for this evolution; we also
refer to those areas where ICT is currently less widespread, hoping
that it may represent a societal development opportunity rather than a
source for further divide.

Topics
Authors are solicited to submit original, previously unpublished
papers in the following, but not limited to topic areas:

- App concepts and technologies for different mobile platforms
- Blockchain for social good
- Communication between mobile devices
- Content Distribution
- E-learning solutions
- Data collection, organization and dissemination methods
- Delay-tolerant aerial networks and ferrying approaches
- Deployment and field-testing
- Digital tools for art and feelings
- Environment sensing, monitoring and preservation
- Experimental results of communication testbeds
- Game, entertainment, and multimedia applications
- Health and social care
- Human-object interaction
- ICT for development
- Mobile service architectures and frameworks
- Mobility and handover management
- New application scenarios for vehicular communications
- Pervasive and ubiquitous services in cloud and IoT
- Platforms and frameworks for mobile devices
- Privacy issues and solutions
- Protocol design, testing and verification
- Security issues, architectures and solutions
- Smart cities and transportation
- Smart economy solutions: e-banking, e-business
- Smart governance and e-administration
- Smart living and E-health
- Technology addressing the digital divide

SPECIAL SESSIONS
================

In addition to the main conference, GOODTECHS19 features special
sessions, aimed to emphasize emerging topics not fully or not
specifically covered in the main conference. Special sessions
highlight current topics related to experiences with the design,
implementation, deployment, operation and evaluation of smart objects
and technologies for social good.

Presentations delivered during the events should be based on original
papers, selected through a peer-review process and that have not been
previously published. Accepted papers will be included in the
Conference Proceedings.

For more information please refer to the main conference website:
http://goodtechs.eu

PUBLICATION
===========

All registered papers will be published by ACM and made available
through ACM Digital Library.

Papers should be in English.
Regular papers should be up to 6 pages in length.
Short papers should be up to 4 pages in length.
Previously published work may not be submitted, nor may the work be
concurrently submitted to any other conference or journal. Such papers
will be rejected without review.
Proceedings will be submitted for inclusion in leading indexing
services, Ei Compendex, ISI Web of Science, Scopus, CrossRef, Google
Scholar, DBLP, as well as EAI's own EU Digital Library (EUDL).

Authors of selected best accepted and presented papers will be invited
to submit an extended version to:

- Springer Mobile Networks and Applications (MONET) Journal (IF: 2.497)
- Wiley Concurrency and Computation: Practice and Experience Journal
(IF: 1.114)

All accepted authors are eligible to submit an extended version in a
fast track of:

- EAI Endorsed Transactions on Cloud Systems
- EAI Endorsed Transactions on Serious Games


SUBMISSION
==========

Papers should be submitted through EAI 'Confy' system
(https://confyplus.eai.eu/app#conftrack-overview/conf/52608/cid/52655), and
have to comply with the ACM format (see Author's kit section).

IMPORTANT DATES
===============

Full Paper Submission deadline: May 1, 2019
Notification deadline: June 1, 2019
Camera-ready deadline: July 1, 2019
Start of Conference: September 25, 2019
End of Conference: September 27, 2019

--
Giacomo Quadrio
Ph.D student
University of Padua
Department of Mathematics
Via Trieste, 63 - Office 731
35121, Padua, Italy


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

[DMANET] [CFP] Workshop on Data Science for Health Systems 2019 (Zagreb, Croatia) [with ICUFN 2019, July 2 (Tue.) ~ July 5 (Fri.) 2019]

---------------------------------------------------------
Our apologies if you receive multiple copies of this CFP
---------------------------------------------------------

CALL FOR PAPERS for DSHS 2019

1st International Workshop on Data Science for Health Systems (DSHS 2019)

In conjunction with the 11th International Conference on Ubiquitous and
Future Networks (ICUFN)
co-sponsored by IEEE ComSoc and IEICE Communications Society technically.
(July 2 to 5, 2019 in Zagreb, Croatia)

http://icufn.org/?page_id=401

We are pleased to invite you to submit original contributions to DSHS 2019.

==========================================================
IMPORTANT DATES
Paper due: April 30, 2019
Author Notification: May 10, 2019
Camera-ready due: May 15, 2019
==========================================================

CALL FOR PAPERS

What is currently referred to as Data Science is object of research since
the sixties. It is an interdisciplinary area that has recently gained a lot
momentum since it became clear that the insights present in the massive and
increasing amount of available digital data, commonly referred to as "big
data", can re-shape a broad range of socio-economic activities, such as
retail, finance, healthcare, energy, telcos, media, government, and many
others.
Among all these applications of the discipline, Data Science for Health
Systems have attracted a lot of research efforts. It consists unlocking
hidden insights in biomedical big data sets, and provide answers to ongoing
biomedical problems. The ICT technologies that are expected to have a
crucial role in data science for health systems include big data
management, virtualization and visualization technologies, machine
learning. This branch of Data Science is considered essential means
tackling numerous challenges in many heath-related fields, such as
medicine, pharmacology and synthetic biology. The interdisciplinary nature
of the area has prompted the creation of research projects and working
groups that brings together researchers from different areas.

The 1st International Workshop on Data Science for Health Systems aims at
providing an opportunity for researchers to meet, exchange research ideas
and compare innovative solutions.

TECHNICAL TOPICS

Biomedical Data Management
Cloud usage for deploying and analyzing Biomedical Applications.
Cloud genomics.
Open-source packages for analyzing biomedical data.
Data Science and Molecular Communication Systems
Processing platforms for Data Science for Health Systems
Data Science for drug discovery and delivery
Data Science for intelligent treatment
Innovative models for biomedical data representation, visualization and
processing.
Simulation and emulation of biomedical processes
Combination of Data Science and Molecular Communication Systems
Scalability issues
Exploitation of Cross-sectorial dependencies.
Novel analytic techniques and benchmarking systems
Ethical issues in Data Science for Biomedical applications
ICT for omics sciences

SUBMISSIONS

All papers must be submitted electronically, in PDF format, and uploaded on
EDAS. The direct link for paper submission is
https://edas.info/newPaper.php?c=25428&track=96180. There are two options
for the submissions, either a full paper or a short paper. We decided to
allow the submission of short papers in order to accommodate the most
recent research outcomes. The submissions should be formatted with
single-spaced, double-column pages using at least 10 pt (or higher) size
fonts on A4 or letter pages in IEEE style format. The maximum number of
pages is 6 for full papers and 2 for short papers. Detailed formatting and
submission instructions will be available on the conference web site (
http://www.icufn.org).

All ICUFN 2019 authors whose papers are accepted for publication in
conference proceeding are invited to submit their extended papers (30%
minimum, 50% or more is desirable) over 4 pages long to the special issue
on "selected papers from ICUFN 2019".

Final recommendation will be made based on the paper's quality. Authors of
the accepted papers do not have to pay any open access publication fee of
ICT Express journal.


CONTACT US:

gianluca.reali@unipg.it
reza.malekian@mau.se

WORKSHOP CHAIRS:

GianlucaReali
Department of Engineering, University of Perugia.
Via G. Duranti, 93 06125 Perugia, Italy.
E-mail: gianluca.reali@unipg.it

Reza Malekian
Department of Computer Science and Media Technology, Malmö University,
Sweden
And Department of Electrical, Electronic and Computer Engineering,
University of Pretoria, South Africa
reza.malekian@mau.se

TECHNICAL PROGRAM COMMITTEE MEMBERS:

Roberto Zicari, University of Frankfurt, Germany
Mauro Femminella, University of Perugia, Italy
Emilia Nunzi, University of Perugia , Italy
Wouter Tavernier, University of Ghent, Belgium
Weisi Guo, University of Warwick, UK
Kishor K. Nair, Council for Scientific and Industrial Research (CSIR),
South Africa
Chun Tung Chou, University of South Wales, Sydney, Australia
Lakshmi Nair, Elenjical solutions, South Africa
Yuri Demchenko, University od Amsterdam, The Netherlands.

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

Thursday, April 25, 2019

[DMANET] CiE 2019: Final Call for Informal Presentations

========================================
CiE 2019 FINAL CALL FOR INFORMAL PRESENTATIONS:
=========================================
CiE 2019: Computing with Foresight and Industry
Durham, United Kingdom
July 15 - July 19, 2019
https://community.dur.ac.uk/cie.2019/
http://www.computability.org.uk

IMPORTANT DATES:
============================
Deadline for informal presentations submission: 1 May 2019
(The notifications of acceptance for informal presentations will be sent a few days after submission.)

Early registration before: 17 May 2019

CiE 2019 is the 15th conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.

Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest (2015), Paris (2016), Turku (2017) and Kiel (2018).

TUTORIAL SPEAKERS:
==================
- Markus Holzer (JLU Giessen)
- Assia Mahboubi (University of Nantes)

INVITED SPEAKERS:
=================
- Felipe Cucker (City University of Hong Kong)
- Ursula Martin (University of Oxford)
- Alexander Schönhuth (CWI, Amsterdam)
- Sonja Smets (University of Amsterdam)
- Linda Brown Westrick (Penn State)

HOSTED BY:
=============
Algorithms and Complexity in Durham (ACiD), a research group in the Department of Computer Science, Durham University

For questions please contact the organisers at the e-mail address cie.2019@durham.ac.uk.

SPECIAL SESSIONS:
=================
Computational Neuroscience, organised by Noura Al Moubayed (Durham University) and Jason Connolly (Durham University)

- Ulrik Beierholm (Durham University)
- Netta Cohen (Leeds University)
- Evelyne Sernagor (Newcastle University)
- V Anne Smith (University of St Andrews)

History and Philosophy of Computing, organised by the Council of the HaPoC Commission

- Tony Hoare (University of Oxford, via Skype)
- Michael Jackson (Open University)
- Ray Turner (University of Essex)

Lowness Notions in Computability, organised by Johanna Franklin (Hofstra University) and Joseph S. Miller (University of Wisconsin-Madison)

- Kenshi Miyabe (Meiji University)
- Benoit Monin (LACL, Créteil University)
- Keng Meng Ng (Nanyang Technological University)
- Don Stull (LORIA)

Probabilistic Programming and Higher-Order Computation, organised by Christine Tasson (Paris Diderot University)

- Thomas Ehrhard (IRIF, Paris Diderot University)
- Cameron Freer (MIT)
- Joost-Pieter Katoen (RWTH Aachen)
- Sam Staton (University of Oxford)

Smoothed and Probabilistic Analysis of Algorithms, organised by Bodo Manthey (University of Twente)

- Sophie Huiberts (CWI, Amsterdam)
- Stefan Klootwijk (University of Twente)
- Clemens Rösner (University of Bonn)
- Sebastian Wild (University of Waterloo)

Transfinite Computations, organised by Sabrina Ouazzani (LIX, École Polytechnique)

- Merlin Carl (University of Konstanz)
- Lorenzo Galeotti (University of Hamburg)
- Benjamin Rin (Utrecht University)
- Philip Welch (University of Bristol)

CONTRIBUTED PAPERS:
===================

The list of accepted papers can be found at https://community.dur.ac.uk/cie.2019/.

INFORMAL PRESENTATIONS:
=======================

Continuing the tradition of past CiE conferences, we invite researchers to present informal presentations of their recent work. A proposal for an informal presentation must be submitted via EasyChair (https://easychair.org/conferences/?conf=cie2019), using the LNCS style file (available at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines) and be 1 page; a brief description of the results suffices and an abstract is not required. Informal presentations will not be published in the LNCS conference proceedings. Results presented as informal presentations at CiE 2019 may appear or may have appeared in other conferences with formal proceedings and/or in journals.

WOMEN IN COMPUTABILITY:
=======================

We are very happy to announce that within the framework of the Women in Computability programme, sponsored by ACM-Women, we are able to offer four grants of up to 250 EUR for junior female researchers who want to participate in CiE 2019. Applications for this grant should be sent to Liesbeth De Mol, liesbeth.demol@univ-lille3.fr, before 15 May 2019 and include a short cv (at most 2 pages) and contact information for an academic reference. Preference will be given to junior female researchers who are presenting a paper (including informal presentations) at CiE 2019.

HaPoc Travel Grants
======================

The HaPoc Council offers two HaPoC travel grants of 250USD each to support participation in the conference. To be eligible for a grant, an accepted paper or informal presentation in the area of history and/or philosophy of computing is required. Applications for these grants must be made to HaPoC directly, see hapoc.org/node/284 for further details.

ASL Travel Grants
======================

Students, who are members of the Association for Symbolic Logic, may apply for (limited) ASL travel funds that the ASL is making available for sponsored meetings. See aslonline.org/meetings/student-travel-awards/.


Association CiE:
http://www.computability.org.uk

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

[DMANET] Call for Participation: HALG 2019 (Highlights of Algorithms)

-------------------------------------------------------------------
4rd Highlights of Algorithms conference (HALG 2019)
Copenhagen, June 14-16, 2019
http://highlightsofalgorithms.org/

The Highlights of Algorithms conference is a forum for presenting the
highlights of recent developments in algorithms and for discussing
potential further advances in this area. The conference will provide a
broad picture of the latest research in algorithms through a series of
invited talks, as well as the possibility for all researchers and
students to present their recent results through a series of short
talks and poster presentations. Attending the Highlights of Algorithms
conference will also be an opportunity for networking and meeting
leading researchers in algorithms.
-------------------------------------------------------------------

PROGRAM

The conference will begin on Friday, June 14, at 9:00 and end on
Sunday, June 16, at 18:00. A detailed schedule and a list of all
accepted short contributions can be found at:
2018.highlightsofalgorithms.org/programme.

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

REGISTRATION

Please register on our webpage
http://highlightsofalgorithms.org/registration
We have done our best to keep registration fees at a minimum:

Early registration (by April 29, 2019)
- academic rate (incl. postdocs): 160€
- student rate: 115€

Regular registration will be 50€ more expensive.

The organizers strongly recommend that you book your hotel as soon as possible.

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

CONFERENCE VENUE

The conference will take place at the H.C. Ørsted Institute of the
University of Copenhagen.
The address is: Universitetsparken 5, DK-2100 Copenhagen.

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

INVITED SPEAKERS

Survey speakers:
Monika Henzinger (University of Vienna)
Thomas Vidick (California Institute of Technology)
Laszlo Vegh (London School of Economics)
James Lee (University of Washington)
Timothy Chan (University of Illinois at Urbana-Champaign)
Sergei Vassilvitskii (Google, New York)

Invited talks:
Martin Grohe (RWTH Aachen University)
Josh Alman (MIT)
Nima Anari (Stanford University)
Michal Koucký (Charles University)
Naveen Garg (IIT Delhi)
Vera Traub (University of Bonn)
Rico Zenklusen (ETH Zurich)
Shayan Oveis Gharan (University of Washington)
Greg Bodwin (MIT)
Cliff Stein (Columbia University)
Sungjin Im (University of California at Merced)
C. Seshadhriy (University of California, Santa Cruz)
Shay Moran (Technion)
Bundit Laekhanukit (Shanghai University of Finance and Economics)
Sebastien Bubeck (Microsoft Research, Redmond)
Sushant Sachdeva (University of Toronto)
Kunal Talwar (Google Brain)
Moses Charikar (Stanford University)
Shuichi Hirahara (University of Tokyo)

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

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