ACM IUI 2017 is the 22nd annual meeting of the intelligent interfacescommunity and serves as a premier international forum for reportingoutstanding research and development on intelligent user interfaces.

The 22nd edition of the conference will be held in Limassol, Cyprus.Limassol (or Lemesos) is a multicultural bustling town, flanked by twoancient cities, Amathus and Kourion, and guarded by the AmathusianAphrodite and Appolo Hylates. It is a town of great visual diversity andcontrast from spectacular seafront views, historic places like the mediaevalCastle, and Byzantine churches. Along the 17 km long sandy beaches, twoMarinas, world renowned 5 star hotels, and a most exciting dining, shopping,nightlife and yachting scene create a year-round vibrant lifestyle well beyondthe expectations of a Mediterranean island.

IUI 2017 is pleased to invite proposals for workshops to be held inconjunction with the conference. The goal of the workshops is to provide avenue for presenting research on focused topics of interest and an informalforum to discuss research questions and challenges. Workshops will be heldon the first day of the conference. We invite submissions of full-day (6 hours)and half-day (3 hours) workshop proposals on any of the conference topics.

We encourage proposals for a wide range of workshops, including but notlimited to:

· "Mini-conferences" on specialized topics; such workshops may have their own paper submission and review processes.

· "Late breaking work" meetings; such workshops usually have a lighter review process (e.g. based on abstracts only).

· "Hands-on" workshops around a specific problem or topic that may wish to ask participants to submit a position statement.

· "Project centric" workshops that may be closely related to the scope of an existing large scale (e.g. EU funded) project.

· "Mini-competitions", challenges, or hack-a-thons around selected topics with individual or team participation.

Proposal Format

Note: The key to a successful workshop submission is to CONTACT THECHAIRS WITH YOUR IDEAS (workshop2017@iui.acm.org), and work togetherto prepare an exciting proposal!

· Description of workshop topic and goal: This description should discuss the relevance of the suggested topic to IUI and its interest for the IUI 2017 audience. Include a brief discussion of why and for which audience the workshop is of particular interest.

· Organizers: Names, affiliations, emails, and web pages of the workshop organizers. This can be a single person or a group of people. Strong proposals normally include organizers who bring differing perspectives on the topic and are actively connected to the communities of potential participants. Please indicate the primary contact person and the organizers who plan to attend the workshop.

· Previous history: List of previous workshops that were held on the topic including the conferences that hosted past workshops and the number of participants. Also please provide the list of other workshops organized by workshop organizers in the past.

· Workshop program committee: Names and affiliation of the members of the workshop program committee that will evaluate the workshop submissions.

· Participants: A statement saying how many participants you expect and how you plan to invite participants for the workshop. We recommend the proposal to include the names of at least 10 people who have expressed interest to participate in the workshop.

· Workshop format: A brief description of the workshop format regarding the mix of events such as paper presentations, invited talks, panels, demonstrations, and general discussion.

· Workshop proposals will be reviewed and evaluated by the workshop chairs and the IUI 2017 program committee chairs.

· Organizers: We strongly encourage the workshop organizers to attend IUI and take part in their workshop. This can make the workshops more appealing for the participants and strengthen the discussion part.

· Workshop summary: An extended abstract (max. 3 pages) with a summary of the workshop goals and an overview of the workshop topics will be included in the ACM Digital Library for IUI 2017.

· Workshop proceedings: At the convenience of the workshop organizers, we will arrange a joint volume of online proceedings for the workshop papers. Workshops should request the authors to submit papers in the ACM SIGCHI Paper Format.

· Cancellation: Workshops with fewer than 10 submissions by December 23, 2016 may be cancelled. This will be done in consultation between the workshop chairs of IUI 2017 and the workshop organizers.

Additionally, we strongly encourage to have workshop organizers fromdifferent institutions and research communities, bringing differentperspectives to the workshop topic. We welcome workshops with a creativestructure that attracts various types of contributions and ensures richinteractions.

The organizers of accepted workshops are responsible for producing a callfor participation and publicizing it, such as distributing the call to relevantnewsgroups and electronic mailing lists, and especially to potential audiencesfrom outside the IUI conference community. Workshop organizers willmaintain their own web site with updated information about the workshopand the IUI 2017 web site will refer to the workshop site. The workshoporganizers will coordinate the paper sollicitation, collection, and reviewprocess, and coordinate the production of the joint online proceedings withIUI 2017 workshop chairs.

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

Journal of Information Processing (JIP) is pleased to announce the call for papers for a special issue of "Discrete and Computational Geometry, Graphs, and Games." This special issue will focus on research papers that describe discrete and computational geometry, graphs, and games. The topics include, but not limited to: discrete geometry, computational geometry, graph theory, graph algorithms, complexity and winning strategies of games and puzzles.

*****************************************************************Journal of Information Processing (JIP) is currently encouraging more submissions from outside of Japan. Any papers submitted to this special issue are

free of publication charge when accepted. ^^^^^^^^^^^^^^^^^^^^^^^^^^

Non members of IPSJ can also submit papers to JIP.*****************************************************************

Submission Guidelines(1) All papers must be submitted electronically. Please access the following URL and proceed under the submission instructions:

In the event you would like to make a submission, you must first create an account on the paper submission Web page. For detailed information, please refer to the manual available from the link "Submission Rules and Document Types" at the top of the submission page.

(2) All papers will be reviewed. The review process will be carried out in the same manner as regular issues. However, you have shorter time than usual (two months) for preparation of your responses to inquiries.

(3) Submission deadline is October 31, 2016.

(4) The special issue will be published on the J-Stage website in September, 2017. Preprint will be published on the IPSJ Journal in August, 2017.

(5) Any papers accepted to this special issue are free of publication charge.^^^^^^^^^^^^^^^^^^^^^^^^^^

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

IEEE ISSPIT 2016 is the sixteenth in a series of international symposia thataims to cover a wide range of topics in the intersection of signal processingand information technology and to become a fertile ground for discussionsbetween the two research and development communities. Apart fromsessions that will present new research results, tutorials and special sessionswill be offered as well. Papers describing original work are invited in thegeneral fields covered by ISSPIT, with an emphasis on the topics listed below.Accepted papers will be published in the Proceedings of IEEE ISSPIT 2016 andwill be available via IEEE Xplore. Acceptance will be based on quality,relevance, and originality. A contest for Best Paper Awards (senior andstudent) will be held.

· Proposals for Tutorials & Special Sessions: August 15th, 2016· Regular paper submission: September 15th, 2016· Notification of acceptance: October 26th, 2016· Camera-ready version with registration: November 15th , 2016

************************************************************ 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, July 29, 2016

On behalf of the Organizing Committee, we invite you to participate inthe special session (workshop) on "APPLICATIONS OF METAHEURISTICS TOLARGE-SCALE PROBLEMS" at the 10th International Conference on LargeScale Scientific Computation - LSSC'17, June 5 - 9, 2017, Sozopol,Bulgaria, with arrival: June 4 and departure: noon June 9.

The session is organized by:Prof. Stefka Fidanova (stefka@parallel.bas.bg)from the Institute of Information and Communication Technologies(former Institute for Parallel Processing), Bulgarian Academy ofSciences andGabriel Luque (gabriel@lcc.uma.es) from University of Malaga, Spain.

ProceedingsWe plan to continue publishing the proceedings of only refereed andpresented papers as a special volume of Springer Lecture Notes inComputer Science (LNCS).

Important deadlines Deadline for submission of abstracts January 15, 2017 Notification of acceptance of the talks on the basis of thesubmitted abstract January 31, 2017 Deadline for submission of full papers March 01, 2017 Notification of acceptance of full papers April 15, 2017

Abstracts and contributed papersThe abstracts (up to 1 page stating clearly the originality of theresults) are to be written in standard LaTeX. The length of thecontributed papers is limited up to 8 pages. It is assumed that oneparticipant will present not more than one talk.

Send the abstracts and papers to special session organizers andconference organizers, indicating the name of the special session.After sending the abstract go to the conference web page and fill inthe registration form (personal data of the participants, minimum oneper paper, and the name of the special session).

-- Prof. Stefka FidanovaIICT-BASAcad. G. Bonchev str. bl.25A1113 Sofia BulgariaPh. +359-2-9796642************************************************************ 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/***********************************************************

ALGO is the annual event combining the premier algorithmic conference European Symposium on Algorithms (ESA) with a number of specialized conferences and workshops all related to algorithms and their applications, making ALGO the major European event for researchers, students and practitioners in algorithms. ALGO 2016 will consist of the following conferences and workshops:

ALGO 2016 will be held during 22-26 August 2016 at Aarhus University, Aarhus, Denmark. The event is hosted by the national research center MADALGO affiliated with the Department of Computer Science at Aarhus University and is organized in corporation with the European Association for Theoretical Computer Science (EACTS).

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

TWO FACULTY POSITIONS IN SYSTEMS BIOLOGY, GENOMICS, AND INFORMATICS AT OREGON STATE UNIVERSITY

Oregon State University is searching for two faculty with enthusiasm for collaborative research and teaching at the interface between the life sciences - biological, biomedical, pharmaceutical, or environmental - and the quantitative or physical sciences. Appointees will be expected to develop independent and collaborative grant-funded research programs, at any level of scale from the molecular to the ecological. The research, teaching, and extension programs of the appointees are expected to integrate student success, diversity, and inclusion as core values. This search is part of a large cohort of new faculty hires at OSU focused on interdisciplinary computational research, and on advancement of diversity, inclusion and student success.

COMPLEX SYSTEMS IN THE LIFE AND ENVIRONMENTAL SCIENCESAn assistant professor (9 month, tenure track) position is available in any domain where the life or environmental sciences intersect with the quantitative or physical sciences. Complex systems in the life and environmental sciences span numerous levels of scale from metabolites, macromolecules, cells, tissues, and organisms, to populations, communities and ecosystems. Increasingly, understanding these systems requires interdisciplinary collaborative research at the intersection with quantitative or physical sciences. The appointment will reside jointly in two units, one a life or environmental sciences unit, and the other ideally in a physical or quantitative sciences unit, depending on the appointee's expertise and interest. To review the full position announcement, qualifications and detailed application go to www.oregonstate.edu/jobs/ and select posting number P00447UF. Contact: Brett Tyler (brett.tyler@oregonstate.edu).For full consideration, please apply by September 9, 2016.

COMPUTATIONAL AND SYSTEMS BIOLOGY/PHARMACOLOGYThe College of Pharmacy, Department of Pharmaceutical Sciences, is seeking applications for an assistant professor position (12 month, tenure track) with expertise in using computational or bioinformatics tools to discover new drug targets or mechanisms of action, or uncover disease or physiological mechanisms. A Ph.D. or terminal degree in a biomedical or pharmaceutical science, computer science or statistics, biochemistry or a related discipline with relevant postdoctoral experience is required. Responsibilities include establishing and maintaining an extramurally funded research program; collaborating on initiatives and needs for expertise in computational and systems level approaches; and teaching and mentoring graduate, professional and undergraduate students. To review the full position announcement, qualifications and detailed application go to www.oregonstate.edu/jobs/ and select posting # P00444UF. Contact: Chrissa Kioussi (Chrissa.Kioussi@oregonstate.edu ). For full consideration, please apply by September 23, 2016.

OSU is an AA/EOE and has a policy of being responsive to dual-career needs.

************************************************************ 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 Colloquium on Combinatorics is a forum that brings together young researchers and well established scientists. The colloquium will cover all parts of Combinatorics and Discrete Mathematics in a broad sense, including combinatorial aspects in Algebra, Geometry, Optimization and Computer Science.

For registration and more details please visit the conference web page www.kolkom.de.

We hope seeing you in Paderborn in November!

Eckhard Steffen and Kai-Uwe Schmidt

************************************************************ 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 Workshop on Reachability Problems will be hosted byAalborg University, Denmark. This event will take place in Nordkraft,a recently reconstructed coal power station located at the harbourfront of Aalborg city centre that serves these days as a culturaland sport centre of Aalborg.

The Reachability Workshop is specifically aimed at gatheringtogether scholars from diverse disciplines interested in reachabilityproblems that appear in algebraic structures, computational models,hybrid systems, logic and verification.

In addition to regular papers that will appear in our LNCS proceedings, weinvite researchers to apply to give a presentation at RP'16 without anaccompanying paper. Such presentations can be based on work that has appeared(or which is going to appear) in the proceedings of another conference, orwhich has not yet been submitted. These contributions will be judged solely onthe basis of their attractiveness to the workshop.

To apply to give such a presentation please submit a PDF file containing ashort abstract (up to two pages) by e-mail [ rp2016@easychair.org ] byAugust 1st 2016, with subject "RP2016 Informal Presentations". This abstractwill not be published in the conference proceedings.Notification for the presentation-only track will be August 8th 2016.

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

All research in algorithmic work in bioinformatics, computational biology and systems biology. The emphasis is mainly on discrete algorithms and machine-learning methods that address important problems in molecular biology, that are founded on sound models, that are computationally efficient, and that have been implemented and tested in simulations and on real datasets. The goal is to present recent research results, including significant work-in-progress, and to identify and explore directions of future research.

Poster Submission:

We invite researchers to submit their latest results that fall into the general area of algorithms in bioinformatics in the form of a poster. Therefore they are requested to submit an abstract that will be included in the conference package handed out at the workshop. A poster abstract must be in plain text and no longer than 500 words, not including bibliographic references. The submission form can be found via:

The poster session will be in the afternoon of Tuesday, August 23. The format will be A0 vertical (84cm=33.1" wide, 118cm=46.8" high). At least one author of each accepted poster is required to register for and attend the workshop.

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

* Social challenges - users need to understand and trust the solution methods or they will not use them optimally. What technical implications does this have in application areas such as medical data, logistic problems and other areas of the digital economy.

The research projects are multidisciplinary in nature and will involve solving business problems related to designing, planning, controlling and improving of operations and management processes. The scholarships will be attractive to researchers from a range of industrial, engineering, computer science or management backgrounds.

PhD Scholarship package:The scholarships are based at The University of Nottingham's campus in Ningbo, China. They are available from September 2016 for a period of three years, with a stipend of up RMB 3,000 per month and an accommodation allowance of RMB 4,800 per year for local students and RMB 12,000 per year for international students. Tuition fees are fully funded and medical insurance is provided. Teaching assistantships with extra payment may be available for talented PhD students.

This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it.

Please do not use, copy or disclose the information contained in this message or in any attachment.

Any views or opinions expressed by the author of this email do not necessarily reflect the views of The University of Nottingham Ningbo China.

This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system:you are advised to perform your own checks.

Email communications with The University of Nottingham Ningbo China may be monitored as permitted by UK and Chinese legislation.

************************************************************ 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, July 26, 2016

A fully funded 3-year PhD position at Univ. Nice in cooperation with thestart-up company WEVER is to be filled as soon as possible. Desiredstarting date: as soon as possible (preferably October 2016; there is someflexibility with the starting date though). Fixed 3-year-contract, netsalary minimum 1500 Euro/month.

Topic:The start-up company WEVER offers small-distance rideshare services, takingplace either regularly or occasionally together with special events, forusers registered in their system. The idea is to offer incentives for userswilling to accept a detour to accept other users as passengers, in the formof vouchers or discounts for certain events. These vouchers or discountsare offered by companies that in turn pay a fixed amount to WEVER forevery rideshare that indeed takes place and that is sponsored by theirvouchers.The goals of this thesis are twofold: on the one hand, a sound mathematicalmodel describing the interactions between users and companies, and on theother hand also an implementation of the model. More details on the subjectcan be found athttp://math.unice.fr/~dmitsche/thesisproposal.pdf

Desired background:probability theory, analysis of algorithms, programming skills. Knowledgeof French is not required. The candidate will spend half of the time atUniv. Nice in the probability theory group, half of the time at WEVER.

Deadline for applications:Sept 5, 2016. Send a CV, a short motivation letter and 2 names that can becontacted for reference letters to Dieter Mitsche, dmitsche@unice.fr.Informal inquiries welcome.

************************************************************ 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/ACM International Conference on Big Data Computing, Applications and Technologies (BDCAT) is an annual international conference. The first two events were held in London (BDC 2014) and Cyprus (BDC 2015) respectively. In 2016, the conference has been expanded to explicitly include applications and renamed as BDCAT 2016. The conference aims to provide a platform for researchers to present their new discoveries, developments, results, as well as the latest trends in big data computing, technologies and applications.

BDCAT 2016 will be held in conjunction with the 9th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2016) at Tongji University, Shanghai, China.

Paper SubmissionAuthors are invited to submit papers electronically. Submitted manuscripts should be structured as technical papers and may not exceed 10 letter size (8.5 x 11) pages including figures, tables and references using the following templates (latex, pdf, doc). Authors should submit the manuscript in PDF format and make sure that the file will print on a printer that uses letter size (8.5 x 11) paper. The official language of the meeting is English. All manuscripts will be reviewed and will be judged on correctness, originality, technical strength, significance, quality of presentation, and interest and relevance to the conference attendees. Papers conforming to the above guidelines can be submitted through the BDCAT 2016 paper submission system (https://easychair.org/conferences/?conf=bdsea2016).

Submitted papers must represent original unpublished research that is not currently under review for any other conference or journal. Papers not following these guidelines will be rejected without review and further action may be taken, including (but not limited to) notifications sent to the heads of the institutions of the authors and sponsors of the conference. Submissions received after the due date, exceeding length limit, or not appropriately structured may also not be considered. Authors may contact the conference PC Chair for more information.

Selected papers from BDCAT 2016 will be invited to extend and submit to the Special Issue on Big Data Computing in the IEEE Transaction on Cloud Computing, IEEE Transaction on Big Data and other leading journals.

************************************************************ 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 Faculty of Computer Science at the University of Koblenz-Landau, Campus Koblenz, Computer Networks Group, is invitingapplications for a

PhD Position (3 years, full time)

for working within the DFG priority program "Cyber-PhysicalNetworking (SPP 1914)". The position is to be filled as soonas possible (preferably Sep/Oct 2016), limited to 3 years andis subject to the German law on fixed-term contracts in science(WissZeitVG). Salary will be according to the German publicservice salary scale TV-L EGr. 13.

Topic:------The prospective research assistant will be responsible for theproject "analysis and synthesis of combined cooperative controland topology control over wireless network models", which is ajoint project between the Computer Networks Group at theUniversity of Koblenz-Landau and the Institute of Control Systemsat the Hamburg-Harburg Technical University. At both sites one PhDstudent is to be employed in this project context.

The PhD student employed at the University of Koblenz-Landau willresearch appropriate adaptation of the interaction network graphto the time-varying conditions of the wireless communicationchannels to significantly improve the achievable performance ofcooperative control of multi-agent systems (e.g. swarms ofautonomous AUVs or UAVs). He will develop and analyze topologycontrol schemes to maintain the highest level of algebraicconnectivity (aiming at high performance and robustness ofcooperative control) while taking into account SINR constraints.The focus is on distributed and local solutions with the goal tosupport any system scale. Proof of concept will be given bysimulation studies based on source-seeking scenarios, which willbe selected to highlight the various features of the proposedintegrated collaborative control and topology control scheme.

Requirements:-------------The successful candidate has an above-average completed scientificuniversity study, preferably in the area of computer science ormathematics (M.Sc, Diploma). You have demonstrated the ability tocarry out independent scientific work, are dedicated, and striveto deepen your knowledge and skills, and successfully finish theproject with a PhD. You have the skills to mathematically prooftheoretical claims, and are interested to do research in the areaof algorithms and graphs. Very good proficiency in written andspoken English are compulsory.

Knowledge in control theory is not required for this part of thejoint project. However, it is expected that the employee iswilling to collaborate with the employee working at the controltheoretic part handled by the project partner Institute of ControlSystems at the Hamburg-Harburg Technical University.

Applicants with background in control theory are welcome to alsoapply for the position opening of the project partner, theInstitute of Control Systems at the Hamburg-Harburg TechnicalUniversity (https://www.tuhh.de/rts/welcome.html).

It is the policy of the University Koblenz-Landau to increase thepercentage of female employees. If equally qualified, preferencewill be given to female applicants in fields where they areunderrepresented. Disabled candidates are given priority, ifequally qualified. International candidates are highly encouragedto apply.

We do not send a confirmation of receipt. In accordance to theprotection of data privacy all documents will be destroyed afterthe application procedure.

-- Prof. Dr. Hannes FreyAG RechnernetzeUniversität Koblenz-Landau

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

CALL FOR INDUSTRY TRACK PAPERSFM 2016 is the 21st in a series of symposia organized by Formal Methods Europe, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The symposia have been notably successful in bringing together innovators and practitioners in precise mathematical methods for software and systems development, industrial users, as well as researchers. The industry track of FM 2016 welcomes short papers and extended abstracts describing industrial applications of formal methods, experience with introducing formal methods in industry, tool usage reports, experiments with challenge problems. Authors are encouraged to explain how the use of formal methods has overcome engineering and qualification problems, led to improvements in design or provided new insights.

A survey of industrial applications of formal methods has been conducted and is continuously being extended (now with more than 100 entries). It would be welcome if submissions to the industrial track also would take the time to supply an entry to this survey (http://fm2016.cs.ucy.ac.cy/img/EntryTemplate.xlsx). We hope during the industry track of FM 2016 to provide a new status of this survey so you will be able to see how your findings compare to others.

PAPER SUBMISSIONIndustry track papers should not exceed 6 pages (including appendices and references) for short papers. Accepted short papers will be published in the Symposium Proceedings, to appear in Springer's Lecture Notes in Computer Science. Extended abstracts of 2-4 pages are also welcome and will be added in a conference report.

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

IPDPS 2017 CALL FOR NEW WORKSHOPSThe proposals should contain the following information:

* Description: Provide brief description of the workshop, its scope and topics; the list of organizers with the confirmed chair(s); the program committee members (indicate whether the members have been confirmed); and the important dates.* Organizers: Provide a short vita of the organizers by listing the current affiliation, position, and previous experience in organizing other events including workshops/conferences/panels at IPDPS or other venues.* History: If re-running (earlier editions were held somewhere other than IPDPS), provide general information by listing the name of the workshop, the hosting conference, year, number of papers submitted, number of papers accepted, number of attendees; if there were posters/panels, their numbers and topics (for panels), and URL's of the existing web pages.* Targeted papers and audience: Provide information on targeted papers and audience: (i) Where are the papers from (government labs, universities, industry); (ii) What is the expected profile of the participants (speakers + audience)? (iii) How will the workshop be advertised?* Format of the workshop: Provide a short overview of the format by indicating if the workshop (i) will have peer reviewed papers in the proceedings? (ii) will be half day or full day long? (iii) will have a keynote talk? If yes, provide a tentative list of speakers; (iv) will have a panel? If yes, provide the topic and the potential panelists?

IPDPS 2017 UPDATE FOR EXISTING IPDPS WORKSHOPSIPDPS Workshops from the preceding year(s) should apply for renewal. For more information, please contact the workshops chair at workshops@ipdps.org.

REVIEW OF NEW WORKSHOP PROPOSALS and RENEWALSAll submitted proposals and renewal requests will be reviewed by the workshops committee. Both new workshop proposals and renewal requests are due 29 July 2016. Notification of final decisions for new proposals and renewal requests are expected to be mailed on 2 September 2016.

ABOUT IPDPS WORKSHOPSHeld on the first and last day of the conference, IPDPS workshops provide an extended forum that allows the IPDPS community an opportunity to fully explore special topics and to present work that is more preliminary and cutting-edge or that has more practical content than the more mature research presented in the main symposium. Each workshop has its own requirements and schedule for submissions. Workshop papers' submission dates typically fall after the notification date for main symposium papers. Proceedings of the workshops are distributed at the conference and are submitted for inclusion in the IEEE Xplore Digital Library after the conference.

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

ETAPS is the primary European forum for academic and industrialresearchers working on topics relating to software science. ETAPS,established in 1998, is a confederation of five main annualconferences, accompanied by satellite workshops. ETAPS 2017 is thetwentieth event in the series.

ETAPS conferences accept two types of contributions: research papersand tool demonstration papers. Both types will appear in theproceedings and have presentations during the conference.

ESOP and FoSSaCS accept only research papers.

A condition of submission is that, if the submission is accepted, oneof the authors attends the conference to give the presentation.

Submitted papers must be in English presenting original research. Theymust be unpublished and not submitted for publication elsewhere (thisdoes not apply to abstracts). In particular, simultaneous submissionof the same contribution to multiple ETAPS conferences isforbidden. The proceedings will be published in the Advanced Researchin Computing and Software Science (ARCoSS) subline of Springer'sLecture Notes in Computer Science series.

Additional material intended for the referees but not for publicationin the final version - for example, details of proofs - may be placedin a clearly marked appendix that is not included in the pagelimit. ETAPS referees are at liberty to ignore appendices and papersmust be understandable without them.

The rationale of a separate page limit for the bibliography is toremove the possibility to win space for the body of apaper by cutting the bibliography, a practise that has a negativeeffect on our competitiveness as a community.

- Tool demonstration papers

Submissions should consist of two parts:

* The first part, at most 4 pages, should describe the tool presented. Please include the URL of the tool (if available) and provide information that illustrates the maturity and robustness of the tool. (This part will be included in the proceedings.)

* The second part, at most 6 pages, should explain how the demonstration will be carried out and what it will show, including screen dumps and examples. (This part will be not be included in the proceedings, but will be evaluated.

ESOP and FOSSACS do not accept tool demonstration papers.

TACAS has a page limit of 6 pages for tool demonstrations.

-- SATELLITE EVENTS (22-23 April, 29 April) --

Around 20 satellite workshops will take place before and after themain conferences.

-- HOST CITY --

Uppsala city holds a rich history, having for long periodsbeen the political, religious and academic centre of Sweden.Uppsala University is over 500 years old and ranked amongthe top 100 in the World and has hosted many greatscientists over the years, for instance Carl von Linné, AndersCelsius and Anders Jonas Ångström. The proximity to thecapital of Sweden, Stockholm, provides additional benefitsas a potential site for arranging both pre- and post congresstours, as well as for excursions or tourism.

-- HOST INSTITUTION --

ETAPS 2017 is hosted by the Department of Information Technology,Uppsala University.

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

*PhD position "Robust Spanner Networks in the Face of Uncertainty" at TU Eindhoven*

We are looking for a strong, motivated PhD candidate with a background in computer science and/or mathematics for a four-year project on the intersection between algorithms and probability theory.

*Project description.*

Complex networks are ubiquitous and their failure has severe consequences. Therefore robustness is an essential property of networks. The quality of geometric networks like road networks is often measured based on distances: a good network should provide relatively short routes between the nodes of the network. Geometric spanners are networks that have a relatively short route between any pair of nodes. In this project we will analyze the robustness of geometric spanners under random failures and develop algorithms to construct and augment spanners that are robust to random failures. The project is part of the NETWORKS program (see below) and is a joint project of the Algorithms Group and the Probability and Statistics Group at the TU Eindhoven, under the daily supervision of Kevin Buchin and Tim Hulshof, and additional supervision of Mark de Berg and Remco van der Hofstad.

*Requirements.*

We are looking for a highly motivated candidate who has an MSc in mathematics or computer science. The candidate should be interested in algorithms as well as in probability theory, and preferably already have a good background in at least one of these two areas.

*NETWORKS.*

NETWORKS is a 10-year research program funded by the Dutch Ministry of Education, Culture and Science through the Netherlands Organisation for Scientific Research. The NETWORKS consortium consists of top researchers from four different institutions: University of Amsterdam (UvA), Eindhoven University of Technology (TU/e), Leiden University (UL) Center for Mathematics and Computer Science (CWI). The program started in the summer of 2014 and covers a broad range of topics dealing with stochastic and algorithmic aspects of networks. The aim of the programme is to address the pressing challenges posed by large-scale networks with the help of stochastics and algorithmics. See http://www.thenetworkcenter.nl/ for more details.

Through the NETWORKS programme we offer various post-graduate educational opportunities to our PhDs. This comes mainly in the form of "Training Weeks", where one or more experts give an intensive week-long course on a topic relevant to NETWORKS, as well as the opportunity for PhDs to do a more extensive, guided internship in a different scientific group (or company) associated with NETWORKS.

*The TU/e Algorithms Group.*

The algorithms group, headed by prof. Mark de Berg, performs fundamental research in computational geometry, I/O-efficient algorithms, and FPT and graph algorithms, with applications to, for instance, geographic information systems. Currently the group consists of Mark de Berg, Kevin Buchin, Herman Haverkort, and Bart Jansen, and several PhD students. Hans Bodlaender (Utrecht University) is associated to the group as a part-time professor.

*The TU/e Stochastics Section.*

The Stochastics section at the TU/e consists of about sixty people divided into two groups focussing on Probability and Statistics, and on Stochastic Operations Research, respectively. The Probability and Statistics group is headed by professors Edwin van den Heuvel and Remco van der Hofstad. Other members of the group are Rui Castro, Tim Hulshof, Julia Komjathy, and Francesca Nardi, as well as several postdocs and PhD students. The research interests of the group are varied, but the main focus is on probabilistic and statistical aspects of networks, applied statistics, machine learning, and statistical physics.

Associated with the Stochastics Section is the EURANDOM institute, which hosts many international workshops on topics related to probability, statistics and stochastic operations research throughout the year.

*The TU Eindhoven and the Faculty of Mathematics and Computer Science*.

The TU Eindhoven (TU/e) was established in 1956 as a polytechnic. It has grown into a university with nine faculties. The TU/e now has approximately 3000 employees (incl. PhD students) and 8000 BSc and MSc students. The Department of Computer Science offers several bachelor and master programs, all of which are taught in English. It has eight well-established research groups, one of which is the Algorithms Group. The TU/e campus is in the center of Eindhoven. The city of Eindhoven is located in the south of the Netherlands. It is a lively city with about 200,000 inhabitants, making it the fifth largest city of the Netherlands. Including suburbs the population is about 400,000.

Being a PhD student in the Netherlands. In the Netherlands, every PhD student gets paid a salary; no additional grants are needed. Moreover, although PhD students sometimes take courses, there is no minimum requirement. Hence, PhD students are more like employees than like students. Indeed, the Dutch word for PhD student translates to "research trainee". The work of a PhD student may include assisting in courses of BSc or MSc programs of the department. This amounts to at most 20% of the time; the remaining time is spent on research and research-related activities. Foreign PhD students need not speak Dutch: it is easy to get by with English, not only at the university but also in everyday life.

*We offer.*We offer a PhD position on an exciting topic at the intersection of algorithms and probability theory. The project will take place in a strong and stimulating environment: the Algorithms Group and the Probability and Statistics Group are among the largest and strongest groups world-wide in their respective research areas, and the embedding into the NETWORKS project offers great opportunities post-graduate educational opportunities in the form of training weeks, workshops and internships. Gross salary ranges from € 2.174 per month in the first year increasing up to € 2.779 in the fourth year. The TU Eindhoven offers a broad package of fringe benefits (e.g. excellent technical infrastructure, child daycare and excellent sports facilities).

Your application should contain in a combined pdf: a letter of motivation, CV and a list of courses and grades. In addition, please provide one or (preferably) two letters of reference. These letters should be sent directly (by the person providing the letter) to info@thenetworkcenter.nl <mailto:info@thenetworkcenter.nl> . The subject line of the email should be: "Letter of recommendation for ..." (with the name of the applicant inserted).

*Closing Date.*Wed 31 Aug 2016

************************************************************ 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 25, 2016

The University of Newcastle, Australia, invites expressions ofinterest for a Postdoctoral Research Fellowship in the area of theoryand algorithms for the optimization of maintenance of railinfrastructure systems for coal and iron exports, starting late 2016,or as soon as possible thereafter subject to applicant availability.

The fellowship is available for 1 year, with a possible 1-yearextension. The salary will be in the range of AU$81,928-$87,943 perannum, depending on the skills and experience of the applicant. Thereis also provision for a relocation allowance, and for additional fundsto support travel to conferences both overseas and within Australiaduring the period of the fellowship.

The successful applicant will hold a PhD in operations research,engineering, mathematics, computer science, or a related discipline.Strong optimization and computer programming skills are essential. Aknowledge of mixed integer programming and/or metaheuristics would bean asset. Additionally candidates are encouraged to highlight broadexperience with modelling or assessment of complex networks,infrastructure asset management or resource management.

Expressions of interest are preferred before September 1, 2016,however later interest will be considered until the position isfilled. To express your interest in a fellowship please send your CV,together with an academic transcript showing details of all coursesyou have taken, the grades you were awarded, an interpretation ofthose grades, and the names and contact details of at least two peoplewho can provide confidential references, to the contact person at theaddress shown below. If your transcript is not in English, pleaseprovide an English translation. Please feel free to include a link toyour PhD thesis, and/or include other publications in your email.Include details of your computer programming skills and experience,your optimization training and background, and any experience you havewith modelling and solving industrial problems. Please also indicateyour possible start dates.

The project will be funded under an Australia Research Council (ARC)Linkage Grant with industry support from Aurizon(http://www.aurizon.com.au), Australia's largest rail freightoperator. Coal and iron ore export supply chains critically depend onthe transport capacity provided by Australia's rail infrastructure.Increasingly so, because coal and iron ore export supply chains areliterally getting longer: mineral bodies closer to ports have beenexploited first, and as these become exhausted, supply chains arestretching further to reach harder-to-get-at resources. Combined withincreasing export volumes, this makes intelligent, efficient, andeffective management of this critical piece of infrastructure vitallyimportant. Maintenance plays a crucial role in the management of railinfrastructure as it ensures that infrastructure components, e.g.,track, signals, and rail crossings, are in a condition that allowssafe, reliable, and efficient transport. This project willinvestigate the key planning activities in preventive maintenance ofrail infrastructure systems, and seek to develop effectiveoptimization algorithms for their solution.

The postdoctoral fellow will join a research team of faculty, researchfellows and PhD students working on this project. The project alsoinvolves international research collaborations with ProfessorsNatashia Boland and Martin Savelsbergh (Georgia Tech) and YanfengOuyang (University of Illinois).

The University of Newcastle is a major research university inAustralia, increasingly recognized internationally as a rapidlyemerging educational institution. The main campus is located in thecity of Newcastle: on the coast about two hours drive north fromSydney. The School of Mathematical and Physical Sciences provides astimulating and supportive environment for research and teaching, withample opportunities for collaborative research partnerships bothwithin the university and with industry. Although well known for itsbeautiful beaches and pleasant climate, Newcastle is home toAustralia's (and the world's) largest coal exporting port. Newcastleis also at the gateway of one of Australia's largest wine-growingregions, the Hunter Valley. Thus opportunities for research inshipping, transportation, and mineral resources abound.

The School includes a strong group in Operations Research, with anumber of faculty, research fellows, and current PhD students workingin areas such as mixed integer programming, mixed integer nonlinearprogramming, supply chain logistics, and transportation optimization.The group has strong collaborations with colleagues in computerscience working with evolutionary algorithms. It also has closeresearch links with first-class international institutions andexcellent support from industry and government research funding.

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

An exciting opportunity exists within the Faculty of Information Technology at Monash University, Melbourne, Australia. We are looking for a Research Fellow who will contribute to an existing grant by the Australian Research Council: "Effective profiling of large scale combinatorial optimisation problems".

The successful applicant will have demonstrated experience in constraint programming modelling and solving, C++ programming, and high quality verbal and written communication skills. You will join a great team to conduct high quality research, reporting to the Lead Investigator and working closely with all four chief investigators and associated PhD students and research fellows.

This role is a two-year fixed-term full-time position; however, flexible working arrangements may be negotiated. The remuneration will be $97,411 - $115,678 pa (including 9.50% employer superannuation).

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