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

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).

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

The School of Information Technologies at the University of Sydney isembarking on an exciting growth journey, adding several new positions whichwill complement our core areas of strength pushing the frontiers to newresearch areas. As part of this plan, the School of InformationTechnologies (SIT) invites applications from outstanding candidates for acontinuing Lecturer or Senior Lecturer position (Level B/C) in Algorithmsstarting immediately. The level of appointment will be commensurate withqualifications and experience.

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

To be successful, you will have a PhD in computer science, or a closelyrelated discipline. You must show evidence of excellent researchachievements in areas of algorithms and the ability to publish yourresearch in highly-ranked outlets. You will be expected to teach a range ofcomputer science courses including algorithms related courses. A strongcommitment to teaching and learning is required as well as evidence ofability to lecture and prepare new teaching material. The candidate isexpected to teach in a broad range of computer science subjects includingalgorithms and computing theory.

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

Monday, August 14, 2017

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

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

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

Best wishes,Attila SaliSecretary 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/***********************************************************

One stipend position for a PhD student is opening in the "Algorithms fortext processing with errors and uncertainties" project that is carried outwithin the HOMING programme of the Foundation for Polish Science. Theproject is co-financed by the European Union under the European RegionalDevelopment Fund.

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

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

The goal of the project is the design of pattern matching algorithms whenerrors and uncertainties occur in the data. The expected developments ofthe project are in the scope of computer science while the motivation stemsmainly from computational biology. In pattern matching with errors we areto 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 inthe project includes pattern matching in the off-line, on-line, andstreaming setting, text indexing, internal text queries, and computation ofsimilarity 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 thearea of text algorithms. The project is conducted at the Faculty ofMathematics, Informatics and Mechanics, University of Warsaw which is aleading institution in the field of theoretical computer science. Theofficial partners of the project are experienced researchers and PhDstudents from the UK and France. You will be able to disseminate theresults of your work at international conferences. Your results will beexpected to become the basis of your PhD thesis.More details can be found at the website:https://www.mimuw.edu.pl/~jrad/tpeu.html

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

What constitutes a "Big Data" problem? What application domains are bestsuited to benefit from Big Data analytics and computing? What are thetraits and characteristics of an application that make it suited to exploitBig Data analytics? How can Big Data systems and frameworks be designed toallow the integration and analysis of complex data sets? How can researchin Big Data Analytics benefit from the latest advances in supercomputingand High Performance Computing (HPC) architectures? The goal of thisworkshop is to address questions like these that are fundamental to theadvancement of Big Data computing, and in the process, build a diverseresearch community that has a shared vision to advance the state ofknowledge and discovery through Big Data computing.

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

We invite paper submissions that describe original research contributionsin the area of Big Data computing, and position papers that highlight thepotential challenges and opportunities that arise in Big Data computing. Wealso 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 4pages long. All submissions will undergo rigorous peer-review by thetechnical program committee, and accepted manuscripts will appear in theHiPC workshop ("HIPCW") proceedings and will be indexed by IEEE digitallibrary. Authors of the accepted manuscripts will be required to presenttheir work at the workshop proceedings.

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

Regards,Arindam Pal, Ph.D.Research ScientistTCS Researchhttp://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

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 INFORMSAnnual 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 thatthe community may not know about.

Celebration: The 2017 COIN-OR Cup will be awarded at a celebrationduring the INFORMS Annual meeting in Houston, TX. All entrants,their supporters, and other interested parties are welcome to join thecelebration and regale, rile, and roast the prize winners. Detailsof 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 singlezipped archive, containing a description of your submission and copiesof all relevant papers/documents.

2017 COIN-OR Cup Committee:Giacomo Nannicini (chair), IBM T.J. WatsonAndrew Conn, IBM T.J. WatsonThomas 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/***********************************************************

Graph Drawing is concerned with the geometric representation of graphsand constitutes the algorithmic core of Network Visualization. GraphDrawing and Network Visualization are motivated by applications where itis crucial to visually analyze and interact with relational datasets.Examples of such application areas include data science, socialsciences, 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 drawingas well as the design of network visualization systems and interfaces.GD 2017 will take place September 25-27, 2017 at the NortheasternUniversity in Boston, Massachusetts, USA. Researchers and practitionersworking on any aspects of graph drawing and network visualization areinvited to submit posters and to participate in the symposium.

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

The submission of posters on graph drawing, network visualization, andrelated areas is solicited. The poster session will provide a forumfor the communication of late-breaking research results (which may alsoappear 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 presentingtheir posters in a clear and elegant way, there will be a Best PosterAward 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, USAAlessandro Vespignani, Northeastern University, US

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

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

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.

EATCS Bulletin, http://eatcs.org/index.php/eatcs-bulletin, has asection for "Technical contributions." To stimulate this sectionfurther, we have just started publication abstracts of worksthat have been accepted by journals and/or conferences or haveappeared in major archives. The topics of interest include all areasof theoretical computer science (for instance, see topics of the threeTracks of ICALP, http://www.easyconferences.eu/icalp2016/cfp.html).

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

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

Kazuo IwamaEditor-in-ChiefBulletin, 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

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

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

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

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

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

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

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

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

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:

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.

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

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.

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.

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

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

Registration will close on 18 August 2017. Please visit [www.natcor.ac.uk]for further information including the course fees, registration and EURObursaries.************************************************************ 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/***********************************************************

New developments in theory and implementation have opened up newapplication areas. At the same time, applications of declarative languagesto novel problems raise numerous interesting research issues. Well-knownquestions include designing for scalability, language extensions forapplication deployment, and programming environments. Thus, applicationsdrive the progress in the theory and implementation of declarativesystems, and benefit from this progressas well.

PADL is a well-established forum for researchers and practitioners topresent original work emphasizing novel applications and implementationtechniques 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 andimplementation of declarative languages, and is not limited to the scopeof the past PADL symposia. It will be co-located with the Symposium onPrinciples of Programming Languages (POPL 2018), in Los Angeles, CA, USA.

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

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

All submissions must be original work written in English. Submissions mustbe unpublished and not submitted for publication elsewhere. Work thatalready appeared in unpublished or informally published workshopsproceedings may be submitted but the authors should notify the programchair 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 researchresults. Technical papers must not exceed 15 pages (plus one page ofreferences) in Springer LNCS format.* Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areasof research other than Computer Science. Application papers are expectedto describe complex and/or real-world applications that rely on aninnovative use of declarative languages. Application descriptions,engineering solutions and real-world experiences (both positive andnegative) are solicited. The limit for application papers is 8 pages inSpringer LNCS format but such papers can also point to sites withsupplemental information about the application or the system that theydescribe.

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

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

The IEEE International Conference on Computational Intelligence inBioinformatics and Computational Biology 2017 (IEEE CIBCB 2017) will beheld in Manchester, UK, 23-25 August 2017. IEEE CIBCB has become a majortechnical event in the field of Computational Intelligence and itsapplication to problems in biology, bioinformatics, computational biology,chemical informatics, bioengineering and related fields.

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

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

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

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.

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 theLaTeX 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 additionaldetails.

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 apublished 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, SwitzerlandJames Aspnes, University of Yale, USA

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

Graph Drawing is concerned with the geometric representation of graphsand constitutes the algorithmic core of Network Visualization. GraphDrawing and Network Visualization are motivated by applications where itis crucial to visually analyze and interact with relational datasets.Examples of such application areas include data science, socialsciences, 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 drawingas well as the design of network visualization systems and interfaces.GD 2017 will take place September 25-27, 2017 at the NortheasternUniversity in Boston, Massachusetts, USA. Researchers and practitionersworking on any aspects of graph drawing and network visualization areinvited to submit posters and to participate in the symposium.

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

The submission of posters on graph drawing, network visualization, andrelated areas is solicited. The poster session will provide a forumfor the communication of late-breaking research results (which may alsoappear 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 presentingtheir posters in a clear and elegant way, there will be a Best PosterAward 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, USAAlessandro Vespignani, Northeastern University, US

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

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

The position is paid according to the German public salary scale TVL-13 andprovides a competitive salary with standard benefits. The initial appointmentis 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 ormathematics. The application material should include (1) a cover letter describingthe 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>.

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

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

Dear Colleague,

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

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

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

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 ComputerScience, Economics, Physics, Biology and Mathematics to present anddiscuss original research at the intersection of Algorithms andGame Theory.

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

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

The University of Arizona Data Science Institute (Data 7) invitesapplications for a post-doctoral research position in the theory oflarge scale graph visualization. The Institute's goal is to facilitatenext generation data-driven interdisciplinary research, by fosteringcollaborations between domain scientists and experts in computerscience, mathematics and statistics.

The specific research projects involve the study of connectionsbetween geometry, topology and combinatorics in the context of graphsand graph theory, as well as developing graph analysis andvisualization algorithms with theoretical and practical guarantees.

Candidates should have a PhD in Computer Science or a related fieldand an established research track record. Ideally, we seek apostdoctoral researcher with a background in informationvisualization, graph theory, as well as computational geometry andtopology.

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

The University of Arizona has been recognized as one of America's BestEmployers (according to Forbes 2015) and has been awarded theWork-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 ongoingbasis 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/***********************************************************

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