Thursday, August 17, 2017

[DMANET] Stellenausschreibung wiss. Mitarbeiter/in am Institut für Transportlogistik, TU Dortmund (neue Deadline)

Mit über 6.200 Beschäftigten in Forschung, Lehre und Verwaltung und ihrem einzigartigen Profil gestaltet die Technische Universität Dortmund Zukunftsperspektiven: Das Zusammenspiel von Ingenieur- und Naturwissenschaften, Gesellschafts- und Kulturwissenschaften treibt technologische Innovationen ebenso voran wie Erkenntnis- und Methoden fortschritt, von dem nicht nur die 34.200 Studierenden profitieren.

An der Technischen Universität Dortmund ist in der Fakultät Maschinenbau, im Institut für Transportlogistik zum nächstmöglichen Zeitpunkt die Stelle

einer / eines wissenschaftlich Beschäftigten

zunächst befristet bis zum 31. Mai 2019 (Projektlaufzeit) mit der Option auf Verlängerung zu besetzen. Die Vertragslaufzeit wird dem Qualifizierungsziel angemessen gestaltet. Die Entgeltzahlung erfolgt entsprechend den tarifrechtlichen Regelungen nach Entgeltgruppe E 13 TV-L bzw. ggfls. nach dem Übergangsrecht (TVÜ-L). Es handelt sich hierbei um eine Ganztagsstelle. Eine
Beschäftigung in bzw. Reduzierung auf Teilzeit ist grundsätzlich möglich.

In einem interdisziplinären Team forschen und lehren die Mitarbeiterinnen und Mitarbeiter des ITL im Bereich der Verkehrs- und Transportlogistik. Dabei stehen die Optimierung von Verkehrsflüssen oder die Verbesserung der Ressourcenplanung und
-nutzung in logistischen Anlagen im Mittelpunkt der Aktivitäten.

Anforderungsprofil

* Überdurchschnittlich abgeschlossenes wissenschaftliches Hochschulstudium (Diplom/Master) in der Fachrichtung Informatik, (Wirtschafts-)Mathematik, Verkehrsingenieurwesen o. ä.,
* Fundierte Kenntnisse in mathematischer, insbesondere diskreter, Optimierung und Algorithmenentwicklung,
* Interesse an logistischen Fragestellungen, insbesondere im Bereich des ÖPNV
* Programmierkenntnisse (z. B. C++ oder Java) sind wünschenswert,
* Erfahrungen im Umgang mit einer Modellierungssprache (GAMS, Aimms, etc.) sind von Interesse
* Sicherer Umgang mit den gängigen Office-Anwendungen
* Gute Englischkenntnisse,
* Interesse an einer selbstständigen Bearbeitung von wissenschaftlich anspruchsvollen Fragestellungen,
* Fähigkeit zur Zusammenarbeit in einem interdisziplinären Team, soziale Kompetenz und ein hohes Maß an Engagement und Kooperationsbereitschaft.

Aufgabenbereich

Die Deutsche Forschungsgemeinschaft (DFG) hat die Forschergruppe "Integrierte Planung im öffentlichen Verkehr" eingerichtet. In diesem überregionalen Vorhaben ist das Ziel der Forschungsarbeit des Instituts für Transportlogistik der Technischen Universität Dortmund, vorherrschende Unsicherheiten bei verschiedenen Planungsproblemen im öffentlichen Verkehr besser mit Hilfe mathematischer Optimierung und Simulation handhaben zu können und so zu robusteren Lösungen im täglichen Betrieb zu gelangen. Die Technische Universität Dortmund will den Anteil von Frauen in der Wissenschaft in der Fakultät Maschinenbau erhöhen und bittet daher insbesondere Frauen um ihre Bewerbung. Es wird darauf hingewiesen, dass die Bewerbung geeigneter Schwerbehinderter erwünscht ist. Sie sind interessiert? Dann senden Sie uns Ihre Bewerbung mit den üblichen Unterlagen bitte bis zum 05.09.2017 unter Angabe der Referenznummer w46-17 an:

Technische Universität Dortmund
Herrn Univ.-Prof. Dr.-Ing. Uwe Clausen
Institut für Transportlogistik (ITL)
Leonhard-Euler-Straße 2
44227 Dortmund

Für Fragen steht zur Verfügung:
Herr Sven Langkau
Tel.: 0231/755-7329
E-Mail: langkau@itl.tu-dortmund.de<mailto:langkau@itl.tu-dortmund.de>

Dortmund, 09.08.2017

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

Wednesday, August 16, 2017

[DMANET] Professorship "Sustainable Transportation Logistics (Physical Internet)" at JKU Linz

The Faculty of Social Sciences, Economics & Business at the Johannes
Kepler University Linz (Austria) invites applications for a full-time,
tenured faculty position as a

***
Professor for
Sustainable Transportation Logistics with a focus on "Physical Internet"
http://www.jku.at/content/e213/e152/e141/e14908/e14907/e14896/e307677?showlang=eng
***

Application deadline: August 31, 2017

The successful candidate is expected to support the development and
expansion of research in the field of the "Physical Internet" at the
Johannes Kepler University and will represent this field in research and
teaching in all of its sub-areas. Research activities will focus on the
future-oriented design of a logistical flow of goods and using the
Physical Internet to strive for a sustainable, positive economic,
ecological, and socially relevant impact. Accordingly, the successful
candidate will work equally on conducting application-oriented and
base-knowledge research in both logistical and computer science-related
research topics. In the field of teaching, the successful candidate will
be expected to develop a new area of specialization in conjunction with
existing courses already offered at the Johannes Kepler University. The
successful candidate will also be willing to independently address and
carry out administrative tasks at the university/department as well as
actively take part in academic committees.

The successful candidate must

(a) hold a post-doctorate (venia docendi) degree or a comparable
post-doctorate degree, preferably with a focus on transportation
logistics and/or computer science,
(b) demonstrate past experience in conducting base-knowledge research
with a focus on logistics and/or computer sciences,
(c) possess experience in academia and teaching at all levels,
(d) submit a list of publications on an international level and a list
of all academic lectures, presentations, etc.,
(e) show professional relationships with companies and industries
demonstrated through ongoing projects in collaboration with companies,
(f) show experience in acquiring external funding, and
(g) show international experience and professional contacts.

In addition to the key qualifications as cited above, the successful
candidate is expected to possess a strong social skill set.

The annual gross salary is €90,000 to €110,000; the actual net income
amount can only be negotiated with the Rector.

The Johannes Kepler University wishes to increase the proportion of
academic female faculty members and, for this reason, especially
welcomes applications by qualified women. If applicants are equally
qualified, a woman will be given preference for this position.

The applicant may not have been previously employed at an Austrian
university since 2013.

Prospective applicants interested in the position are requested to
electronically send an application in adherence to the stated criteria,
together with the requested documentation (including all relevant
documents, application form, current CV, list of publications, and a
list of all courses taught, etc.) to the Rector of the Johannes Kepler
University of Linz (bewerbung@jku.at).

Information for Applicants:
http://www.jku.at/Rektorat/content/e6424/e6423/e307677/e307687/StellenprofilSustainableTransportationLogistics_eng.pdf

Application Form:
http://www.jku.at/Rektorat/content/e6424/e6423/e307677/e307688/ApplicationForm_eng.doc


**********************************************************
*
* 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, August 15, 2017

[DMANET] Open positions: Two lecturer/senior lecturer positions in algorithms at the University of Sydney

Two lecturer/senior lecturer (assistant professor) positions in algorithms
available at the University of Sydney, Australia.

Closing date: 11:30pm, Sunday, 27 August 2017 (Sydney time)

Full ad: http://bit.ly/2wBCOxv

The School of Information Technologies at the University of Sydney is
embarking on an exciting growth journey, adding several new positions which
will complement our core areas of strength pushing the frontiers to new
research areas. As part of this plan, the School of Information
Technologies (SIT) invites applications from outstanding candidates for a
continuing Lecturer or Senior Lecturer position (Level B/C) in Algorithms
starting immediately. The level of appointment will be commensurate with
qualifications and experience.

This is an attractive opportunity for candidates with an interest and
passion for high quality excellent research and teaching. Strong candidates
from all areas of algorithmic research are sought, including but not
limited to: algorithm analysis, graph algorithms, algorithmic game theory,
approximation algorithms, combinatorial optimization, quantum algorithms
and computational learning theory.

To be successful, you will have a PhD in computer science, or a closely
related discipline. You must show evidence of excellent research
achievements in areas of algorithms and the ability to publish your
research in highly-ranked outlets. You will be expected to teach a range of
computer science courses including algorithms related courses. A strong
commitment to teaching and learning is required as well as evidence of
ability to lecture and prepare new teaching material. The candidate is
expected to teach in a broad range of computer science subjects including
algorithms and computing theory.

Informal enquiries are welcome, and can be made to Joachim Gudmundsson (
joachim.gudmundsson@sydney.edu.au).

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

Monday, August 14, 2017

[DMANET] Announcement: [Algorithms] Special Issue "Online Algorithms"

Dear Colleagues,

We cordially invite you to submit a manuscript for consideration and
possible publication in a Special Issue on "Online Algorithms" to be
published in the open access journal Algorithms
(http://www.mdpi.com/journal/algorithms), which is indexed by EI and ESCI.

The submission manuscript deadline is 30 November 2017. The goal of this
Special Issue is to offer a forum for exchanging new ideas about the
design and analyses of online algorithms for various optimization
problems. For more details please visit the website:
http://www.mdpi.com/journal/algorithms/special_issues/Online_Algorithms

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

Please let me know within a month or as soon as possible if you and your
colleagues are interested in submitting a manuscript for this special
issue. Your contribution would be most welcome.

Kind regards,
Ms. Yi Zhang
Assistant Editor

Algorithms CiteScore 2016: 1.15
https://www.scopus.com/sourceid/21100199795

--
MDPI Branch Office, Wuhan
Tel. +86 27 878 086 58;
Fax: +86 27 876 125 88
E-Mail: algorithms@mdpi.com
http://www.mdpi.com/journal/algorithms/

MDPI AG
St. Alban-Anlage 66, 4052 Basel,
Postfach, CH-4020 Basel, Switzerland
Tel. +41 61 683 77 34; Fax +41 61 302 89 18
http://www.mdpi.com/


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

[DMANET] Building Bridges II. registration

Dear Colleague,

We apologoze for the possible multiple posting. The registration for

Building Bridges II.
Conference to celebrate 70th birthday of László Lovász
Budapest, Hungary
July 2 - 6, 2018

is open now. Please go to page

http://www.renyi.hu/conferences/ll70/registration/

for details.

It is hard to believe but true: László (Laci) Lovász will turn seventy in
2018. His contributions to discrete mathematics and theory of algorithms
have been fundamental. He has connected combinatorics and theoretical
computer science with other areas of mathematics in many ways. To celebrate
Laci's birthday and his extraordinary achievements, the János Bolyai
Mathematical Society, the Eötvös University, and the Alfréd Rényi Institute
of Mathematics organize an international conference. Titled "Building
Bridges II", the meeting will be held in Budapest, Hungary, July 2 to 6,
2018. The scientific program will consist of invited lectures and poster
sessions.

Confirmed invited speakers include


Noga Alon László Babai Anders Björner
Béla Bollobás Christian Borgs Sourav Chatterjee
Jennifer Chayes Persi Diaconis Uriel Feige
Tibor Jordán Jacob Fox Jeff Kahn
Gil Kalai Ravi Kannan Peter Keevash
Nathan Linial Jaroslav Nešetřil Alexander Razborov
Lex Schrijver Joel Spencer Balázs Szegedy
Endre Szemerédi Tamás Szőnyi Terry Tao
Éva Tardos Gábor Tardos Santosh Vempala
Vu Ha Van Avi Wigderson Ágnes Backhausz
Endre Csóka Péter Csíkvári László Végh
Hamed Hatami

Best wishes,
Attila Sali
Secretary of the Organizing Committee
**********************************************************
*
* 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] 2-Year Stipend for a PhD Student in Text Algorithms at University of Warsaw, Poland

One stipend position for a PhD student is opening in the "Algorithms for
text processing with errors and uncertainties" project that is carried out
within the HOMING programme of the Foundation for Polish Science. The
project is co-financed by the European Union under the European Regional
Development Fund.

The maximum duration of the stipend is 21 months, starting Oct 2, 2017. The
deadline for applications is *Aug 25, 2017*.

A candidate should have a status of a PhD student on the starting date of
the project. This could include eligibility for PhD studies at the
University of Warsaw in the recruitment during September 2017.

The goal of the project is the design of pattern matching algorithms when
errors and uncertainties occur in the data. The expected developments of
the project are in the scope of computer science while the motivation stems
mainly from computational biology. In pattern matching with errors we are
to report approximate matches with bounded edit or Hamming distance.
Uncertain texts are texts with don't care symbols, indeterminate symbols,
or positions that specify a probability distribution over the alphabet
(so-called Position-Weight Matrices). The scope of problems considered in
the project includes pattern matching in the off-line, on-line, and
streaming setting, text indexing, internal text queries, and computation of
similarity measures.

The key responsibilities include:

- Design and analysis of efficient algorithms for pattern matching in
the presence of errors and uncertainties
- Preparation of manuscripts and presenting them at international
conferences
- Optional: Implementation of selected algorithms

A successful candidate will take part in research on key problems in the
area of text algorithms. The project is conducted at the Faculty of
Mathematics, Informatics and Mechanics, University of Warsaw which is a
leading institution in the field of theoretical computer science. The
official partners of the project are experienced researchers and PhD
students from the UK and France. You will be able to disseminate the
results of your work at international conferences. Your results will be
expected to become the basis of your PhD thesis.
More details can be found at the website:
https://www.mimuw.edu.pl/~jrad/tpeu.html

For further information, feel free to contact me at jrad@mimuw.edu.pl

Best regards,
Jakub Radoszewski
**********************************************************
*
* 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, August 13, 2017

[DMANET] BigDF 2017: IEEE International Workshop on Foundations of Big Data Computing

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

IEEE International Workshop on Foundations of Big Data Computing (BigDF
2017)
In conjunction with HiPC 2017 (http://www.hipc.org)
December 18, 2017
Le Meridien, Jaipur, India

http://hipc.org/foundations-of-big-data-computing-workshop/
************************************************************************************************

What constitutes a "Big Data" problem? What application domains are best
suited to benefit from Big Data analytics and computing? What are the
traits and characteristics of an application that make it suited to exploit
Big Data analytics? How can Big Data systems and frameworks be designed to
allow the integration and analysis of complex data sets? How can research
in Big Data Analytics benefit from the latest advances in supercomputing
and High Performance Computing (HPC) architectures? The goal of this
workshop is to address questions like these that are fundamental to the
advancement of Big Data computing, and in the process, build a diverse
research community that has a shared vision to advance the state of
knowledge and discovery through Big Data computing.

Topics of interest include research contributions and innovative methods in
the following areas (but not limited to):

* Scalable tools, techniques and technologies for Big Data analytics (e.g.,
graph and stream data analysis, machine learning and emerging deep learning
methods)
* Algorithms and Programming Models for Big Data
* Big Data applications - Challenges and Solutions (e.g., life sciences,
health informatics, geoinformatics, climate, socio-cultural dynamics,
business analytics, cybersecurity)
* Scalable Big Data systems, platforms, services, and management
* Big Data toolkits, workflows, metrics, and provenance.

We invite paper submissions that describe original research contributions
in the area of Big Data computing, and position papers that highlight the
potential challenges and opportunities that arise in Big Data computing. We
also invite short papers that describe work-in-progress original research.

Regular papers can be up to 8 pages long and short papers can be up to 4
pages long. All submissions will undergo rigorous peer-review by the
technical program committee, and accepted manuscripts will appear in the
HiPC workshop ("HIPCW") proceedings and will be indexed by IEEE digital
library. Authors of the accepted manuscripts will be required to present
their work at the workshop proceedings.

Paper Submission link: The paper submission opens July 1, 2017. Click on
the following link for submitting your papers:
https://www.easychair.org/conferences/?conf=hipcbigdf17

Authors can submit an abstract prior to submitting the full paper for
review. The abstract is not mandatory but is recommended to help organizers
plan the review phase in a timely fashion (i.e., authors can submit a full
paper without having submitted an abstract). However, submissions with only
full papers will be reviewed.

Organizing Committee:

* General Chairs: Dinkar Sitaram (PESIT), Ananth Kalyanaraman (Washington
State University)
* Program Chairs: Madhu Govindaraju (SUNY Binghamton), Saumyadipta Pyne
(IIPH, Hyderabad)
* Publicity Chair: Arindam Pal (TCS Research and Innovation)
* Proceedings Chair: Ren Chen, USC (HiPC proceedings chair)
* Industry Liaison: Vivek Yadav (FullStackNet, India)

Technical Program Committee:

Medha Atre, IIT Kanpur

Ariful Azad, Lawrence Berkeley National Laboratory

Biplab Banerjee, IIT Roorkee

Suren Byna, Lawrence Berkeley National Laboratory

Nabanita Das, Indian Statistical Institute

Oded Green, Georgia Institute of Technology

Manish Kurhekar, Visvesvaraya National Institute of Technology

Suresh Marru, Indiana University

Arindam Pal, TCS Research

Laks Raghupathi, Shell, India

Sudip Seal, Oak Ridge National Laboratory

Gokul Swamy, Amazon

Devesh Tiwari, Northeastern University

Abhinav Vishnu, Pacific Northwest National Laboratory

Yinglong Xia, Huawei Research America

Jaroslaw Zola, University of Buffalo

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

Friday, August 11, 2017

[DMANET] 2017 COIN-OR Cup

Announcing the thirteenth annual "COIN-OR Cup" competition,
sponsored by the COIN-OR Foundation.

Guidelines:
* A submission or nomination must contain:
1. a synopsis of an effective use of COIN-OR or
valuable contribution to COIN-OR (or both!),
2. an explanation of its significance.

* The winner must accept the prize in person at the 2017 INFORMS
Annual Meeting so we can all celebrate appropriately (see "Celebration"
below).

* Submission deadline: Friday, September 22nd, 2017.

* Self-nominations are welcome.

* We especially encourage nominations of effective use of COIN-OR that
the community may not know about.


Celebration: The 2017 COIN-OR Cup will be awarded at a celebration
during the INFORMS Annual meeting in Houston, TX. All entrants,
their supporters, and other interested parties are welcome to join the
celebration and regale, rile, and roast the prize winners. Details
of the event will be announced later.

The winning entry will be announced at this celebration event,
and posted on the COIN-OR website https://www.coin-or.org .


Please e-mail your submissions to coin-cup@coin-or.org in a single
zipped archive, containing a description of your submission and copies
of all relevant papers/documents.


2017 COIN-OR Cup Committee:
Giacomo Nannicini (chair), IBM T.J. Watson
Andrew Conn, IBM T.J. Watson
Thomas Wortmann, Singapore University of Technology and Design
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Final Call for Posters: Graph Drawing and Network Visualization GD 2017

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

Final Call for Posters

GD 2017

25th International Symposium on
Graph Drawing and Network Visualization

September 25-27, 2017 - Boston, MA, U.S.A.
http://graphdrawing.org/gd2017

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

Graph Drawing is concerned with the geometric representation of graphs
and constitutes the algorithmic core of Network Visualization. Graph
Drawing and Network Visualization are motivated by applications where it
is crucial to visually analyze and interact with relational datasets.
Examples of such application areas include data science, social
sciences, Web computing, information systems, biology, geography,
business intelligence, information security and software engineering.

GD has been the main annual event in this area for more than 20 years.
Its focus is on combinatorial and algorithmic aspects of graph drawing
as well as the design of network visualization systems and interfaces.
GD 2017 will take place September 25-27, 2017 at the Northeastern
University in Boston, Massachusetts, USA. Researchers and practitioners
working on any aspects of graph drawing and network visualization are
invited to submit posters and to participate in the symposium.

POSTER SUBMISSION INFORMATION
-----------------------------

The submission of posters on graph drawing, network visualization, and
related areas is solicited. The poster session will provide a forum
for the communication of late-breaking research results (which may also
appear elsewhere) to the GD community. Authors of posters should prepare
an abstract (up to two pages in unmodified LNCS style -- no times
package is allowed) that must be submitted together with the poster.
Abstracts of accepted posters will appear in the conference proceedings
(two pages). The maximum size for a poster is A0 (84.1 cm x 118.9 cm).
The posters must be in portrait mode.

Each submission will then consist of two pdf files (the two-page
abstract and the poster) and must include names, email addresses and
contact information of the contributors. Contributions must be submitted
via EasyChair following the link provided on the conference web site.

BEST POSTER AWARD
-----------------

To recognize the effort of the participants in preparing and presenting
their posters in a clear and elegant way, there will be a Best Poster
Award voted on by the GD 2017 attendees.

IMPORTANT DATES
---------------

• Poster submission deadline August 17 (23:59 PDT)
• Notification of poster acceptance August 28
• Final versions due September 3
• Symposium September 25-27

INVITED SPEAKERS
----------------

Timothy M. Chan, University of Illinois at Urbana-Champaign, USA
Alessandro Vespignani, Northeastern University, US

PROGRAM COMMITTEE
-----------------

Daniel Archambault, Swansea University, GB
Benjamin Bach, University of Edinburgh, GB
Fabian Beck, Universität Duisburg-Essen, DE
Michael Bekos, Universität Tübingen, DE
Therese Biedl, University of Waterloo, CA
Giordano Da Lozzo, UC Irvine, US
Vida Dujmovic, University of Ottawa, CA
Stephane Durocher, University of Manitoba, CA
Tim Dwyer, Monash University, AU
Fabrizio Frati (co-chair), Università Roma Tre, IT
Martin Gronemann, Universität zu Köln, DE
John Alexis Guerra Gómez, Universidad de los Andes, CO
Michael Hoffmann, ETH Zürich, CH
Yifan Hu, Yahoo Research, US
Takayuki Itoh, Ochanomizu University, JP
Anna Lubiw, University of Waterloo, CA
Kwan-Liu Ma (co-chair), UC Davis, US
Fabrizio Montecchiani, Università degli Studi di Perugia, IT
Martin Nöllenburg, Technische Universität Wien, AT
Arnaud Sallaberry, LIRMM, FR
Andrew Suk, University of Illinois at Chicago, US
Antonios Symvonis, National Technical University of Athens, GR
Ioannis Tollis, University of Crete, GR
Csaba Tóth, California State University Northridge, US
Alexander Wolff, Universität Würzburg, DE
Jian Zhao, FX Palo Alto Laboratory, US

ORGANIZING COMMITTEE
--------------------

Cody Dunne (co-chair), Northeastern University, US
Alan Keahey (co-chair), Conversant, US

CONTEST COMMITTEE
-----------------

Philipp Kindermann, Universität Würzburg, DE
Maarten Löffler (chair), Utrecht University, NL
Ignaz Rutter, Karlsruhe Institute of Technology, DE


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

Thursday, August 10, 2017

from Lane A. Hemaspaandra: JOEL I. SEIFERAS RETIREMENT CELEBRATION: JoelFest: A Day of Talks by Zvi Galil, Shafi Goldwasser, Jon Kleinberg, and Muthuramakrishnan Venkitasubramaniam

JOEL I. SEIFERAS RETIREMENT CELEBRATION:
JoelFest: A Day of Talks by
Zvi Galil,
Shafi Goldwasser,
Jon Kleinberg, and
Muthuramakrishnan Venkitasubramaniam

Monday, September 4, 2017 (Labor Day), 9AM—5PM


ANNOUNCEMENT AND REGISTRATION REQUEST

Our dear colleague Joel I. Seiferas retired on December 31, 2016,
after more than 37 years at the University of Rochester's Department
of Computer Science, and became professor emeritus of computer
science.

Joel generously asked that the department make his retirement
celebration be a day of accessible, enjoyable talks by interesting
theoreticians.

So to celebrate Joel's career and recognize his transition to emeritus
status, the department is hosting a day of accessible, enjoyable talks
by interesting theoreticians, namely, we'll have a day of talks from
9AM to 5PM on Monday, Sept. 4 (Labor Day), by:
* Zvi Galil, the John P. Imlay Dean of Computing and Professor
at Georgia Tech's College of Computing,
* Shafi Goldwasser, the RSA Professor of Electrical Engineering
and Computer Science at MIT,
* Jon Kleinberg, Tisch University Professor of Computer Science
at Cornell University, and
* Muthuramakrishnan Venkitasubramaniam, Department of Computer
Science, University of Rochester.

The talks are all free and open to the public, and we very much hope
you will attend them. The web page

http://www.cs.rochester.edu/u/lane/=joelfest/

has the information (schedule, travel, lodging, etc.) on the event,
and on how to register (**please register by August 22nd** so we know
how many will attend and can get right the room size for the talks;
registering is about a 1-minute process), and on how---if you won't be
able to attend but would like to send a message for Joel to be given
on that day---to do so.

Much hoping to see you there!

Cheers,
Lane A. Hemaspaandra, Daniel Stefankovic, and Muthu Venkitasubramaniam

[DMANET] EATCS Bulletin, call for abstracts

EATCS Bulletin, http://eatcs.org/index.php/eatcs-bulletin, has a
section for "Technical contributions." To stimulate this section
further, we have just started publication abstracts of works
that have been accepted by journals and/or conferences or have
appeared in major archives. The topics of interest include all areas
of theoretical computer science (for instance, see topics of the three
Tracks of ICALP, http://www.easyconferences.eu/icalp2016/cfp.html).

Abstracts should be rather detailed, 2-3 pages long in the format
given at http://eatcs.org/index.php/eatcs-bulletin. Submissions
should include the information on the full paper (the name of
conferences, archives, etc) and sufficiently detailed explanation of
its merits, e.g., importance, motivations, clear comparison with
existing results and novelty and/or new ideas of proof techniques.

The Bulletin is published in Feb, Jun and Oct. The deadline for the
abstract submission is 15th of the previous month, for instance, Aug
15, 2017 for the Oct issue of this year. All materials including
tex and pdf files should be sent electrically to bulletin@eatcs.org
and iwama@kuis.kyoto-u.ac.jp. Acceptance/rejection, decided based on
its merit mentioned above, will be notified as soon as possible. The
Bulletin will not require copy-right transfer for accepted abstracts.

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

Wednesday, August 9, 2017

[DMANET] Postdoctoral position at Queen Mary, University of London

The School of Mathematical Sciences at Queen Mary, University of London is seeking to recruit a Postdoctoral Research Assistant to participate in an EPSRC-funded project "Algorithms that count: exploring the limits of tractability". The Principal Investigator for the project, which runs until the end of October 2018, is Mark Jerrum. The project aims to quantify the inherent computational difficulty of counting problems. Applicants should possess an excellent knowledge of computational complexity, analysis of algorithms and/or relevant areas of mathematics such as applied probability or combinatorics, and have a proven record of conducting research in an area relevant to the project. For further details, visit

https://webapps2.is.qmul.ac.uk/jobs/job.action?jobID=2596

The closing date for applications is Wednesday 13th September 2017.


**********************************************************
*
* 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, August 8, 2017

[DMANET] WPTACIS 2017 - Call for Papers

Call for Papers
===================
Workshop on Practical and Theoretical Aspects of Cryptography and
Information Security
http://www.viam.science.tsu.ge/aminse2017/satellite/
Tbilisi, Georgia, December 9, 2017.

Overview
===================
Cryptographic protocols have an important role to achieve information
security concepts in real world. Those are nice applications of number
theory, algebraic geometry, information theory and so on. The aim of this
workshop is to bring together researchers and provide them with a platform
to report on recent developments in the information security and cryptology.

The focus of the workshop is on the foundations, theory and applications of
information security and cryptology.

Abstract Submission
===================
Interested persons are invited to submit one page abstracts prepared in
LaTeX. The abstract must contain title, full name of the authors,
affiliations and e-mail addresses. The accepted abstracts will be made
available electronically on the VIAM webpage before the conference.
Abstracts must be electronically submitted in Tex and PDF via easychair

Important Dates
===================
September 15, 2017 − Deadline for abstract submission
September 30, 2017 − Abstract acceptance notification
November 30, 2017 − Workshop registration deadline
December 9, 2017 − Workshop day

Program Committe
===================
Sedat Akleylek, Ondokuz Mayis University, Turkey (chair)
Besik Dundua, Tbilisi State University, Georgia
Mohamed Saied Emam, Darmstadt University of Technology, Germany
Grigor Giorgadze, Tbilisi State University, Georgia
Baris Bulent Kirlar, Suleyman Demirel University, Turkey
Temur Kutsia, Johannes Kepler University, Austria
Mikheil Rukhaia, Tbilisi State University, Georgia
Muharrem Tolga Sakalli, Trakya University, Turkey
Zulfukar Saygi, TOBB ETU, Turkey
Ion Tutanescu, Pitesti University, Romania
Oguz Yayla, Middle East Technical University, Turkey

Organizing Committe
Sedat Akleylek, Ondokuz Mayis University, Turkey
Besik Dundua, Tbilisi State University, Georgia
Grigor Giorgadze, Tbilisi State University, Georgia
Baris Bulent Kirlar, Suleyman Demirel University, Turkey
Mikheil Rukhaia, Tbilisi State University, Georgia
Zulfukar Saygi, TOBB ETU, Turkey

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

Monday, August 7, 2017

[DMANET] DISC17 Call for Participation

DISC 2017
The 31st International Symposium on Distributed Computing
October 16-20th, 2017, Vienna, Austria
http://www.disc-conference.org/wp/disc2017/

Early registration deadline: August 14th
http://www.disc-conference.org/wp/disc2017/registration/

HIGHLIGHTS

Invited speakers:

Anne-Marie Kermarrec (INRIA, Rennes, France)
Dana Randall (Georgia Tech, USA)
Christian Cachin (IBM Research Zurich, Switzerland)

Accepted papers:

http://www.disc-conference.org/wp/disc2017/accepted-papers/

Workshops:

October 16th:

FRIDA: Formal Reasoning in Distributed Algorithms
Workshop on Blockchain Technology and Theory
TPC: Workshop on the Theory and Practice of Concurrent Data Structures

October 20th:

ADGA: Workshop on Advances in Distributed Graph Algorithms
CoDyn: Workshop on Computing in Dynamic Networks
HDT: Workshop on Hardware Design and Theory

Celebration of Yoram Moses's 60th birthday

The talks in honor of Yoram will be held on the afternoon of October 17th
by Joe Halpern (Cornell University, USA), Moshe Tenenholtz (Technion,
Israel), Moshe Vardi (Rice University, USA), Shafi Goldwasser (MIT, USA),
and Sergio Rajsbaum (UNAM, Mexico).

VENUE AND REGISTRATION

DISC'17 will be held at Austria Trend Hotel Park Royal Palace, at
Schlossallee 8, 1140 Wien (Vienna), in close proximity to the Vienna
Technical Museum, and with views of Schönbrunn Palace.

We cordially invite you to register under

http://www.disc-conference.org/wp/disc2017/registration/

Please note also that the number of rooms guaranteed for DISC
participants drops by 50% after August 14, and by the remaining
50% after September 14.

Since Vienna is busy with many conventions in October, we hence
suggest that you book your room in time!

For information on the venue, hotels, and travelling, please see:

http://www.disc-conference.org/wp/disc2017/local-arrangements/

**********************************************************
*
* 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] Tenure track positions around data analysis topics at University of Helsinki

Faculty of Science at University of Helsinki, Finland, invites applicants for four Computer Science / Data Science / Data Analysis themed Assistant/Associate Professor (tenure track) or Professor positions in the following areas:

- Software Systems in Data-Intensive Computing in Natural Sciences (full announcement: https://www.helsinki.fi/en/open-positions/assistant-professorassociate-professorprofessor-computer-science-software-systems-for-data-intensive-computing-in-natural-sciences)

- Parallel and Distributed Data Science (full announcement: https://www.helsinki.fi/en/open-positions/assistant-professorassociate-professorprofessor-computer-science-parallel-and-distributed-data-science)

- Spatiotemporal Data Analysis for Sustainability Science (full announcement: https://www.helsinki.fi/en/open-positions/assistant-professorassociate-professorprofessor-computer-science-spatiotemporal-data-analysis-for-sustainability-science)

- Computer Science and Atmospheric Sciences (full announcement: https://www.helsinki.fi/en/open-positions/assistant-professorassociate-professorprofessor-computer-science-and-atmospheric-sciences)

Deadline for applications for all these positions is on August 31st, 2017.

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

[DMANET] professorship “Algorithms and Complexity” at TU Hamburg

The School of Electrical Engineering, Computer Science and Mathematics
at TU Hamburg is currently advertising a full professorship of
"Algorithms and Complexity". Candidates are expected to have an
excellent research record and a strong interest in interdisciplinary
work across the engineering departments at TU Hamburg. We particularly
welcome applications from candidates working in the following areas:

- Complexity and Computability
- Approximation Algorithms
- Algorithms for Big Data
- Algorithm Engineering
- Parallel and Distributed Computing

For more information, please see the official opening (in German) at

https://www.academics.de/jobs/professur_w3_mit_leitungsfunktion_im_bereich_algorithmen_und_komplexitaet_145738.html

Fluency in German is not a formal prerequisite for appointment. However,
applicants should be willing to acquire sufficient knowledge of German
within a couple of years, in order to be able to fully contribute to
teaching and administrative tasks.

The application deadline is 31 August 2017.

---

Anusch Taraz
Institute of Mathematics
TU Hamburg
https://www.mat.tuhh.de/home/ataraz/
taraz@tuhh.de

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

Friday, August 4, 2017

[DMANET] FOCLASA 2017 - Call for Participation

[Apologies for multiple postings]


------ FOCLASA 2017: Call for Participation ------


FOCLASA 2017: 15th International Workshop on Foundations of
Coordination Languages and Self-Adaptive Systems


Date: September 5, 2017, Trento (Italy)
Co-located with SEFM 2017 - http://sefm17.fbk.eu


Web: http://foclasa.lcc.uma.es/


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


FOCLASA 2017 is a workshop colocated with the 15th International
Conference on Software Engineering and Formal Methods (SEFM 2017). The
goal of the FOCLASA workshop is to put together researchers and
practitioners to share and identify common problems, and to devise
general solutions in the context of coordination languages and
self-adaptive systems.


------ REGISTRATION ------


http://sefm17.fbk.eu/registration


------ INVITED SPEAKER ------


Gianluigi Zavattaro, University of Bologna, Italy


------ ACCEPTED PAPERS ------


* "An initial user study comparing the readability of a graphical
coordination model with Event-B notation."
Eva Kühn and Sophie Therese Radschek

* "Combining trust and aggregate computing."
Roberto Casadei, Alessandro Aldini and Mirko Viroli

* "From (incomplete) TOSCA specs to running apps, with Docker."
Antonio Brogi, Davide Neri, Luca Rinaldi and Jacopo Soldani

* "Lightweight preprocessing for agent-based simulation of smart mobility
initiatives."
Jacopo de Berardinis, Giorgio Forcina, Carlo Castagnari, Ali Jafari
and Marjan Sirjani

* "Towards the performance analysis of elastic systems with e-Motions."
Patrícia Araújo de Oliveira, Francisco Durán and Ernesto Pimentel

* "Reasoning about Sensing Uncertainty in Decision-Making for
Self-Adaptation."
Javier Cámara Moreno, Wenxin Peng, David Garlan and Bradley Schmerl

* "Using Coq for Formal Modeling and Verification of Timed Connectors."
Weijiang Hong, Saqib Nawaz, Xiyue Zhang, Yi Li and Meng Sun

[DMANET] Assistant/associate professor positions at Aarhus University, Denmark

The Department of Computer Science at Aarhus University aims to establish a research group on machine learning. One or more positions as tenure-track assistant professor or associate professor are therefore available starting January 1st, 2018. The application deadline is September 15th, 2017.

The department has a staff of approximately 125 people including 24 full and associate professors, 2 assistant professors, 25 postdocs and 50 PhD students. The number of students is approximately 1,000. The department is expected to expand significantly (about 18 academic positions) over the next 5-6 years, and machine learning is one of the focus areas in the expansion.

The department is also looking for applicants within other areas, and in addition to machine learning, applicants within the areas of Programming Languages and Systems Security are of special interest.

Additional details and instructions on how to apply are found at:

http://www.au.dk/en/about/vacant-positions/scientific-positions/stillinger/Vacancy/show/920308/5283/

**********************************************************
*
* 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] Post-Doc Stochastic/Mathemetical Optimization [German]

Am Lehrstuhl für Stochastische Optimierung des Karlsruher Institut für
Technologie (KIT) sind ab sofort 2 Post-Doc Stellen (TV-L E13) zu besetzen.
Schwerpunkte sind die stochastische und/oder mathematische Optimierung.

Die Stellenausschreibungen finden Sie unter
https://www.pse.kit.edu/downloads/stellenangebote/PostDoc-IOR-17-09-01.pdf
bzw.
https://www.pse.kit.edu/downloads/stellenangebote/PostDoc-IOR_GSO-17-09-01.p
df

________________________________

Karlsruher Institut für Technologie (KIT)

Institut für Operations Research (IOR)

Prof. Dr. Steffen Rebennack

Lehrstuhl für Stochastische Optimierung

Editor-in-Chief Energy Systems

Blücherstraße 17

Gebäude 09.21

76185 Karlsruhe

Telefon: +49 721 608-44397

Fax: +49 721 608-46057

E-Mail: <mailto:steffen.rebennack@kit.edu> steffen.rebennack@kit.edu

Web: <http://sop.ior.kit.edu/> sop.ior.kit.edu

KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft

Das KIT ist seit 2010 als familiengerechte Hochschule zertifiziert.


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

Thursday, August 3, 2017

[DMANET] NATCOR Combinatorial Optimisation - Registrations close 18 August 2017

** With apologies for cross-postings **

NATCOR PhD Course on Combinatorial Optimisation
4 to 8 September 2017
University of Southampton

http://www.natcor.ac.uk/course.asp?courses_id=31

Contributors:

Bo Chen (University of Warwick)
Vladimir Deineko (University of Warwick)
Trivikram Dokka (Lancaster University)
Adam Letchford (Lancaster University)
Chris Potts (University of Southampton)
Dolores Romero Morales (Copenhagen Business School)
Tolga Bektas (University of Southampton)

The course content includes computational complexity, network algorithms,
dynamic programming, Lagrangean relaxation, constraint satisfaction,
branch and bound, branch and cut, branch and price, Dantzig-Wolfe and
Benders decomposition, applications in supply chains and data science.

Registration will close on 18 August 2017. Please visit [www.natcor.ac.uk]
for further information including the course fees, registration and EURO
bursaries.
**********************************************************
*
* 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] PADL 2018 - 1 month to abstract deadline

[Apologies for cross-posting]


Call for Papers
===============
20th International Symposium on
Practical Aspects of Declarative Languages (PADL 2018)
http://popl18.sigplan.org/track/PADL-2018-papers

Los Angeles, CA, USA, 8 - 9 January, 2018

Co-located with ACM POPL 2018 (http://popl18.sigplan.org/home)

The two best papers accepted for publication at PADL will be invited to
submit an extended version for rapid publication in the journal Theory and
Practice of Logic Programming.


Conference Description
======================
Declarative languages build on sound theoretical bases to provide
attractive frameworks for application development. These languages have
been successfully applied to many different real-world situations, ranging
from data base management to active networks to software engineering to
decision support systems.

New developments in theory and implementation have opened up new
application areas. At the same time, applications of declarative languages
to novel problems raise numerous interesting research issues. Well-known
questions include designing for scalability, language extensions for
application deployment, and programming environments. Thus, applications
drive the progress in the theory and implementation of declarative
systems, and benefit from this progress
as well.

PADL is a well-established forum for researchers and practitioners to
present original work emphasizing novel applications and implementation
techniques for all forms of declarative concepts, including, functional,
logic, constraints, etc.
Topics of interest include, but are not limited to:
* Innovative applications of declarative languages
* Declarative domain-specific languages and applications
* Practical applications of theoretical results
* New language developments and their impact on applications
* Declarative languages and software engineering
* Evaluation of implementation techniques on practical applications
* Practical experiences and industrial applications
* Novel uses of declarative languages in the classroom
* Practical extensions such as constraint-based, probabilistic, and
reactive languages.

PADL 2018 welcomes new ideas and approaches pertaining to applications and
implementation of declarative languages, and is not limited to the scope
of the past PADL symposia. It will be co-located with the Symposium on
Principles of Programming Languages (POPL 2018), in Los Angeles, CA, USA.


Important Dates and Submission Guidelines
=========================================
Abstract submission: September 3, 2017
Paper submission: September 10, 2017
Notification: October 9, 2017
Camera-ready: October 23, 2017
Symposium: January 8-9, 2017

Authors should submit an electronic copy of the full paper in PDF using
the Springer LNCS format. The submission will be done through EasyChair
conference system:

https://easychair.org/conferences/?conf=padl2018

All submissions must be original work written in English. Submissions must
be unpublished and not submitted for publication elsewhere. Work that
already appeared in unpublished or informally published workshops
proceedings may be submitted but the authors should notify the program
chair about the place on which it has previously appeared.

PADL 2018 will accept both technical and application papers:
* Technical papers must describe original, previously unpublished research
results. Technical papers must not exceed 15 pages (plus one page of
references) in Springer LNCS format.
* Application papers are a mechanism to present important practical
applications of declarative languages that occur in industry or in areas
of research other than Computer Science. Application papers are expected
to describe complex and/or real-world applications that rely on an
innovative use of declarative languages. Application descriptions,
engineering solutions and real-world experiences (both positive and
negative) are solicited. The limit for application papers is 8 pages in
Springer LNCS format but such papers can also point to sites with
supplemental information about the application or the system that they
describe.

The proceedings of PADL 2018 will appear in the LNCS series of Springer
Verlag ( www.springer.com/lncs ).

Two papers accepted for publication at PADL'18 will be nominated for the
Most Practical Paper award (one of them as the Student Best Paper), each
in cash amount of 250 Euro. These two papers will be invited to submit an
extended version of their contribution to the journal "Theory and Practice
of Logic Programming" for rapid publication. The extended version should
contain at least 30% new content compared to the published conference
paper. The extended paper will undergo an additional review process.


Program Committee
=================
* Daan Leijen, Microsoft Research
* Daniel Winograd-Cort, University of Pennsylvania
* David Van Horn, University of Maryland
* Edwin Brady, University of St. Andrews
* Enrico Pontelli, New Mexico State University
* Erika Abraham, RWTH Aachen University
* Esra Erdem, Sabanci University
* Francesco Calimeri, University of Calabria
* Geoffrey Mainland, Drexel University
* Grigore Rosu, University of Illinois at Urbana-Champaign
* James Cheney, University of Edinburgh
* Jurriaan Hage, Universiteit Utrecht
* Karl Crary, Carnegie Mellon University
* Konstantin Schekotihin, University of Klagenfurt
* Lars Bergstrom, Mozilla Research
* Lukasz Ziarek, SUNY Buffalo
* Manuel Carro, Technical University of Madrid and UPM and IMDEA Software
Institute
* Marcello Balduccini, Saint Joseph's University
* Marco Gavanelli, University of Ferrara
* Marco Maratea, University of Genova
* Martin Gebser, University of Potsdam
* Mats Carlsson, SICS
* Meera Sridhar, University of North Carolina Charlotte
* Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center
* Paul Tarau, University of North Texas
* Paulo Oliva, Queen Mary University of London
* Peter Schüller, Marmara University
* Ricardo Rocha, University of Porto
* Stefan Woltran, Vienna University of Technology
* Stefania Costantini, University of L'Aquila
* Wolfgang Faber, University of Huddersfield

Publicity Chair:
* Marco Manna, University of Calabria, Italy

Program Chairs:
* Nicola Leone, University of Calabria, Italy
* Kevin Hamlen, University of Texas at Dallas, TX, USA


Contacts
========
For additional information about papers and submissions, please write to
the official conference email address, or contact the Program
Chairs:

* email: padl2018@easychair.org

* Nicola Leone
University of Calabria, Italy
https://www.mat.unical.it/leone/

* Kevin Hamlen
University of Texas at Dallas, TX, USA
http://www.utdallas.edu/~hamlen/


**********************************************************
*
* 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] IEEE CIBCB 2017 – Call for Participation

< We apologize for multiple posting. Please kindly disseminate this Call
for Participation to your colleagues and contacts>

***********************************************************
IEEE CIBCB 2017 – Call for Participation

IEEE International Conference on Computational Intelligence in
Bioinformatics and Computational Biology

Conference: *August 23-25, 2017*

Location: Manchester, UK

http://cibcb2017.org/
***********************************************************

Registration http://cibcb2017.org/#registration


The IEEE International Conference on Computational Intelligence in
Bioinformatics and Computational Biology 2017 (IEEE CIBCB 2017) will be
held in Manchester, UK, 23-25 August 2017. IEEE CIBCB has become a major
technical event in the field of Computational Intelligence and its
application to problems in biology, bioinformatics, computational biology,
chemical informatics, bioengineering and related fields.


The conference provides a global forum for academic and industrial
scientists from a range of fields including computer science, biology,
chemistry, medicine, mathematics, statistics, and engineering, to discuss
and present their latest research findings from theory to applications.


The conference will consist of three days of technical presentations, a
poster session combined with brief but punchy poster snapshot
presentations, and tutorials. We will also have three invited talks,
by Charlotte
Deane from University of Oxford, Douglas Kell from the Manchester Institute
of Biotechnology, and Julia Handl from the University of Manchester. The
conference dinner will be held at the beautiful Manchester Museum on the 24
th of August.


*Accepted special sessions*

· Machine Learning in Medical Diagnosis and Prognosis (Alex
Shenfield, Adil Khan, and Shahin Rostami)

· Computational Intelligence for Biological Feature Induction
(Daniel Ashlock, Wendy Ashlock, and Andrew McEachern)

· Multi-objective Optimization in Computational Biology and
Bioinformatics (Julia Handl, Maria Fabre Garza, and Shaun Kandathil)

· Parallel and distributed high performance computing solutions for
computational intelligence methods (Marco S. Nobile, Daniel Ashlock, Paolo
Cazzaniga, and Daniela Besozzi)

· Digital Signal Processing for Genomic and Metagenomic Sequence
Analysis (Samaneh Kouchaki, Avraam Tapinos, and David L Robertson)

*Accepted tutorials*

· Multicriteria Decision Analysis and Optimization for
Computational Chemistry and Drug Discovery (Michael Emmerich (Leiden
University, Leiden, The Netherlands) and Iryna Yevseyeva (De Montfort
University, Leicester, UK))

· An Introduction to CRISPR for Bioinformaticists (Wendy Ashlock
(Ashlock & McGuinness Consulting, Inc., Guelph, Canada))

*Invited speakers*

· Prof Charlotte Deane – Department of Statistics, University of
Oxford, webpage:http://www.stats.ox.ac.uk/~deane/index.php

· Prof Douglas Kell – School of Chemistry and Manchester Institute
of Biotechnology, University of Manchester, webpage: http://dbkgroup.org/
dbk.htm

· Dr Julia Handl – Alliance Manchester Business School, University
of Manchester, webpage:http://personalpages.manchester.ac.uk/mbs/julia.hand
l/


Registration http://cibcb2017.org/#registration


*Organizing committee*

Richard Allmendinger (UK)

Steven Corns (USA)

Wendy Ashlock (Canada)

Julia Handl (UK)

John Keane (UK)

Anil Wipat (UK)

Daniel Ashlock (Canada)

Sansanee Auephanwiriyakul (Thailand)

Jennifer Hallinan (Australia)

Yaochu Jin (UK)

Sanaz Mostaghim (Germany)

Joshua Knowles (UK)

Sheridan Houghten (Canada)

Manuel López-Ibáñez (UK)

Joseph Brown (Russia)

Pedro Mendes (USA)

Yu-Wang Chen (UK)

Best wishes,

The CIBCB 2017 Organizing Committee

**********************************************************
*
* 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] OPODIS 2017 Call for Papers

We apologize in advance if you receive multiple copies of this CFP.

========================================================================
========================= *CALL FOR PAPERS* ============================
========================================================================
OPODIS 2017
The 21st International Conference on Principles of Distributed Systems


18-20 Dec, Lisbon
http://opodis2017.campus.ciencias.ulisboa.pt


Schedule

Abstract registration: 21 August 2017
Submission deadline: 28 August 2017
Acceptance notification: 30 October 2017
Final version due: 13 Nov 2017
Conference: 18-20 Dec 2017, Lisbon


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

OPODIS is an open forum for the exchange of state-of-the-art knowledge on
distributed computing and distributed computer systems. All aspects of
distributed systems are within the scope of OPODIS.
OPODIS solicits papers in all aspects of distributed systems, including
theory, specification, design, performance, and system building.
With a strong background in the theory of distributed systems, OPODIS
has recently expanded its scope to cover the whole range between the
theoretical aspects and practical implementations of distributed systems.


*TOPICS*


Topics of interest include, but are not limited to:
- Design and analysis of distributed algorithms
- Synchronization, concurrent algorithms, shared and transactional memory
- Design and analysis of concurrent and distributed data structures
- Communication networks (protocols, architectures, services,
applications)
- High-performance, cluster, cloud and grid computing
- Mesh and ad-hoc networks (wireless, mobile, sensor), location and
context-aware systems
- Mobile agents, robots, and rendezvous
- Internet applications, social systems, peer-to-peer and overlay networks
- Distributed operating systems, middleware, and distributed database systems
- Programming languages, formal methods, specification and verification
applied to distributed systems
- Embedded and energy-efficient distributed systems
- Distributed event processing
- Distributed storage and file systems, large-scale systems, and big data
analytics
- Dependable distributed algorithms and systems
- Self-stabilization, self-organization, autonomy
- Security and privacy, cryptographic protocols
- Game-theory and economical aspects of distributed computing
- Randomization in distributed computing
- Biological distributed algorithms


*PUBLICATION*


OPODIS has post-proceedings published by Leibniz International Proceedings in
Informatics (LIPIcs) in gold open access mode. The proceedings become available
online, free of charge, after the conference. Preliminary versions of the
proceedings will be available to participants at the conference electronically.
The camera-ready version of a paper must have the same format and be of the
same length as its submitted version.

Extended and revised versions of selected papers will be considered for a
special issue of Theoretical Computer Science (Elsevier).


*SUBMISSION*


Papers are to be submitted electronically through Easychair at the following
link https://easychair.org/conferences/?conf=opodis2017.
Submissions must be in English in PDF format and they must be prepared using the
LaTeX style templates for LIPIcs and choosing the A4 paper option. A submission
must not exceed 16 pages, including the cover page, figures, tables and
references. The cover page should include the title of the paper, the authors'
names, affiliations and e-mails, an abstract, information about the contact
author, and a list of keywords.

Additional details may be included in a clearly marked appendix or as
supplementary material which will be read at the discretion of the reviewers.
Submissions are expected to be intelligible and complete without such additional
details.

A submission must report on original research that has not previously appeared
in a journal or conference with published proceedings. It should not be
concurrently submitted to such a journal or conference. Any overlap with a
published or concurrently submitted paper must be clearly indicated. The
Program Chairs reserve the right to reject submissions that are out of scope,
or of clearly inferior quality, or that violate the submission guidelines.
Each of the remaining papers will undergo a thorough reviewing process.


*BEST PAPER AWARD*


OPODIS features a best paper award. All accepted papers will be evaluated for
the best paper award. The best paper award aims to encourage work that combines
theory and practice and demonstrates excellence of research in at least one of
these two areas. Such work could be an advance in theory that sheds lights on
an interesting system problem or an advance in system work that builds upon
strong theoretical results.

*GENERAL CHAIR*

Alysson Bessani, University of Lisboa, Portugal


*PROGRAM CHAIRS*

Pascal Felber, University of Neuchâtel, Switzerland
James Aspnes, University of Yale, USA


*PROGRAM COMMITTEE*

Sara Bouchenak, INSA Lyon, France
Armando Castaneda, UNAM.Mexico
Bogdan Chlebus, University of Colorado, USA
Xavier Defago, Tokyo Institute of Technology, Japan
Oksana Denysyuk, Pure Storage, USA
Carole Delporte, Université Paris Diderot, France
David Doty, University of California, USA
Jim Dowling, SICS/KTH, Swedish
Patrick Eugster, TU Darmstadt, Germany
Chryssis Georgiou, University of Cyprus, Cyprus
Wojciech Golab, University of Waterloo, Canada
Vincent Gramoli, University of Sydney, Australia
David Ilcinkas, LaBRI, CNRS & Bordeaux University, France
Taisuke Izumi, Nagoya Institute of Technology, Japan
Ruediger Kapitza, TU Braunschweig, Germany
Christoph Lenzen, MPI for Informatics, Germany
Rui Oliveira, Universidade do Minho, Portugal
Emanuel Onica, Alexandru Ioan Cuza University of Iasi, Romania
Fernando Pedone, University of Lugano, Switzerland
Sebastiano Peluso, Virginia Tech, USA
Peter Pietzuch, Imperial College London, England
Maria Potop-Butucaru, Université Paris-VI Pierre-et-Marie-Curie, France
Laurent Réveillère, Bordeaux INP/Labri, France
Etienne Rivière, University of Neuchatel, Switzerland
Luis Rodrigues, INESC-ID / IST - University of Lisboa, Portugal
Paolo Romano, INESC-ID / IST - University of Lisboa, Portugal
Romain Rouvoy, University of Lille / Inria / IUF, France
Christian Scheideler, University of Paderborn, Germany
Paul Spirakis, U. Liverpool UK and U. Patras Greece
Jukka Suomela, Aalto University, Finland
Maarteen van Steen, University of Twente, Netherlands
Roman Vitenberg, University of Oslo, Norway
Spyros Voulgaris, VU University Amsterdam, Netherlands
Yukiko Yamauchi, Kyushu University, Japan
Haifeng Yu, National University of Singapore, Singapore


*STEERING COMMITTEE*

Christian Cachin, IBM Research, Zurich, Switzerland
Panagiota Fatourou, FORTH ICS & University of Crete, Greece
Alessia Milani, University of Bordeaux, France
Fernando Pedone, University of Lugano, Switzerland
Maria Potop-Butucaru, Université Paris-VI Pierre-et-Marie-Curie, France
Giuseppe Prencipe, Università di Pisa , Italy
Etienne Rivière, University of Neuchâtel, Switzerland
Sebastien Tixeuil, IUF & Université Pierre et Marie Curie - Paris 6, France (chair)


*ORGANIZATION COMMITTEE*

Ibéria Medeiros (local arrangements chair), FCUL, University of Lisboa, Portugal
Miguel Matos (publicity chair), INESC-ID / IST, University of Lisboa, Portugal
João Leitão (publication chair), University Nova de Lisboa, Portugal

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

Wednesday, August 2, 2017

[DMANET] Call for Posters: Graph Drawing and Network Visualization GD 2017

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

Call for Posters

GD 2017

25th International Symposium on
Graph Drawing and Network Visualization

September 25-27, 2017 - Boston, MA, U.S.A.
http://graphdrawing.org/gd2017

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

Graph Drawing is concerned with the geometric representation of graphs
and constitutes the algorithmic core of Network Visualization. Graph
Drawing and Network Visualization are motivated by applications where it
is crucial to visually analyze and interact with relational datasets.
Examples of such application areas include data science, social
sciences, Web computing, information systems, biology, geography,
business intelligence, information security and software engineering.

GD has been the main annual event in this area for more than 20 years.
Its focus is on combinatorial and algorithmic aspects of graph drawing
as well as the design of network visualization systems and interfaces.
GD 2017 will take place September 25-27, 2017 at the Northeastern
University in Boston, Massachusetts, USA. Researchers and practitioners
working on any aspects of graph drawing and network visualization are
invited to submit posters and to participate in the symposium.

POSTER SUBMISSION INFORMATION
-----------------------------

The submission of posters on graph drawing, network visualization, and
related areas is solicited. The poster session will provide a forum
for the communication of late-breaking research results (which may also
appear elsewhere) to the GD community. Authors of posters should prepare
an abstract (up to two pages in unmodified LNCS style -- no times
package is allowed) that must be submitted together with the poster.
Abstracts of accepted posters will appear in the conference proceedings
(two pages). The maximum size for a poster is A0 (84.1 cm x 118.9 cm).
The posters must be in portrait mode.

Each submission will then consist of two pdf files (the two-page
abstract and the poster) and must include names, email addresses and
contact information of the contributors. Contributions must be submitted
via EasyChair following the link provided on the conference web site.

BEST POSTER AWARD
-----------------

To recognize the effort of the participants in preparing and presenting
their posters in a clear and elegant way, there will be a Best Poster
Award voted on by the GD 2017 attendees.

IMPORTANT DATES
---------------

• Poster submission deadline August 17 (23:59 PDT)
• Notification of poster acceptance August 28
• Final versions due September 3
• Symposium September 25-27

INVITED SPEAKERS
----------------

Timothy M. Chan, University of Illinois at Urbana-Champaign, USA
Alessandro Vespignani, Northeastern University, US

PROGRAM COMMITTEE
-----------------

Daniel Archambault, Swansea University, GB
Benjamin Bach, University of Edinburgh, GB
Fabian Beck, Universität Duisburg-Essen, DE
Michael Bekos, Universität Tübingen, DE
Therese Biedl, University of Waterloo, CA
Giordano Da Lozzo, UC Irvine, US
Vida Dujmovic, University of Ottawa, CA
Stephane Durocher, University of Manitoba, CA
Tim Dwyer, Monash University, AU
Fabrizio Frati (co-chair), Università Roma Tre, IT
Martin Gronemann, Universität zu Köln, DE
John Alexis Guerra Gómez, Universidad de los Andes, CO
Michael Hoffmann, ETH Zürich, CH
Yifan Hu, Yahoo Research, US
Takayuki Itoh, Ochanomizu University, JP
Anna Lubiw, University of Waterloo, CA
Kwan-Liu Ma (co-chair), UC Davis, US
Fabrizio Montecchiani, Università degli Studi di Perugia, IT
Martin Nöllenburg, Technische Universität Wien, AT
Arnaud Sallaberry, LIRMM, FR
Andrew Suk, University of Illinois at Chicago, US
Antonios Symvonis, National Technical University of Athens, GR
Ioannis Tollis, University of Crete, GR
Csaba Tóth, California State University Northridge, US
Alexander Wolff, Universität Würzburg, DE
Jian Zhao, FX Palo Alto Laboratory, US

ORGANIZING COMMITTEE
--------------------

Cody Dunne (co-chair), Northeastern University, US
Alan Keahey (co-chair), Conversant, US

CONTEST COMMITTEE
-----------------

Philipp Kindermann, Universität Würzburg, DE
Maarten Löffler (chair), Utrecht University, NL
Ignaz Rutter, Karlsruhe Institute of Technology, DE

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

[DMANET] PhD Position in Algorithms, TU Munich

PhD Student Position in Algorithms
TU Munich

The Department of Computer Science, Technical University of Munich, has a
vacancy for a PhD student position in the area of efficient algorithms. The
position is hosted at the Chair for Theoretical Computer Science, headed
by Prof. Susanne Albers (http://wwwalbers.in.tum.de/index.html.en).
The dissertation work will involve research in the fields of approximation
and online algorithms, algorithmic game theory or algorithm engineering.

The position is paid according to the German public salary scale TVL-13 and
provides a competitive salary with standard benefits. The initial
appointment
is for a period of two years and can be renewed for another two years.

The successful candidate should have a Master's degree in computer
science or
mathematics. The application material should include (1) a cover letter
describing
the interest in the position, (2) a CV, and (3) a copy of the Master's
thesis.
The material should be sent electronically to <albers@in.tum.de>.

Applications will be reviewed starting August 28, 2017.

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

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

[DMANET] Doctoral Positions at the University of Naples (Dept. of Electrical Engineering and Information Technology)

Doctoral Positions at the University "Federico II" of Naples (Dept. of
Electrical Engineering and Information Technology)

Dear Colleague,

please find below the link to the announcement of the PhD Programme in
INFORMATION TECHNOLOGY AND ELECTRICAL ENGINEERING (ITEE).
Two students grants are reserved to foreign applicants graduated abroad and
not resident in Italy.

<http://www.unina.it/documents/11958/14656033/List+of+the+PhD+Programs+with+
reserved+positions.pdf
>
http://www.unina.it/documents/11958/14656033/List+of+the+PhD+Programs+with+r
eserved+positions.pdf

The PhD program includes also a curriculum in Operations Research, with
particular reference to Network and Combinatorial Optimization.
All the information can be found at:

<http://www.unina.it/didattica/post-laurea/dottorati-di-ricerca/english-vers
ion>
http://www.unina.it/didattica/post-laurea/dottorati-di-ricerca/english-versi
on

The deadline for presentation of applications is September 21st 2017.
If you have any student interested in participating to the selection
process, please contact us for further details:
<mailto:antonio.sforza@unina.it> antonio.sforza@unina.it,
<mailto:claudio.sterle@unina.it> claudio.sterle@unina.it.

Best regards
Claudio Sterle
Antonio Sforza

**********************************************************
*
* 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] Doctoral Positions at the University "Federico II" of Naples (Dept. of Electrical Engineering and Information Technology)

**********************************************************
*
* 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, August 1, 2017

[DMANET] SAGT 2017 Call for Participation

SAGT 2017 - Call for Participation

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

10th INTERNATIONAL SYMPOSIUM ON
ALGORITHMIC GAME THEORY (SAGT 2017)

http://cs.gssi.infn.it/sagt2017

L'Aquila, Italy, September 12-14, 2017

*****************************************************************
>>> KEYNOTE SPEAKERS <<<

Nicole Immorlica (Microsoft Research)
Michal Feldman (Tel-Aviv University)
Martin Hoefer (Goethe University)

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

The 10th International Symposium on Algorithmic Game Theory (SAGT)
will take place in L'Aquila, Italy, September 12-14, 2017.
The purpose of SAGT is to bring together researchers from Computer
Science, Economics, Physics, Biology and Mathematics to present and
discuss original research at the intersection of Algorithms and
Game Theory.

The program of SAGT will include both invited talks and presentations
for refereed submissions. Confirmed invited speakers are:

- Michal Feldman, Tel-Aviv University
- Martin Hoefer, Goethe University
- Nicole Immorlica, Microsoft Research

PROGRAM

The final program of the conference can be found at

http://cs.gssi.infn.it/sagt2017/program.php

REGISTRATION

Registration fees can be found at

http://cs.gssi.infn.it/sagt2017/registration.php

Early registration ends on August 7.


ORGANIZING COMMITTEE

- Vittorio Bilò, University of Salento (co-chair)
- Gianlorenzo D'Angelo, Gran Sasso Science Institute
- Mattia D'Emidio, Gran Sasso Science Institute
- Michele Flammini, University of L'Aquila & GSSI (co-chair)
- Gianpiero Monaco, University of L'Aquila
- Luca Moscardelli, University of Chieti-Pescara
- Cosimo Vinci, Gran Sasso Science Institute

**********************************************************
*
* 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, July 31, 2017

[DMANET] Postdoctoral Position at the University of Arizona

Postdoctoral Position at the University of Arizona

The University of Arizona Data Science Institute (Data 7) invites
applications for a post-doctoral research position in the theory of
large scale graph visualization. The Institute's goal is to facilitate
next generation data-driven interdisciplinary research, by fostering
collaborations between domain scientists and experts in computer
science, mathematics and statistics.

The specific research projects involve the study of connections
between geometry, topology and combinatorics in the context of graphs
and graph theory, as well as developing graph analysis and
visualization algorithms with theoretical and practical guarantees.

Candidates should have a PhD in Computer Science or a related field
and an established research track record. Ideally, we seek a
postdoctoral researcher with a background in information
visualization, graph theory, as well as computational geometry and
topology.

The work will be carried out at the University of Arizona, in Tucson,
Arizona. The position is available starting September 1, 2017
initially for 1 year, with the possibility of extension for another 2
years dependent upon performance and availability of funds.

The University of Arizona has been recognized as one of America's Best
Employers (according to Forbes 2015) and has been awarded the
Work-Life Seal of Distinction by the Alliance for Work-Life Progress.
For more information about working at the University of Arizona,
please see http://whyua.arizona.edu/.

To apply, please, send CV to Stephen Kobourov,
kobourov@cs.arizona.edu; applications will be accepted on an ongoing
basis until the position is filled.

**********************************************************
*
* 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 COMPLEXIS 2018 - 3rd Int.l Conf. on Complexity, Future Information Systems and Risk (Funchal, Madeira/Portugal)

SUBMISSION DEADLINE

3rd International Conference on Complexity, Future Information Systems and Risk

Submission Deadline: October 16, 2017

http://www.complexis.org/

March 20 - 21, 2018
Funchal, Madeira, Portugal.

COMPLEXIS is organized in 7 major tracks:

- Complexity in Informatics, Automation and Networking
- Complexity in Biology and Biomedical Engineering
- Complexity in Social Sciences
- Complexity in Computational Intelligence and Future Information Systems
- Complexity in EDA, Embedded Systems, and Computer Architecture
- Network Complexity
- Complexity in Risk and Predictive Modeling

In Cooperation with IFSR, EATCS.

With the presence of internationally distinguished keynote speakers:
Ernesto Estrada, University of Strathclyde, United Kingdom

A short list of presented papers will be selected so that revised and extended versions of these papers will be published by Springer.

All papers presented at the congress venue will also be available at the SCITEPRESS Digital Library (http://www.scitepress.org/DigitalLibrary/).

Should you have any question please don't hesitate contacting me.

Kind regards,
COMPLEXIS Secretariat

Address: Av. D. Manuel I, 27A, 2º esq.
2910-595 Setubal, Portugal
Tel: +351 265 520 184
Fax: +351 265 520 186
Web: http://www.complexis.org/
e-mail
: complexis.secretariat@insticc.org


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