Tuesday, June 19, 2018

[DMANET] ALGOCLOUD 2018 - deadline extension

4th International Symposium on Algorithmic Aspects of Cloud Computing
(ALGOCLOUD 2018)

co-located with ALGO 2018

20-21 August 2018 – Helsinki, Finland

Submission Deadline: *June 30, 2018*

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

ALGOCLOUD (http://algo2018.hiit.fi/algocloud/) is an annual international
forum bringing together researchers, students, and practitioners to
present research activities and results on topics related to algorithmic,
design, and development aspects of modern cloud-based systems.
ALGOCLOUD 2018 is co-located with the ALGO 2018 congress (http://algo2018.hiit.fi),
a leading international event of researchers working in algorithms and
their engineering.

ALGOCLOUD welcomes submissions on all theoretical, design, and
implementation aspects of modern cloud-based systems. ALGOCLOUD is
particularly interested in novel algorithms in the context of cloud
computing, cloud architectures, as well as experimental work that
evaluates contemporary cloud approaches and pertinent applications.
ALGOCLOUD also welcomes demonstration manuscripts, which discuss
successful elastic system developments, as well as experience/use-case
articles. Contributions may span a wide range of algorithms for
modeling, practices for constructing and techniques for evaluating
operations and services in a variety of systems, including but not
limited to, virtualized infrastructures, cloud platforms, datacenters,
cloud-storage options, cloud data management, non-traditional key-value
stores on the cloud, HPC architectures, etc.


TOPICS

Submissions should focus on aspects of cloud-based systems, including (but not limited to)
the following areas:

- Distributed Algorithms and Mechanisms
- Algorithms, Data Structures and Computation
- Data Science, and Machine Learning
- Big Data Analytics and Deep Learning
- Networking, Routing, and Protocols
- Caching and Load Balancing
- Resource Management and Elasticity
- Search&Retrieval and Graph Exploration
- Privacy and Anonymization Approaches
- Privacy Preserving Record Linkage
- Scale-up and -out for NoSQL and columnar databases
- Analysis of containerized applications
- Cloud deployment tools and their analysis
- Query languages and novel programming models
- Data structures and algorithms for eventually-consistent stores
- Scalable access structures and indexing for cloud data-stores
- NoSQL and schema-less data modeling and integration
- Consistency, replication and partitioning CAP
- Transactional models and algorithms for cloud data-stores


PROCEEDINGS

Accepted papers will be included in the post-proceedings published by Springer
it its Lecture Notes in Computer Science series
(http://www.springer.com/gp/computer-science/lncs).


SUBMISSION GUIDELINES

Submissions must have a length of up to 12 pages in LNCS format, excluding references
and an optional appendix to be read at the discretion of the Program Committee.

Papers should be submitted electronically via the Easy Chair Submission
system (https://easychair.org/conferences/?conf=algocloud18).

By submitting a paper the authors acknowledge that in case of acceptance
at least one of the authors must register and attend ALGO 2018 and/or
ALGOCLOUD 2018, and present the paper.


IMPORTANT DATES

- Paper submission: *30 June 2018*
- Author notification: 25 July 2018
- Symposium: 20-21 August 2018


INVITED SPEAKER

Roger Wattenhofer (ETH Zurich, Switzerland)


COMMITTEES

Program Committee
- Alex Delis (University of Athens, Greece)
- Yann Disser (TU Darmstadt, Germany) [co-chair]
- Katerina Doka (National Technical University of Athens, Greece)
- Ahmed Eldawy (University of California Riverside, USA)
- Klaus-Tycho Foerster (University of Vienna, Austria)
- Aris Gkoulalas-Divanis (IBM Watson Health, USA)
- Dimitrios Karapiperis (Hellenic Open University, Greece)
- Eleftheria Katsiri (Democritus University of Thrace, Greece)
- Ulrich Meyer (Goethe-University Frankfurt, Germany)
- Taneli Mielikainen (University of Helsinki, Finland)
- Paolo Missier (Newcastle University, United Kingdom)
- Nikolaos Nodarakis (University of Patras, Greece)
- Mourad Ouzzani (Qatar Computing Research Institute, HBKU, Qatar)
- Guido Proietti (University of L'Aquila, Italy)
- Juha Röning (University of Oulu, Finland)
- Yücel Saygin (Sabanci University, Turkey)
- Junho Shim (Sookmyung Women's University, Korea)
- Elias C. Stavropoulos (Hellenic Open University, Greece)
- Przemysław Uznański (ETH Zurich, Switzerland)
- Dinusha Vatsalan (Data61 CSIRO, Australia)
- Vassilios Verykios (Hellenic Open University, Greece) [co-chair]

Steering Committee
- Spyros Sioutas (Ionian University, Greece)
- Peter Triantafillou (University of Glasgow, UK)
- Christos D. Zaroliagis (University of Patras, Greece)


**********************************************************
*
* 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 18, 2018

[DMANET] ALGOCLOUD 2018 - final call for papers

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

4th International Symposium on Algorithmic Aspects of Cloud Computing
(ALGOCLOUD 2018)

co-located with ALGO 2018

20-21 August 2018 – Helsinki, Finland

Submission Deadline: June 24, 2018

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

ALGOCLOUD (http://algo2018.hiit.fi/algocloud/) is an annual international
forum bringing together researchers, students, and practitioners to
present research activities and results on topics related to algorithmic,
design, and development aspects of modern cloud-based systems.
ALGOCLOUD 2018 is co-located with the ALGO 2018 congress (http://algo2018.hiit.fi),
a leading international event of researchers working in algorithms and
their engineering.

ALGOCLOUD welcomes submissions on all theoretical, design, and
implementation aspects of modern cloud-based systems. ALGOCLOUD is
particularly interested in novel algorithms in the context of cloud
computing, cloud architectures, as well as experimental work that
evaluates contemporary cloud approaches and pertinent applications.
ALGOCLOUD also welcomes demonstration manuscripts, which discuss
successful elastic system developments, as well as experience/use-case
articles. Contributions may span a wide range of algorithms for
modeling, practices for constructing and techniques for evaluating
operations and services in a variety of systems, including but not
limited to, virtualized infrastructures, cloud platforms, datacenters,
cloud-storage options, cloud data management, non-traditional key-value
stores on the cloud, HPC architectures, etc.


TOPICS

Submissions should focus on aspects of cloud-based systems, including (but not limited)
to the following areas:

- Distributed Algorithms and Mechanisms
- Algorithms, Data Structures and Computation
- Data Science, and Machine Learning
- Big Data Analytics and Deep Learning
- Networking, Routing, and Protocols
- Caching and Load Balancing
- Resource Management and Elasticity
- Search&Retrieval and Graph Exploration
- Privacy and Anonymization Approaches
- Privacy Preserving Record Linkage
- Scale-up and -out for NoSQL and columnar databases
- Analysis of containerized applications
- Cloud deployment tools and their analysis
- Query languages and novel programming models
- Data structures and algorithms for eventually-consistent stores
- Scalable access structures and indexing for cloud data-stores
- NoSQL and schema-less data modeling and integration
- Consistency, replication and partitioning CAP
- Transactional models and algorithms for cloud data-stores


PROCEEDINGS

Accepted papers will be included in the post-proceedings published by Springer
it its Lecture Notes in Computer Science series
(http://www.springer.com/gp/computer-science/lncs).


SUBMISSION GUIDELINES

Submissions must have a length of up to 12 pages in LNCS format, excluding references
and an optional appendix to be read at the discretion of the Program Committee.

Papers should be submitted electronically via the Easy Chair Submission
system (https://easychair.org/conferences/?conf=algocloud18).

By submitting a paper the authors acknowledge that in case of acceptance
at least one of the authors must register and attend ALGO 2018 and/or
ALGOCLOUD 2018, and present the paper.


IMPORTANT DATES

- Paper submission: 24 June 2018
- Author notification: 25 July 2018
- Symposium: 20-21 August 2018


INVITED SPEAKER

Roger Wattenhofer (ETH Zurich, Switzerland)


COMMITTEES

Program Committee
- Alex Delis (University of Athens, Greece)
- Yann Disser (TU Darmstadt, Germany) [co-chair]
- Katerina Doka (National Technical University of Athens, Greece)
- Ahmed Eldawy (University of California Riverside, USA)
- Klaus-Tycho Foerster (University of Vienna, Austria)
- Aris Gkoulalas-Divanis (IBM Watson Health, USA)
- Dimitrios Karapiperis (Hellenic Open University, Greece)
- Eleftheria Katsiri (Democritus University of Thrace, Greece)
- Ulrich Meyer (Goethe-University Frankfurt, Germany)
- Taneli Mielikainen (University of Helsinki, Finland)
- Paolo Missier (Newcastle University, United Kingdom)
- Nikolaos Nodarakis (University of Patras, Greece)
- Mourad Ouzzani (Qatar Computing Research Institute, HBKU, Qatar)
- Guido Proietti (University of L'Aquila, Italy)
- Juha Röning (University of Oulu, Finland)
- Yücel Saygin (Sabanci University, Turkey)
- Junho Shim (Sookmyung Women's University, Korea)
- Elias C. Stavropoulos (Hellenic Open University, Greece)
- Przemysław Uznański (ETH Zurich, Switzerland)
- Dinusha Vatsalan (Data61 CSIRO, Australia)
- Vassilios Verykios (Hellenic Open University, Greece) [co-chair]

Steering Committee
- Spyros Sioutas (Ionian University, Greece)
- Peter Triantafillou (University of Glasgow, UK)
- Christos D. Zaroliagis (University of Patras, Greece)
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] CFP: IEEE Access Journal Special Section on Wirelessly Powered Networks (deadline 30 September)

IEEE Access Journal - Impact Factor (2016): 3.244
Special Section on Wirelessly Powered Networks: Algorithms, Applications
and Technologies
Submission Deadline: 30 September 2018
Submit manuscript to: http://mc.manuscriptcentral.com/ieee-access

IEEE Access invites manuscript submissions in the area of Wirelessly
Powered Networks: Algorithms, Applications and Technologies.

Wireless Power Transfer (WPT) is, by definition, a process that occurs
in any system where electrical energy is transmitted from a power source
to a load without the connection of electrical conductors. WPT is the
driving technology that will enable the next stage in the current
consumer electronics revolution, including battery-less sensors, passive
RF identification (RFID), passive wireless sensors, the Internet of
Things and 5G, and machine-to-machine solutions. WPT-enabled devices can
be powered by harvesting energy from the surroundings, including
electromagnetic (EM) energy, leading to a new communication networks
paradigm, the Wirelessly Powered Networks.

While recent advances in wireless utensils appear to be unlimited, the
dependence of their operation on batteries remains a weakness, mainly
because batteries come with a limited lifetime and require a fast charge
time to achieve continuous operation. This is where the technologies of
WPT become useful, bringing together wireless energy and data
transmission. WPT technologies substitute the traditional powering
concept, where a cable or a battery is connected to the wireless device,
by the transmission of energy over the air in an efficient way to
power-up the device.

Wirelessly Powered Networks have recently evolved into a very active
research field, as well as a topic of rapid technological progress,
emerging practical developments and standardization activities. However,
a solid foundational, technological, and applied background is still
necessary for Wirelessly Powered Networks to achieve their full
potential. The provisioning of relevant technological models,
algorithmic design and analysis methods, networking principles, circuit
and system design, and application methodologies is a challenging task.
This Special Section in IEEE Access invites academic and industrial
experts to make their contributions on Wirelessly Powered Networks. It
will selectively span a coherent, large spectrum of fundamental aspects
of WPT, and will focus on three main thematic pillars and relevant
themes: Algorithms, Applications and Technologies.

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

Algorithms
- Optimization and approximation algorithms (mobility/energy/data
management)
- Joint operation scheduling (routing, data gathering, ambient
harvesting)
- Precise algorithmic models and efficient distributed protocols
- WPT devices deployment
- Safety provisioning through EM radiation control algorithms
- Peer-to-peer and crowd charging algorithms
- Algorithms for simultaneous wireless information and power transfer
(SWIPT)

Applications
- Medical implants and wearable devices
- Automotive technology and electric vehicles
- Mobile communications, wireless sensor networks and UAVs
- Spacecraft engineering
- Home/Industrial appliances
- Standardization, regulations and biological effects
- Solutions for SWIPT

Technologies
- RF energy harvesting, rectennas and rectenna arrays
- High-frequency rectifying circuits, power transmitters and devices
- Near-field (inductive, resonant) energy transfer
- Microwave transmission and beaming
- Novel materials, fabrication techniques
- Energy storage elements, RFID-related electronics and self-powered
sensors
- Measurement and characterization approaches for WPT components

We also highly recommend the submission of multimedia with each article
as it significantly increases the visibility, downloads, and citations
of articles.

Associate Editor:
- Theofanis P. Raptis, National Research Council, Italy

Guest Editors:
- Nuno Borges Carvalho, University of Aveiro, Portugal
- Diego Masotti, University of Bologna, Italy
- Lei Shu, Nanjing Agricultural University, China / University of
Lincoln, UK
- Cong Wang, Old Dominion University, USA
- Yuanyuan Yang, Stony Brook University, USA

Website:
http://ieeeaccess.ieee.org/special-sections/wirelessly-powered-networks-algorithms-applications-and-technologies/
For inquiries regarding this Special Section, please contact the
Associate Editor.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Call For Papers: IEEE Symposium on Foundations of Computational Intelligence (FOCI 2018)

Dear colleagues,

Please consider to submit your papers to FOCI 2018 (call for papers below).
(Extended Deadline: 30 June 2018)

===

FOCI 2018, IEEE Symposium on Foundations of Computational Intelligence,
affiliated to IEEE Symposium Series on Computational Intelligence, IEEE
SSCI 2018

18-21 November 2018, Bengaluru, India

http://ieee-ssci2018.org

The 2018 IEEE Symposium Series on Computational Intelligence (IEEE SSCI
2018) will be held in Bengaluru, India on November 18-21, 2018. SSCI is a
flagship annual international conference on computational intelligence
sponsored by the IEEE Computational Intelligence Society. All accepted
papers will appear in IEEE Xplore Digital Library and indexed by EI, SCOPUS
etc.

As a tradition, IEEE SSCI 2018 will co-locate a number of symposiums, each
dedicated to a special topic related to computational intelligence, thereby
providing a unique platform for promoting cross-fertilization. SSCI 2018
will be featured by cross-symposium tutorials, keynote speeches, panel
discussions, PhD consortiums, oral presentations and poster sessions.
Student grants, Best paper Awards and Student Best Paper Award will be
given.

Computational intelligence techniques have proven useful after numerous
applications in real world problems. However, there is much work to be done
in order to fully understand the theoretical foundations of such
techniques. IEEE FOCI'18, provides an ideal forum for those who are
interested in the fundamental issues of computational intelligence to
exchange their ideas and present their latest findings.

IEEE FOCI'18 will focus on fundamental theoretical and practical
foundations of computational intelligence, including but not limited to
neural networks, fuzzy logic, evolutionary computation, and other machine
learning methods. The symposium will put equal emphasis on theoretical and
practical work as long as it addresses the foundations of computational
intelligence.


WEBPAGE:

For more information about FOCI 2018 see,

http://ieee-ssci2018.org/foci.html


IMPORTANT DATES:

Paper submission due: June 30, 2018 (extended deadline)
Paper notification: August 15, 2018
Early registration: September 15, 2016

--
Pietro S. Oliveto
Senior Lecturer,
EPSRC Early Career Fellow,
Department of Computer Science,
The University of Sheffield, Sheffield, UK.
*www.dcs.shef.ac.uk/people/P.Oliveto/rig/
<http://www.dcs.shef.ac.uk/people/P.Oliveto/rig/>*

*Fully funded PhD studentships available now* in time complexity analysis
of bio-inspired computation. Enquiries by excellent candidates can be sent
to me by email. Applications will be accepted until the posts are filled.
Further details are here
<http://staffwww.dcs.shef.ac.uk/people/P.Oliveto/PhDStudentships.html>.
Applicants should apply using the online application form here
<http://www.shef.ac.uk/postgraduate/online>

**********************************************************
*
* 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] WAAC 2018 Call for Papers (Deadline: July 6)

--------------------------------------
The 21st Japan-Korea Joint Workshop on
Algorithms and Computation (WAAC 2018)

August 26-27, 2018, Fukuoka, Japan
--------------------------------------
http://www.fc.inf.kyushu-u.ac.jp/waac2018/

----------
Objectives
----------
The aim of this workshop is to provide a forum for researchers working
on algorithms and the theory of computation, to promote the exchange of
recent results, to foster new collaborations among researchers.
Historically, the workshop has established for the purpose of
collaboration of researchers of Korea and Japan; however, participation
from any country is welcome.

The workshop is organized by the Special Interest Group on Algorithms
(SIGAL) of the Information Processing Society of Japan and the Special
Interest Group on Theoretical Computer Science (SIGTCS) of the Korean
Institute of Information Scientists and Engineers (KIISE).

------
Topics
------
The topics covered by the workshop are, but not limited to:
- Automata, languages and computability
- Algorithms (combinatorial/graph/geometric/randomized)
- VLSI and parallel algorithms
- Networks and distributed algorithms
- Learning theory and data mining
- Number theory and cryptography
- Graph drawing and visualization
- Computational logic
- Combinatorics and optimization

----------
Submission
----------
Authors are invited to submit papers up to 8 pages in English via the
EasyChair submission system at
https://easychair.org/conferences/?conf=waac2018
no later than July 6, 2018.

Since the proceedings will be only distributed at the workshop,
submission of preliminary or extended versions of materials that are to
appear in other conferences or journals is allowed and encouraged.


---------------
Important Dates
---------------
Submission deadline: July 6, 2018
Notification of acceptance: July 27, 2018
Final version submission: August 10, 2018
Conference: August 26-27, 2018

-----------------
Program Committee
-----------------
Sang Won Bae (Kyonggi University)
Yo-Sub Han (Yonsei University)
Taisuke Izumi (Nagoya Institute of Technology)
Naonori Kakimura (Keio University)
Akitoshi Kawamura (Kyushu University)
Inbok Lee (Korea Aerospace University)
Mun-Kyu Lee (Inha University)
Heejin Park, co-chair (Hanyang University)
Eiji Takimoto, co-chair (Kyushu University)

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

[DMANET] FRICO 2018: Third Call for Participation

=== FRICO 2018 Third Call for Participation ===

The Workshop on Future Research in Combinatorial Optimization (FRICO)
aims to bring together researchers from the fields of integer and
combinatorial optimization, OR, graph theory, and other related fields.
The workshop is especially intended early-stage researchers. At FRICO
you will have the opportunity to present your own results (even work
containing gaps and unsolved problems) in a relaxed atmosphere. The
scientific program will be complemented by a broad social program as
well as an Industry Day to encourage the exchange of ideas and networking.

FRICO 2018 is the 22nd workshop in a series of successful events. This
year it will take place from August 21st to 24th at Chemnitz University
of Technology. The registration is open until June 30th and
participation is free of charge. Please find further information about
the workshop as well as the registration process at

https://www.tu-chemnitz.de/mathematik/discrete/frico2018/ .

If you have any questions, please do not hesitate to contact us via
frico@tu-chemnitz.de .

Best regards,
Organizing Team of FRICO 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] GraMSec 2018 - call for participation

******************************************************************
GraMSec 2018
The Fifth International Workshop on Graphical Models for Security
Oxford, UK - July 8, 2018
http://gramsec.uni.lu/

Co-located with CSF 2018 (https://www.cs.ox.ac.uk/conferences/csf2018/)
In conjunction with FLoC 2018 (http://www.floc2018.org/)
******************************************************************

ABOUT GraMSec
The use of graphical security models to represent and analyse the
security of systems has gained an increasing research attention over the
last two decades. Formal methods and computer security researchers, as
well as security professionals from the industry and government, have
proposed various graphical security models, metrics, and measurements.
Graphical models are used to capture different security facets and
address a range of challenges including security assessment, automated
defence, secure services composition, security policy validation, and
verification. The objective of GraMSec is to contribute to the
development of well-founded graphical security models, efficient
algorithms for their analysis, as well as methodologies and tools for
their practical usage.

PROGRAM of GraMSec 2018
--------------------------
09:00
Opening

09:10
Invited talk of Mike Fisk, Chief Information Officer at Los Alamos
National Laboratory, NM, USA
Intrusion Tolerance in Complex Cyber Systems

10:10
Marlon Dumas, Luciano García-Bañuelos and Peeter Laud
Disclosure Analysis of SQL Workflows

10:30-11:00
Coffee Break

11:00
Haozhe Zhang, Ioannis Agrafiotis, Arnau Erola, Sadie Creese and Michael
Goldsmith
A state machine system for insider threat detection

11:45
Sabarathinam Chockalingam, Wolter Pieters, Andre Teixeira, Nima Khakzad
and Pieter van Gelder
Combining Bayesian Networks and Fishbone Diagrams to Distinguish between
Intentional Attacks and Accidental Technical Failures

12:30-14:00
Lunch Break

14:00
Ilia Shumailov, Mansoor Ahmed and Ross Anderson
Tendrils of Crime: Visualizing the Diffusion of Stolen Bitcoins

14:45
Maxime Audinot, Sophie Pinchinat, François Schwarzentruber and Florence
Wacheux
Deciding the Emptiness of Attack trees

15:30-16:00
Coffee Break

16:00
Ross Horne, Sjouke Mauw and Alwen Tiu
The Attacker Does not Always Hold the Initiative: Attack Trees with
External Refinement

16:45
Harley Eades Iii, Jiaming Jiang and Aubrey Bryant
On Linear Logic, Functional Programming, and Attack Trees

17:30
Closing

REGISTRATION
Registration to GraMSec 2018 is handled via the website of FLoC
https://www.floc2018.org/register/

If you need a support letter for a visa, please check
https://www.floc2018.org/faqs/

PROGRAM COMMITTEE CO-CHAIRS
George Cybenko, Dartmouth College, NH, USA
David J. Pym, UCL, UK

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

Sunday, June 17, 2018

[DMANET] Parameterized Complexity for Practical Computing, Wellington, NZ on 25 July

**********************************************************
PARAMETERIZED COMPLEXITY FOR PRACTICAL COMPUTING
**********************************************************

We kindly invite you to a one day FPT workshop to be held at Victoria
University of Wellington on Wednesday 25 July 2018.

Additional information is on the fpt page of the www.cmsc.nz website
located at https://www.cmsc.nz/ftp-workshop/

Objective: The objective of this workshop is to stimulate discussion on
the useful purpose of FPT. Discussion may include how parameterized
complexity interacts with operations research, algorithms engineering,
machine learning, artificial intelligence, and other areas. Topics
include turbo-charging heuristics, groovy FPT, reverse kernelization,
extremal gradients and others.

Keynote speaker: Mike Fellows will talk about Future Directions of the
Field. The Research Council of Norway has awarded a Toppforsk grant of
about 4.5 million AUD for the project: Parameterized Complexity for
Practical Computing. The funding scheme supports "scientific quality at
the forefront of international research; boldness in scientific thinking
and innovation". (See www.mrfellows.net for a copy of the Toppforsk
grant proposal).

The workshop is informal and broad, and appropriate for PhD, PostDoc and
Masters students as well as more senior academics.

Location: Wellington, New Zealand at Victoria University, Cotton
Building, CO350.

Date: Wednesday July 25th 2018

Register / Submit Abstract: by sending an email to Catherine McCartin
<C.M.McCartin@massey.ac.nz> (Massey University, New Zealand) or to
Frances Rosamond <frances.rosamond@uib.no> (University of Bergen,
Norway).

There is no fee for the workshop.

Topic:
The original book introducing parameterized complexity written by Downey
and Fellows and published in 1999, envisioned the central goal of the
program: "to serve the community". This workshop is intended to
highlight how FPT practitioners are employing parameterized algorithm
design and application in a wide variety of areas. There has been
tremendous progress in bringing the toolkit to support fields such as
AI, computational biology, computational social choice and other
disciplines, and subfields of computer science. The PACE Parameterized
Algorithms and Computational Experiments Challenge is helping deepen the
relationship between parameterized algorithmic theory and practice.

To encourage wide participation and discussion, there will be no formal
publication of workshop proceedings. Accepted papers will be posted
online for the benefit of the workshop participants. Submission of
preliminary work and papers being prepared for other major venues in the
field are invited.

****************************************
Adjacent Conference: CREATIVE MATHEMATICAL SCIENCES COMMUNICATION
(CMSC2018). Explore important topics and open questions for computer
science outreach. At this conference we discuss how to design activities
that communicate the foundational ideas of computer science. These will
contribute to the CS Unplugged! repository and Bebras. Come early to the
FPT Workshop and also attend CMSC 2018 (See www.cmsc.nz).

****************************************
Anyone coming from outside New Zealand should check VISA requirements.
--
Frances Rosamond, Professor
Department of Informatics
University of Bergen
Editor: Parameterized Complexity Newsletter
Editor: Parameterized Complexity wiki (www.fpt.wikidot.com)
Program Committee: Parameter Implementation PACE
(https://pacechallenge.wordpress.com)
President and CEO: Rosamond Computer Science Research and Education
**********************************************************
*
* 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, June 16, 2018

[DMANET] Postdoc Research Fellow position on 5G Service Function Chain at University of Exeter, UK

We are looking for a Postdoc Research Fellow to conduct research on 5G
Service Function Chain at the University of Exeter (http://www.exeter.ac.uk),
a member of the prestigious Russell Group of research-intensive
universities in UK.

Description:

This is a two-year position. The post will include proposing a uniform VNF
chaining framework to efficiently construct SFCs; developing a proactive
model, considering future network and service variations at
the initialisation of SFC placement, to perform practical service
deployment in 5G mobile networks; and proposing a real-time deterministic
model to perform SFC placement for unforeseen variations.

Requirement:

Applicants will possess a relevant PhD or equivalent
qualification/experience in a related field of study and be able to
demonstrate sufficient knowledge in 5G, stochastic optimisation, dynamic
system modelling, and machine learning to work within established research
programmes. Applicants should be proficiency in MATLAB and Python and have
hands-on experience working with OpenStack and NS-3/OMNeT++.

How to apply and more information/requirements:

https://jobs.exeter.ac.uk/hrpr_webrecruitment/wrd/run/ETREC107GF.open?VACANCY_ID=112157LudQ&WVID=3817591jNg&LANG=USA

The application deadline is on 15 July 2018. For further questions, please
contact Dr. Yulei Wu via email (y.l.wu@exeter.ac.uk).


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

[DMANET] PhD Positions in Algorithmic Game Theory/Machine Learning at University of Zurich, Switzerland

The Computation and Economics Research Group at the University of
Zurich is inviting applications for

**2 fully funded PhD positions in Computer Science (Algorithmic
Game Theory + Machine Learning).**

You will work with Prof. Dr. Sven Seuken on high-impact market
design projects. Market design is a research field that combines
techniques from computer science, game theory, operations
research, and other fields. Its goal is to design new,
well-functioning marketplaces or repair ones that are broken. In
our research group, we study foundational market design
questions from an algorithmic and game-theoretic perspective.
Current members of our research group work on a variety of projects
including machine learning-based combinatorial auctions, data
markets, cloud computing markets, financial markets, and
equilibrium finding algorithms. The focus of the two new positions
will be on the intersection of machine learning, market design, and
algorithmic game theory. Most of our projects are funded by the
Swiss National Science Foundation. Furthermore, we also collaborate
with industrial partners such as Google and Microsoft. We publish
our research in the top international conferences in the areas of
AI and Economics and Computation.

We offer:
- a team of young and highly motivated colleagues who are
passionate about topics at the intersection of computer science
and game theory (in particular: market design)
- strong support for your professional/career development
- a very competitive salary
- generous support for professional travel and research needs
- an attractive work environment both within the research group
and beyond: the University of Zurich is one of Switzerland's
leading universities in the middle of a vibrant, cosmopolitan
city that regularly ranks as one of the cities with the highest
quality of life in the world.

You have:
- a master's degree in computer science or a related field (e.g.,
mathematics, economics, or operations research). Highly qualified
students with a bachelor's degree may also apply.
- an interest in topics at the intersection of computer science and
game theory
- strong mathematical skills and a good background in
theoretical computer science
- excellent communication skills in English (German speaking skills
are not necessary)
- prior knowledge in game theory, machine learning, or optimization
is desirable but not required.

If you fit this profile, like challenging tasks, and are passionate
about research, then we would love to hear from you. Women are
particularly encouraged to apply. To submit your application,
please go to: http://www.ifi.uzh.ch/en/ce/jobs/phd.html

All applications received by June 30, 2018 will be considered.
Applications received afterwards will be considered until both
positions are filled. The preferred starting date is September 1st,
but the exact starting date is flexible. Further
information about the research group is available online at:
http://www.ifi.uzh.ch/ce.


Best,
Sven Seuken

--
Sven Seuken, PhD
Associate Professor of Computation and Economics
Department of Informatics
University of Zurich
http://www.ifi.uzh.ch/ce

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

[DMANET] Postdoc Position in Algorithms

Postdoctoral Position in Algorithms
TU Munich

A postdoctoral position in the area of efficient algorithms is available in
the research group of Prof. Susanne Albers, Department of Computer Science,
Technical University of Munich (TU Munich).

The position will be funded by an ERC Advanced Grant. Hence a research
interest
in approximation and online algorithms, algorithmic game theory or algorithm
engineering is very welcome. More information about Susanne Albers and
the research group can be found at http://wwwalbers.in.tum.de/index.html.en

The position provides a competitive 12 month salary with standard
benefits. The
initial appointment is for a period of one or two years, depending on
the research
profile of the candidate. An extension is possible based on the progress
in research.
The expected start date of the position is fall 2018.

The successful candidate should have a PhD degree in computer science or
mathematics. Furthermore, he/she should be interested in collaborating with
PhD students. The application material should include (1) a cover letter
describing
the interest in the position, (2) a CV and list of publications, (3) a
short
research summary, and (4) the names and contact information of at least
two references. The material should be sent electronically to
<albers@in.tum.de>.

Applications will be reviewed starting from July 15, 2018.

Susanne Albers
Department of Computer Science
Technical University Munich
Boltzmannstr. 3
85748 Garching (near Munich), Germany
E-mail: albers@in.tum.de

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

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