Monday, April 15, 2019

[DMANET] Doctoral Position available within the Marie-Curie ITN MINOA on mixed-integer non-linear optimisation

The Friedrich-Alexander University invites applications for a doctoral
position within the ITN MINOA ("Mixed-Integer Non-Linear Optimisation
Applications")

A position as a doctoral researcher is available at the
Friedrich-Alexander University Erlangen-Nuremberg (FAU), Germany, chair
"Wirtschaftsmathematik", within the Marie Curie ITN MINOA. You will be
supervised by Frauke Liers (FAU) and by Martin Schmidt (Trier
University). We are seeking highly motivated and qualified early-stage
researchers (ESRs) that are looking for obtaining a doctoral degree in
mathematics.

You will be trained through an innovative training program based on your
individual research project in exact optimisation approaches for energy
market design.

The hosting group: The optimisation group at FAU has key expertise in
modeling and solving complex and very large-scale planning and
optimisation problems from logistics, energy, production, engineering,
and the natural sciences. The chair "Wirtschaftsmathematik" currently
consists of two professors, 6 postdocs and about 15 PhD students. Each
year about three PhD students finish their thesis. The group
participates in many projects funded by the DFG, the BMBF, or the BMWi,
e.g., with the German Aerospace Center (DLR) and German Railways. In
particular, the group collaborates in the Collaborative Research Center
TRR 154 "Mathematical Modelling, Simulation and Optimisation Using the
Example of Gas Networks". You will be part of the MINOA network. The
latter consists of eleven academic partners institutions and six
industrial partners from six different countries in Europe.

Who can apply?
You are eligible to apply for a position within the MINOA network, if
- you hold a M.Sc. degree by the starting date of the fellowship, in one
of the following areas: Mathematics, Computer Science, or in a closely
related field;
- you have not resided or carried out your main activity (work, studies,
etc.) in Germany for more than 12 months in the 3 years immediately
prior to your recruitment;
- at the time of recruitment, you are in the first four years (full-time
equivalent research experience) of your research career (after having
obtained your M.Sc. degree) and have not been awarded a doctoral degree;
- you are proficient in the English language.


What can you expect from a position in the MINOA ITN?
Once recruited, we will offer
- the possibility to work with us in a prestigious Horizon 2020 project;
- a full-time contract for 36 months;
- planned internships (secondments): IBM France (Pierre Bonami, 3
months) Trier University (Martin Schmidt, 2 months)
- participation in local events as well as in network-wide summer
schools with internationally well-known teachers. This furthermore
offers the possibility to get to know other Phd students from all over
the world.

How can you apply?
You will need to provide us with the following documents:
a) Letter of motivation (max. 1 page)
b) Copies of degree and academic transcripts (with grades and rankings)
c) Brief summary of Master's thesis (max. 1 page)
d) Short CV including a publication list (if any)

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

[DMANET] Postdoctoral positions in Liverpool and London

Two Postdoctoral Researchers for EPSRC-funded research project "quantMD: Ontology-Based Management of Many-Dimensional Quantitative Data" (1 October 2019 - 30 September 2022)

We are seeking to recruit two Postdoctoral Researchers for the new EPSRC-funded research project "quantMD: Ontology-Based Management of Many-Dimensional Quantitative Data", under the direction of Professor Frank Wolter (University of Liverpool) and Professor Michael Zakharyaschev (Birkbeck, University of London).

The successful applicants should have a PhD in Computer Science, Mathematics, or related discipline and research experience in one (or more) of the following areas:

- modal logic
- temporal logic
- description logic
- logic in computer science
- mathematical logic
- database theory
- automata theory

Your research tasks on the project will include developing and investigating new logic-based formalisms for representing knowledge about temporal quantitative data (for example, data from sensors) and designing efficient algorithms for query answering. The project will include both theoretical and practical components, and you can contribute to either of them. In the theoretical part, we are interested in quantitative temporal ontology languages, many-dimensional combinations of temporal and description (or other) logics, quantitative temporal query languages. More practical work concerns the implementation of query answering algorithms and research on case studies in collaboration with our partners at the Free University of Bolzano and Ontopic (Italy), Siemens (Germany), Sirius (Norway), J. Pilsudski Institute (US), and Siris Academic (Spain).

Liverpool team: Prof Frank Wolter, Prof B Konev and Dr M Zimmerman

London team: Prof M Zakharyaschev, Dr R Kontchakov and Dr Vlad Ryzhikov


Salary range in Liverpool: £34,188 - £39,610 per annum

Salary range in London: £37,912 - £43,333 per annum.

The start date of the project is October 1, 2019. Interviews will be held in the second half of May.

Informal enquires on the role can be made by email to

Professor Frank Wolter via wolter@liverpool.ac.uk<mailto:wolter@liverpool.ac.uk><mailto:wolter@liverpool.ac.uk><mailto:wolter@liverpool.ac.uk>

Professor Michael Zakharyaschev via michael@dcs.bbk.ac.uk<mailto:michael@dcs.bbk.ac.uk><mailto:michael@dcs.bbk.ac.uk><mailto:michael@dcs.bbk.ac.uk>

Formal application

Liverpool: job reference 011437 at https://recruit.liverpool.ac.uk<https://recruit.liverpool.ac.uk/>

London: https://cis7.bbk.ac.uk/vacancy/postdoctoral-researcher--383691.html

Closing Date: 05-May-2019
--
Prof. Boris Konev
Head of Department of Computer Science
University of Liverpool
Liverpool, L69 3BX, UK
Email: konev@csc.liv.ac.uk<mailto:konev@csc.liv.ac.uk>
Tel: (+44) 151 795 4260
URL: http://www.csc.liv.ac.uk/~konev

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

[DMANET] [Deadline Approaching]: The 24th European Symposium on Research in Computer Security (ESORICS 2019)

================================================================================
*** Apologies for multiple copies ***

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

Twenty-fourth European Symposium on Research in Computer Security (ESORICS
2019)

Luxembourg -- September 23-27, 2019

WWW: https://esorics2019.uni.lu

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

Overview
---------
ESORICS is the annual European research event in Computer Security. The
Symposium started in 1990 and has been held in several European countries,
attracting a wide international audience from both the academic and
industrial communities. Papers offering novel research contributions in
computer security are solicited for submission to the 2019 Symposium, to be
held in Luxembourg. The primary focus is on original, high quality,
unpublished research and implementation experiences. We encourage
submissions of papers discussing industrial research and development.

Important Dates
----------------
* Title and Abstract deadline: April 22, 2019 (11:59 p.m. American Samoa
time, UTC-11)
* Paper submission deadline: April 29, 2019 (11:59 p.m. American Samoa
time, UTC-11)
* Notification to authors: June 21, 2019
* Camera ready due: July 9, 2019

Topics of Interest
-------------------
Topics of interest include, but are not limited to:
* access control
* accountability
* ad hoc networks
* anonymity
* applied cryptography
* authentication
* biometrics
* blockchain and finance security
* data and computation integrity
* database security
* data protection
* deep learning for attack and defense
* digital content protection
* digital forensics
* distributed systems security
* embedded systems security
* inference control
* information hiding
* identity management
* information flow control
* information security governance and management
* intrusion detection
* formal security methods
* language-based security
* network security
* phishing and spam prevention
* privacy
* privacy preserving data mining
* risk analysis and management
* secure electronic voting
* security architectures
* security economics
* security metrics
* security models
* security and privacy for big data
* security and privacy in cloud scenarios
* security and privacy in complex systems
* security and privacy in content centric networking
* security and privacy in crowdsourcing
* security and privacy in the IoT
* security and privacy in location services
* security and privacy for mobile code
* security and privacy in pervasive / ubiquitous computing
* security and privacy policies
* security and privacy in social networks
* security and privacy in web services
* security and privacy in cyber-physical systems
* security, privacy and resilience in critical infrastructures
* security verification
* software security
* systems security
* trust models and management
* trustworthy user devices
* usable security and privacy
* web security
* wireless security


Paper Submission Guidelines
----------------------------
Submissions must be made through EasyChair at:
https://easychair.org/conferences/?conf=esorics19

Submitted papers must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal or a
conference/workshop with proceedings. The symposium proceedings will be
published by Springer in the Lecture Notes in Computer Science series
(LNCS).

All submissions should follow the LNCS template ( available from
http://www.springer.de/comp/lncs/authors.html ) from the time they are
submitted. Submitted papers should be at most 16 pages (using 10-point
font), excluding the bibliography and well-marked appendices, and at most
20 pages total. Committee members are not required to read the appendices,
so the paper should be intelligible without them. All submissions must be
written in English.

Submissions are to be made to the submission web site. Only pdf files will
be accepted. Submissions not meeting these guidelines risk rejection
without consideration of their merits. Authors of accepted papers must
agree with Springer LNCS copyright and guarantee that their papers will be
presented at the conference.

Papers must be received by the aforementioned dates, 11:59 p.m. American
Samoa time (UTC-11).

Organisation Committee
-----------------------
General Chair:

* Peter Y A Ryan, University of Luxembourg, Luxembourg

Organization Chair:

* Peter B Roenne, University of Luxembourg, Luxembourg

Workshop Chair:

* Joaquin Garcia-Alfaro,Telecom SudParis, France

Program Committee Chairs:

* Kazue Sako, NEC Japan
* Steve Schneider, University of Surrey, UK

Program Committee:

Cristina Alcaraz, University of Malaga, Spain
Elli Androulaki, IBM, Switzerland
Frederik Armknecht, University of Mannheim, Germany
Vijay Atluri, Rutgers University, USA
Marina Blanton, University at Buffalo, USA
Carlo Blundo, Universita` degli Studi di Salerno, Italy
Christian Cachin, University of Bern, Switzerland
Alvaro Cardenas, University of Texas at Dallas, USA
Aldar Chan, University of Hong Kong, HK
Yan Chen, Northwestern University, USA
Sherman S. M. Chow, Chinese University of Hong Kong, HK
Mauro Conti, University of Padua, Italy
Jorge Cuellar, Siemens A.G., Germany
Frederic Cuppens, TELECOM Bretagne, France
Nora Cuppens-Boulahia, TELECOM Bretagne, France
Marc Dacier, EURECOM, France
Sabrina De Capitani di Vimercati, Università degli studi di Milano, Italy
Hervé Debar, Télécom SudParis, France
Stéphanie Delaune, IRISA, France
Roberto Di Pietro, Hamad Bin Khalifa University (HBKU), Qatar
Josep Domingo-Ferrer, University Rovira-Virgili, Spain
Haixin Duan, Tsinghua University, China
Francois Dupressoir, University of Surrey, UK
Jose Fernandez, Polytechnique Montreal, Canada
Jose-Luis Ferrer-Gomila, UIB, Spain
Simone Fischer-Hübner, Karlstad University, Sweden
Simon Foley, IMT Atlantique, France
Sara Foresti, Università degli studi di Milano, Italy
David Galindo, University of Birmingham, UK
Debin Gao, SMU, Singapore
Dieter Gollmann, Hamburg University of Technology, Germany
Stefanos Gritzalis, University of the Aegean, Greece
Guofei Gu, Texas A&M University, USA
Juan Hernandez, UPC, Spain
Xinyi Huang, Fujian Normal University, China
Ghassan Karame, NEC Labs Europe, Germany
Vasilios Katos, Bournemouth University, UK
Sokratis Katsikas, NTNU, Norway
Stefan Katzenbeisser TU Darmstadt, Germany
Steve Kremer, INRIA Nancy-Grand Est, France
Marina Krotofil, FireEye, USA
Costas Lambrinoudakis, University of Piraeus, Greece
Yingjiu Li, SMU, Singapore
Kaitai Liang, University of Surrey, UK
Hoon Wei Lim, SingTel, Singapore
Joseph Liu, Monash University, Australia
Peng Liu, Pennsylvania State University, USA
Xiapu Luo, Hong Kong Polytechnic University, HK
Konstantinos Markantonakis, RHUL, UK
Fabio Martinelli, IIT-CNR, Italy
Ivan Martinovic, University of Oxford, UK
Sjouke Mauw, University of Luxembourg, Luxembourg
Catherine Meadows, Naval Research Laboratory, USA
Weizhi Meng, DTU, Denmark
Chris Mitchell, RHUL, UK
John C. Mitchell, Stanford University, USA
Tatsuya Mori, Waseda University, Japan
Haris Mouratidis, University of Brighton, UK
David Naccache, Ecole Normale Suprieure, France
Satoshi Obana, Hosei University, Japan
Martin Ochoa, SUTD, Singapore
Rolf Oppliger, eSECURITY Technologies, Switzerland
Andrew Paverd, Microsoft Research Cambridge, UK
Olivier Pereira, UCL, Belgium
Günther Pernul, Universität Regensburg, Germany
Christina Popper, New York University, US
Joachim Posegga, University of Passau, Germany
Bart Preneel, Katholieke Universiteit Leuven, Belgium
Indrajiti Ray, Colorado State University, USA
Giovanni Russello, University of Auckland, New Zealand
Mark Ryan, University of Birmingham, UK
Rei Safavi-Naini, University of Calgary, Canada
Kazue Sako, NEC, Japan
Pierangela Samarati, Universitá degli studi di Milano, Italy
Damien Sauveron, XLIM, France
Steve Schneider, University of Surrey, UK
Einar Snekkenes, Gjovik University College, Norway
Pawel Szalachowski, SUTD, Singapore
Willy Susilo, University of Wollongong, Australia
Qiang Tang, LIST, Luxembourg
Juan Tapiador, Universidad Carlos III de Madrid, Spain
Nils Ole Tippenhauer, SUTD, Singapore
Helen Treharne, University of Surrey, UK
Aggeliki Tsohou, Ionian University, Greece
Jaideep Vaidya, Rutgers University, USA
Luca Viganò, King's College London, UK
Michael Waidner, Fraunhofer SIT, Germany
Cong Wang, City University of Hong Kong, HK
Lingyu Wang, Concordia University, Canada
Edgar Weippl, SBA Research, Austria
Christos Xenakis, University of Piraeus, Greece
Zhe Xia, Wuhan University of Technology, China
Kehuan Zhang, Chinese University of Hong Kong, HK
Sencun Zhu, Pennsylvania State University, 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] one PhD Position in Probabilistic Combinatorics at TU Graz, Austria

One PhD Position in Probabilistic Combinatorics at TU Graz, Austria

We are seeking outstanding PhD candidates with interest and experience
in probabilistic combinatorics. The successful PhD candidates will
pursue their PhD degrees within

Project 15 'Random graphs on a surface'

of the Doctoral Program 'Discrete Mathematics', under the supervision of
Univ.-Prof. Mihyun Kang as a member of the Combinatorics Group
(https://www.math.tugraz.at/comb/) at the Graz University of Technology.

For the description of possible PhD topics see
https://www.math.tugraz.at/discrete/index.php?link=projects&link2=15


Qualifications and condition of employment:

- Strong track record of mathematical studies
- Master's degree in mathematics or theoretical computer science is
required to be employed, but does not necessarily have to be awarded at
the time of application

Length and salary:

- PhD position is for up to 4 years
- There is additional funding for extended research stays abroad
and attendance of conferences

Application documents:

- curriculum vitae (academic CV)
- a short description of your qualifications and experience (i.e.
list or transcript of courses, Diploma or Master thesis)
- a cover letter describing your scientific interests and your
preferred research topics as well as your earliest possible starting date

Please merge your application documents into a single pdf-file. The
application consisting of a single pdf-file should be submitted by
e-mail to discrete@tugraz.at

Please mention in the application e-mail and in the cover letter that
you are applying for Project 15 'Random graphs on a surface' of the
Doctoral Program 'Discrete Mathematics'.

One to three confidential reference letters (one by their master thesis
advisor) should directly be sent to discrete@tugraz.at.


Application deadline: 30 April 2019

Interview:
selected candidates will be invited to interview in May or July 019.


Further Information on Doctoral Program 'Discrete Mathematics':
https://www.math.tugraz.at/discrete/


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

Saturday, April 13, 2019

[DMANET] Call for submissions for the 12th International Workshop on Numerical Software Verification.

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: 24 April 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/
*
**********************************************************

Friday, April 12, 2019

[DMANET] AAIM 2019 Call For Papers

AAIM 2019
the 13th International Conference on Algorithmic Aspects in Information and Management
Beijing, China, August 6-8, 2019
http://theory.ict.ac.cn/aaim2019/index.html

Important Dates
=============
Submission due: May 10, 2019
Accept/reject announcement: June 10, 2019
Final version due: June 20, 2019


It will provide a forum on current trends of research on algorithms, data structures, and their applications. Interesting new results in all areas of algorithm design, operation research and combinatorial optimization and their applications are welcome. Both theoretical and experimental/applied works of general algorithmic interest are sought. Special considerations will be given to algorithmic research that is motivated by real-world applications. Experimental and applied papers are expected to show convincingly the usefulness and efficiency of the target algorithms in practical settings.


Typical, but not exclusive, topics of interest include:
• Algorithms and data structures;
• Algorithmic game theory and incentive analysis;
• Approximation algorithms and online algorithms;
• Automata, languages, logic, and computability;
• Bioinformatics, computational biology and medicine, and biomedical applications;
• Biomedical imaging algorithms;
• Combinatorial optimization;
• Combinatorics and discrete structures related to algorithms and complexity;
• Communication networks and optimization;
• Complexity theory;
• Computational algebra, geometry, number theory, and statistics;
• Computational learning theory, knowledge discovery, and data mining;
• Cryptography, reliability, and security;
• Database theory, large databases, and natural language processing;
• Experimental algorithmic methodologies;
• Geometric information processing and communication;
• Graph algorithms and theory;
• Graph drawing and information visualization;
• Internet algorithms and protocols;
• Large graph algorithms and social network analysis;
• Optimization algorithms in economic and operations research;
• Parallel and distributed computing and multicore algorithms;
• Parameterized algorithms, heuristics, and analysis;
• Pattern recognition algorithms;

• Trustworthy algorithms and trustworthy software.


Program Chairs
==========
Ding-Zhu Du (University of Texas at Dallas)
Lian Li (Hefei University of Technology)
Xiaoming Sun (Institute of Computing Technology, CAS)

Program Committee
=============
Ding-Zhu Du (University of Texas at Dallas)
Lian Li (Hefei University of Technology)
Xiaoming Sun (Institute of Computing Technology, Chinese Academy of Sciences)
Zhipeng Cai (Georgia State University)
Yongxi Cheng (Xi'an Jiaotong University)
Andras Farago (University of Texas at Dallas)
Xiaofeng Gao (Shanghai Jiaotong University)
Donghyun Kim (Kennesaw State University)
Minming Li (City University of Hong Kong)
Cong Tian (Xi'an University of Electronic Technology)
Guochuan Zhang (Zhejiang University)
Jialin Zhang (Institute of Computing Technology, Chinese Academy of Sciences)
Peng Zhang (Shandong University)
Zhao Zhang (Zhejiang Normal University)

--

Best Wishes,

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

[DMANET] Extended deadline (May 15, 2019) - Special Issue on on Social and Human Mining with Online Social Networks and Media

CALL FOR PAPERS

Elsevier - Online Social Networks and Media Journal
http://www.journals.elsevier.com/online-social-networks-and-media/

Special Issue on Social and Human Mining with Online Social Networks and Media

****** Deadline for Submissions Extended to May 15, 2019 ******

**************************************************************************************************************************************************************************
Manuscripts can be submitted continuously until the deadline. Once a paper is submitted, the review process will start immediately. Accepted papers will be published continuously in the journal (in the first issue available as soon as the paper is accepted). All accepted papers will be listed together in an online virtual special issue published in the journal website.
***************************************************************************************************************************************************************************

Online Social Networks and Media have a high scientific and economic value because the big data collected from these platforms provide a sort of social microscope to investigate and understand human behavior and interests, both in the cyber and in the physical world. The digital footprints that people leave in OSNEM provide a unique source to investigate and understand (by exploiting data mining, machine learning and complex network techniques) people's behavior (e.g., mobility patterns, opinions and interests spreading, polarization), and societal phenomena (the epidemics spreading, the terrorist networks, the diffusion of opinions, the pulse of a city, the spread of fake news, etc.) and develop innovative services.

This special issue seeks high-quality scientific articles (both theoretical and experimental) and survey papers focusing on using OSNEM data for modeling and understanding the human and social behavior in the cyber and physical world.

Topics include, but are not limited to:

- Social media analysis and social analytics;
- Measurement, analysis and modeling of social behavior through OSNEM data;
- User behavior modeling with OSNEM data;
- Analysis of the use of OSNEM in the urban context;
- OSNEM data for Open Source Intelligence
- Multidisciplinary applications of OSNEM (economics, medicine, society, politics, homeland security, etc.);
- Dynamics of trends, information and opinion diffusion in OSNEM;
- Recommendations and advertising in OSNEM;
- Spread of news, topics, and opinions;
- Modelling and characterisation of societal debates and polarization in OSNEM;
- Influence analysis and social influence;
- Identification of diffusion sources and influencers;
- Establishment and perception of trust and reputation in OSNEM;
- Detection/containment of fake news and related sources;
- Modelling/analysis/countermeasures to formation of echo chambers;
- Methods to modify/control/maximise information and opinion diffusion;
- Data-driven approaches to study information and opinion diffusion in OSNEM;

Guest Editors
Marco Conti, IIT-CNR, Italy
Andrea Passarella, IIT-CNR, Italy


*** Instructions for submission ***
Manuscripts must not have been previously published nor currently under review by other journals or conferences. Papers previously published in conference proceedings are eligible for submission if the submitted manuscript is a substantial revision and extension of the conference version. In this case, authors should indicate the previous publication(s) in the cover letter and are also required to submit their published conference article(s) and a summary document explaining the enhancements made in the journal version.
The submission website for this journal is located at https://www.evise.com/profile/#/OSNEM/login. Please select "SI_Social&Human_Mining" when you reach the "Article Type" step in the submission process. To ensure that all manuscripts are correctly identified, for consideration by the special issue, the authors should indicate in the cover letter that the manuscript has been submitted for the special issue on Social and Human Mining with Online Social Networks and Media.

For further information, please contact the guest editors at {m.conti,a.passarella} at iit.cnr.it
**********************************************************
*
* 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] GHENT GRAPH THEORY WORKSHOP on STRUCTURE and ALGORITHMS

GHENT GRAPH THEORY WORKSHOP
on
STRUCTURE and ALGORITHMS

You are cordially invited to attend the Ghent Graph Theory Workshop on
Structure and Algorithms, to be held on Monday through Wednesday, 12-14
August 2019 at Ghent University, Belgium. Speakers include:

Maria Chudnovsky (Princeton University, USA)
Bill Jackson (Queen Mary University of London, UK)
Brendan McKay (Australian National University, Australia)
Bojan Mohar (Simon Fraser University, Canada and University of Ljubljana,
Slovenia)

The website of the workshop is:
http://www.ggtw.ugent.be/

If you wish to attend, please register at:
http://www.ggtw.ugent.be/index.php?page=registration

For further questions, please e-mail us at:
ggtw@ugent.be

Kind regards,
Jan Goedgebeur
Nico Van Cleemput
Carol T. Zamfirescu

**********************************************************
*
* 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] Application of Artificial Intelligence

Dear Colleague,

On behalf of the Organizing Committee, we invite you to participate in
the special session (workshop) on
"Application of Artificial Intelligence in Optimization and Modeling"
at the International Conference on
High-Performance Computing 2019 (HPC 2019) will take place in
Borovets, Bulgaria, from 2-nd to 6-th of September 2019.

The session is organized by:
Prof. Stefka Fidanova (stefka@parallel.bas.bg)
from the Institute of Information and Communication Technologies
(former Institute for Parallel Processing), Bulgarian Academy of
Sciences and
Assoc. Prof. Vassia Atanassova (vassia.atanassova@gmail.com)
from the Institute of Biophysics and Biomedical Engineering
Bulgarian Academy of Sciences

The list of topics includes, but is not limited to:

combinatorial optimization
global optimization
multiobjective optimization
optimization in dynamic and/or noisy environments
large scale optimization
parallel and distributed approaches in optimization
random search algorithms,
simulated annealing,
tabu search
other derivative free optimization methods
nature inspired optimization methods (evolutionary algorithms, ant
colony optimization, particle swarm optimization, immune artificial
systems etc)
hybrid optimization algorithms involving natural computing
techniques and other global and local optimization methods
optimization methods for learning processes and data mining
computational optimization methods in statistics, econometrics,
finance, physics, medicine, biology, engineering etc
Generalized Nets
Neural Networks
Game Method for Modeling

After reviewing, presented papers will be published as a post
conference publication in the Springer series "Studies in
Computational Intelligence" (SJR 0.184).

Important deadlines
Deadline for submission of abstracts - April 15, 2019
Deadline for submission of full papers - May 15 2019
Notification of acceptance of full papers - July 05, 2019

Send the abstracts and papers to special session organizers and
conference organizers, indicating the name of the special session.
After sending the abstract go to the conference web page and fill in
the registration form (data of the participants, minimum one per
paper, and the name of the special session).

Information about abstract and paper preparation, accommodation,
transportation, registration form and conference location you can find
at the conference web page http://parallel.bas.bg/dpa/HPC_2019/

Special session organizers
Prof. Stefka Fidanova
Assoc. Prof. Vassia Atanassova


--
Prof. Stefka Fidanova
IICT-BAS
Acad. G. Bonchev str. bl.25A
1113 Sofia Bulgaria
Ph. +359-2-9796642
**********************************************************
*
* 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 11, 2019

[DMANET] Call for Participation - LAGOS 2019

Call for Participation

LAGOS 2019 - X Latin and American Algorithms, Graphs and Optimization
Symposium
http://lagos2019.dcc.ufmg.br

Belo Horizonte, Brazil
June 2nd – 7th, 2019

Registration is open <http://www.lagos2019.dcc.ufmg.br/?page_id=96> -
deadline for early rate is May 3rd.

The list of accepted papers <http://www.lagos2019.dcc.ufmg.br/?page_id=93>
is published.

Limited support for students is available
<http://www.lagos2019.dcc.ufmg.br/?page_id=250>.

Please forward this Call for Participation to your colleagues.

About the conference

LAGOS'2019 will be close to Belo Horizonte, Brazil. The previous editions
were held in Fortaleza, Brazil (GRACO 2001), Santiago, Chile (LACGA 2004),
Angra dos Reis, Brazil (GRACO 2005), Puerto Varas, Chile (LAGOS 2007),
Gramado, Brazil (LAGOS 2009), Bariloche, Argentina (LAGOS 2011), Playa del
Carmen, Mexico (LAGOS 2013), Fortaleza, Brazil (LAGOS2015) and Marseille,
France (LAGOS 2017). As in previous editions, the conference proceedings
will be published in a selected journal, Electronic Notes in Theoretical
Computer Science, and a special edition of Discrete Applied Mathematics
will be devoted to selected full papers after the conference.


Conference themes

Themes include, but are not limited to:

Algorithms and complexity: algorithms and computational complexity;
approximation algorithms; randomized algorithms; computational geometry;
parameterized complexity.

Operations Research and Mathematical Programming: combinatorial
optimization; integer programming; polyhedral combinatorics; operations
research and management science.

Graph Theory: cliques, dominating and independent sets; colorings; covering
and packing, factorization, matching; digraphs, tournaments; graph
algorithms; graphs and matrices; hypergraphs; perfect graphs; random
graphs; structural characterization of graph classes.

Applications: mathematical programming, combinatorial optimization,
continuous optimization, heuristics, and metaheuristics, applied to
real-world problems.

Confirmed Invited Speakers

Karen Aardal (Delft University of Technology, Netherlands)
Sebastian Cioabă (University of Delaware, USA)
Michael Fellows (University of Bergen, Norway)
Fabio Protti (UFF, Brazil)
Ignasi Sau (CNRS, LIRMM, Université de Montpellier, France)
Maya Stein (Universidad de Chile, Chile)
Vilmar Trevisan (UFRGS, Brazil)
Mario Valencia-Pabon (Université Paris-13, France)

A special session organized by Claudia Linhares (UFC, Brazil) in honor of
Frédéric Maffray will take place at the conference.

**********************************************************
*
* 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: Second call for papers

SAGT 2019

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.

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] [CFP] EAI GOODTECHS 2019, Extended Deadline to 1st May (Firm Deadline) - 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

--
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] 3-month PostDoc position in Computational Optimization

Dear colleagues,

we are currently recruiting a postdoctoral researcher for a short-term
(3-month) position within the research project "Optimization and
Analysis of Large-Scale Networks". The successful candidate will be
located at the Department of Statistics and Operations Research at the
University of Vienna, Austria, and work together with Mario Ruthmair
(University of Vienna) and Markus Leitner (Vrije Universiteit Amsterdam).

The candidate should have experience with advanced modeling and solution
techniques in mixed integer linear programming, e.g., Branch-and-Cut,
Branch-and-Price, Benders decomposition. Programming skills (preferably
in C++, Java, Python, or Julia) in relation with some solver software
(CPLEX, Gurobi, etc.) are strongly required.

The monthly salary for this position, which should be filled as soon as
possible (at the latest in July 2019) is about 3.800 Euro gross.

If you are interested please send your CV by mail to Mario Ruthmair
(mario.ruthmair@univie.ac.at) and Markus Leitner (m.leitner@vu.nl).
**********************************************************
*
* 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] Strategic Reasoning 2019: extended deadline April 19, 2019

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

                     SR 2019 - Call for Contributions

         7th International Workshop on Strategic Reasoning

                   Macao, China, 11-12 August 2019

                       http://sr2019.irisa.fr/

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

Strategic reasoning is a key topic in multi-agent systems research.
The extensive literature in the field includes a variety of logics used
for modeling strategic ability. Results from the field
are now being used in many exciting domains such as
information system security, adaptive strategies for robot teams,
and automatic players capable to outperform human experts.
A common feature in all these application domains is the requirement for
sound theoretical foundations and tools accounting for the strategies
that artificial agents may adopt in the situation of conflict and
cooperation.

The SR international workshop series aims to bring together researchers
working
on different aspects of strategic reasoning in computer science, both from a
theoretical and a practical point of view.

SR 2019 will be held with IJCAI 2019 in Macao, China.

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

TOPICS OF INTEREST

The topics covered by SR include, but are not limited to, the
following:

* Logics for reasoning about strategic abilities;
* Logics for multi-agent mechanism design, verification, and synthesis;
* Logical foundations of decision theory for multi-agent systems;
* Strategic reasoning in formal verification;
* Automata theory for strategy synthesis;
* Strategic reasoning under perfect and imperfect information;
* Applications and tools for cooperative and adversarial reasoning;
* Robust planning and optimisation in multi-agent systems;
* Risk and uncertainty in multi-agent systems;
* Quantitative aspects in strategic reasonings.

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

SUBMISSIONS

We invite submissions reporting on:

(A) original contributions,
(B) published work, and
(C) challenging open problems.

Each submission should be clearly identified as belonging to one of
these three categories.

In all three categories, submissions will be evaluated by the usual
high standards of research publications. In particular, they should
contain enough detail to allow the program committee to identify
the main contribution of the work, to explain its significance, its
novelty, its relevance to the strategic-reasoning audience, and its
practical or theoretical implications, and include comparisons with
and references to relevant literature.

Strong preference will be given to contributions on topics of interest
to a broad, interdisciplinary audience and all papers should be
written so that they are accessible to such an audience.

Submissions should be in PDF, preferably using the EPTCS style
(http://style.eptcs.org/), and not exceed 12 pages (not including
bibliography).
Authors are invited to submit their manuscript via EasyChair:
  https://easychair.org/conferences/?conf=sr19

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

IMPORTANT DATES

* Extended deadline: 19 April 2019 (AoE)
* Notification: 10 May 2019
* Final version: 3 June 2019

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

PROCEEDINGS

All contributions will be made available to the participants
on a USB stick.
Accepted original papers (in the category A) will be included
in the workshop proceedings published as a volume in
Electronic Proceedings in Theoretical Computer Science.

As for previous editions, extended revised versions of selected original
papers will be invited to a special issue of Information & Computation
(in process).

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

COMMITTEES

Workshop Co-chairs

* Dietmar Berwanger, LSV, CNRS & ENS Paris-Saclay, France
* François Schwartzentruber, Univ. Rennes, CNRS & INRIA, France
* Sophie Pinchinat, Univ. Rennes, CNRS & Inria, France


Program Committee

* Francesco Bellardinelli, IBISC, Univ. Évry, France
* Véronique Bruyère, UMons, Belgium
* Nathanaël Fijalkow, LaBRI, CNRS & Univ. Bordeaux, France
* Julian Guttierez, Univ. Oxford, UK
* Rasmus Ibsen-Jensen, IST Austria
* Wojtech Jamroga, Polish Academy of Science, Poland
* Jan Křetínský, TU Munich, Germany
* Fangzhen Lin, Hong Kong Univ. of Science and Technology, China
* Christof Löding, RWTH Aachen, Germany
* Nicolas Markey, Univ. Rennes, CNRS & Inria, France
* Nello Murano, Univ. Naples, Italy
* Yoram Moses, Technion, Haifa, Israel
* R Ramanujam, IMSc, Chennai, India
* Sasha Rubin, Univ. Naples, Italy
* Abdallah Saffidine, Univ. New South Wales, Sydney, Australia
* Ashutosh Trivedi, Univ. Colorado at Boulder, 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/
*
**********************************************************

Wednesday, April 10, 2019

[DMANET] Call for Papers - Cryptocurrencies and Blockchain Technology (CBT 2019), ESORICS 2019, Springer LNCS, Luxembourg, Sep. 2019

[apologies for cross-posting]

*********************************************************************
CALL FOR PAPERS
*********************************************************************

3rd International Workshop on
Cryptocurrencies and Blockchain Technology - CBT'19

In conjunction with ESORICS 2019

http://www.cbtworkshop.org/

September 26-27, 2019,
University of Luxembourg, Luxembourg.
*********************************************************************

Since the appearance of Bitcoin in 2009, a plethora of new
cryptocurrencies and other blockchain based systems have been deployed
with different success. While some of them are slightly different
copies of Bitcoin, other ones propose interesting improvements or new
usages of the underlying blockchain technology. However, the novelty
of such technologies is often tied with rapid developments and
proof-of-concept software, and rigorous scientific analyses of the
proposed systems are often skipped.

This workshop aims to provide a forum for researchers in this area to
carefully analyze current systems and propose new ones in order to
create a scientific background for a solid development of new
cryptocurrencies and blockchain technology systems.


IMPORTANT DATES
Submission Deadline: June 25, 2019
Author Notification: July 25, 2019
Camera Ready: August 6, 2019

The main topics include (but are not limited to):

* Anonymity and privacy in cryptocurrencies.
* Privacy-preserving technologies.
* Cryptocurrency based trust systems.
* Security analysis of existing cryptocurrencies.
* Formal threat models in cryptocurrency systems.
* Improvement proposals for existing cryptocurrencies.
* P2P network cryptocurrencies analysis.
* Private transactions in blockchain based systems.
* Consensus mechanisms: proof-of-work, proof of stake,
proof of burn, proof-of-useful-work, etc.
* New usages of the blockchain technology.
* Scalability solutions for blockchain systems.
* Smart contracts.

===========
SUBMISSION
===========

Submitted papers must be original and not submitted for publication
elsewhere. Authors are invited to submit their manuscripts following
the LNCS Proceedings Manuscript style. Papers are limited to 16 pages
(full papers), or 8 pages (short papers) including references and
appendices, and can be submitted as PDF via the CBT 2019 submission
site: https://easychair.org/conferences/?conf=cbt2019

*Double blind review*: CBT requires anonymized submissions -- please
make sure that submitted papers contain no author names or obvious
self-references.

Accepted conference papers will be published by Springer in the LNCS
collection. At least one author of each accepted paper is required to
register and present their work at the workshop; otherwise the paper
will not be included in the proceedings.

==================
PROGRAM COMMITEE
==================

PC Chairs:

* Alex Biryukov, University of Luxembourg, Luxembourg
* Joaquin Garcia-Alfaro, Telecom SudParis, France


PC Members:

* Daniel Augot - INRIA Saclay (France)
* Jean-Philippe Aumasson - Kudelski (Switzerland)
* George Bissias - University of Massachusetts at Amherst (USA)
* Rainer Bohme - University of Innsbruck (Austria)
* Joseph Bonneau - NYU (USA)
* Sergi Delgado-Segura - UCL (UK)
* Arthur Gervais - Imperial College London (UK)
* Hannes Hartenstein - KIT (Germany)
* Jordi Herrera-Joancomarti - UAB (Catalonia)
* Man Ho Au - The Hong Kong Polytechnic University (Hong Kong)
* Ghassan Karame - NEC Research (Germany)
* Aniket Kate - Purdue University (USA)
* Eleftherios Kokoris-Kogias - EPFL (Switzerland)
* Zaki Manian - Trusted IoT Alliance (USA)
* Shin'ichiro Matsuo - Georgetown University (USA)
* Pedro Moreno-Sanchez - TU Wien (Autria)
* Guillermo Navarro-Arribas - UAB (Catalonia)
* Cristina Perez-Sola - UOC (Catalonia)
* Tim Ruffing - Blockstream (Switzerland)
* Edgar Weippl - SBA Research (Austria)
(more to be announced)

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

[DMANET] FoMLAS 2019: Call for Papers

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

The 2nd workshop on Formal Methods for ML-Enabled Autonomous Systems

New York City, USA, 14th July 2019

https://fomlas2019.wixsite.com/fomlas2019

Abstracts deadline: April 22, 2019

Full papers deadline: April 27, 2019


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

The 2nd workshop on Formal Methods for ML-Enabled Autonomous Systems
will be co-located with CAV this year (July 14, New York City).

Some topics of interest:

* Formal specifications for systems with ML components
* SAT-based and SMT-based methods for analyzing systems with ML components
* Mixed-integer Linear Programming and optimization-based methods for
the verification of systems with ML components
* Testing approaches to ML components
* Statistical approaches to the verification of systems with ML components
* Approaches for enhancing the explainability of ML-based systems
* Techniques for analyzing hybrid systems with ML components

For additional details, visit the website below

https://fomlas2019.wixsite.com/fomlas2019
**********************************************************
*
* 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] Registration window open for ECMI Postgraduate / VI Iberian / NeEDS Modelling Week (July 7-13, 2019 @ Instituto de Matemáticas de la Universidad de Sevilla, IMUS, Seville, Spain)

ECMI Postgraduate / VI Iberian / NeEDS Modelling Week
July 7-13, 2019 @ Instituto de Matemáticas de la Universidad de Sevilla, IMUS, Seville, Spain
http://gestioneventos.us.es/22663/detail/ecmi-postgraduate-vi-iberian-needs-modelling-week.html

The ECMI Postgraduate / VI Iberian / NeEDS Modelling Week will be held at the Mathematical Institute of the University of Seville https://www.imus.us.es/en/ (Seville, Spain) on July 7th-13th, 2019. It is co-organized by the European Consortium for Mathematics and Industry (https://ecmiindmath.org/), the Spanish Network for Mathematics-Industry (http://www.math-in.net/?q=en), the Portuguese Network of Mathematics for Industry and Innovation (https://www.spm.pt/PT-MATHS-IN/), and the H2020-MSCA-RISE NeEDS project (http://www.riseneeds.eu/), and takes part of the satellite meetings to the 9th International Congress on Industrial and Applied Mathematics https://iciam2019.org/ (July 15th-19th, 2019, Valencia, Spain).

The format of the Modelling Week is to spend one week working to solve real problems that can be tackled through mathematical modeling. Small groups of multinational Master students, Ph.D. students and junior researchers (like post-doctoral students) will be assigned to each problem in term of their preference and own skills on the first day of the event after the presentation of the problems. An instructor, that must be an expert in the area, of the proposed problem leads each of these groups. During the following four days students will work on solving the problems under the guidance of the instructor and industrial collaborators. Last day of the meeting will be devoted to the presentation of the results, which will be collected in the proceedings of the event.

To register for this modeling week, please follow the link
http://gestioneventos.us.es/22663/section/15646/ecmi-postgraduate-vi-iberian-needs-modelling-week.html
For information on competitive financial support, please follow the link
http://gestioneventos.us.es/22663/section/16752/ecmi-postgraduate-vi-iberian-needs-modelling-week.html

**********************************************************
*
* 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] Vacancies in Operational Research, Optimisation, etc.

***Please forward to interested parties, and apologies for any multiple postings.***

There are currently several vacancies in the Department of Management Science at Lancaster University, including the following:

. Lecturer/ Senior Lecturer in Operational Research x 2 (i) optimisation (ii) simulation and stochastic modelling
. Lecturer/ Senior Lecturer in Predictive Analytics
. Teaching Fellow/ Senior Teaching Fellow in Business Analytics.

For full details, please visit the following web page:

https://hr-jobs.lancs.ac.uk/vacancies.aspx?type=6&cat=274

**********************************************************
*
* 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] Highlights of Logic, Games, and Automata: date announcements

Dear all,

*Save the date!*
The Highlights of Logic, Games, and Automata conference will be held
in *Warsaw,
Poland, on 17-20 September 2019*:
http://highlights-conference.org/

The important dates are:
10 June: Submission deadline
20 June: Notification
31 July: Early registration deadline
17 September: Tutorial
18-20 September: Conference

The week before (10-15 September) we will have the 3rd FoPSS School on
Nominal Techniques:
https://www.mimuw.edu.pl/~fopss19/

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

[DMANET] [Extended Deadline: April 14][10+SIs] CFP SpaCCS 2019: The 12th International Conference on Security, Privacy and Anonymity in Computation, Communication and Storage

Call For Papers
=============================================================================
The 12th International Conference on Security, Privacy and Anonymity in
Computation, Communication and Storage (SpaCCS 2019)
July 14-July 17, 2019, Atlanta, USA

http://cse.stfx.ca/~cybermatics/2019/spaccs/

The 2019 International Conference on Security, Privacy and Anonymity in
Computation, Communication and Storage (SpaCCS 2019) is the 12th event in
the series of conferences which are devoted to security, privacy and
anonymity in computation, communication and storage. SpaCCS is now
recognized as the main regular event of the world that is covering many
dimensions including security algorithms and architectures, privacy-aware
policies, regulations and techniques, anonymous computation and
communication, encompassing fundamental theoretical approaches, practical
experimental projects, and commercial application systems for computation,
communication and storage. As applications of computer systems and networks
have permeated in every aspect of our daily life, the issues of security,
privacy, and anonymity have become increasingly critical. The conference
will provide a forum for the world-class researchers to gather and share
their research achievements, emerging ideas and trends in the highly
challenging research fields.


=============================================================================
All accepted papers will be published by Springer LNCS (EI Indexed). Best
Paper Awards will be presented to high quality papers. Distinguished
papers, after further revisions, will be be published in 10+ SCI & EI
indexed prestigious journals (confirmed).
1. ACM Transactions on Internet Technology
Special Issue on Decentralized Blockchain Applications and Infrastructures
for Next Generation Cyber-Physical Systems
https://toit.acm.org/pdf/ACM-ToIT-CfP-Decentralized_Blockchain_Applications.pdf
Publisher: ACM, IF = 1.727
2. IEEE Transactions on Network Science and Engineering
Special Issue: Blockchain in Future Networks and Vertical Industries
Publisher: IEEE
3. IET Cyber-Physical Systems: Theory & Applications
Special Issue: Advanced Technologies for Cyber Physical Systems
Publisher: IET
4. IEEE Access
Special Section on Deep Learning: Security and Forensics Research Advances
and Challenges
https://ieeeaccess.ieee.org/special-sections/deep-learning-security-and-forensics-research-advances-and-challenges
Publisher: IEEE, IF = 3.557
5. Transactions on Blockchain Technology and Applications
http://vdlt.io/tIndex.html
Special Issue: Advances in Blockchain and Internet-of-Things
6. Digital Communications and Networks
Special Issue: TBD
Publisher: Elsevier, SCI indexed in 2019
7. Sensors
Special Issue: IoT-Enabled Sensor Networks: Vision and Challenges
https://www.mdpi.com/journal/sensors/special_issues/IoT_SensorNet
Publisher: MDPI, IF = 2.475
8. Remote Sensing
Special Issue: Intelligence Computing Paradigms with Remote Sensing
Networks in Water Hydrology
https://www.mdpi.com/journal/remotesensing/special_issues/water_Computational
Publisher: MDPI, IF = 3.406
9. Journal of Systems Architecture
Special Issue: Dependable Cyber Physical Systems (SI: DCPS19)
https://www.journals.elsevier.com/journal-of-systems-architecture/call-for-papers/special-issue-on-dependable-cyber-physical-systems-sidcps19
Publisher: Elsevier, IF = 0.913
10. EURASIP Journal on Wireless Communications and Networking
Special Issue: Human-centered Computing in Cloud / Edge / Fog
https://jwcn-eurasipjournals.springeropen.com/human-centered-computing
Publisher: Springer, IF = 2.407
11. EURASIP Journal on Wireless Communications and Networking
Special Issue: Multi-modal Sensor Data Fusion in Internet of Things
https://jwcn-eurasipjournals.springeropen.com/multi-modal-sensor
Publisher: Springer, IF = 2.407
12. CCF Transactions on Pervasive Computing and Interaction
Special Issue: Pervasive Intelligence: State-of-the- Art, Challenges and
Perspectives
13. IEEE Journal of Biomedical and Health Informatics
Special Issue: Blockchain and Healthcare Computing
Publisher: IEEE, IF= 3.850
14. IEEE Transactions on Industrial Informatics
Special Issue: Blockchain in Industrial IoT Applications Security and
Privacy Advances, Challenges and Opportunities
Publisher: IEEE, IF= 5.43
* More special issues will be added later.


==================
Important Dates
==================
Submission Deadline (Extended): April 14, 2019
Authors Notification Date: May 12, 2019
Final Manuscript Due: June 02, 2019
Conference Date: July 14 - July 17, 2019


==================
Topics of interest include, but are not limited to
==================
Track 1: Security
1.1 Computation
- Secure computation
- Artificial Intelligence Security
- CPS Security
- Internet-of-Things Security
- CPSS Security
- Blockchain Security
- Secure Sustainable Computing
- Homomorphic Encryption
- Big Data Security
- Cloud Computing Security
- Fog Computing Security
- Edge Computing Security
- Secure Network Computing
- Risk Analysis and Management
- Software and System Security
1.2 Communication
- Network Security
- Malware and Botnets
- Intrusion Detection
- Security in Web Services
- Security in Mobile Social Networks
- Security in Mobile and Wireless Communications
- Fraud and Cyber-Crime
1.3 Storage
- Access Control
- Accounting and Audit
- Applied Cryptography
- Database Security
- Authentication
- Computer forensics
- Data Protection and Data Integrity
- Digital Content Protection and Digital Forensics
- Information Hiding
- Security in Big Data and its Applications

Track 2: Privacy
2.1 Computation
- Measuring and Quantifying Privacy
- Privacy Modelling and Analysis
- Software and System Privacy
- Privacy-preserving Computing
- Differential Privacy
- Blockchain-based Computation
- Privacy-enhanced Network Computing
- Obfuscation-based Privacy
- Cryptographic Tools
- Building and Deploying Privacy-enhancing Systems
- Reliability, Robustness, and Abuse Prevention in Privacy Systems
2.2 Communication
- Privacy in Web Services
- Privacy Metrics and Policies
- Crowdsourcing for Privacy
- Location and Mobility Privacy
- Privacy in Cloud and Big Data Applications
- Blockchain-based Communication
- Quantum Communications
- Privacy in Ubiquitous Computing and Mobile Devices
- Privacy in Social Networks and Microblogging Systems
- Privacy-enhanced Access Control, Authentication, and Identity Management
2.3 Storage
- Data Protection Technologies
- Privacy in Big Data and its Applications
- Policy Languages and Tools for Privacy
- Privacy and Human Rights
- Blockchain-based Storage
- Interdisciplinary Research Connecting Privacy to Other Fields
- Privacy in Cloud Computing and Pervasive/Ubiquitous Computing
- Information Leakage, Data Correlation and Generic Attacks to Privacy
- Privacy-Preserving Data Mining, Data Release and Publishing

Track 3: Anonymity
3.1 Computation
- Anonymous Data Mining and Data Sharing
- Parallelism Exploitation Techniques for Anonymity
- Anonymity in Big Data Analytics
- Anonymous Management in Trust Relationships
- Anonymous Video Analytics Technology
- Anonymity Metrics, Measures and Evaluations
- Anonymity Models, Hardware/Device of Anonymity
3.2 Communication
- Anonymity in Wireless Communication Systems
- Anonymous Communication Protocols
- Anonymity in Mobile, Ad Hoc, and Wireless Sensor Networks
- Anonymous Proxy Software
- Anonymous Communication and Internet
- Anonymous Social Networks, Structural k-Anonymity in Social Networks
- Authentication Protocol Providing User Anonymity
3.3 Storage
- Anonymous Information Storage and Management
- Private and Anonymous Data Storage
- Forensics
- Anonymity-Preserving Data Collection and Database
- Anonymity, Pseudonymity & Identity Management
- Anonymity in Big Data and Cloud Scenarios
- Anonymity in Health and Medical Databases


==================
Paper Submission
==================
All papers need to be submitted electronically through the conference
website (https://edas.info/N25666) with PDF format. Submitted papers must
not substantially overlap with papers that have been published or that are
simultaneously submitted to a journal or a conference with proceedings.
Papers must be clearly presented in English, must not exceed 14 pages (or
up to 20 pages with the pages over length charge) in Springer LNCS format (
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines),
including tables, figures, references and appendices. Papers will be
selected based on their originality, significance, relevance, and clarity
of presentation assessed by at least three reviewers. Submission of a paper
should be regarded as a commitment that, should the paper be accepted, at
least one of the authors will register and attend the conference to present
the work.


==================
Organizing Committee
==================
General Chairs
- Kim-Kwang Raymond Choo, University of Texas at San Antonio, USA
- Mark Last, Ben-Gurion University of the Negev, Israel
- Yanqing Zhang, Georgia State University, USA

Program Chairs
- Md Zakirul Alam Bhuiyan, Fordham University, USA
- Jun Feng, St Francis Xavier University, Canada
- Rongxing Lu, University of New Brunswick, Canada

Workshop Chair
- Wm. Bradley Glisson, Sam Houston State University, USA

Publicity Chairs
- Peter Mueller, IBM Zurich Research Laboratory, Switzerland
- Reza M. Parizi, Kennesaw State University, USA
- Yogachandran Rahulamathavan, Loughborough University London, UK

Local Chair
- Yubao Wu, Georgia State University, USA

Web Chairs
- Zihao Jiang, St. Francis Xavier University, Canada
- Xin Nie, Huazhong University of Science and Technology, China

Steering Committee
- Guojun Wang, Guangzhou University, China (Chair)
- Gregorio Martinez, University of Murcia, Spain (Chair)
- Jemal H. Abawajy, Deakin University, Australia
- Jose M. Alcaraz Calero, University of the West of Scotland, UK
- Jiannong Cao, Hong Kong Polytechnic University, Hong Kong
- Hsiao-Hwa Chen, National Cheng Kung University, Taiwan
- Jinjun Chen, University of Technology Sydney, Australia
- Kim-Kwang Raymond Choo, University of Texas at San Antonio, USA
- Robert Deng, Singapore Management University, Singapore
- Mario Freire, The University of Beira Interior, Portuga
- Minyi Guo, Shanghai Jiao Tong University, China
- Weijia Jia, Shanghai Jiao Tong University, China
- Wei Jie, University of West London, UK
- Georgios Kambourakis, University of the Aegean, Greece
- Ryan Ko, University of Waikato, New Zealand
- Constantinos Kolias, George Mason University, USA
- Jianbin Li, Central South University, China
- Jie Li, University of Tsukuba, Japan
- Jianhua Ma, Hosei University, Japan
- Felix Gomez Marmol, University of Murcia, Spain
- Geyong Min, University of Exeter, UK
- Peter Mueller, IBM Zurich Research Laboratory, Switzerland
- Indrakshi Ray, Colorado State University, USA
- Kouichi Sakurai, Kyushu University, Japan
- Juan E. Tapiador, The University Carlos III of Madrid, Spain
- Sabu M. Thampi, Indian Institute of Information Technology and
Management, India
- Jie Wu, Temple University, USA
- Yang Xiao, The University of Alabama, USA
- Yang Xiang, Swinburne University of Technology, Australia
- Zheng Yan, Aalto University, Finland
- Laurence T. Yang, St. Francis Xavier University, Canada
- Wanlei Zhou, University of Technology Sydney, Australia


--
Dr. Jun Feng
St. Francis Xavier University
Huazhong University of Science and Technology
Mobile: +86-18827365073
E-Mails: junfeng989@gmail.com, 512675288@qq.com
WeChat: junfeng10001000

**********************************************************
*
* 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] IPDPS 2019 - Keynote speakers announced & call for participation

April 5, 2019 Release
---------------------

IEEE IPDPS 2019
33rd IEEE International Parallel & Distributed Processing Symposium
May 20-24, 2019
Hilton Rio de Janeiro Copacabana
Rio de Janeiro, Brazil
www.ipdps.org

ANNOUNCING 2019 KEYNOTE SPEAKERS
----------------------------------------------------------------
Tuesday May 21st
Coding the Continuum
Ian Foster
Argonne National Laboratory and University of Chicago
----------------------------------------------------------------
Wednesday, May 22nd
Two Roads to Parallelism: From Serial Code to Programming with STAPL
Lawrence Rauchwerger
Texas A&M University
----------------------------------------------------------------
Thursday, May 23rd
The Path to Delivering Programable Exascale Systems
Luiz DeRose
Cray Inc.
----------------------------------------------------------------
IPDPS 2019 Call for participation

Come join us in Rio de Janeiro for IPDPS2019!

Registration is open!
Hotel special rates still available till April 17!

SEE IPDPS WEBSITE FOR ADVANCE PROGRAM:
http://www.ipdps.org/ipdps2019/2019-advance-program.html

Highlights:
*On Monday, 10 workshops with contributed papers and invited speakers.
*On Tuesday, Wednesday and Thursday, 104 contributed papers.
*Also on these days, PhD forum posters on display and Industry exhibits.
*On Friday, 7 workshops and more industry events.

----------------------------------------------------------------
IPDPS 2019 VENUE
Rio de Janeiro is one of the most visited cities in the Southern
Hemisphere and is known for its natural settings, plentiful beaches,
dramatic mountains, backdrop of Samba and Bossa Nova rhythms, and a
vibrant city center that resonates with culture and a deep sense of
history and heritage. Its wonderful weather, unique gastronomy, and
famous landmark attractions, including the statue of Christ the Redeemer
overlooking the city, named one of the New Seven Wonders of the World,
draw visitors from around the world. As host city for the 2014 FIFA
World Cup and then the 2016 Summer Olympics, Rio welcomed millions to
the city and created an outstanding infrastructure to cater to the needs
of its visitors, including world-class accommodations, upgraded
transportation links, and well-done guided tours. Join IPDPS 2019 in Rio
at the Hilton Rio de Janeiro Copacabana to experience first-hand why
this is such a special and memorable destination! Book early to obtain
the conference rate, guaranteed until April 17th. Staying at the
conference venue hotel has several advantages, including no need for
transport from other hotels and easy walking access to eateries and
shopping. As well, the rate includes daily breakfast buffet, free wi-fi
and full access to fitness facilities, and the hotel is right on
Copacabana Beach!

-----------------------------------------------------------------------
GENERAL CHAIR
Vinod Rebello (Fluminense Federal University, Brazil)

2019 PROGRAM CHAIR AND VICE-CHAIR
José Moreira (IBM Research, USA) and
Alba Cristina Melo (University of Brasilia, Brazil)

2019 PROGRAM AREA CHAIRS AND VICE-CHAIRS
ALGORITHMS:
Gianfranco Bilardi (University of Padova, Italy) and
Denis Trystram (Grenoble Institute of Technology, France)
EXPERIMENTS:
María Jesús Garzarán (Intel Corporation, USA) and
Saeed Maleki (Microsoft Corporation, USA)
PROGRAMMING MODELS:
Xavier Martorell (Technical University of Catalunya, Spain) and
Christian Terboven (RWTH Aachen University, Germany)
SYSTEM SOFTWARE:
Dilma Da Silva (Texas A&M University, USA) and
P. (Saday) Sadayappan (Ohio State University, USA)
ARCHITECTURE:
Per Stenström (Chalmers University of Technology, Sweden) and
Rodolfo Azevedo (University of Campinas, Brazil)
MULTIDISCIPLINARY:
Nancy Amato (Texas A&M University, USA) and
Andrea Pietracaprina (University of Padova, Italy)

WORKSHOPS CHAIR and VICE-CHAIR
Erik Saule (University of North Carolina Charlotte, USA)
Jaroslaw Zola (The State University of New York at Buffalo, USA)

STUDENT PARTICIPATION CHAIRS
Edson Borin (University of Campinas, Brazil)
Jay Lofstead (Sandia National Laboratories, USA)

INDUSTRIAL LIAISON CHAIR
Márcio Castro (Federal University of Santa Catarina, Brazil)

-----------------------------------------------------------------------
...Follow us on Facebook at https://www.facebook.com/IPDPS
...Follow us on Twitter at https://twitter.com/IPDPS
-----------------------------------------------------------------------
Sponsored by IEEE Computer Society Technical Committee on Parallel
Processing
In cooperation with
ACM SIGARCH,
ACM SIGHPC;
IEEE Computer Society Technical Committee on Computer Architecture, and
IEEE Computer Society Technical Committee on Distributed Processing
-----------------------------------------------------------------------
**********************************************************
*
* 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/
*
**********************************************************