Wednesday, January 31, 2018

[DMANET] 3rd CFP - VIII Latin-American Workshop on Cliques in Graphs (LAWCG 2018)

LAWCG 2018
VIII Latin-American Workshop on Cliques in Graphs
August 9-11, 2018
Rio de Janeiro-RJ, Brazil
http://lawcg2018.icomp.ufam.edu.br/

We are very pleased to announce that the 8th Latin American Workshop on Cliques
in Graphs will be held on August 9-11, 2018 in Rio de Janeiro, Brazil.
Following the previous workshops at (2002) Rio de Janeiro, Brazil; (2006)
La Plata, Argentina; (2008) Guanajuato, Mexico; (2010) Itaipava, Brazil;
(2012) Buenos Aires, Argentina; (2014) Pirenópolis, Brazil and (2016) La
Plata, Argentina, the workshop is meant to foster interaction between the
Latin American Graph Theory and Combinatorics researchers, whose research
interests include cliques, clique graphs, the behavior of cliques and other
topics in Graph Theory.

The LAWCG 2018 is supported by the Special Committee on Algorithms,
Combinatorics
and Optimization (CE-ACO) of the Brazilian Computer Society (SBC).

In 2018, the LAWCG is a satellite event of ICM 2018 (International Congress
of Mathematicians), that will be held in Rio de Janeiro, from August 1st to
9th, 2018. Also in the 2018 edition, the LAWCG joins the commemorations of
the 50th edition of the Brazilian Operational Research Symposium (SBPO),
organized by the Brazilian Society of Operational Research (SOBRAPO), which
is part of ALIO and IFORS.

The official languages are English, Portuguese, and Spanish.

We have four confirmed plenary talks by:

Bojan Mohar (Canada and Slovenia)
Gyula O. H. Katona (Hungary)
Jorge Urrutia (Mexico)
Marisa Gutierrez (Argentina)


Contributed talks covering original work on the conference topics will be
selected for presentation. Prospective authors should submit a 1-page
abstract of their work in .pdf format by email to

lawcg-subm@eic.cefet-rj.br <lawcg2018@eic.cefet-rj.br>

using the following LaTex format avaiable at

http://lawcg2018.icomp.ufam.edu.br/call-papers

Submissions open on: January 15th 2018
Closing date for submissions: March 31st 2018
Notification of acceptance: May 15th 2018

After the workshop, the proceedings of the workshop will be published
by Matemática
Contemporânea, a journal of the Brazilian Mathematical Society. All
participants of the conference will be invited to submit an extended abstract
(up to 6 pages) describing their contributions. The submitted papers will
go through the normal review process. Please follow the formatting
guidelines of Matemática Contemporânea.

Registration Fees

Regular: R$ 500 (early); R$600 (late),
Student: R$ 250 (early); R$ 300 (late).

Early registration ends May 22, 2018. And the above values include access
to all conference activities (sessions, coffee breaks and social events).

Details on the registration procedure are provided in the conference
website: http://lawcg2018.icomp.ufam.edu.br/registration

We sincerely hope to see you at Rio de Janeiro for the workshop,


Committees

ICM 2018's satellite representatives
Jayme Szwarcfiter, UFRJ, Rio de Janeiro, Brazil
Nelson Maculan, UFRJ, Rio de Janeiro, Brazil

Steering Committee
Celina de Figueiredo, UFRJ, Rio de Janeiro, Brazil
Erika Coelho, UFG, Goiânia, Brazil
Jayme Szwarcfiter, UFRJ and UERJ, Rio de Janeiro, Brazil
Liliana Alcón, UNLP, La Plata, Argentina
Márcia Cappelle, UFG, Goiânia, Brazil
Marina Groshaus, UBA, Buenos Aires, Argentina
Marisa Gutierrez, UNLP, La Plata, Argentina
Miguel Pizaña, UAM, Mexico, Mexico

General Chair
Celina de Figueiredo, UFRJ, Rio de Janeiro, Brazil

Program Committee
Ana Karolinna Maia, UFC, Ceará, Brazil
Cláudia Linhares Sales, UFC, Fortaleza, Brazil
Leo Liberti, CNRS LIX, École Polytechnique, France
Luerbio Faria, UERJ, Rio de Janeiro, Brazil
Maya Stein, Universidad de Chile, Santiago, Chile
Rosiane de Freitas, UFAM, Manaus, Brazil
Thibaut Vidal, PUC, Rio de Janeiro, Brazil

Organizing committee
Diana Sasaki, UERJ, Rio de Janeiro, Brazil
Diego Nunes Brandão, CEFET/RJ, Rio de Janeiro, Brazil
Helder Manoel Venceslau, CEFET/RJ, Rio de Janeiro, Brazil
Luís Felipe Ignácio Cunha, UFF, Rio de Janeiro, Brazil
Pedro Henrique González Silva, CEFET/RJ, Rio de Janeiro, Brazil
Rainer Amorim, UFAM and FUCAPI, Manaus, Brazil
Raphael Machado, Inmetro and CEFET/RJ, Rio de Janeiro, Brazil
Simone Gama, UFAM, Manaus, Brazil


Additional information is available at LAWCG 2018's website:

http://lawcg2018.icomp.ufam.edu.br/
<http://lawcg2018.icomp.ufam.edu.br/call-papers>

--
Rosiane de Freitas, CS Research Professor
Optimization, Algorithms, and Computational Complexity research group
Institute of Computing - Federal University of Amazonas (IComp/UFAM)
Manaus - Amazonas, Brazil
+55 92 9 8242-4088
---

**********************************************************
*
* 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] SPIRE 2018 2nd Call for Papers

SECOND CALL FOR PAPERS

SPIRE 2018
25th International Symposium on
String Processing and Information Retrieval
October 9-11, 2018, Lima, Peru

http://eventos.spc.org.pe/spire2018/

Paper submission: May 18, 2018 (anywhere on Earth)
Notification: July 9, 2018

**********************************************
LOCATION
**********************************************

SPIRE 2018 will take place in Lima, the capital of Peru.
The area around Lima had already been inhabited for centuries
when Spanish troops founded the city in 1535. In 1542 it was
made the seat of the Viceroyalty of Peru, which contained most
of Spanish-ruled South America, and in 1551 the oldest
continuously-functioning university in the Americas was founded
there. Lima is located on the Pacific coast and is famed for
its beaches and cuisine. October is early spring and the
temperatures are usually around 20 degrees Celsius or 68 degrees
Fahrenheit, both highs and lows. There are direct flights from
New York, Los Angeles, Toronto, Mexico City, Madrid, Paris,
Amsterdam and many major cities in South America, and visitors
from Asia and Oceania can arrive via Santiago de Chile, for example.
The conference venue will be the Universidad de Ingeniería y Tecnología
(UTEC), winner of the inaugural RIBA International Prize for
architecture and described by the Guardian as "Peru's modern-day
Machu Picchu", across the street from the Museum of Modern Art
and a 15-minute walk from the beach.

**********************************************
SCOPE
**********************************************

SPIRE 2018 covers research in all aspects of string processing,
information retrieval, computational biology, and related applications.
Typical topics of interest include (but are not limited to):

- String Processing: string pattern matching, text indexing, data
structures for string processing, text compression, compressed data
structures, compressed string processing, text mining, 2D pattern
matching, automata based string processing.

- Information Retrieval (IR): retrieval models, indexing, evaluation,
algorithms and data structures for IR, efficient implementation of IR
systems, interface design, text classification and clustering, text
analysis and mining, collaborative and content-based filtering, topic
modeling for IR, search tasks (Web search, enterprise search, desktop
search, legal search, cross-lingual retrieval, federated search, (micro)
blog search, XML retrieval, multimedia retrieval), digital libraries.

- Computational Biology: high-throughput DNA sequencing (assembly, read
alignment, read error correction, metagenomics, transcriptomics,
proteomics), evolution and phylogenetics, gene and regulatory element
recognition, motif finding, protein structure prediction.

**********************************************
SUBMISSION
**********************************************

SPIRE 2018 invites submissions in two categories: long papers (up to 12
pages, excluding references and optional appendices) and short papers
(up to 6 pages, excluding references and optional appendices). The
reviewing process of SPIRE 2018 will be single-blind, namely each submission
should be non-anonymous. The submission server will be EasyChair
(https://easychair.org/conferences/?conf=spire18).
The proceedings will be published in the LNCS series of Springer-Verlag.
The use of either LaTeX or Word LNCS templates is mandatory.
Suitable templates are available at the Springer Website
(https://www.springer.com/gp/computer-science/lncs/conference-proceedings-
guidelines).
Do not change the margin size or the font, do not make a separate title
page, etc.: use the LNCS style file as given.
Simultaneous submission to other conferences with published proceedings
is not permitted.

**********************************************
BEST PAPER
**********************************************

A Best Paper Award, sponsored by Springer, will be given to the author(s) of
the most outstanding work included in the proceedings of SPIRE 2018 and
presented at the event.

**********************************************
SISAP AND WORKSHOPS
**********************************************

SPIRE 2018 will be co-located with SISAP 2018, the 11th
International Conference on Similarity Search and Applications
(http://www.sisap.org/2018), which will run October 7th-9th.

There will be a StringMasters workshop on Monday October 8th,
immediately before the conference.
The Workshop on Compression, Text and Algorithms (WCTA) will be held
on Friday October 12th, chaired by José Fuentes Sepúlveda,
Paweł Gawrychowski and Nicola Prezza and sponsored by
BIRDS MSCA RISE 2015 project.
The venue for both workshops will be the same as for SPIRE.

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

Paper deadline: May 18th, 2018 (anywhere on Earth)
Notification: July 9th, 2018
Camera-ready due: July 23rd, 2018
Early bird registration: July 23rd, 2018
Main conference: 9th-11th October, 2018
Workshops: 8th and 12th October, 2018

**********************************************
INVITED SPEAKERS
**********************************************

- Philip Bille, Technical University of Denmark
- Natasa Przulj, University College London
- Rossano Venturini, University of Pisa

**********************************************
COMMITTEES
**********************************************

Program Committee Chairs:
- Travis Gagie, Diego Portales University
- Alistair Moffat, University of Melbourne
- Gonzalo Navarro, University of Chile

Program Committee:
- Diego Arroyuelo, Universidad Técnica Federico Santa María
- Ricardo Baeza-Yates, NTENT and Universitat Pompeu Fabra
- Hideo Bannai, Kyushu University
- Ilaria Bordino, UniCredit R&D
- Christina Boucher, University of Florida
- Broňa Brejová, Comenius University
- Nieves Brisaboa, Universidade da Coruña
- Ruey-Cheng Chen, RMIT University
- Shane Culpepper, RMIT University
- Fabio Cunial, MPI-CBG
- Antonio Fariña, Universidade da Coruña
- David Fernández-Baca, Iowa State University
- Allyx Fontaine, Université de Guyane
- Simon Gog, Karlsruhe Institute of Technology
- Roberto Grossi, Universita' di Pisa
- Inge Li Gørtz, Technical University of Denmark
- Cecilia Hernandez, Universidad de Concepción
- Wing-Kai Hon, National Tsing Hua University
- Tomohiro I, Kyushu Institute of Technology
- Katharina Jahn, ETH Zürich
- Dominik Kempa, University of Helsinki
- Roberto Konow, eBay
- Gregory Kucherov, University Paris-Est Marne-la-Vallée
- Susana Ladra, Universidade da Coruña
- Gad M. Landau, University of Haifa and NYU
- Yiqun Liu, Tsinghua University
- Veli Mäkinen, University of Helsinki
- Matthias Petri, University of Melbourne
- Cinzia Pizzi, Universita' di Padova
- Giovanna Rosone, Universita' di Pisa
- Leena Salmela, University of Helsinki
- Diego Seco, Universidad de Concepción
- Julian Shun, Massachusetts Institute of Technology
- Jouni Sirén, University of California Santa Cruz
- Wing-Kin Sung, National University of Singapore
- Sharma Thankachan, University of Central Florida
- Andrew Trotman, University of Otago
- Przemysław Uznański, ETH Zürich
- Michal Ziv-Ukelson, Ben Gurion University of the Negev
- Guido Zuccon, Queensland University of Technology

Organizing Committee Chair:
Ernesto Cuadros-Vargas, Universidad de Ingeniería y Tecnología (UTEC)

Steering Committee:
- Ricardo Baeza-Yates, NTENT and Universitat Pompeu Fabra
- Gabriele Fici, Universita' di Palermo
- Costas Iliopoulos, King's College London
- Shunsuke Inenaga, Kyushu University
- Simon Puglisi, University of Helsinki
- Berthier Ribeiro-Neto, Google Inc. and Federal University of Minas Gerais
- Kunihiko Sadakane, University of Tokyo
- Tetsuya Sakai, Waseda University
- Marinella Sciortino, Universita' di Palermo
- Rossano Venturini, Universita' di Pisa
- Emine Yilmaz, University College London
- Nivio Ziviani, Universidade Federal Minas Gerais

**********************************************************
*
* 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] FUN2018: SUBMISSION DEADLINE EXTENDED: Feb 23

(Apologize for multiple posting)

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

FUN 2018 - 3rd Call for Papers

9th International Conference on Fun with Algorithms
June 13-15, 2018. La Maddalena, Maddalena Islands, Italy
https://sites.google.com/view/fun2018

=======================================================================
SUBMISSION DEADLINE EXTENDED: Feb 23, 2018
https://easychair.org/conferences/?conf=fun2018
=======================================================================

SCOPE

FUN is dedicated to the use, design and analysis of algorithms and
data structures, focusing on results that provide amusing, witty but
nonetheless original and scientifically profound contributions to the
area. The topics of interest include (but are not limited to):
FUN with biological algorithms
FUN with combinatorial algorithms
FUN with cryptographic algorithms
FUN with distributed algorithms
FUN with game-theoretic algorithms
FUN with geometrical algorithms
FUN with graph algorithms
FUN with mobile algorithms
FUN with Web algorithms
FUN with machine learning algorithms
FUN with parallel algorithms
FUN with optimization algorithms
FUN with randomized algorithms
FUN with robotics algorithms
FUN with space-conscious algorithms
FUN with string algorithms
FUN with visualization of algorithms

SUBMISSIONS

Contributors must submit their papers using the Easychair system.
https://easychair.org/conferences/?conf=fun2018
Submissions should not exceed 12 pages including front page and references.
Additionally, if full details of proofs do not fit into the page
limit, a clearly marked appendix containing the remaining details must
be included; this appendix will not be regarded as part of the
submission and will be considered only at the discretion of the
program committee. Submissions deviating substantially from this format
risk rejection without consideration of their merits.

Papers submitted for review should represent original, previously
unpublished work. At the time the paper is submitted to the conference,
and for the entire review period, the paper (or essentially the same
paper) must not be under review by any other conference with published
proceedings or by a scientific journal.
At least one author of every accepted paper is required to register
and present the paper at the symposium.

PROCEEDINGS

The proceedings are going to be published in the LIPIcs series.

CAMERA READY VERSION

Authors of accepted papers are expected to submit the final, camera-ready version of their paper in LIPIcs style:
http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/
(deadline to be announced) on the EasyChair website. The program committee will determine appropriate time allocations for presentations (between 20 and 45 minutes).


IMPORTANT DATES

Submission deadline: Feb 23, 2018
Author notification: April 25, 2018
Symposium: June 13-15, 2018


SPECIAL ISSUE

Authors of selected papers will be invited to submit an extended
versions of their work to a special issue of Theoretical Computer
Science.


PROGRAM COMMITTEE

Anna Bernasconi, U. Pisa, Italy
Allan Borodin, U. Toronto, Canada
Artur Czumaj, U. Warwick, UK
Erik Demaine, MIT, USA
David Eppstein, U. California Irvine, USA
Guy Even, Tel-Aviv University, Israel
Michele Flammini, GSSI & L'Aquila U., Italy
Rudolf Fleischer, GUtech, Oman
Paola Flocchini, Ottawa U., Canada
Fedor Fomin, U. Bergen, Norway
Naveen Garg, IIT Delhi, India
Fabrizio Grandoni, IDSIA Lugano, Switzerland
Takashi Horiyama, Saitama U., Japan
John Iacono, U. Libre Bruxelles, Belgium
Hiro Ito, UEC, Japan (co-chair)
Marc van Kreveld, Utrecht U., Netherlands
Stefan Langerman, U. Libre Bruxelles, Belgium
Stefano Leonardi, Sapienza U. Rome, Italy (co-chair)
Anna Lubiw, U. Waterloo, Canada
Flaminia Luccio, Ca' Foscari U. Venice, Italy
S. Muthu Muthukrishnan, Rutgers U., USA
Yoshio Okamoto, UEC, Japan
Mike Paterson, U. Warwick, UK
David Peleg, Weizmann Inst. Sci., Israel
Nadia Pisanti, ERABLE Team INRIA and U. Pisa, Italy
Geppino Pucci, U. Padova, Italy
Laura Sanita', U. Waterloo, Canada
Aravind Srinivasan, U. Maryland, College Park, USA
Hideki Tsuiki, Kyoto U., Japan
Ryuhei Uehara, JAIST, Japan
Yushi Uno, Osaka Prefecture U., Japan
Aaron Williams, Bard College at Simon's Rock, USA

ORGANIZING COMMITTEE

- Linda Pagli, U. Pisa, Italy
- Giuseppe Prencipe, U. Pisa, Italy
- Atsuki Nagao, Seikei U., Japan (web manager)


STEERING COMMITTEE

- Erik Demaine, MIT, USA
- Fabrizio Grandoni, IDSIA, Switzerland
- Linda Pagli, U. Pisa, Italy
- Giuseppe Prencipe, U. Pisa, Italy
- Nicola Santoro, Carleton U., Canada
- Ugo Vaccaro, U .Salerno, Italy


..A A .. ......ITO Hiro, Professor
. ..... School of Informatics and Engineering,
. @ @ .... The University of Electro-Communications
. = x = . .... 1-5-1 Chofugaoka, Chofu, Tokyo 182-8585, JAPAN
. . . . Tel/Fax: +81 42 443 5332
.(( (( ( .. E-mail: itohiro@uec.ac.jp


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

[DMANET] Postdoctoral positions in Computer Science - Gran Sasso Science Institute, L'Aquila (Italy)

Five Postdoctoral positions in Computer Science at the
Gran Sasso Science Institute in L'Aquila (Italy)
http://www.gssi.it/ <http://www.gssi.it/>
Deadline: 2 March 2018 at 6 p.m. (Italian time zone)

The Gran Sasso Science Institute (GSSI, http://www.gssi.it/ <http://www.gssi.it/>), a recently established international PhD school and a centre for advanced studies in computer science, mathematics, physics and social sciences offers 18 postdoctoral research positions, five of which are dedicated to computer science and more specifically to themes that are strongly connected to the pillars of the PhD program in computer science:

- Algorithmic foundations of social and computer networks.
- Software systems and services.
- Specifications and analysis of concurrent reactive systems

The research grants are awarded for two years and their yearly amount is € 36.000,00 gross.

Candidates who are preparing their doctoral thesis are eligible to apply; however, they must have obtained their PhD degree before taking up their appointment with GSSI. Selected candidates are expected to start their appointments no later than 1 November 2018.

The application must be submitted through the on-line form available at www.gssi.it/postdoc/ <http://www.gssi.it/postdoc/> by 2 March 2018 at 6 p.m. (Italian time zone). Each application should include the following material:

- the CV of the applicant,
- a research statement,
- up to 3 publications and
- the name and email of two references.

For more information, please consult the Call for Applications at www.gssi.it/postdoc/ <http://www.gssi.it/postdoc/> or write an email to info@gssi.it <mailto:info@gssi.it>.

Prospective candidates are also welcome to contact Luca Aceto (luca.aceto@gssi.it <mailto:luca.aceto@gssi.it>) or Michele Flammini (michele.flammini@gssi.it <mailto:michele.flammini@gssi.it>), who coordinate the PhD program in Computer Science.


Michele Flammini

----------------------------------------------------------------
Gran Sasso Science Institute
&
Department of Computer Engineering, Computer Science, and Mathematics, University of L'Aquila

email   michele.flammini@univaq.it <mailto:michele.flammini@univaq.it>
url http://www.di.univaq.it/flammini <http://www.di.univaq.it/flammini>
----------------------------------------------------------------

**********************************************************
*
* 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 PICom 2018 - Submissions due on March 30, 2018

[Please accept our apologies if you receive multiple copies of this Call
for Papers (CFP).]

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

                                                                IEEE
PICom 2018
     The 16th IEEE International Conference on Pervasive Intelligence
and Computing (PICom 2018)

                                              Athens, Greece, 12-15
August 2018

   Sponsored by IEEE, IEEE Computer Society and IEEE Technical
Committee of Scalable Computing (TCSC)

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

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

Workshop Proposal Due:      Feb.  10, 2018
Regular Paper Submission Due:     Mar.  30, 2018
Wksp/SS/Poster Paper Due:    April 30, 2018
Authors Notification:         May   20, 2018
Camera-ready Submission:      June  15, 2018

INTRODUCTION
=============

Over the last fifty years, computational intelligence has evolved from
logic-based artificial intelligence, nature-inspired soft computing, and
social-oriented agent technology to cyber-physical integrated ubiquitous
intelligence towards Pervasive Intelligence (PI). The International
Conference on Pervasive Intelligence and Computing is intended to cover
all kinds of these intelligent paradigms as well as their applications
in various pervasive computing domains. PICom-2018 is the conference on
Pervasive Intelligence and Computing, previously held as PCC (Las Vegas,
USA, 2003 and 2004), PSC (Las Vegas, USA, 2005), PCAC (Vienna, Austria,
2006, and Niagara Falls, Canada, 2007), IPC-2007 (Jeju, Korea, December
2007), IPC-2008 (Sydney, Australia, December 2008), and since 2009 as
the name PICom. IEEE PICom 2018 will be held on 12-15 August 2018 in
Athens, Greece, co-located with IEEE CyberSciTech 2018, IEEE DASC 2018
and DataCom 2018. It aims to bring together computer scientists and
engineers, to discuss and exchange experimental and theoretical results,
work-in-progress, novel designs, and test-environments or test-beds in
the important areas of Pervasive Intelligence and Computing.

SCOPE AND TOPICS
================

Topics of interests include, but are not restricted to:†

-     Deep Learning and Deep Computation
-     Big Data and Smart Data
-     Brain-inspired Computing
-     Crowd Souring and Intelligence
-     Social Intelligence and Computing
-     Agent-based Computing
-     Ubiquitous Intelligence
-     Cyber-Physical Computing
-     The Internet of Things
-     Cloud of Things and Cloud of Sensors
-     Embedded HW, SW & Systems
-     Pervasive Devices and RFIDs
-     Wearable Devices and Applications
-     Sensor Technology and Networks
-     Pervasive Networks/Communications
-     Edge and Fog Computing
-     Mobile Edge Computing (MEC)
-     Device Virtualization
-     Privacy, Security and Trust
-     Context-Aware Computing
-     Mobile Data Mining
-     Ubiquitous Data Mining
-     Activity Recognition
-     Cloud Computing
-     Services for Pervasive Computing
-     Smart Cities and Smart Homes
-     Intelligent Social Networking
-     Pervasive Technologies for ITS
-     HCI for Pervasive Computing
-     Mobile Data Modeling
-     Middleware for Pervasive Computing
-     Intelligent/Smart IoT
-     Programming Abstractions for IoT
-     Semantic Analysis


PAPER SUBMISSION GUIDELINE
==========================

Authors are invited to submit their original research work that has not
previously been published or under review in any other venue. Regular,
work-in-progress (WiP), workshop/special session, poster papers all need
to be in IEEE CS format and submitted following the same instruction as
the main conference
(http://cyber-science.org/2018/picom/paper-submission.html). Research
papers should explore a specific technology problem and propose a
complete solution to it, with experimental results. A regular (full)
paper is between 6-8 pages. A WiP, workshop, or special session paper
should be between 4-6 pages and a poster paper should be between 2-4
pages. Some papers originally submitted as full can be accepted as short
papers or posters during the review process. In such cases, the authors
will need to reduce the paper accordingly when preparing the
camera-ready version. At least one of the authors of any accepted paper
is requested to register and present the paper at the conference.

SPECIAL ISSUES†
==========================
Extended versions of selected excellent papers will be considered for
fast-track publication in special issues of prestige journals.

ORGANISING COMMITTEE
==========================
General Chairs
-Flavia C. Delicato, Federal U of Rio de Janeiro, Brazil
-Nikolaos Doulamis, Nat Tech Univ. of Athens, Greece

General Executive Chairs
-Klimis Ntalianis, Athens U of Applied Sciences, Greece
-Liqiang Wang, University of Central Florida, USA

Program Chairs
-Giancarlo Fortino, University of Calabria, Italy
-Pietro Manzoni, Univ. Politecnica de Valencia, Spain
-Qiang Yang, Zhejiang University, China
-Vana Kalogeraki, Athens U of Economics and Business

Workshop and Special Session Chairs
-Tie Qiu, Dalian University of Technology, China
-Andreas Panayides, University of Cyprus

Publicity Chairs
-Aline Carneiro Viana, INRIA, France
-Kazuaki Tanaka, Kyushu Inst. of Technology, Japan
-Igor dos Santos, Federal U of Rio de Janeiro, Brazil
-Wei Li, University of Sydney, Australia
-Yaoqing Liu, Clarkson University, USA

Local Arrangement Chair
-Nikolaos Mastorakis, Hellenic Naval Academy, Greece

Advisory Committee Chairs
-Samee U. Khan, North Dakota State University, USA
-Constantinos S. Pattichis, University of Cyprus

Steering Committee
-Jianhua Ma, Hosei University, Japan
-Laurence T. Yang, St. Francis Xavier Univ., Canada
-Adnan Al-Anbuky, Auckland U of Tech., New Zealand

**********************************************************
*
* 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] PICom 2018 - Call for Workshops and Special Session Proposals

[Please accept our apologies if you receive multiple copies of this Call
for Proposals.]

============== CALL FOR WORKSHOPS AND SPECIAL SESSION PROPOSALS
================

                                           IEEE PICom 2018
     The 16th IEEE International Conference on Pervasive Intelligence
and Computing (PICom 2018)

                                        Athens, Greece, 12-15 August 2018
http://cyber-science.org/2018/picom/

   Sponsored by IEEE, IEEE Computer Society and IEEE Technical
Committee of Scalable Computing (TCSC)

=================================================================
PICom 2018 Call for Workshops and Special Session Proposals

Over the last fifty years, computational intelligence has evolved from
logic-based artificial intelligence, nature-inspired soft computing, and
social-oriented agent technology to cyber-physical integrated ubiquitous
intelligence towards Pervasive Intelligence (PI). The International
Conference on Pervasive Intelligence and Computing (PICom) is intended
to cover all kinds of these intelligent paradigms as well as their
applications in various pervasive computing domains. PICom-2018 will be
held on 12-15 August 2018 in Athens, Greece, co-located with IEEE
CyberSciTech 2018, IEEE DASC 2018 and DataCom 2018. It aims to bring
together computer scientists and engineers, to discuss and exchange
experimental and theoretical results, work-in-progress, novel designs,
and test-environments or test-beds in the important areas of Pervasive
Intelligence and Computing.

We are soliciting proposals for Workshops and Special Sessions that are
two important parts of PICom 2018. Workshops and special sessions
provide opportunities for focused discussions on selected topics related
to Pervasive Intelligence and Computing and are a great addition to the
main conference. They allow exploring topics that will not be fully
addressed during the main conference as well as to encourage in-depth
discussion of technical and application issues in subjects within the
conference scope.

Topics of interests include, but are not restricted to:
-     Deep Learning and Deep Computation
-     Big Data and Smart Data
-     Brain-inspired Computing
-     Crowd Souring and Intelligence
-     Social Intelligence and Computing
-     Agent-based Computing
-     Ubiquitous Intelligence
-     Cyber-Physical Computing
-     The Internet of Things
-     Cloud of Things and Cloud of Sensors
-     Embedded HW, SW & Systems
-     Pervasive Devices and RFIDs
-     Wearable Devices and Applications
-     Sensor Technology and Networks
-     Pervasive Networks/Communications
-     Edge and Fog Computing
-     Mobile Edge Computing (MEC)
-     Device Virtualization
-     Privacy, Security and Trust
-     Context-Aware Computing
-     Mobile Data Mining
-     Ubiquitous Data Mining
-     Activity Recognition
-     Cloud Computing
-     Services for Pervasive Computing
-     Smart Cities and Smart Homes
-     Intelligent Social Networking
-     Pervasive Technologies for ITS
-     HCI for Pervasive Computing
-     Mobile Data Modeling
-     Middleware for Pervasive Computing
-     Intelligent/Smart IoT
-     Programming Abstractions for IoT
-     Semantic Analysis

The proposals should contain the following information:
- The title of the Workshop/SS, including both full name and abbreviation
- The scope and objectives (up to 1 page)
- Short bios of the key organizers
- Brief plans for dissemination (e.g., how to advertise the Workshop/SS
or possible submissions to special issues of journals), procedures for
selecting papers (including the expected number of accepted papers), and
the expected number of participants
- A tentative website/URL of the proposed Workshop/SS (optional)
- If the proposed Workshop/SS has been previously organized, please also
briefly describe its history (e.g., number of submissions and accepted
papers, attendance, etc.)

Acceptance will be based on an evaluation of the workshop/SS topic, its
relevance to the main conference, the expected audience, and the
proposers ability to lead a successful event.

A single pdf file with all the material described above should be
submitted via email to the Workshop and Special Session Chairs (please
see the contact information below) by the deadline.  Please use ìPICom
2018 Workshop/SS Proposal as the email subject. Accepted proposals
should follow strictly the important dates, particularly paper
notification and camera-ready dates listed below.

IMPORTANT DATES FOR PICOM 2018 WORKSHOPS/SS
=============================================

Proposal Submission: Feb. 10, 2018
Proposal Decision: Feb. 17, 2018
Paper Submission: Apr. 30, 2018
Author Notification: May 20, 2018
Camera-ready Papers: Jun. 15, 2018

For accepted proposals, organizers are responsible for composing the
corresponding Workshop/SS program committees, advertising call for
papers, reviewing submissions, and planning the final program. PICom
2018 Workshop/SS Chairs will assist the organization and ensure their
quality and success. The PICom Congress organizer will provide
facilities including the paper submission systems, working notes
printing, meeting rooms, coffee breaks, lunches, proceedings
preparation, etc.

A Workshop/SS paper should be 5-6 pages, following the same Paper
Submission Guidelines as the main Congress papers. Each paper should be
reviewed at least by two reviewers in the corresponding fields. All
accepted Workshop/SS papers will be included in the proceedings
published by IEEE-CS Conference Publishing Services in IEEE-DL and EI index.

Note that each workshop or special session should include at least 4
papers, otherwise it will be canceled. The accepted papers in a
cancelled Workshop/SS may be moved to another Workshop/SS, or to a main
Congress track if they fit the quality requirement. The registration
requirement and procedure for Workshop/SS papers will be determined by
PICom 2018 Organizing Committee, and the registration fee will be paid
directly to PICom 2018. The registration fee can be waived for a
Workshop/SSís main organizer if there are more than 10 accepted papers.
We are looking forward to receiving your exciting proposals.

Workshop and Special Session Chairs
=============================================
Tie Qiu, Dalian University of Technology, China
Andreas Panayides, University of Cyprus, Cyprus


**********************************************************
*
* 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 Gamenets 2018

Dear all,

Here is the CFP of Gamenets 2018. The submission deadline has been
postponed to 15 Feb.

Sorry if you received already multiple copies.

Marceau

*8th EAI International Conference on Game Theory of Networks*

*SCOPE*

Welcome to 2018 International Conference on Game Theory of Networks
(Gamenets 2018), to be held Seoul, in South Korea. The conference is
organized by the EAI (European Alliance for Innovation).

Game theory has recently become a useful tool for modeling and studying
various networks. The past decade has witnessed a huge explosion of
interest in issues that intersect networks and game theory. With the
rapid growth of data traffic, from any kind of devices and networks,
game theory is requiring more intelligent transformation. Game theory is
called to play a key role in the design of new generation networks as
well as in the development of the Internet of things.

This conference encourages archival quality papers that advance the
state-of-the-art and practical applications of intelligent game theory.
The goal is to gather research contributions, from game theory and
networks, that address the major opportunities and challenges in
applying traditional game theory as well as intelligent game theory to
the understanding and designing of modern network systems, with emphasis
on both new analytical techniques and novel application scenarios. We
encourage prospective authors to submit their original, unpublished work.


*/Topics of interest/*

· /Intelligent game theory and its applications/

· /Novel solution concepts such as equilibrium solutions or core
solutions/

· /Game theory based machine learning/

· /Smartphone-based crowdsourcing and game theory/

· /Multimedia applications based on game theory/

· /Network security based on game theory/

· /Correlated equilibrium/

· /Network pricing/

· /Rate allocation game/

· /Power control game in communication systems/

· /Game theory in interactive applications/

· /Game theory in cognitive radio networks/

· /Game theory for Internet of things /

· /Game theory in social networks/

· /Game theory in wireless and cellular network/

· /Coalitional game theory in networks/

· /Network optimization/

· /Distributed learning/

· /Game theory in network function virtualization and software
defined network/

*Highlights*

* The event is endorsed by the European Alliance for Innovation
<http://eai.eu/>, a leading community-based organisation devoted to
the advancement of innovation in the field of ICT.
* All accepted papers will be published by Springer and made
available through SpringerLink Digital Library, one of the world's
largest scientific libraries.
* Proceedings are submitted for inclusion to the leading indexing
services: EI, ISI Thomson's Scientific and Technical Proceedings at
Web of Science, Scopus, CrossRef, Google Scholar, DBLP, as well as
EAI's own EU Digital Library (EUDL).
* Accepted authors will be invited to submit extended versions of
their articles to Special Issue in EAI Endorsed Transactions: EAI
Endorsed Transactions on Collaborative Computing
<http://eai.eu/transaction/collaborative-computing>.

*Paper Submission*

Papers should be submitted via Confy system. Please follow instructions
on initial submission
<http://gamenets.org/2018/show/initial-submission>and in author's kit
<http://gamenets.org/2018/show/authors-kit>when submitting your paper

*Best Paper Award*

The program committee will select one of the accepted papers as the
"GameNets 2018". The winner(s) will be announced during the conference.

*Important Dates*

*Submission deadline: 15 February 2018 (Firm deadline) *

*Notification deadline: 1 March 2018*

*Camera-ready** deadline: 31 March 2018*

*Conference dates: 30 April - 1 May 2018*


--
Marceau Coupechoux

Telecom ParisTech (ENST)
Département Informatique et Réseaux
23 Avenue d'Italie
CS 51327
75214 Paris cedex 13


**********************************************************
*
* 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] LSE Fellow in Mathematics (London School of Economics and Political Science)

LSE Fellow in Mathematics
LSE (London School of Economics and Political Science)
London, United Kingdom

The Department of Mathematics at LSE seeks to appoint an LSE Fellow with
expertise in a subject area related to the Mathematics of Operations
Research and/or Discrete Mathematics.
This is a fixed term, full time appointment, commencing on 3 September
2018 for 1 year in the first instance, with possible renewal pending
funding.

The successful candidate will contribute to the intellectual life of the
School through conducting and publishing outstanding quality research,
engaging in high quality teaching as instructed by the Head of
Department, and participating in the School and wider Department activities.

Candidates will have:
· Completed, or be close to completing, a PhD related to Mathematical
Operations Research or Discrete Mathematics by the post start date.
· A developing research record in Mathematical Operations Research or
Discrete Mathematics and a clear and viable strategy for future research.
· Excellent communication and presentation skills.
· The ability to work in close partnership with fellow teachers,
including on a one-on-one basis and in small groups, and to provide
effective support, as necessary.

Salary from £34,736 to £42,019 pa inclusive.

The closing date for applications is Wednesday 28 February 2018.

Further details, and information how to apply, can be found on
http://tiny.cc/MathsFellowLSE.

= = = = =

LSE is committed to building a diverse, equitable and truly inclusive
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/
*
**********************************************************

[DMANET] 16 PhD Positions in Austria

Three Austrian universities TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program on Logical Methods in Computer Science (LogiCS). LogiCS has been established in 2014 and currently includes 44 students.

http://logic-cs.at/phd/

THE PROGRAM

LogiCS focuses on logic and its applications in computer science. Successful applicants will work on interdisciplinary research topics covering

(i) computational logic (*** which includes discrete algorithms and complexity ***),
(ii) databases and artificial intelligence,
(iii) computer-aided verification, and
(iv) emerging application domains, such as cyber-physical systems, distributed systems, and security & privacy.

FACULTY MEMBERS

Austria has a vibrant and highly active and successful logic in computer science community. Students are supervised by leading researchers in their fields:

M. Baaz E. Bartocci A. Biere R. Bloem
A. Ciabattoni G. Gottlob T. Eiter C. Fermueller
R. Grosu L. Kovacs M. Maffei M. Ortiz
R. Pichler U. Schmid M. Seidl S. Szeider
G. Weissenbacher S. Woltran

Details are provided on http://logic-cs.at/faculty/

POSITIONS AND FUNDING

We are looking for 16 doctoral students, where 30% of the positions are reserved for highly qualified female candidates. The doctoral positions are funded for a period of 4 years according to the funding scheme of the Austrian Science Fund (details: http://www.fwf.ac.at/de/forschungsfoerderung/personalkostensaetze/). Additional positions will be available through other funding.

HOW TO APPLY

Detailed information about the application process is available on the LogiCS web-page
http://logic-cs.at/phd/admission/

The applicants are expected to have completed an excellent master's degree in computer science, mathematics, or a related field. Candidates with comparable achievements (e.g., bachelor of honors) may be considered on a case-by-case basis. Applications by the candidates need to be submitted electronically. The positions will be filled on continuous basis till October 2018. The evaluation of applications will start on 1st of March, 2018.

STUDYING AND LIVING IN AUSTRIA

Austria has a vibrant and highly active and successful logic in computer science community. Vienna, Graz, and Linz, located close to the Alps, are surrounded by beautiful nature. Vienna is constantly ranked the city with the highest quality of life in the world. Austria has an exciting cultural scene, world-famous historical sites, a large international community, varied cuisine, and famous coffee houses.

For further information please contact: info@logic-cs.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/
*
**********************************************************

Tuesday, January 30, 2018

[DMANET] IPDPS 2018 - PhD forum

32nd IEEE International Parallel & Distributed Processing Symposium
May 21 – May 25, 2018
Vancouver, British Columbia, Canada
Call release: January 17th, 2018
http://www.ipdps.org


--------------------------------------------------------------------------
Reminder: 23 Workshops IPDPS 2018 With Pending Deadlines
See http://www.ipdps.org/ipdps2018/2018_call_for_workshops.html
--------------------------------------------------------------------------

--------------------------------------------------------------------------
Invitation to Industry: Participate at IPDPS 2018 as Industry Partner
See http://www.ipdps.org/ipdps2018/2018_industry.html
--------------------------------------------------------------------------

--------------------------------------------------------------------------
IPDPS 2018 PhD Forum & Student Mentoring Program
See http://www.ipdps.org/ipdps2018/2018_phd_forum.html
--------------------------------------------------------------------------

*** STUDENT MENTORING PROGRAM FOR 2018 ***

The annual IPDPS PhD Forum event will continue with the traditional
poster presentations by students working toward a PhD in broadly defined
areas related to parallel and distributed processing. In addition,
continuing the program initiated in 2014, there will be a broader,
enhanced program to include several evening and lunch-time sessions to
provide the student participants coaching in scientific writing and
presentation skills.

Participating students will have the opportunity to both present their
research work and interact with senior academic and industry people in
an informal setting. In addition, there will be mentoring sessions to
help students improve communication skills, obtain valuable information
for career planning, get familiar with a few of the trendy research
topics, and make valuable contacts – all while enjoying the IPDPS main
conference and many associated workshops. The program culminates with a
poster presentation, where students have the opportunity to practice
what they learned and disseminate their work to the broader IPDPS audience.

Full program available here:
http://www.ipdps.org/ipdps2018/2018_phd_forum.html


*** IPDPS 2018 PhD Forum - CALL FOR APPLICATIONS ***

Because the 2018 IPDPS PhD Forum will emphasize interactive activities
and offer mentoring-coaching support, the Applicant Statement of
Interest will be as important as the poster proposal in the selection
process. Applicant students must be officially enrolled in a PhD Program
at the time of submission, and each submission MUST be backed by a
specific endorsement from the official PhD advisor(s).

Details on the submission documents are available at
http://www.ipdps.org/ipdps2018/2018_phd_forum.html.

DEADLINES:
The goal is to accept as many applications as our capacity allows, but
the availability of our resources, including travel support, will limit
the number of participants in the program. To be fair, we will employ a
"first-come-first-served" approach, with a rolling selection process to
be used until the capacity is reached, based on the following schedule:

Application received by ===> Acceptance notice will be sent by

15 February 2018 ===> 1 March 2018

1 March 2018 ===> 12 March 2018


*** STUDENT TRAVEL SUPPORT ***

To encourage participation in the Student Research Program, PhD Forum
participants (those who have a poster accepted for presentation) who are
IEEE members are eligible for travel grants and discounted registration
fees. (Discounted registration fee does not apply to students who are
the sole registered author of a paper being presented in the main
conference or workshops.)

NSF Funding for US-based Students
Funds for travel support have been provided by the US National Science
Foundation (NSF). This funding is available only for full time students
attending US colleges and universities. Underrepresented minority and
women students from diverse US institutions are particularly encouraged
to apply. Although student authors may be given priority for travel
awards, this is not a requirement.

TCPP Travel Grants for All Student Authors
All participants in the IPDPS PhD Forum will be eligible for TCPP travel
grants made available to all student authors at the conference. Note
that all student attendees must have registered to be eligible for
support and must be members of IEEE.

Student travel grants are available in the form of reimbursements that
are sent only after the completion of the conference and receipt of all
required documentation and receipts. Please note that the IPDPS PhD
Forum may not be able to reimburse students for all travel expenses due
to limited budget. Eligible expenses for reimbursement include hotel and
transportation (flight, bus or train). Expenses that are not eligible
for reimbursement include registration, taxi and meals. The
reimbursement amount will be based on the number of awards made and
distance traveled. Details of all travel support that will be available
to all students will be announced in February 2018.

*** STUDENT PARTICIPATION CHAIRS ***

Trilce Estrada (University of New Mexico, USA)
Jay Lofstead (Sandia National Laboratories, USA)


----------------------------------------------------------------------------
...Follow us on Facebook at https://www.facebook.com/IPDPS
...Follow us on Twitter at https://twitter.com/IPDPS
-----------------------------------------------------------------------------
Sponsored by IEEE Computer Society Technical Committee on Parallel
Processing
In cooperation with
ACM SIGARCH & SIGHPC
IEEE Computer Society Technical Committee on Computer Architecture, and
IEEE Computer Society Technical Committee on Distributed Processing
-----------------------------------------------------------------------------
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Monday, January 29, 2018

[DMANET] Postdoc Position in Berlin, "Facets of Complexity"

The newly established Research Training Group (Graduiertenkolleg)

FACETS OF COMPLEXITY (http://www.mi.fu-berlin.de/facets/)

funded by the German Science Foundation (DFG) at the three Berlin
Universities will offer

one POSTDOC POSITION (E13 TV-L)

Starting date: between 1st of April 2018 and 1st of September 2018
Duration: two years.

We will start reviewing applications after February 10th.
The salary for this position on the official German TV-L Berliner
Hochschulen salary scale
(100% TVL 13) depends on age, marital status, children, and previous
experience,
and amounts to a range of approximately 25-30 thousand EUR net per annum.

The scientific program includes

* Complexity of algorithms
* Complexity of combinatorial structures
* Complexity of geometric structures
* Complexity of graphs and networks

We look in particular for candidates who can connect several of these
areas, and who can
combine the combinatorial, descriptional, and algorithmic aspects of
complexity.

The program is a joint initiative of scientists at the three major
Berlin universities

Freie Universität Berlin (FU)
Technische Universität Berlin (TU), and
Humboldt-Universität zu Berlin (HU).

Its faculty (see http://www.mi.fu-berlin.de/facets/people/faculty.html)
consists of

Prof. Peter Bürgisser (TU)
Prof. Stefan Felsner (TU)
Prof. Christian Haase (FU)
Prof. Martin Henk (TU)
Prof. Michael Joswig (TU)
Prof. Stephan Kratsch (HU)
Prof. Stephan Kreutzer (TU)
Prof. Wolfgang Mulzer (FU)
Prof. Rolf Niedermeier (TU)
Prof. Günter Rote (FU)
Prof. Nicole Schweikardt (HU)
Prof. Martin Skutella (TU)
Prof. Tibor Szabó (FU)
Prof. Günter M. Ziegler (FU)

as well as adjoint and junior faculty.

The program of the Research Training Network includes a regular Monday
afternoon
colloquium, block courses, summer schools, research workshops, etc. -
all this in a very
lively Berlin discrete mathematics and algorithmics environment, which
also includes the
BERLIN MATHEMATICAL SCHOOL (http://www.math-berlin.de), the joint
international graduate
program of the three major Berlin universities. We offer a
family-friendly work
environment, as well as career training and counseling that is
specifically tailored for
researchers in the postdoctoral stage, and special programs for female
scientists.

Applications, consisting of

* letter of application
* curriculum vitae, list of publications
* research proposal
* three letters of references (to be sent directly by the letter writer)

or inquiries should be sent by email to

Prof. Dr. Günter Rote,
Freie Universität Berlin, Institut für Informatik, Takustr. 9, 14195
Berlin, Germany
Tel.: +49 30-838 75 150, E-mail:
mailto:rote@inf.fu-berlin.de?Subject=PostDoc-FACETS

**********************************************************
*
* 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] Ph.D. Position in Berlin, "Facets of Complexity"

The newly established Research Training Group (Graduiertenkolleg)

FACETS OF COMPLEXITY (http://www.mi.fu-berlin.de/facets/)

funded by the German Science Foundation (DFG) at the three Berlin
Universities will offer

twelve Ph.D. POSITIONS (75% E13 TV-L)

Starting date: between 1st of April 2018 and 1st of October 2018
Duration: three years.

We now invite applications for starting in the spring 2018, and we will
invite another
round of applications to start in the fall 2018 in due time.
The salary for this position on the official German TV-L Berliner
Hochschulen salary scale
(75% TVL 13) depends on age, marital status, children,
and amounts to approximately 20,000 EUR net per annum.

The scientific program includes

* Complexity of algorithms
* Complexity of combinatorial structures
* Complexity of geometric structures
* Complexity of graphs and networks

The program is a joint initiative of scientists at the three major
Berlin universities

Freie Universität Berlin (FU)
Technische Universität Berlin (TU), and
Humboldt-Universität zu Berlin (HU).

Its faculty (see http://www.mi.fu-berlin.de/facets/people/faculty.html)
consists of

Prof. Peter Bürgisser (TU)
Prof. Stefan Felsner (TU)
Prof. Christian Haase (FU)
Prof. Martin Henk (TU)
Prof. Michael Joswig (TU)
Prof. Stephan Kratsch (HU)
Prof. Stephan Kreutzer (TU)
Prof. Wolfgang Mulzer (FU)
Prof. Rolf Niedermeier (TU)
Prof. Günter Rote (FU)
Prof. Nicole Schweikardt (HU)
Prof. Martin Skutella (TU)
Prof. Tibor Szabó (FU)
Prof. Günter M. Ziegler (FU)

as well as adjoint and junior faculty.

The program of the Research Training Network includes a regular Monday
afternoon
colloquium, block courses, summer schools, research workshops, etc. -
all this in a very
lively Berlin discrete mathematics and algorithmics environment, which
also includes the
BERLIN MATHEMATICAL SCHOOL (http://www.math-berlin.de), the joint
international graduate
program of the three major Berlin universities. We offer a
family-friendly work
environment, a strong mentoring and counseling program, as well as
special programs for
female scientists.

Applicants for are expected to have a M.Sc. degree or equivalent,
usually in Mathematics
or Computer Science. Applications consisting of

* letter of application
* curriculum vitae,
* Master's thesis, if already available at the time of application
* proposal for potential thesis topics
* recommendation letter by thesis advisor (to be sent directly by the
letter writer)

or inquiries should be sent by email to

Prof. Dr. Günter Rote,
Freie Universität Berlin, Institut für Informatik, Takustr. 9, 14195
Berlin, Germany
Tel.: +49 30-838 75 150
E-mail: mailto:rote@inf.fu-berlin.de?Subject=Ph.D.-Application-FACETS
**********************************************************
*
* 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: 4th IEEE International Conference on Data Science and Systems (DSS-2018), 28-30 June 2018

[Please accept our apologies if you receive multiple copies of this CFP]

******************************* IEEE DSS-2018 CFP
*****************************

*The 4th IEEE International Conference on Data Science and Systems
(DSS-2018) *

http://cse.stfx.ca/~dss2018/

*Exeter, England, UK, 28-30 June 2018 *

*Sponsored by*
IEEE, IEEE Computer Society, and IEEE Technical Committee of Scalable
Computing (TCSC).

INTRODUCTION
=============

As an interdisciplinary area, Data Science draws scientific inquiry from a
broad range of subject areas such as statistics, mathematics, computer
science, machine learning, optimization, signal processing, information
retrieval, databases, cloud computing, computer vision, natural language
processing, etc. Data Science is on the essence of deriving valuable
insights from data.

Data Systems are posing many challenges in exploiting parallelism of
current and upcoming computer architectures. Data volumes of applications
in the fields of sciences and engineering, finance, media, online
information resources, etc. are expected to double every two years over the
next decade and further. With this continuing data explosion, it is
necessary to store and process data efficiently by utilizing enormous
computing power.

DSS (Data Science and Systems) was created to provide a prime international
forum for researchers, industry practitioners and domain experts to
exchange the latest advances in Data Science and Data Systems as well as
their synergy. DSS-2018 will be hosted in Exeter, the capital city of Devon
and provides the county with a central base for education, medicine,
religion, commerce and culture. The city is also home to the magnificent
Exeter Cathedral, which dates back to Norman times. Exeter is also ideally
placed to base a trip to branch out visiting places such as the famous
Dartmoor National Park and the unspoilt beaches of the North and South
Devon coastlines.

Prospective authors are invited to submit their papers to DSS-2018. All
accepted papers are expected to be included in IEEE Xplore and will be
indexed by Engineering Index (EI). The authors of selected best papers will
be invited post conference to extend their contributions for special issues
of prestigious journals to be planned in conjunction with the conference.

SCOPE AND TOPICS

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

Topics of interest include, but are not limited to:

Track 1: Data Science

Track 2: Data Processing Technology

Track 3: Data Systems

Track 4: Data Applications

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

· Paper Submission Deadline: 10 February 2018

· Authors Notification: 15 April 2018

· Camera-Ready Paper Due: 15 May 2018

· Early Registration Due: 15 May 2018

· Conference Date: 28-30 June 2018

PAPER SUBMISSION GUIDELINE
==========================

All papers need to be submitted electronically through the conference
submission website ( http://dss.ex.ac.uk/ ) with PDF format. The materials
presented in the papers should not be published or under submission
elsewhere. Each paper is limited to 8 pages (or 10 pages with over length
charge) including figures and references using IEEE Computer Society
Proceedings Manuscripts style (two columns, single-spaced, 10 fonts). You
can confirm the IEEE Computer Society Proceedings Author Guidelines at the
following web page:
http://www.computer.org/web/cs-cps/ Manuscript Templates for Conference
Proceedings can be found at:
https://www.ieee.org/conferences_events/conferences/publishing/templates.html


Once accepted, the paper will be included into the IEEE conference
proceedings published by IEEE Computer Society Press (indexed by EI). At
least one of the authors of any accepted paper is requested to register the
paper at the conference.

JOURNAL SPECIAL ISSUES

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

Distinguished papers selected from the conferences and associated
workshops, after further extensions, will be recommended for submission and
publication in the following prestigious journals or their Special Issues:

- IEEE Transactions on Sustainable Computing (IEEE Computer Society)

- Concurrency and Computation: Practice and Experience (Wiley)

- Multimedia Tools and Applications (Springer)

- Expert Systems Journal (Wiley)

- Cognitive Computation journal (Springer)

- Big Data Analytics (BioMed Central/Springer)

**********************************************************
*
* 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: 20th IEEE Int. Conference on High Performance Computing and Communications (HPCC-2018), 28-30 June 2018

[Please accept our apologies if you receive multiple copies of this CFP]

******************************* IEEE HPCC-2018 CFP
*****************************

*The 20th IEEE International Conference on High Performance Computing and
Communications (HPCC-2018) *

http://cse.stfx.ca/~hpcc2018/

*Exeter, England, UK, 28-30 June 2018 *

*Sponsored by*
IEEE, IEEE Computer Society, and IEEE Technical Committee of Scalable
Computing (TCSC).

INTRODUCTION
=============

With the rapid growth in computing and communications technology, the past
decade has witnessed a proliferation of powerful parallel and distributed
systems and an ever increasing demand for practice of high
performance computing and communications (HPCC). HPCC has moved into the
mainstream of computing and has become a key technology in determining
future research and development activities in many academic and industrial
branches, especially when the solution of large and complex problems must
cope with very tight timing schedules.

The 2018 High Performance Computing and Communications (HPCC-2018) will
provide a high-profile, leading-edge forum for researchers, engineers, and
practitioners to present state-of-art advances and innovations in
theoretical foundations, systems, infrastructure, tools, testbeds, and
applications for the HPCC, as well as to identify emerging research topics
and define the future.

Prospective authors are invited to submit their papers to HPCC-2018. All
accepted papers are expected to be included in IEEE Xplore and will be
indexed by Engineering Index (EI). The authors of selected best papers will
be invited post conference to extend their contributions for special issues
of prestigious journals to be planned in conjunction with the conference.

SCOPE AND TOPICS

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

Topics of interest include, but are not limited to:

Track 1: High Performance Computing and Applications

Track 2: Parallel and Distributed Computing and Systems

Track 3: Communications and Networking

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

· Paper Submission Deadline: 10 February 2018

· Authors Notification: 15 April 2018

· Camera-Ready Paper Due: 15 May 2018

· Early Registration Due: 15 May 2018

· Conference Date: 28-30 June 2018

PAPER SUBMISSION GUIDELINE
==========================

All papers need to be submitted electronically through the conference
submission website ( http://hpcc.ex.ac.uk/ ) with PDF format. The materials
presented in the papers should not be published or under submission
elsewhere. Each paper is limited to 8 pages (or 10 pages with over length
charge) including figures and references using IEEE Computer Society
Proceedings Manuscripts style (two columns, single-spaced, 10 fonts). You
can confirm the IEEE Computer Society Proceedings Author Guidelines at the
following web page:
http://www.computer.org/web/cs-cps/ Manuscript Templates for Conference
Proceedings can be found at:
https://www.ieee.org/conferences_events/conferences/publishing/templates.html


Once accepted, the paper will be included into the IEEE conference
proceedings published by IEEE Computer Society Press (indexed by EI). At
least one of the authors of any accepted paper is requested to register the
paper at the conference.

JOURNAL SPECIAL ISSUES

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

Distinguished papers selected from the conferences and associated
workshops, after further extensions, will be recommended for submission and
publication in the following prestigious journals or their Special Issues:

- IEEE Transactions on Sustainable Computing (IEEE Computer Society)

- Concurrency and Computation: Practice and Experience (Wiley)

- Multimedia Tools and Applications (Springer)

- Expert Systems Journal (Wiley)

- Cognitive Computation journal (Springer)

- Big Data Analytics (BioMed Central/Springer)

**********************************************************
*
* 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] [meetings] ANTS 2018 - Swarm Intelligence - Eleventh International Conference - 3rd CFP

=======================================================================
ANTS 2018
Eleventh International Conference on Swarm Intelligence
October 29–31, 2018. Rome, Italy
Up-to-date information at http://www.swarm-intelligence.eu/ants2018/
=======================================================================


NEWS:
* Conference proceedings published by Springer LNCS series
* Keynote speakers announced!
* Deadline for paper submission in April 15, 2018
* ANTS conference moves to Rome!


=======================================================================
Scope of the Conference
=======================================================================

Swarm intelligence is the discipline that deals with the study of
self-organizing processes both in nature and in artificial systems.
Researchers in ethology and animal behavior have proposed a number of
models to explain interesting aspects of collective behaviors such as
movement coordination, shape-formation or decision making. Recently,
algorithms and methods inspired by these models have been proposed to solve
difficult problems in many domains. Among these, it is worth mentioning ant
colony optimization (ACO) and particle swarm optimization (PSO), focusing
respectively on discrete and continuous optimisation problems. Also, Swarm
robotics represents another application of techniques derived from swarm
intelligence for the design of collaborative multi-robot systems featuring
enhanced efficiency, robustness and scalability.

ANTS 2018 will give researchers in swarm intelligence the opportunity to
meet, to present their latest research, and to discuss current developments
and applications. The three-day conference will be held for the first time
in Rome, Italy, on October 29–31, 2018.


=======================================================================
Relevant Research Areas
=======================================================================

ANTS 2018 solicits contributions dealing with any aspect of swarm
intelligence.
Typical, but not exclusive, topics of interest are:
- Behavioral models of social insects or other animal societies that can
stimulate new algorithmic approaches.
- Theoretical and empirical and research in swarm intelligence.
- Application of swarm intelligence methods (e.g., ant colony optimisation
or particle swarm optimisation) to real-world problems.
- Theoretical and experimental research in swarm robotics systems.


=======================================================================
Important Dates
=======================================================================

Submission deadline: April 15, 2018
Notification of acceptance: June 15, 2018
Camera ready copy: June 29, 2018
Conference: October 29–31, 2018


=======================================================================
Keynote Speakers
=======================================================================

Seven keynote speakers will enrich the conference program. Three keynotes
covering the main domains within the scope of the conference—namely,
theoretical models, swarm robotics and optimisation algorithms—plus a
special keynote session dedicated to the links between physics and
collective behaviour:
- David Sumpter
- Alcherio Martinoli
- Holger Hoos
- Vittorio Loreto
- Andrea Cavagna
- Irene Giardina
- Roberto Di Leonardo


=======================================================================
Publication Details
=======================================================================

Accepted papers will be published in conference proceedings (Springer LNCS
series). The journal Swarm Intelligence will publish a special issue
dedicated to ANTS 2018 that will contain extended versions of the best
research works presented at the conference. Further details will soon be
published on the web site.


=======================================================================
Conference Location
=======================================================================

Aula Marconi,
Consiglio Nazionale delle Ricerche,
Piazzale Aldo Moro 7,
00185 Rome,
Italy


=======================================================================
Best Paper Award
=======================================================================

A best paper award will be presented at the conference. Continuing the
tradition of the ANTS Conference Series, the prize winner will receive a
sculpture of an ant expressly created for the ANTS Conference by the
Italian sculptor Matteo Pugliese.


=======================================================================
ANTS 2018 Organizing Committee
=======================================================================

++ General chair ++
Marco Dorigo - Université libre de Bruxelles, Belgium

++ Vice-general chair ++
Mauro Birattari - Université libre de Bruxelles, Belgium

++ Local organisation and publicity chair ++
Vito Trianni - Institute of Cognitive Sciences and Technologies (ISTC),
Italian National Research Council (CNR), Italy

++ Technical program chairs ++
Christian Blum - Artificial Intelligence Research Institute (IIIA), Spanish
National Research Council (CSIC), Spain
Anders L. Christensen - Instituto Universitário de Lisboa, Portugal

++ Publication chair ++
Andreagiovanni Reina - The University of Sheffield, UK


=======================================================================
Further Information
=======================================================================

Up-to-date information will be published at the following address:
http://www.swarm-intelligence.eu/ants2018/
**********************************************************
*
* 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/
*
**********************************************************

ESA Test-of-Time Award 2017

___________________________________________________________________________________
Announcement of the ESA Test-of-Time Award 2017

European Symposium on Algorithms (ESA)
http://esa-symposium.org/
___________________________________________________________________________________

The ESA Test-of-Time Award (ESA ToTA) recognizes outstanding papers in
algorithms research that were published in the ESA proceedings 19-21
years ago and which are still influential and stimulating for the
field today. For the 2017 award, papers from ESA'96 to ESA'98 were
considered.

The committee nominates the following paper for the ESA ToTA 2017. The
paper stands out as a classic in the algorithms field and continues to
be cited as an exemplary study in its field.

From ESA 96-98:

James Abello, Adam L. Buchsbaum, and Jeffery R. Westbrook
A Functional Approach to External Graph Algorithms
Proceedings ESA'98, pp. 332-343
also in: Algorithmica 32 (2002) 437-458

Laudation:
The paper deals with the design of algorithms that operate on massive
data sets in external memory. Building on the well-known I/O model of
complexity by Aggarwal and Vitter, the authors introduce a novel
design principle for external algorithms based purely on functional
transformations of the data, which facilitates standard checkpointing
and program optimization techniques. Illustrated on a variety of graph
problems, their approach is proved to be elegant and versatile in the
design of both deterministic and randomized external algorithms while
the resulting I/O complexities remain competitive. Functional
algorithms are also designed for semi-external problems, in which the
nodes fit in main memory but the connecting edges are abundant and
only available in external memory. The paper is an excellent
illustration of how general principles of functional program design
and model-based complexity can remain in harmony in the field of
external algorithms.

Award Committee: Giuseppe F. Italiano (Rome), Mike Paterson (Warwick),
Jan van Leeuwen (Utrecht)
_____________________

[DMANET] ESA Test-of-Time Award 2017

___________________________________________________________________________________
Announcement of the ESA Test-of-Time Award 2017

European Symposium on Algorithms (ESA)
http://esa-symposium.org/
___________________________________________________________________________________

The ESA Test-of-Time Award (ESA ToTA) recognizes outstanding papers in
algorithms research that were published in the ESA proceedings 19-21
years ago and which are still influential and stimulating for the
field today. For the 2017 award, papers from ESA'96 to ESA'98 were
considered.

The committee nominates the following paper for the ESA ToTA 2017. The
paper stands out as a classic in the algorithms field and continues to
be cited as an exemplary study in its field.

>From ESA 96-98:

James Abello, Adam L. Buchsbaum, and Jeffery R. Westbrook
A Functional Approach to External Graph Algorithms
Proceedings ESA'98, pp. 332-343
also in: Algorithmica 32 (2002) 437-458

Laudation:
The paper deals with the design of algorithms that operate on massive
data sets in external memory. Building on the well-known I/O model of
complexity by Aggarwal and Vitter, the authors introduce a novel
design principle for external algorithms based purely on functional
transformations of the data, which facilitates standard checkpointing
and program optimization techniques. Illustrated on a variety of graph
problems, their approach is proved to be elegant and versatile in the
design of both deterministic and randomized external algorithms while
the resulting I/O complexities remain competitive. Functional
algorithms are also designed for semi-external problems, in which the
nodes fit in main memory but the connecting edges are abundant and
only available in external memory. The paper is an excellent
illustration of how general principles of functional program design
and model-based complexity can remain in harmony in the field of
external algorithms.

Award Committee: Giuseppe F. Italiano (Rome), Mike Paterson (Warwick),
Jan van Leeuwen (Utrecht)
_____________________
**********************************************************
*
* 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 nominations: VCLA International Student Awards 2018 in Memory of Helmut Veith

The Vienna Center for Logic and Algorithms of TU Wien calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the following two categories:

* Outstanding Master Thesis Award

* Outstanding Undergraduate Thesis Award (Bachelor thesis or equivalent, 1st cycle of the Bologna process)

The main areas of interest are:

* Computational Logic, covering theoretical and mathematical foundations such as proof theory, model theory, algorithmic lower and upper bounds, Boolean satisfiability (SAT), QBF, constraint satisfaction, satisfiability modulo theories, automated deduction (resolution, refutation, theorem proving), non-classical logics (substructural logics, multi-valued logics, deontic logics, modal and temporal logics), computational complexity (complexity analysis, parameterized complexity, decomposition methods).

* Databases and Artificial Intelligence, concerned with logical methods for modeling, storing, and drawing inferences from data and knowledge. This includes subjects like query languages based on logical concepts (Datalog, variants of SQL, XML, and SPARQL), novel database-theoretical methods (schema mappings, information extraction and integration), logic programming, knowledge representation and reasoning (ontologies, answer-set programming, belief change, inconsistency handling, argumentation, planning).

* Verification, concerned with logical methods and automated tools for reasoning about the behavior and correctness of complex state-based systems such as software and hardware designs as well as hybrid systems. This ranges from model checking, program analysis and abstraction to new interdisciplinary areas such as fault localization, program repair, program synthesis, and the analysis of biological systems.

The award is dedicated to the memory of Helmut Veith, the brilliant computer scientist who tragically passed away in March 2016, and aims to carry on his commitment to promoting young talent and promising researchers in these areas.

The Outstanding Master Thesis Award is accompanied by a prize of € 1200, and the Outstanding Undergraduate Research Award by a prize of € 800.

Additionally, the winners will be invited to present their work at an award ceremony during the Federated Logic Conference (FLoC) 2018 in Oxford.

The degree must have been awarded between November 15th, 2015 and December 31st, 2017.

Submission deadline: March 15, 2018 (anywhere on Earth)
Notification of decision: End of May 2018
Award ceremony: July 2018 (during FLoC, details to be announced)

For nomination instructions, please visit http://logic-cs.at/award-call-2018/
Kindly address all inquiries to award@logic-cs.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, January 28, 2018

[DMANET] ICALP: Last CFP, workshops and travel grants

=================================
ICALP 2018 - Last Call for Papers
=================================

********************************************************
* NEW: WORKSHOPS and TRAVEL GRANTS - see at the bottom *
********************************************************

http://iuuk.mff.cuni.cz/~icalp2018

The 45th International Colloquium on Automata, Languages, and Programming
(ICALP) will take place in Prague, Czech Republic, on July 9-13, 2018.

ICALP is the main conference and annual meeting of the European
Association for Theoretical Computer Science (EATCS). As usual, ICALP will
be preceded by a series of workshops, which will take place on July 9.

As a new feature, ICALP 2018 will include brief announcements intended as
a venue for short papers, work in progress or work presented elsewhere.
See submission guidelines below.

===============
Important dates
===============

Submission deadline: Friday February 16, 2018
Notification: Sunday April 15, 2018
Final manuscript due: Friday May 4, 2018
Early registration deadline: Thursday May 31, 2018
Workshops: Monday July 9, 2018
Main conference: July 10-13, 2018

Deadlines are firm; late submissions will not be considered.

================
Invited Speakers
================

Jaroslav Nesetril (Charles Univ, CZ)
Alexander Schwarzmann (Univ of Connecticut, US)
Sam Staton (Oxford Univ, UK)
Ryan Williams (Massachusetts Institute of Technology, US)

===========================
Submissions and Proceedings
===========================

ICALP proceedings are published in the Leibniz International Proceedings
in Informatics (LIPIcs) series. This is a series of high-quality
conference proceedings across all fields in informatics established in
cooperation with Schloss Dagstuhl - Leibniz Center for Informatics. LIPIcs
volumes are published according to the principle of Open Access, i.e.,
they are available online and free of charge.

Submission Guidelines
---------------------
Authors are invited to submit an extended abstract of no more than 12
pages, excluding references presenting original research on the theory of
computer science. All submissions must be formatted in the LIPIcs style
(http://www.eatcs.org/icalp2018/authorkit.zip) and submitted via Easychair
to the appropriate track of the conference. The use of pdflatex and the
LIPIcs style are mandatory: papers that deviate significantly from the
required format may be rejected without consideration of merit.

For regular submissions, no prior publication or simultaneous submission
to other publication outlets (either a conference or a journal) is
allowed. All the technical details necessary for a proper scientific
evaluation of a submission must be included in the 12-page submission or
in a clearly-labelled appendix, to be consulted at the discretion of
program committee members. If desired, the authors can simply attach a
copy of the full paper as the appendix. Authors are encouraged to also
make full versions of their submissions freely accessible in an on-line
repository such as ArXiv, HAL, ECCC.

A submission for a brief announcement must be at most 3 pages, including
title, authors' names and affiliations, and references. Such submissions
may describe work in progress or work presented elsewhere. The title of a
brief announcement must begin with the words "Brief Announcement:". Brief
announcements will be included in proceedings and also presented during
the conference with a shorter time slot.

If requested by the authors at the time of submission, a regular
submission that is not selected for a regular presentation will be
considered for the brief announcement format. This will not affect
consideration of the paper for a regular presentation.

Best Paper Awards
-----------------
As in previous editions of ICALP, there will be best paper and best
student paper awards for each track of the conference. In order to be
eligible for a best student paper award, a paper should be authored only
by students and should be marked as such upon submission.

Topics
======

Papers presenting original research on all aspects of theoretical computer
science are sought. Typical but not exclusive topics of interest are:

Track A: Algorithms, complexity and games
-----------------------------------------
* Algorithmic Game Theory
* Approximation Algorithms
* Combinatorial Optimization
* Combinatorics in Computer Science
* Computational Biology
* Computational Complexity
* Computational Geometry
* Cryptography
* Data Structures
* Design and Analysis of Algorithms
* Machine Learning
* Parallel, Distributed and External Memory Computing
* Randomness in Computation
* Quantum Computing

Track B: Logic, semantics, automata and theory of programming
-------------------------------------------------------------
* Algebraic and Categorical Models
* Automata, Games, and Formal Languages
* Emerging and Non-standard Models of Computation
* Databases, Semi-Structured Data and Finite Model Theory
* Principles and Semantics of Programming Languages
* Logic in Computer Science, Theorem Proving and Model Checking
* Models of Concurrent, Distributed, and Mobile Systems
* Models of Reactive, Hybrid and Stochastic Systems
* Program Analysis and Transformation
* Specification, Refinement, Verification and Synthesis
* Type Systems and Theory, Typed Calculi

Track C: Foundations of networked computation:
Models, algorithms and information management
----------------------------------------------
* Algorithmic Aspects of Networks and Networking
* Formal Methods for Network Information Management
* Foundations of Privacy, Trust and Reputation in Networks
* Mobile and Wireless Networks and Communication
* Network Economics and Incentive-Based Computing Related to Networks
* Networks of Low Capability Devices
* Network Mining and Analysis
* Overlay Networks and P2P Systems
* Specification, Semantics, Synchronization of Networked Systems
* Theory of Security in Networks

Should I submit my paper to Track A or Track C?
-----------------------------------------------
While the scope of Tracks A and B are generally well understood given
their long history, the situation for Track C may be less obvious. In
particular, some clarifications may be helpful regarding areas of
potential overlap, especially between Tracks A and C.

The aim for Track C is to be the leading venue for theory papers truly
motivated by networking applications, and/or proposing theoretical results
relevant to real networking, certified analytically, but not necessarily
tested practically. The motivation for the track was the lack of good
venues for theory papers motivated by applications in networking. On the
one hand, the good networking conferences typically ask for extended
experiments and/or simulations, while the TCS community is hardly able to
do such experiments or simulations. On the other hand, the good
conferences on algorithms tend to judge a paper based only on its
technical difficulty and on its significance from an algorithmic
perspective, which may not be the same as when judging the paper from the
perspective of impact on networks.

Several areas of algorithmic study of interest to track C have a broad
overlap with track A. Graph algorithmics can belong in either, though if
the work is not linked to networking, it is more appropriate in track A.
Algorithmic game theory is another area of major overlap. Aspects
involving complexity, the computation of equilibria and approximations,
belong more in Track A, while results with applications in auctions,
networks and some aspects of mechanism design belong in Track C.

Finally, it should be noted that algorithms and complexity of
message-passing based distributed computing belong squarely in track C,
while certain other aspects of distributed computing do not fall under its
scope.

Committees
==========

Track A: Algorithms, complexity, and games
------------------------------------------
Daniel Marx, chair (Hungarian Academy of Sciences, HU)
Alexandr Andoni (Columbia Univ, US)
Nikhil Bansal (Eindhoven Univ of Technology, NL)
Markus Blaser (Saarland Univ, DE)
Glencora Borradaile (Oregon State Univ, US)
Sergio Cabello (Univ of Ljubljana, SI)
Joseph Cheriyan (Univ of Waterloo, CA)
Leah Epstein (Univ of Haifa, IL)
Samuel Fiorini (Univ libre de Bruxelles, BE)
Craig Gentry (IBM Research, US)
Kasper Green Larsen (Aarhus Univ, DK)
Giuseppe F. Italiano (Univ di Roma "Tor Vergata", IT)
Bart M.P. Jansen (Eindhoven Univ of Technology, NL)
Petteri Kaski (Aalto Univ, FI)
Michal Koucky (Charles Univ, CZ)
Elias Koutsoupias (Oxford, UK)
Robert Krauthgamer (Weizmann Inst of Science, IL)
Stephan Kreutzer (TU Berlin, DE)
Troy Lee (Nanyang Technological Univ, SG)
Moshe Lewenstein (Bar-Ilan Univ, IL)
Monaldo Mastrolilli (IDSIA, CH)
Ankur Moitra (MIT, US)
Seffi Naor (Technion, IL)
Seth Pettie (Univ of Michigan, US)
Michal Pilipczuk (Univ of Warsaw, PL)
Alon Rosen (Herzliya Interdisciplinary Center, IL)
Gunter Rote (Freie Univ Berlin, DE)
Barna Saha (Univ of Massachusetts Amherst, US)
Anastasios Sidiropoulos (Univ of Illinois at Chicago, US)
Daniel Stefankovic (Univ of Rochester, US)
Maxim Sviridenko (Yahoo Research, US)
Virginia Vassilevska Williams (MIT, US)
Gerhard Woeginger (RWTH Aachen, DE)
Ronald de Wolf (CWI and Univ of Amsterdam, NL)
Stanislav Zivny (Oxford, UK)

Track B: Logic, semantics, automata and theory of programming
-------------------------------------------------------------
Don Sannella, chair (Univ of Edinburgh, UK)
Nathalie Bertrand (IRISA/INRIA Rennes, FR)
Mikolaj Bojanczyk (Warsaw Univ, PL)
Udi Boker (Interdisciplinary Center Herzliya, IL)
Yuxin Deng (East China Normal Univ, CN)
Floris Geerts (Univ Antwerp, BE)
Dan Ghica (Univ Birmingham, UK)
Alexey Gotsman (IMDEA, ES)
Jan Hoffmann (CMU, US)
Naoki Kobayashi (Univ Tokyo, JP)
Martin Lange (Univ Kassel, DE)
Dirk Pattinson (Australian National Univ, AU)
Femke van Raamsdonk (VU Amsterdam, NL)
Jean-François Raskin (Univ libre de Bruxelles, BE)
Vladimiro Sassone (Univ Southampton, UK)
Thomas Schwentick (TU Dortmund, DE)
Alex Simpson (Univ Ljubljana, SI)
Jiri Srba (Aalborg Univ, DK)
Mirco Tribastone (IMT Lucca, IT)
Tomas Vojnar (Brno Univ of Technology, CZ)
Igor Walukiewicz (CNRS and Univ Bordeaux, FR)
Scott Weinstein (Univ Pennsylvania, US)

Track C: Foundations of networked computation:
Models, algorithms and information management
----------------------------------------------

Christos Kaklamanis, chair (CTI and Univ of Patras, GR)
Susanne Albers (TU Munich, DE)
Luca Becchetti (Sapienza Univ of Rome, IT)
Ioannis Caragiannis (Univ of Patras, GR)
Andrea Clementi (Univ of Rome "Tor Vergata", IT)
Michele Flammini (Gran Sasso Sci Inst and Univ of L'Aquila, IT)
Pierre Fraigniaud (CNRS and Univ Paris Diderot, FR)
Aristides Gionis (Aalto Univ, FI)
Sudipto Guha (Univ of Pennsylvania, US)
Tomasz Jurdzinski (Univ of Wroclaw, PL)
Evangelos Kranakis (Carleton Univ, CA)
Danny Krizanc (Wesleyan Univ, US)
Katrina Ligett (CA Inst of Tech, US and Hebrew Univ,~IL)
Marios Mavronicolas (Univ of Cyprus, CY)
Kobbi Nissim (Georgetown Univ, US)
Marina Papatriantafillou (Chalmers Univ of Tech, SE)
Andrzej Pelc (Univ du Quebec en Outaouais, CA)
David Peleg (Weizmann Inst of Science, IL)
Geppino Pucci (Univ of Padova, IT)
Christian Scheideler (Paderborn Univ, DE)
Roger Wattenhofer (ETH Zurich, CH)

Organizing committee
--------------------
Jiri Sgall
Anna Kotesovcova (CONFORG)
Andreas Emil Feldmann
Jiri Fiala
Tomas Masarik
Michal Opler
Jan Musilek

*********
Workshops
*********

Accompanying the main conference, several satellite workshops will be
organized. The organizers are listed below. All workshops will be held on
Monday July 9th 2018 in Mala Strana. The exact schedule will be announced.

Workshops with submissions of contributed talks:
------------------------------------------------

Modern Online Algorithms (MOLI)
http://math.haifa.ac.il/lea/MOLI.htm
Leah Epstein

Game Solving: Theory and Practice
https://www7.in.tum.de/~kretinsk/games.html
Tomas Brazdil, Branislav Bosansky, Jan Kretinsky

Parameterized Approximation Algorithms Workshop (PAAW)
https://sites.google.com/site/aefeldmann/workshop
Andreas Emil Feldmann

Infinity
Antonin Kucera, Petr Jancar

Workshops with invited presentations only:
------------------------------------------

Algorithmic Aspects of Temporal Graphs
http://community.dur.ac.uk/george.mertzios/Temporal-Graphs-ICALP-2018.html
George B. Mertzios, Paul Spirakis, Viktor Zamaraev, Eleni Akrida

Constrained Recognition Problems
http://www1.informatik.uni-wuerzburg.de/en/events/wcrp-2018/
Ignaz Rutter, Steven Chaplick

Summer School on Lower Bounds (LBCAD)
Michal Koucky

**********************************************************
Travel grants - Student and Young Women Researcher Support
**********************************************************

Thanks to support from AVAST and RSJ companies (https://www.rsj.com/ and
https://www.avast.com/), we are able to offer several travel grants
covering a waiver of the registration fee and in exceptional cases
possibly also a limited travel support. The grants will be given in two
categories:

* young women researchers, including students and researchers within
6 years after PhD (excluding any maternity leave), supported by AVAST;

* students (PhD or lower), supported by RSJ.

To apply, please refer to the registration page.

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