Thursday, June 14, 2018

[DMANET] Final Call for Papers

PaTAISC 2018

Workshop on Practical and Theoretical Aspects of Information Security and
Cryptology in the framework of

20th International Symposium on Symbolic
and Numeric Algorithms for Scientific Computing

Timisoara, Romania
September 20-23, 2018
============================================================

=== Aim ===

Information security concepts such as confidentiality, integrity,
authentication
and nonrepudiation are fundamental elements of (cyber) security issues.
These concepts are achieved with cryptographic protocols. They have an
important role to achieve information security concepts in real world. Those

are nice applications of number theory, algebraic geometry, information
theory
and so on. Moreover, formal verification of cryptographic protocols is an
interesting and important topic in security. This special session is
intended to
foster the dissemination of state-of-the-art research in the areas of
information security and cryptology. The focus is given to the foundations
of
cryptography, protocol design, efficient implementations of cryptographic
protocols and formal verification. Topics of interest include, but are not
limited to:

+ Cyber security
+ Formal verification of protocols
+ Symmetric cryptography
+ Public key cryptography
+ Post-quantum cryptography
+ Blockchain and cryptocurrencies
+ Cryptographic computations
+ Applied cryptography
+ Software/Hardware implementations
+ Cryptographic hardware and embedded systems
+ Information security
+ Network security
+ Privacy and trust
+ Access control
+ Public key infrastructure

== Paper submission ==
Papers (up to 6 pages in the two-column IEEE CPS Conference Style format or
extended abstracts (up to 2 pages) must be electronically submitted using
the
submission system accessible on Easy Chair.

=== Important Dates ===

24 June 2018 : Submission of papers
30 July 2018 : Notification of acceptance
1 September 2018 : Revised papers according to the reviews
20-23 September 2018 : Symposium
30 November 2018 : Revised papers for post-proceedings/special issue

=== Publication ===
Accepted and presented papers will be included in a locally edited
proceedings.
Moreover, extended versions of the papers accepted and presented at the
workshop will be considered as a special issue in the International Journal
of
Information Security Science.
Other possibilities for publication will be announced during the workshop.

=== Registration fees ===
100 Euros for 1-day participation
150 Euros for 2-day participation
On individual request, students can get a reduction with 50 Euros
The social programme is payed separately.

=== Program Committee ===
+ Sedat Akleylek, Ondokuz Mayis University, Turkey
+ Murat Cenk, Middle East Technical University, Turkey
+ Besik Dundua, Tbilisi State University, Georgia
+ Mohamed Saied Emam, Darmstadt University of Technology, Germany
+ Baris Bulent Kirlar, Suleyman Demirel University, Turkey
+ Temur Kutsia, Johannes Kepler University, Austria
+ Mircea Marin, West University of Timisoara, Romania
+ Mikheil Rukhaia, Tbilisi State University, Georgia
+ Muharrem Tolga Sakalli, Trakya University, Turkey
+ Zulfukar Saygi, TOBB ETU, Turkey
+ Narasimha Shashidhar, Sam Houston State University, USA
+ Ahmet Sinak, Konya Necmettin Erbakan University, Turkey
+ Ion Tutanescu, Pitesti University, Romania
+ Oguz Yayla, Hacettepe University, Turkey

=== Workshop organizers ===

+ Sedat Akleylek, Ondokuz May?s University, Samsun, Turkey
+ Besik Dundua, Tbilisi State University, Georgia
+ Temur Kutsia, Johannes Kepler University, Austria
+ Mircea Marin, West University of Timisoara, Romania
+ Mikheil Rukhaia, Tbilisi State University, Georgia

**********************************************************
*
* 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 - WICT 2018 - SCOPUS - UGC Approved - AISC Springer - Kochi - India

Call for Papers


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

-- The 8th World Congress on Information and Communication Technologies
(WICT'18) --

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

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

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

** Important Dates **
-------------------------
Paper submission due: August 31, 2018
Notification of paper acceptance: October 15, 2018
Registration and Final manuscript due: November 10, 2018
Conference: December 17 - 19, 2018

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

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

Topics (not limited to)
----------------------------------------
Bioinformatics and Computational Biology
Computer Graphics and Virtual Reality
Data Mining
e-Learning
e-Business
e-Government
Artificial Intelligence
Web Services and Semantic Web
Grid and Cloud Computing
Ambient Intelligence
Body Sensor Networks
Computational Finance and Economics
Cybercrime (Legal and Technical Issues)
Computer Network Security
Data Mining for Information Security
Academic Integrity, Plagiarism Detection and Software Misuse
Intrusion Detection and Forensics
Scheduling For Large Scale Distributed System
Nature Inspired Optimization Algorithms and Their Applications
The Role of Technology in Education and Health
Data Management
Collaborative Design in Knowledge-based Environment
Software Engineering

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

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

WICT'18 Submission:
https://easychair.org/conferences/?conf=wict2018

~~~~~~~~~~~~~~~~~~~~~~~~
* Organizing Committee *
-------------------------
General Chairs:
Ajith Abraham, Machine Intelligence Research Labs, USA
Preethi Thekkath, Toc H Institute of Science &Technology, India

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

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


--
Sanju Mishra Tiwari
Research Associate
Department of Computer Applications
National Institute of Technology
Kurukshetra

**********************************************************
*
* 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] W2 Professorship for Theoretical CS, University of Bremen

At Faculty 3 - Mathematics/Computer Science the following open
position is available. The vacancy will be filled - conditional
to the release of budgetary funds - as soon as possible:

Professorship
Salary Group W2

in the discipline

Theoretical Computer Science
Reference number: P559/18
as a civil servant, permanent position

The future professor will represent Theoretical Computer Science in
research and teaching and should have an outstanding scientific
qualification in a relevant area such as Algorithms and Complexity
Automata Theory Finite Model Theory Algorithmic Graph Theory

He/she will teach introductory lectures to undergraduate students as
well as specialized courses to graduate students; teaching in the form
of student projects is a welcome addition. Commitment and innovative-
ness in teaching are expected, and so is the willingness for didactical
self-improvement and contribution to the internationalization of the
University of Bremen.

It is further expected that the future professor contribute to science
funding by acquiring third party funds. Cooperation with research
institutions associated with the University of Bremen and
contributions to the high-profile research area Minds, Media, Machines
are highly welcome. Prerequisites for an appointment are a completed
university degree in a field relevant to the position, a very good
doctoral degree as well as further scientific achievements (equivalent
to a "habilitation" postdoctoral thesis) which may have also been
acquired outside of a university, teaching experience at a university,
and pedagogical proficiency. Experience in considering the gender
perspective in research and teaching is desirable. Non-German speaking
candidates are expected to be able to teach in German within two to
three years.

The recruitment is based on § 18 BremHG.

As a winner of the Total-E-Quality Science Award, the University of
Bremen strives to increase the number of female professors and
therefore explicitly requests applications from female
scientists. Applications from international scientists as well as
applications of scientists with a migration background are explicitly
welcome. Disabled candidates will be given preference in case of
almost identical professional and personal qualifications.

Applications including a cover letter, CV, publication list, copies of
degree certificates, should be submitted by July 31st, 2018 to:

Universität Bremen
Fachbereich 3 - Mathematik und Informatik
Fachbereichsverwaltung
Bibliothekstraße 5
28359 Bremen

or electronically in a single PDF file: P559-18@fb3.uni-bremen.de

For inquiries, please contact the dean of Faculty 3
Mathematics/Computer Science, Prof. Dr. Kerstin Schill
(dekanin@fb3.uni-bremen.de).

Comprehensive information on all aspects of the hiring process can be
obtained here: www.uni-bremen.de/berufungsverfahren
**********************************************************
*
* 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, June 13, 2018

[DMANET] [Reminder] MSRI workshop "Hot Topics: Shape and Structure of Materials"

*** Funding application deadline: July 1, 2018 ***

**************************************************************************

Hot Topics: Shape and Structure of Materials

MSRI, Berkeley, October 1-5, 2018

https://www.msri.org/workshops/900

**************************************************************************


The fascinating and complicated microstructures of materials that are
now visible through advanced imaging techniques challenge the frontiers
of characterisation and understanding. At the same time, developments
in modern geometric and topological techniques are beginning
to illuminate important features of material structures, while the
microstructures themselves and the analysis and prediction of their
macroscopic properties are inspiring new directions in pure
and applied mathematics. In a collaboration with the Lawrence Berkeley
National Laboratory (LBNL), this workshop aims at intensifying
the interaction of mathematicians with material scientists, physicists
and chemists on the structural description and design of materials.


List of speakers:
----------------
Eric Babson (UC Davis)
Myfanwy Evans (TU Berlin)
Maciej Haranczyk (LBNL)
Joel Hass (UC Davis)
Kathryn Hess (EPFL)
Jacob Kirkensgaard (U Copenhagen)
Andy Kraynik (Sandia National Lab, ret.)
Jeremy Mason (UC Davis)
Elisabetta Matsumoto (Georgia Tech)
Konstantin Mischaikow (Rutgers U)
Dilworth Parkinson (LBNL)
Kristin Persson (UC Berkeley, LBNL)
Vanessa Robins (ANU)
James Sethian (UC Berkeley, LBNL)
Frank Sottile (Texas A & M U)
Ileana Streinu (Smith College)
Daniela Ushizima (UC Berkeley, LBNL, BIDS)
Vincenzo Vitelli (U Chicago)


Organizers:
----------
Myfanwy Evans (TU Berlin)
Frank Lutz (TU Berlin)
Dmitriy Morozov (LBNL)
James Sethian (UC Berkeley, LBNL),
Ileana Streinu (Smith College)


Registration:
------------
https://www.msri.org/workshops/900


Funding application deadline:
----------------------------
July 1, 2018

**********************************************************
*
* 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] Third Call for Papers - ICDCN'19: 20th International Conference on Distributed Computing and Networking

======================================================================================
CALL FOR PAPERS
======================================================================================

ICDCN 2019: 20th International Conference on Distributed Computing and Networking
January 4-7, 2019 - Bangalore, India
http://www.icdcn.org
Sponsored by IISc Bangalore, ACM in cooperation with ACM SigMobile, and ACM SigOps (approval pending)

IMPORTANT: Submission Deadline: July 22, 2018

Papers describing original research work and practical experiences/experimental results are solicited on topics that tentatively include, but are not limited to:

Distributed Computing Track
* Concurrent data structures
* Distributed algorithms: design, analysis, and complexity
* Distributed operating systems
* Distributed database systems
* Embedded distributed systems, sensors and mobile
* Distributed robots
* Formal methods for distributed systems
* Experimental evaluation of distributed systems
* Fault-tolerance, reliability, and availability
* Multiprocessor & multi-core architectures & algorithms
* Self-organization, self-stabilization, & autonomic computing
* High performance computing, grid computing
* Multi-tire cloud computing and Big Data processing
* Security, cryptography, & game theory in distributed systems
* Internet-scale distributed systems

Networking Track
* 5G, ultra-dense networks, and next-gen networks and services
* Ad-hoc, sensor, PAN, and mesh networks
* Backscatter and ultra-low power networks
* Cognitive networking
* Data center and cloud networking
* Energy-efficient networking & integration with smart grids
* Internetworking protocols & Internet applications
* IoT connectivity and Cyber Physical Systems (CPS)
* Mobile Edge Computing (MEC)
* Mobile offloading
* Mobile pervasive computing and networking
* Network function virtualization and Software Defined Networking (SDN)
* Network security & privacy
* Next generation & converged network architectures
* Overlay & peer-to-peer networks and services
* Pricing and network economics

ICDCN 2019 is soliciting submissions as either regular or short papers. Regular Papers should not exceed 10 pages double column including figures, tables, and references in standard ACM format. Additional details may be included in a clearly-marked appendix (containing all technical ideas and proofs necessary for an expert to fully verify the claims of the paper) that will be read at the discretion of the program committee. Short Papers should not exceed 5 pages double column including figures, tables, and references in standard ACM format. Papers must be submitted electronically in printable PDF form via the EasyChair submission management system. Some papers not accepted as regular papers may be accepted as short papers with 5 pages in the proceedings, while full papers will be allowed 10 pages. At least one author of each accepted paper must register for the conference and present the paper.

BEST PAPER AWARD: The ICDCN TPC plans to award a Best Paper Award, independently for each of the two tracks. This award will be based on the paper's technical merit, the opinions of the reviewers and the presentation quality at the conference.

SPECIAL ISSUE: The authors of selected best papers in the Distributed Computing track will be invited to submit an extended version of their paper for publication in Elsevier's Theoretical Computer Science (TCS - A) journal. The authors of selected best papers in the Networking track will be invited to submit an extended version of their paper for publication in Elsevier's Pervasive and Mobile Computing (PMC) journal.

For inquiries, contact Local Organizing Committee Co-Chairs, R. C. Hansdah (hansdah@iisc.ac.in) or Dilip Krishnaswamy (dilip1@gmail.com).


IMPORTANT DATES

Abstract submission: July 15, 2018
Paper submission: July 22, 2018
Notifications: September 20, 2018
Camera-Ready: October 26, 2018
Conference Dates: January 4-7, 2019
Conference Web: http://www.icdcn.org

ORGANIZING COMMITTEES

General Co-Chairs
* R.C. Hansdah, IISc Bangalore
* Dilip Krishnaswamy, Reliance Jio Infocomm, India
* Nitin Vaidya, University of Illinois, USA

Technical Program Committee Co-Chairs
* Networking Track: Paolo Bellavista, University of Bologna, Italy
* Distributed Computing Track: Sriram V. Pemmaraju, University of Iowa, USA

Workshop Co-Chairs
* Sathya Peri, IIT Hyderabad, India
* Nirmalya Roy, University of Maryland - Baltimore County, USA

Tutorial Co-Chairs
* Arpita Patra, IISc Bangalore, India
* Mainak Chatterjee, University of Central Florida, USA

PhD Forum Co-Chairs
* Bivas Mitra, IIT Kharagpur, India
* Yogesh Simmhan, SERC IISc Bangalore

Demo Chair
* Salil Kanhere, University of New South Wales, Australia
* Prasant Misra, TCS Innovation Lab, Bangalore, India

Poster Chair
* J. Lakshmi, IISc Bangalore

Publicity Co-Chairs
* Luciano Bononi, University of Bologna, Italy
* Neeraj Mittal, University of Texas, Dallas, USA
* S. D. Madhu Kumar, NIT Calicut, India
* Hirozumi Yamaguchi, Osaka University, Japan

Local Organizing Committee Co-Chairs
* R. C. Hansdah, IISc Bangalore, India
* Dilip Krishnaswamy, Reliance Jio Infocomm, India

Steering Committee Co-Chairs
* Sajal K. Das, Missouri University of Science and Technology, USA
* Sukumar Ghosh, University of Iowa, 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] SYNASC 2018 - Final Call for Papers

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

Final Call for Papers

SYNASC 2018

20th International Symposium on

Symbolic and Numeric Algorithms for Scientific Computing

September 20-23, 2018, Timisoara, Romania

http://synasc.ro/2018

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

=== Aim ===

SYNASC aims to stimulate the interaction between the two scientific
communities

of symbolic and numeric computing and to exhibit interesting
applications of the

areas both in theory and in practice. The choice of the topic is
motivated by

the belief of the organizers that the dialogue between the two
communities is

very necessary for accelerating the progress in making the computer a truly

intelligent aid for mathematicians and engineers.

In this context we invite for:

* research paper submissions

* tutorial proposals

=== Important Dates ===

24 June 2018 : Paper submission for main tracks (strict deadline)

24 June 2018 : Paper submission for workshops

15 July 2018 : Notification of acceptance

01 September 2018 : Registration

01 September 2018 : Revised papers according to the reviews

20-23 September 2018 : Symposium

30 November 2018 : Final papers for post-proceedings

=== Invited Speakers ===

Olivier Bournez, Ecole Politechnique, France

Tetsuo Ida, University of Tsukuba, Japan

Dorel Lucanu, University Alexandru Ioan Cuza, Iasi, Romania

Edwin Lughofer, Johannes Kepler University, Linz, Austria

David Monniaux, University of Grenoble, France

Andrei Voronkov, University of Manchester, UK

=== Tutorials ===

SMT and its Applications to Formal Verification

– Alessandro Cimatti, Center for Information Technology, Trento, Italy

=== Tracks ===

* Symbolic Computation

+ computer algebra

+ symbolic techniques applied to numerics

+ hybrid symbolic and numeric algorithms

+ numerics and symbolics for geometry

+ programming with constraints, narrowing

* Numerical Computing

+ iterative approximation of fixed points

+ solving systems of nonlinear equations

+ numerical and symbolic algorithms for differential equations

+ numerical and symbolic algorithms for optimization

+ parallel algorithms for numerical computing

+ scientific visualization and image processing

* Logic and Programming

+ automatic reasoning

+ formal system verification

+ formal verification and synthesis

+ software quality assessment

+ static analysis

+ timing analysis

* Artificial Intelligence

+ intelligent systems for scientific computing

+ recommender and expert systems for scientific computing

+ scientific knowledge management

+ agent-based complex systems modeling and development

+ uncertain reasoning in scientific computing

+ computational intelligence

+ soft computing

+ machine learning

+ deep learning

+ data mining, text mining and web mining

+ natural language processing

+ computer vision

+ intelligent hybrid systems

* Distributed Computing

+ parallel and distributed algorithms for clouds, GPUs, HPC, P2P

systems, autonomous systems. Work should focus on scheduling, scaling,

load balancing, networks, fault-tolerance, gossip algorithms, energy saving

+ applications for parallel and distributed systems, including work

on cross disciplinary (scientific) applications for grids/clouds, web

applications, workflow platforms, network measurement tools, programming

environments

+ architectures for parallel and distributed systems, including

self-managing and autonomous systems, negotiation protocols, HPC on
clouds,

GPU processing, PaaS for (inter)cloud, brokering platforms, mobile
computing

+ modelling of parallel and distributed systems including models on

resources and networks, semantic representation, negotiation, social
networks,

trace management, simulators

+ any other topic deemed relevant to the field

* Advances in the Theory of Computing

+ data structures and algorithms

+ combinatorial optimization

+ formal languages and combinatorics on words

+ graph-theoretic and combinatorial methods in computer science

+ algorithmic paradigms, including distributed, online,

approximation, probabilistic, game-theoretic algorithms

+ computational complexity theory, including structural
complexity, boolean

complexity, communication complexity, average-case complexity,
derandomization

and property testing

+ logical approaches to complexity, including finite model theory

+ algorithmic and computational learning theory

+ aspects of computability theory, including computability in

analysis and algorithmic information theory

+ proof complexity

+ computational social choice and game theory

+ new computational paradigms: CNN computing, quantum,

holographic and other non-standard approaches to computability

+ randomized methods, random graphs, threshold phenomena and

typical-case complexity

+ automata theory and other formal models, particularly in

relation to formal verification methods such as model

checking and runtime verification

+ applications of theory, including wireless and sensor networks,

computational biology and computational economics

+ experimental algorithmics

This list is not intended to be exhaustive.

=== Research Papers ===

Submitted research papers must contain original research results not
submitted

and not published elsewhere.

There are four categories of submissions:

* Regular papers describing fully completed research results (up to
8 pages

in the two-columns paper style).

* System descriptions and experimental papers describing implementation

results of experimental data, with a link to the reported results (up to 4

pages in the two-columns paper style).

* Work in progress papers, describing ongoing work and/or preliminary

results (up to 4 pages in the two-columns paper style).

* Posters, describing ongoing work and research challenges of PhD
students

(up to 2 pages in the two-columns paper style).

Both the abstract and the full paper should be submitted electronically
through

http://www.easychair.org/conferences/?conf=synasc2018.

Research papers that are accepted and presented at the symposium will be

collected as post-proceedings published by Conference Publishing Service

(CPS) (included in IEEE Xplore) and will be submitted for indexing in
ISI Web

of Science, DBLP, SCOPUS.

Extended versions of the selected papers published in post-proceedings
will be

considered to be published as special issues in international journals
(e.g. Soft

Computing Journal, Scalable Computing: Practice and Experience etc.)

=== Workshops ===

* ACSys - Agents for Complex Systems

* DIPMAI - Digital Image Processing for Medical and Automotive Industry

* GeoInformatics

* IAFP - Iterative Approximation of Fixed Points

* NCA - Natural Computing and Applications

* PTAISC - Practical and Theoretical Aspects of Information Security
and Cryptology

The workshop papers should be submitted electronically through

http://www.easychair.org/conferences/?conf=synasc2018workshops.

=== Special Sesssions ===

* PhD Colloquium Session

Extended abstracts of up to 4 pages should be submitted electronically

through http://www.easychair.org/conferences/?conf=synasc2018workshops

=== Committees ===

Honorary Chair:

* Bruno Buchberger, Johannes Kepler University, Austria

Steering Committee:

* Tetsuo Ida, University of Tsukuba, Japan

* Tudor Jebelean, Johannes Kepler University, Austria

* Laura Kovacs, Technical University of Vienna, Austria

* Viorel Negru, West University of Timisoara, Romania

* Dana Petcu, West University of Timisoara, Romania

* Stephen Watt, University of Western Ontario, Canada

* Daniela Zaharie, West University of Timisoara, Romania

General Chairs:

* Viorel Negru, West University of Timisoara, Romania

* Dana Petcu, West University of Timisoara, Romania

Program Chairs:

* Erika Abraham, RWTH Aachen University, Germany

* Daniela Zaharie, West University of Timisoara, Romania

Track Chairs:

* Symbolic Computation

+ James Davenport, University of Bath, UK

+ Stephen Watt, University of Waterloo, Canada

* Numerical Computing

+ Stephen Takacs, Johannes Kepler University Linz, Austria

+ Eva Kaslik, West University of Timisoara, Romania

* Logic and Programming

+ Nikolaj Bjorner, Microsoft Research, USA

+ Tudor Jebelean, Johannes Kepler University, Austria

+ Laura Kovacs, Technical University of Vienna, Austria

* Artificial Intelligence

+ Andrei Petrovski, Robert Gordon University, UK

+ Daniela Zaharie, West University of Timisoara, Romania

* Distributed Computing

+ Karoly Bosa, Johannes Kepler University Linz, Austria

+ Marc Frincu, West University of Timisoara, Romania

* Advances in the Theory of Computing

+ Florin Manea, Christian-Albrechts-University, Kiel, Germany

+ Mircea Marin, West University of Timisoara, Romania

+ Gabriel Istrate, Institute e-Austria Timisoara, Romania

Special Sessions and Workshops Chair:

* Daniel Pop, West University of Timisoara, Romania

Tutorial Chair:

* Florin Fortis, West University of Timisoara, Romania

Proceedings Chairs:

* Erika Abraham, RWTH Aachen University, Germany

* Daniela Zaharie, West University of Timisoara, Romania

Organizing Commitee Chairs:

* Monica Tirea-Sancira, West University of Timisoara, Romania

* Isabela Dramnesc, West University of Timisoara, Romania

Publicity Chairs:

* Silviu Panica, Institute e-Austria Timisoara, Romania

* Sebastian Stefaniga, West University of Timisoara, Romania

Technical Committee Chairs:

* Adelin Daescu, West University of Timisoara, Romania

* Mihai Maghiar, West University of Timisoara, Romania

-----------

SYNASC 2018

West University of Timisoara

Department of Computer Science

Bd. V. Parvan 4, 300223 Timisoara, Romania

tel: + (40) 256 592195, +(40) 256 592389

fax: + (40) 256 592316, +(40) 256 592380

e-mail: synasc18@synasc.ro
**********************************************************
*
* 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 FSTTCS 2018

CALL FOR PAPERS  FSTTCS 2018, Ahmedabad, India

38th Annual Conference on Foundations of Software Technology and
Theoretical Computer Science
December 11-13, 2018

School of Engineering and Applied Science, Ahmedabad University,
Ahmedabad, India


Call for Papers
The FSTTCS conference solicits submission of  original results in
foundational aspects of Computer Science and Software Technology.
Representative areas include, but are not limited to, the following.

* Algorithms and Data Structures
* Algorithmic Graph Theory and Combinatorics
* Approximation Algorithms
* Automata, Games and Formal Languages
* Combinatorial Optimization
* Communication Complexity
* Computational Biology
* Computational Complexity
* Computational Geometry
* Computational Learning Theory
* Cryptography and Security
* Data Streaming and  Sublinear Algorithms
* Game Theory and Mechanism Design
* Logic in Computer Science
* Model Theory, Modal and Temporal Logics
* Models of Concurrent and Distributed Systems
* Models of Timed, Reactive, Hybrid and Stochastic Systems
* Parallel, Distributed and Online Algorithms
* Parameterized Complexity
* Principles and Semantics of Programming Languages
* Program Analysis and Transformation
* Proof Complexity
* Quantum Computing
* Randomness in Computing
* Specification, Verification, and Synthesis
* Theorem Proving, Decision Procedures, Model Checking and Reactive
Synthesis
* Theoretical Aspects of Mobile and High-Performance Computing
Submissions

Submissions must be in electronic form via EasyChair
(https://easychair.org/conferences/?conf=fsttcs2018)
using the LIPIcs LaTeX style file
(http://drops.dagstuhl.de/styles/lipics-v2018/lipics-v2018-authors.tgz).
Submissions must not exceed 12 pages (excluding bibliography), but may 
include a clearly marked appendix containing technical details. The
appendix  will be read only at the discretion of the program committee.
Simultaneous  submissions to journals or other conferences with
published proceedings are  disallowed.

Accepted papers will be published as proceedings of the conference in 
the Leibniz International Proceedings in Informatics
(LIPIcs) (https://www.dagstuhl.de/en/publications/lipics/) as a free,
open,  electronic archive with access to all. Authors will retain full
rights over their  work. The accepted papers will be published under
a CC-BY license (https://creativecommons.org/licenses/by/3.0/). For
an accepted paper to be included in the proceedings, one of the authors
must commit to presenting the paper at the conference.

Important Dates and Links
* Paper Submission deadline: July 24, 2018 AOE
* Notification to Authors: September 24, 2018 AOE
* Deadline for camera-ready papers: October 05, 2018 AOE

Invited Speakers
* Ola Svensson (EPFL, Lausanne, Switzerland)
* Santosh Vempala (Georgia Tech)
* TBA

Steering Committee
* Deepak D'Souza (IISc Bangalore, India)
* Manindra Agrawal (IIT Kanpur, India)
* Meena Mahajan (IMSc Chennai, India) chair
* Naveen Garg (IIT Delhi, India)
* K Narayan Kumar (CMI Chennai, India)
* Supratik Chakraborty (IIT Bombay, India)

Programme Committee
* Ahmed Bouajjani (Paris Diderot University, France )
* Alessandro Cimatti (Fondazione Bruno Kessler, Trento, Italy )
* Alexander Rabinovich (Tel-Aviv University, Israel)
* Amit Deshpande (Microsoft Research, Bangalore)
* Anand Louis (Indian Institute of Science, Bangalore)
* Anirban Dasgupta (Indian Institute of Technology, Gandhinagar)
* Anupam Gupta (Carnegie Mellon University, USA)
* Chaitanya Swamy (University of Waterloo, Canada)
* Chandra Chekuri (University of Illinois, Urbana-Champaign, USA)
* Jean-Francois Raskin (ULB, Belgium)
* Jugal Garg (University of Illinois, Urbana-Champaign, USA)
* Krishnendu Chatterjee (IST Austria )
* Krzysztof Onak (IBM Research, NY, USA)
* Mahesh Viswanathan (University Illinous, Urbana Champaign, USA)
* Meena Mahajan (Institute of Mathematical Sciences, India)
* Michael Kapralov (École Polytechnique Fédérale de Lausanne, Switzerland)
* K Narayan Kumar (CMI, Chennai, India )
* Naveen Garg (Indian Institute of Technology, Delhi, India)
* Neeldhara Misra (Indian Institute of Technology, Gandhinagar, India)
* Neeraj Kayal (Microsoft Research, Bangalore)
* Nisheeth Vishnoi (École Polytechnique Fédérale de Lausanne, Switzerland)
* Nitin Saxena (Indian Institute of Technology, Kanpur, India)
* Nutan Limaye (Indian Institute of Technology, Bombay, India)
* Paritosh Pandya (TIFR, Mumbai, India) co-chair
* Paul Gastin (LSV Cachan, France)
* Piyush Srivastava (Tata Institute of Fundamental Research, Bombay, India)
* Prahladh Harsha (Tata Institute of Fundamental Research, Bombay, India)
* R Ramanujam (IMSc Chennai, India)
* Raghunath Tewari (Indian Institute of Technology, Kanpur, India)
* Saket Saurabh (Institute of Mathematical Sciences, India)
* Sanjiva Prasad (IIT Delhi, India)
* Seeun Umboh (University of Sydney)
* Siddharth Barman (Indian Institute of Science, Bangalore, India)
* Subodh Sharma (IIT Delhi, India)
* Sumit Ganguly (IIT Kanpur, India) co-chair
* Sunil Simon (Indian Institute of Technology, Kanpur, India)
* Supratik Chakraborty (IIT Bombay, India )
* Thomas Thierauf (Ulm University, Germany)
* Yossi Azar (Technion, Israel)

Organizing Committee
• Anurag Lakhlani (Ahmedabad University)
• Barbara Morawska (Ahmedabad University)
• Dhaval Patel (Ahmedabad University)
• Mazad Zaveri (Ahmedabad University)
• Mehul Raval (Ahmedabad University)
• Pratik Trivedi (Ahmedabad University)
• Ratnik Gandhi (Ahmedabad University) chair
• Sanjay Chaudhary (Ahmedabad University)


**********************************************************
*
* 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, June 12, 2018

[DMANET] Seven PhD positions at GRK 2088 at the University of Göttingen

The Research Training Group RTG 2088

„Discovering Structure in Complex Data: Statistics meets Optimization and Inverse Problems"

(Speaker: Prof. Gerlind Plonka-Hoch) at the Georg-August-University Göttingen offers
positions for 7 Ph.D. candidates beginning on October 1st, 2018.
The salary is in accordance with the German public service salary scale (E13 TV-L) with
75% of the regular working hours (currently 29.85 hours per week) for up to three years.

The research projects in this RTG focus on new mathematical concepts for the efficient
reconstruction and classification of relevant structural information in data sets, without
reconstructing the entire information inherent in the data. Methodologically, specific emphasis
will be laid upon the interplay between approaches in statistics, optimization and inverse problems.

Requirements:
- A very good M.Sc.degree (or equivalent) in mathematics or a similar field;
- A strong background in one of the mathematical disciplines covered by the RTG
(inverse problems, optimization, mathematical statistics, data analysis, probability theory,
computational topology, mathematical signal and image processing);
- Proficiency in written and spoken English;
- Good programming skills are beneficial.

The University of Göttingen is an equal opportunities employer and places particular emphasis on fostering
career opportunities for women. Qualified women are therefore strongly encouraged to apply. The university
has committed itself to being a family-friendly institution. Applications from severely disabled persons with
equivalent qualifications will be given preference.

The job description can be found at http://www.uni-goettingen.de/de/305402.html?cid=100349.
Detailed information on the application process, the research projects and the PhD study program are
available at http://www.uni-goettingen.de/de/514290.html. Candidates are required to indicate up to
three preferred projects.
You find the online application platform here: https://lotus2.gwdg.de/uni/uzdv/perso/knr_100349.nsf


--
Prof. Dr. Anita Schöbel ! Tel: 0551-3912237
Institut für Numerische und !
Angewandte Mathematik !
Universität Göttingen !
Lotzestr. 16-18 ! http://optimierung.math.uni-goettingen.de
D - 37083 Göttingen ! e-mail: schoebel@math.uni-goettingen.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] DS-RT 2018: CFP Special Sessions (extended deadlines)

********** CALL FOR PAPER **********

DS-RT 2018, the 22nd IEEE/ACM International Symposium on Distributed
Simulations and Real Time Applications, is running three special sessions
this year:
- Distributed Simulations of Distributed Systems
- Agent-based Modeling and Simulation
- Simulation of Urban Traffic Management and ITS

These special sessions cover important areas of the field of distributed
simulations and real time applications, and many papers were accepted in
previous editions of DS-RT on the same topics. See below for more detailed
descriptions of those special sessions.
Accepted works will be published in the main track of IEEE DS-RT 2018
proceedings.


***** PAPER SUBMISSION AND REVIEW *****

Submitted manuscripts must be in standard IEEE two-column format that is
used for IEEE conference proceedings and must not exceed "8 pages" (2-page
extension allowed), including figures, tables and references. Standard IEEE
templates for Microsoft Word or LaTeX formats can be found at:
-
http://www.ieee.org/conferences_events/conferences/publishing/templates.html

A submission may present preliminary results, propose new research
direction, provide insightful retrospective, or offer a provocative
viewpoint on important topics related to the considered special session.
Papers will be selected based on their likelihood of generating insightful
technical discussions at the special session and influencing future
research. Papers must be unpublished and must not be submitted for
publication elsewhere. All papers will be reviewed by Technical Program
Committee members and other experts active in the field to ensure high
quality and relevance to the conference and the special session. At least
one author of accepted papers must attend the conference and present its
contribution. Accepted papers will appear in the conference proceedings to
be published by IEEE Press.


***** IMPORTANT DATES *****

Full paper submission deadline (extended): June 24th, 2018
Paper acceptance notification: July 10th, 2018


***** FOR MORE INFORMATION *****

For questions about the paper submission and review process, please contact
the session organisers - find all relevant information on the corresponding
web pages below.


***** DESCRIPTION OF THE SPECIAL SESSIONS *****

* Special Session on Distributed Simulations of Distributed Systems *

Distributed simulation (DS) is a valuable tool for understanding and
evaluating distributed systems. The current computing trend sees businesses
and individuals moving toward a more centralized infrastructure, namely the
cloud. On the one hand, as the computing infrastructure at data centers is
highly complex and distributed, DS becomes essential for diagnosing and
gaining insights of the system. On the other hand, the scale and nature of
interaction between different components in the cloud present new
challenges and push DS's state of the art.

Another computing trend that has potential to drive DS is
internet-of-things. Such complex systems consist of a large number of
autonomous, heterogeneous devices communicating with one another in
non-uniform manner. DS is valuable not only for discerning system
properties but also for predicting the devices' emergent behavior. Finally,
users in online social networks make up large distributed systems. Insights
of user interaction and the network's collective behavior --- the study of
which fits well into the realm of DS --- bring significant value to both
the society and the business of social network providers.

This special session seeks to bring together experts and practitioners in
the domain of DS to discuss new opportunities and challenges for DS. We
welcome research papers on both theoretical and empirical issues.

Web page: http://ds-rt.com/2018/dsimdsys_2018.htm

* Special Session on Agent-based Modeling and Simulation *

This special session focuses on general aspects and special properties for
agent-based modeling and simulations that allows them to be applied on
several scientific domains, such as sociology, physics, chemistry, biology,
ecology, and economy. The session is intended to bring together researchers
and practitioners, so they can present the current status of their work and
discuss the challenges they face in developing solutions and applications
for agent-based simulations. Consequently, the design of these simulations
aims not only to social contexts but also to more technical domains, which
involves highly complex interactive systems.

Web page: http://ds-rt.com/2018/abms_2018.htm

* Special Session on Simulation of Urban Traffic Management and ITS *

This special session focuses on simulation tools and real-time simulation
applications used in and for evaluation, management, and design of
Intelligent Transportation Systems (ITS), as well as Smart Cities. Such
simulations are expected to offer prediction and on-the-flow feedback for
the better decision-making, bringing up means for both the implementation
of more complex traffic management systems and end-user applications.
Off-line and real-time analyses of data collected from infrastructured
systems (e.g. real-time traffic information), mobile, distributed
technologies (e.g. communication devices), and socially-build systems (e.g.
social networks applications) are of great interest for shaping and
influencing how ITS solutions are designed. Thus, we are particularly
interested in how these data and technologies can be incorporated in
domain-related models and simulations. We aim to bring together experts
from both industry and academia to discuss the challenges related to
modelling and simulation for ITS.

Web page: http://ds-rt.com/2018/soiits_2018.htm


Best Regards,
DS-RT 2018 Special Session Chairs

**********************************************************
*
* 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] Professorship (W2, Tenure Track) for Theoretical Computer Science, Goethe University Frankfurt/Main

The Johann Wolfgang Goethe-University Frankfurt, Department of Computer
Science and Mathematics, invites applications to fill the position of a

Professorship (W2, Tenure Track)
for Theoretical Computer Science

within the Institute of Computer Science. We are seeking a candidate
widely recognized for excellent research in at least one of the research
areas Algorithms, Complexity Theory, or Logic in Computer Science,
substantiated by excellent publications in renowned journals of
theoretical computer science to complement our current team.

We expect that the candidate has completed a doctorate degree with
above-average performance. Experience with acquiring third-party
research funding is advantageous. The successful applicant is expected
to establish scientific collaborations within the Institute of Computer
Science, the Department, Goethe-University, and beyond, in particular
with a focus on Green IT, Theoretical Aspects of Machine Learning in
Computational Life Sciences, Natural Sciences or Business Information
Systems.

We are looking for a dedicated academic teacher who will be actively
involved in teaching the theoretical foundations of computer science in
our graduate and undergraduate programs. In addition, the candidate is
expected to appropriately engage within academic self-administration.
This appointment is part of a strategic repositioning of the Institute
for Computer Science in Frankfurt. The initial tenure track appointment
amounts to six years (see §64 of the Higher Education Act of the State
of Hessen (HHG)). Upon positive evaluation, the incumbent will be
promoted to a permanent position at a higher level (W3). The designated
salary for the position is initially based on "W2" of the German
university scale or equivalent. For further information regarding the
general conditions for professorship appointments, please see
www.vakante-professuren.uni-frankfurt.de .

Goethe-University aims at increasing the number of women in research and
teaching and therefore particularly encourages qualified female
scientists to apply. Applications of scientists from abroad are
explicitly requested. Severely disabled applicants with equal
qualification and aptitude will be given preferential consideration.

Qualified academics with an excellent, internationally recognized record
in research and teaching are invited to submit their application with
curriculum vitae (scientific and professional experience), a list of
publications, a record of teaching activities, a draft of five pages at
most on present and planned research, a record of actively acquired
third-party funding, certificates and documents until July 23rd 2018 in
electronic form (as a single PDF file) to the Dean of the Department of
Computer Science and Mathematics, e-mail: bewerbung@fb12.uni-frankfurt.de .

For questions on the position, please contact the Executive Director of
the Institute of Computer Science, Prof. Dr. Ina Koch, e-mail:
leitung@informatik.uni-frankfurt.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] Postdoc position in Durham (UK)

Applications are invited for a Post-Doctoral Research Associate position on the grant


"The Complexity of Promise Constraint Satisfaction".


The successful candidate will work with Andrei Krokhin and Daniel Paulusma at Durham University. The research in this grant will investigate the complexity of and algorithms for a broad class of computational problems, called Promise Constraint Satisfaction Problems, via methods of algebra and discrete mathematics. More details on the grant can be found at http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/R034516/1.


This post is full time and fixed term for 36 months.

The starting date is negotiable, but preferably as close as possible to 1 August 2018.


Informal enquiries should be sent to Andrei Krokhin (andrei.krokhin@durham.ac.uk).


Formal applications must be submitted via https://recruitment.durham.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.display_form


The closing date for applications is *5 July 2018*.

Shortlisting and interviews will take place by 18th July.


**********************************************************
*
* 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] A postdoc position in graph theory and combinatorics at KIT

The Department of Mathematics at the Karlsruhe Institute of Technology offers a

Research Associate Postdoctoral Position
(Akademische/n Mitarbeiter/in)

to work on Graph theory and Combinatorics.

Young researchers with strong background in discrete mathematics are invited to apply for this postdoctoral position. A Ph.D. in mathematics or theoretical computer science is required. Knowledge and experience in graph theory and combinatorics are expected. An excellent knowledge of English is required, knowledge of German is preferred.

Specific research topics include generalized Ramsey-type problems, graph coloring problems, extremal problems in set systems and posets, extremal problems in graphs. The position responsibility includes teaching four academic hours per week.

The position is available starting October 1, 2018. The salary grade is E13.

KIT is pursuing a gender equality policy. Women are therefore particularly encouraged to apply. If qualified, handicapped applicants will be preferred.

Please submit your application, including a curriculum vitae, a publication list, an outline of research interests, and arrange for at least two letters of reference. Applications and reference letters should be sent via e-mail to maria.aksenovich@kit.edu<mailto:maria.aksenovich@kit.edu>.


Maria Axenovich
Professor
Department of Mathematics
Institute of Algebra and Geometry
Karlsruhe Institute of Technology
Englerstr. 2
76131 Karlsruhe
Germany
Tel.: +49 721 608 43706
Fax.: +49 721 608 46968
Email: maria.aksenovich@kit.edu<mailto:maria.aksenovich@kit.edu>
URL: http://www.math.kit.edu/iag6/~axenovich/en


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

Monday, June 11, 2018

[DMANET] ICDCN 2019 Call for Workshop Proposals

ICDCN is a premier international conference dedicated to addressing advances in Distributed Computing and Communication Networks, which over the years, has become a leading forum for disseminating the latest research results in these fields. The 20th edition of this international conference will be organized in India, at the Indian Institute of Science, Bangalore, January 4 - 7, 2019. More details are available at http://events.csa.iisc.ac.in/icdcn2019/.

The 20th International Conference on Distributed Computing and Networking (ICDCN 2019) plans to host several workshops. The Organizing Committee invites proposals for one-day or half-day workshops affiliated with the conference. Workshops should emphasize current topics of interest to the conference and the community which are Distributed Computing and Communication Networks. Some of the topics of interest are:

* cyber-security

* disaster response

* smart healthcare

* energy and sustainability

* cyber-physical systems

* blockchains

* distributed data-analytics

The workshops should include a mix of regular papers, invited presentations and panels that encourage the participation of attendees in active discussion. The purpose of these workshops is to provide a venue for presenting new ideas in a generally more focused area than the main conference. The objective of these workshops is to enable stimulating discussions on state-of-the-art, emerging, visionary, and perhaps controversial topics. Workshops should be organized to promote such lively interaction. Plans to promote interaction and discussion should be clearly addressed in workshop proposals. Also note that accepted workshop technical papers will be indexed by the ACM Digital Library.

ICDCN 2018 hosted the following workshops:


1. Analytics for Security in Cyber Physical Systems (ACPS): https://sites.google.com/umbc.edu/ascps18/

2. Smart and Connected Communities: Technological Foundations, Challenges and Opportunities (SCC): https://sites.google.com/view/scc2018/

3. Computing and Networking for the Internet of Things (ComNetIoT): https://sites.google.com/view/comnetiot2018

4. Networking Women in Distributed Computing and Networks (NWDCN): https://nwdcn-2018.appspot.com/

5. Architecture and Algorithms for Distributed Data Analytics (AADDA): http://www.iith.ac.in/~sathya_p/AADDA/AADDA2018.html

6. Real-Time Stream Analytics and Machine Learning for Cyber-Physical Systems (RSM4CPS): https://sites.google.com/view/rsm4cps/home

The details of these workshops could be on ICDCN 2018 page: http://old.iitbhu.ac.in/ICDCN2018/workshops.html


* Format of the Proposal

* Each workshop proposal (maximum 5 pages) must include:

* Title of the workshop

* Description of the technical issues covered, emphasizing the timeliness of the proposed workshop (1 page maximum)

* Workshop Organizers (names, affiliation and contact information), limiting up to 2 workshop chairs for half-day workshop and 3 workshop chairs for full-day workshop

* A short biography of the organizers (up to 200 words)

* Names of potential participants, such as program committee members and invited speakers (indication that speakers accepted to participate is a plus)

* Planned format of the workshop, including:

o Duration of the workshop: Half-day, Full-day and tentative schedule

o Preferred day of workshop: Before or after the conference

o Number of refereed papers, hot topic sessions, keynotes, panels

o Unique, creative and novel workshops formats are strongly encouraged

* Draft Call for Papers

* A description of the publicity and promotion plan

* Workshop potential website address (if available at the time of the proposal - will be required later if the workshop proposal is accepted)

* If appropriate, a description of past versions of the workshop, including the number of submitted and accepted papers, number of attendees, etc.

Please address questions to Workshop Chairs:

* Sathya Peri (sathyap@acm.org<mailto:sathyap@acm.org>)

* Nirmalya Roy (nirmalya.roy@gmail.com<mailto:nirmalya.roy@gmail.com>)

Submission Instructions & Timelines:
The proposals can be submitted on Easychair page here: https://easychair.org/conferences/?conf=cfwicdcn2019

Timelines for the workshops:

* Proposal Deadline: 15th July 2018

* Notification of Selection: 31st July 2018

* Opening of Workshop Papers Acceptance: 1st August 2018

* Deadline for workshop paper submission: 30th September 2018

* Acceptance/Rejection of the Papers: 30th October 2018

* Camera-Ready Papers Version Due: 15th November 2018

**********************************************************
*
* 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] Advances in Combinatorics

Dear colleagues,

We would like to announce the launch of a new arXiv overlay journal -
Advances in Combinatorics.

Advances in Combinatorics is a mathematical journal that publishes
high-quality articles about combinatorial structures such as graphs,
hypergraphs, set systems, matroids, geometrical configurations, and
sets of integers, including their algorithmic aspects. We aim to be a
top-level specialist journal in combinatorics.

The journal will follow a model established by the journal "Discrete
Analysis" for diamond open access. The journal has no printed copies;
instead, the journal provides links to the published versions of the
articles on arXiv. So, the journal will be free to read for everybody!

Submission page: https://advances-in-combinatorics.scholasticahq.com/for-authors

We are now open for submissions and intend to publish the first
articles early in 2019.

Editorial board

Béla Bollobás (Cambridge)
Reinhard Diestel (Hamburg)
Timothy Gowers (Cambridge)
Dan Kráľ (Warwick)
Daniela Kühn (Birmingham)
James Oxley (LSU)
Bruce Reed (McGill)
Gábor Sárközy (WPI)
Asaf Shapira (Tel Aviv)
Robin Thomas (Georgia Tech)

The financial and administrative support for the journal is provided
by the Library of Queen's University in Kingston, ON.

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

[DMANET] Open PhD position in Lyon: “Hydrogen based Dynamically Robust & Optimized Green Energy systems (HYDROGEN)”

Open PhD position in Lyon: "Hydrogen based Dynamically Robust & Optimized
Green Energy systems (HYDROGEN)"

Hydrogen is the only carbon-free storable fuel. When combined with
renewable energy sources (wind, solar, hydro, wave and tidal), it has the
potential to become one of the main contributors of a sustainable future as
a green energy vector.

HYDROGEN project aims to handle dynamic management of a decentralized
Power-to-Hydrogen system where electricity is converted into hydrogen fuel
for a zero-emission mobility. Multiple economic agents with conflicting
interests are involved in the renewable electricity-based hydrogen supply
chain.

This PhD thesis will focus on the tactical decision level that encompasses
several issues: production scheduling, transportation policies, inventory
management, safety stock sizing... The objectives and constraints of
different stakeholders along with their relationships with each other at
varying time granularity (year, month, day etc.) will be defined. The most
suitable modelling approaches for each problem will be combined with
efficient solution methodologies.

Uncertainties of the system notably come from electricity generation (due
to varying natural conditions), variability of energy prices in the energy
spot market and demand fluctuation. These uncertainties will be addressed
in the modelling part.

We are offering a 3-year PhD thesis -expected to be ANR funded- at PersEE
Innovation, a Lyon based startup company (Sezin Afsar), in collaboration
with Toulouse Laboratoire de Génie Chimique, CNRS (Catherine Azzaro-Pantel)
and Toulouse Business School (Gilles Lafforgue). The thesis will be based
on modeling and solving different problems described above. Different types
of real-life or realistic data will be available for testing.

Keywords: supply chain management, renewable energy, hydrogen, stochastic
optimization, multi-objective optimization, game theory

Required Technical Skills:

· Master's degree or equivalent in Industrial Eng, Computer
Science, Applied Math or any relevant subject *from a European institution*

· Experience in Python/C/C++ and solvers such as GAMS, CPLEX or
Gurobi

· General knowledge of mathematical programming and optimization.
Expertise in stochastic and integer programming is an advantage.

· Familiarity with at least one of relevant fields (energy systems,
renewable energy, scheduling, supply chain management, metaheuristics…)

Behavioral Skills:

· Adaptability to team work

· Curiosity and enthusiasm to learn

· Flexibility

· Being open to new ideas and innovations

· Willingness to contribute to a cleaner future

· Speaking French is a plus

Candidates may send their CV, transcript, motivation letter and references
to saf@pers-ee.fr until July 31th, 2018. Start date will be November 2018
in Lyon or later.

Sezin Afsar, PhD

Optimization Scientist

+33140050403 <https://qui-appele.com/villes/8/tel/33140041000> |
www.pers-ee.com | Paris, France

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

[DMANET] PhD program in Analytics for Economics and Management (AEM) - University of Brescia

The Department of Economics and Management of the University of Brescia
offers a PhD program in /Analytics for Economics and Management/ (AEM).
The  first year will be devoted to courses on optimization and
statistics, to more specific courses on integer programming, computer
programming and CPLEX, and to the initial work on the thesis, under the
supervision of a professor with whom the PhD student will work closely.
During the second year most of our PhD students spend a period of time
abroad, working with leading researchers part of our network of
international collaborations.

Details on the PhD program can be found at

https://sites.google.com/a/unibs.it/aem/

Motivated and committed students with interest in operations research
are encouragedto applyfor one of the 8 places, 6 of which are with
fellowships. The deadline for the application is *August 3rd, 2018*.
Details on how to apply can be found at

Italian website: https://www.unibs.it/node/17694

English website: https://en.unibs.it/node/10661

For any information, possible candidates are invited to contact me for
further information.

Grazia Speranza

--
Claudia Archetti
Associate Professor in Operations Research
Dept. of Economics and Management
University of Brescia
Contrada S.ta Chiara 50
25122 Brescia
Italy
Tel: +39 030 2988587
Fax: +39 030 2400925
E-mail: claudia.archetti@unibs.it
web OR group: http://or-brescia.unibs.it
web: http://www.unibs.it/dipartimenti/metodi-quantitativi/personale-del-dipartimento/ricercatori/dottssa-archetti-claudia


--


Informativa sulla Privacy: http://www.unibs.it/node/8155
<http://www.unibs.it/node/8155>

**********************************************************
*
* 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 2018: 2nd Call for Presentations

HIGHLIGHTS 2018: 6th annual conference on Highlights of LOGIC, GAMES, and
AUTOMATA

18-21 September 2018, TU Berlin

http://highlights-conference.org

IMPORTANT DATES:
+ Submission deadline: 13 JUNE, 5pm GMT
+ Notification: 22 JUNE

SATELLITE EVENTS:
+ ErichFest: Symposium to Celebrate Erich Grädel's 60th Birthday, 17
September
+ Workshop on the Theory of Regular Cost Functions and Beyond, 21 September
(afternoon)

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

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

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


The Contributed Presentations will be around ten minutes long. All
speakers will be also invited to contribute to a Poster Session, which will
open new ways of interaction at the conference for the whole Highlights
community.

KEYNOTE PRESENTATIONS
+ Andrei Bulatov, The Complexity of Constraints: Dichotomies and Beyond
+ Nicole Schweikardt, Constant Delay Enumeration of Query Results
+ James Worrell, Algebraic Invariants for Affine Programs

TUTORIALS
+ Amir Abboud, Fine-Grained Complexity and Hardness in P
+ Christoph Berkholz, Interactions Between Proof Complexity and Finite
Model Theory
+ Joost-Pieter Katoen, Principles of Probabilistic Programming

INVITED SESSIONS
+ Chair: Christel Baier, Multi-Objective Reasoning in Probabilistic Models
+ Chair: Martin Grohe, Logic and Learning

SPOTLIGHT TALKS
+ Stéphane Gaubert, Nonarchimedean Convex Programming and Its Relation to
Mean-Payoff Games
+ Laura Kovács, Symbol Elimination for Program Analysis
+ Jan Křetínský, A Journey from LTL to Your Favourite Automaton
+ Amaury Pouly, Continuous Models of Computation: Computability,
Complexity, Universality
+ Jeffrey Shallit, Finite Automata and Additive Number Theory

**********************************************************
*
* 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: Modeling Week D3EMO @ CPH

**
REMINDER: Deadline June 25, 2018
Application window open for PhD students to be admitted to D3EMO
**

D3EMO: Modeling Week on Data Driven Decision Making and Optimization
September 3-7, 2018 @ Copenhagen Business School
Sponsors: MI-NET COST Action TD1409, EURO General Support Fund, Copenhagen Business School
https://www.cbs.dk/en/research/departments-and-centres/department-of-economics/events/d3emo-modeling-week

D3EMO Modeling Week will admit PhD students on a competitive basis, to work on problems proposed by industry. The PhD students will be required to have expertise in Mathematical Optimization, Operations Research or Statistical Data Analysis. Mathematical models and numerical solution approaches will be developed and communicated, following a collaborative approach, in which the PhD students will work in small groups under the supervision of the senior researchers during the Modeling Week. D3EMO Modeling Week is a natural place for PhD students to acquire advanced mathematical modeling training given by experts in the area, as well as contributing to their career development training (both for academic and non-academic progression) by developing further their collaborating and communication skills.

PhD students are applying to be admitted to the modeling week. The applications will be reviewed by the committee and those successful students will be notified by the end of June. The committee will consider (amongst other criteria): the excellence of the student, the area they are working in and the benefit to the student of attending the modeling week. Those PhD students admitted will receive a personal grant to (partially) cover accommodation, travel and meals.

To apply, please follow the link <Apply for D3EMO 2018, https://goo.gl/forms/TwvvP0x7gy6133Rd2>, and enter the requested fields, including the uploading of three files with
1. Your University level qualifications
2. CV containing a brief description of your PhD project, and details of your supervisor, institution, year of study, prizes or awards received, and poster/oral presentations delivered
3. A letter of motivation for wanting to attend the modeling week

**********************************************************
*
* 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 in applied mathematics

The consortium of the Transregio-CRC 154 is seeking highly motivated
and qualified students that are looking for obtaining a PhD degree in
applied mathematics. Once recruited, you will perform research in a
highly relevant research area in applied mathematics that is centered
around the "turnaround in energy policy", in particular in the context
of gas networks. The main aim of the Transregio-CRC is to provide
certified novel answers to mathematical challenges arising in this
context, based on mathematical modeling, simulation, and optimization.
In order to achieve these goals new paradigms in the integration of
these disciplines and, in particular, in the interplay between integer
and nonlinear programming in the context of stochastic data have to be
established and brought to bear.

The TRR154 is financed by the German Science Foundation, the second
funding phase lasts from July 1st, 2018, until June 30th, 2022.

For more details about the position, please consult the web page

https://trr154.fau.de/index.php/en/recruitment

For general information on the TRR, we refer to

https://trr154.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] One PhD Position in Discrete Mathematics at TU Graz

------------------------------------------------------------------------------------------
1 Stelle einer/eines Universitätsassistentin/Universitätsassistenten
ohne Doktorat an der TU Graz
------------------------------------------------------------------------------------------

1 Stelle eines/einer Universitätsassistenten/in ohne Doktorat
für 4 Jahre, 40 Stunden/Woche,
voraussichtlich ab 1. Oktober 2018,
am Institut für Diskrete Mathematik an der Technischen Universität Graz

Aufnahmebedingungen:
Abgeschlossenes Diplom- oder Masterstudium der Mathematik, theoretische
Informatik oder eines gleichwertigen Universitätsstudiums.

Gewünschte Qualifikationen:
- Gute Kenntnisse und Forschungserfahrung auf dem Gebiet der Diskreten
Mathematik, im Speziellen auf den Gebieten Zufällige Graphen,
Probabilistische Kombinatorik und Analytische Kombinatorik
- Bereitschaft zur Mitarbeit in der Arbeitsgruppe Kombinatorik
(Leiterin: Prof. Mihyun Kang)
- Sehr gute Kenntnisse der deutschen und der englischen Sprache

Einstufung:
- B1 nach Kollektivvertrag für die Arbeitnehmerinnen/Arbeitnehmer der
Universitäten
- das monatliche Mindestentgelt für diese Verwendung beträgt derzeit €
2.794,60 brutto (14 x jährlich)
- Lehrtätigkeit im Umfang von 2 Wochenstunden pro Semester (nach
Kollektivvertrag)

Bewerbungsschreiben, Lebenslauf sowie eine Kurzbeschreibung der
Forschungsinteressen in einer PDF-Datei sind unter Angabe der Stelle und
der Kennzahl: 5050/18/009

an die

Technische Universität Graz
Dekan der Fakultät für Mathematik, Physik und Geodäsie
O.Univ.-Prof. Robert Tichy
Petersgasse 16, A-8010 Graz
E-Mail: bewerbungen.mpug@tugraz.at

zu richten.

Ende der Bewerbungsfrist: 31. Juli 2018

weitere Information: https://www.math.tugraz.at/comb/phd2018.pdf

weitere Fragen: kang@math.tugraz.at


---------------------------------------------------------------------------
One PhD Position in Discrete Mathematics at TU Graz
---------------------------------------------------------------------------

One PhD position is available at the Institute of Discrete Mathematics,
Graz University of Technology (TU Graz). A tentative starting date is 1
October 2018.

We are seeking outstanding PhD candidates with interest and experience
in Discrete Mathematics, in particular in random graphs, probabilistic
combinatorics, and analytic combinatorics. The successful PhD candidate
will pursue her/his PhD degree under the supervision of Univ.-Prof.
Mihyun Kang.

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 it does not necessarily have to be awarded
at the time of application

Length and Salary:
- PhD position is for 4 years
- A gross monthly salary specified by Universitäten-Kollektivvertrag is
currently € 2.794,60 (14 x per year)
- Teaching duties: about 2 hours per week (as specified by
Kollektivvertrag)

Application documents:
- Letter of application,
which describes the candidate's academic qualifications, academic
experience, and scientific interests and specifies the candidate's
earliest possible starting date
- Curriculum Vitae
- Transcript of courses and grades, scanned copy of Master's degree
- Master thesis in a PhD format if available

The application documents (in one PDF file) quoting the reference
number (Kennzahl) 5050/18/009 should be submitted by email to

Technische Universität Graz
Dekan der Fakultät für Mathematik, Physik und Geodäsie
O.Univ.-Prof. Robert Tichy
Petersgasse 16, A-8010 Graz
Email: bewerbungen.mpug@tugraz.at

The deadline of the application is 31 July 2018.

One or two confidential letters of recommendation should directly be
sent to sandra.wissler@tugraz.at

Further information: https://www.math.tugraz.at/comb/phd2018.pdf

Further questions: kang@math.tugraz.at
**********************************************************
*
* 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, June 10, 2018

[DMANET] 2nd CFP for ISAAC 2018, December 16-19, 2018, Jiaoxi, Yilan, Taiwan

=================================================================
ISAAC 2018 - The 29th International Symposium on Algorithms and Computation

December 16-19, 2018

Jiaoxi, Yilan County, Taiwan

http://isaac2018.ie.nthu.edu.tw/
=================================================================


IMPORTANT DATES
-------------------------------------
Submission deadline: June 29, 2018 (Anywhere on Earth)
Acceptance notification: August 31, 2018
Camera-ready version: September 21, 2018
Early registration: October 5, 2018
Conference dates: December 16-19, 2018


CALL FOR PAPERS
-------------------------------------
The 29th International Symposium on Algorithms and Computation (ISAAC 2018)
will take place in Jiaoxi, Yilan County, Taiwan on December 16-19, 2018.
The symposium is intended to provide a forum for researchers working
in algorithms and theory of computation.

Please refer to the CFP link at:
http://isaac2018.ie.nthu.edu.tw/wp-content/uploads/2018/06/ISAAC2018-CFP-2nd.pdf


TOPICS
-------------------------------------
Papers presenting original research on all aspects of algorithms and
theory of computation are sought. The topics include, but are not limited
to:

Algorithmic game theory
Algorithms and data structures
Approximation algorithms
Combinatorial optimization
Computational biology
Computational complexity
Computational geometry
Cryptography
Experimental algorithmics
Graph drawing and graph algorithms
Internet algorithms
Online algorithms
Parallel and distributed algorithms
Quantum computing
Randomized algorithms


KEYNOTE SPEAKERS
-------------------------------------
Clifford Stein (Columbia University, USA)
Shang-Hua Teng (University of Southern California, USA)


SPECIAL WORKSHOP
-------------------------------------
In this year's ISAAC, we will organize a special workshop on Dec. 16
and invite several internationally renowned computer scientists
who were born in 1949 or earlier as special guest speakers.
The list of the invited speakers is as follows:

Tetsuo Asano (JAIST, Japan)
Fan Chung Graham (UC San Diego, USA)
Leonidas Guibas (Stanford University, USA)
Kurt Mehlhorn (Max Planck, Germany)

<Panel Discussion>
Ronald Graham (UC San Diego, USA)
D. T. Lee (Academia Sinica ,Taiwan)


BUBBLE-TEA SESSION OF OPEN PROBLEMS
-------------------------------------
In addition, we plan to arrange an open-problem session during ISAAC,
which aims at providing a forum for discussion and brainstorming
among the ISAAC community. Participants are welcome to submit and share
their open problems. The submission format and deadline will be announced
later
at the end of August.

<Committee>
Ho-Lin Chen (National Taiwan University, Taiwan)
Sándor Fekete (TU Braunschweig, Germany, Chair)
Wing-Kai Hon (National Tsing Hua University, Taiwan)
Chung-Shou Liao (National Tsing Hua University, Taiwan)

SUBMISSIONS
-------------------------------------
Authors are invited to submit an extended abstract or full paper of at most
12 pages
(including references, but excluding the optional appendix). The submission
should
contain a scholarly exposition of ideas, techniques, and results, including
motivation
and a clear comparison with related work. Authors are encouraged to also
make
full versions of their submissions freely accessible in an online
repository such as
ArXiv, ECCC, etc. Papers must not be submitted simultaneously to another
conference
with refereed proceedings or to a journal. Drafts which contain essentially
the same
results as papers under review in other conferences or journals cannot be
submitted
to ISAAC 2018. At least one author of an accepted paper is required to
present
the paper at the conference as a registered participant. Only electronic
submission
will be allowed via Easychair at:
https://easychair.org/conferences/?conf=isaac2018


PROCEEDINGS
-------------------------------------
The ISAAC 2018 proceedings will be published in the Leibniz International
Proceedings
in Informatics (LIPIcs) series, based at Schloss Dagstuhl. Submissions
should be
formatted in the LIPIcs LaTeX style, which is available at:
http://drops.dagstuhl.de/styles/lipics-v2018/lipics-v2018-authors.tgz

Submissions failing to adhere to the guidelines will be rejected without
consideration
of their merits.


AWARDS
-------------------------------------
The Best Paper and the Best Student Paper will be awarded.
A paper is eligible for the Best Student Paper if all authors
are full-time students at the time of submission. To indicate
that a submission is eligible, please add the phrase
"Eligible for best student paper" in the web form on the
submission server as well as in the paper.

COMMITTEES
-------------------------------------
Conference Chair:
D. T. Lee (Academia Sinica, Taiwan)

Program Committee:
Sang Won Bae (Kyonggi University, Korea)
Mark Bun (Princeton University, USA)
Hubert Chan (The University of Hong Kong, Hong Kong)
Danny Chen (University of Notre Dame, USA)
Ho-Lin Chen (National Taiwan University, Taiwan)
Kai-Min Chung (Academia Sinica, Taiwan)
Leah Epstein (University of Haifa, Israel)
MohammadTaghi Hajiaghayi (University of Maryland, USA)
Wing-Kai Hon (National Tsing Hua University, Taiwan)
Seok-Hee Hong (University of Sydney, Australia)
Sun-Yuan Hsieh (National Cheng Kung University, Taiwan)
Wen-Lian Hsu (Academia Sinica, Taiwan, Co-Chair)
Zhiyi Huang (The University of Hong Kong, Hong Kong)
Giuseppe F. Italiano (University of Rome Tor Vergata, Italy)
Naonori Kakimura (Keio University, Japan)
Ralf Klasing (CNRS and University of Bordeaux, France)
Dieter Kratsch (Universite de Lorraine, Metz, France)
Minming Li (City University of Hong Kong, Hong Kong)
Yi Li (Nanyang Technological University, Singapore)
Chung-Shou Liao (National Tsing Hua University, Taiwan, Co-Chair)
Pinyan Lu (Shanghai University of Finance and Economics, China)
Kazuhisa Makino (Kyoto University, Japan)
Petra Mutzel (TU Dortmund University, Germany)
Jesper Nederlof (Technische Universiteit Eindhoven, Netherlands)
Evanthia Papadopoulou (Universita della Svizzera italiana, Switzerland)
Kunsoo Park (Seoul National University, Korea)
Seth Pettie (University of Michigan, USA)
Marcin Pilipczuk (University of Warsaw, Poland)
Kunihiko Sadakane (The University of Tokyo, Japan)
Rahul Shah (Louisiana State University, USA)
Tetsuo Shibuya (The University of Tokyo, Japan)
Xiaoming Sun (Chinese Academy of Sciences, China)
Shin-ichi Tanigawa (The University of Tokyo, Japan)
Takeshi Tokuyama (Tohoku University, Japan)
Rob van Stee (University of Siegen, Germany)
Dorothea Wagner (Karlsruhe Institute of Technology, Germany)
Haitao Wang (Utah State University, USA)
Gerhard Woeginger (RWTH Aachen, Germany)
Prudence Wong (The University of Liverpool, UK)
Hsu-Chun Yen (National Taiwan University, Taiwan)
Huacheng Yu (Harvard University, USA)
Christos Zaroliagis (University of Patras, Greece)
Guochuan Zhang (Zhejiang University, China)

Organizing Co-Chairs:
Ho-Lin Chen (National Taiwan University, Taiwan)
Wing-Kai Hon (National Tsing Hua University, Taiwan)


Additional information (about the venue and travel) can be found on the
conference website at:
http://isaac2018.ie.nthu.edu.tw/

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