We have the great pleasure to invite you to take part in the OperationsResearch 2018 conference to be held in Brussels, Belgium, on September12-14, 2018.

The Operations Research 2018 conference is the annual internationalconference of the German Operations Research Society (GOR), co-organizedthis year with the Belgian Operational Research Society (ORBEL) with thesupport of Université libre de Bruxelles. OR2018 will take place fromSeptember 12 to September 14, 2018 at the MCE Conference & BusinessCentre in Brussels, Belgium.

CALL FOR ABSTRACTS AND SESSIONS

We invite practitioners and academics from mathematics, computerscience, business economics and other fields to participate at thisyear's conference. The conference provides ample opportunities topresent all OR related topics containing both theoretical as well asapplication-oriented research. Theoretical contributions mainly dealwith developing new mathematical techniques to solve all kind ofoptimization problems. Practical applications may relate to all relevantfields such as health care, transportation and logistics, finance, etc.Following the format of recent years, the conference consists of plenaryand semi-plenary sessions as well as scientific sessions organized bythe streams announced at http://www.or2018.be/streams.

Please submit your abstract to one of these streams. Once your abstracthas been accepted, we provide the option to submit an extended abstractfor potential acceptance in Springer based conference proceedings.

Website: https://www.or2018.beEmail: or2018@euro-online dot orgTwitter: @OR2018Brussels************************************************************ 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 PAPERS-------------------------------------The 29th International Symposium on Algorithms and Computation (ISAAC 2018)will take place in Jiaoxi, Yilan County, Taiwan on December 16-19, 2018.The symposium is intended to provide a forum for researchers workingin algorithms and theory of computation.

TOPICS-------------------------------------Papers presenting original research on all aspects of algorithms andtheory of computation are sought. The topics include, but are not limitedto:

SPECIAL WORKSHOP-------------------------------------In this year's ISAAC, we will organize a special workshop on Dec. 16and invite several internationally renowned computer scientistswho were born in 1949 or earlier as special guest speakers.The list of the invited speakers is as follows:

SUBMISSIONS-------------------------------------Authors are invited to submit an extended abstract or full paper of at most12 pages(including references, but excluding the optional appendix). The submissionshouldcontain a scholarly exposition of ideas, techniques, and results, includingmotivationand a clear comparison with related work. Authors are encouraged to alsomakefull versions of their submissions freely accessible in an onlinerepository such asArXiv, ECCC, etc. Papers must not be submitted simultaneously to anotherconferencewith refereed proceedings or to a journal. Drafts which contain essentiallythe sameresults as papers under review in other conferences or journals cannot besubmittedto ISAAC 2018. At least one author of an accepted paper is required topresentthe paper at the conference as a registered participant. Only electronicsubmissionwill be allowed via Easychair at:https://easychair.org/conferences/?conf=isaac2018

Submissions failing to adhere to the guidelines will be rejected withoutconsiderationof their merits.

AWARDS-------------------------------------The Best Paper and the Best Student Paper will be awarded.A paper is eligible for the Best Student Paper if all authorsare full-time students at the time of submission. To indicatethat a submission is eligible, please add the phrase"Eligible for best student paper" in the web form on thesubmission server as well as in the paper.

************************************************************ 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 postdoctoral research will be carried out within the partnership of the INOCS team and the start-up company Utocat specialist in blockchain management.

The objective of this project is to optimize the mining of transactions within the Ethereum blockchain, both in terms of processing time and costs.

Based on historical data extracted from the blockchain, the research aims at answering the two following questions:

For a fixed fee, what is the maximum time limit for a transaction to be undermined?

For a fixed maximum time limit, what is the amount of costs to be allocated (gasPrice)?

The researcher will combine machine learning techniques and robust and two-level optimization techniques to model the problem and develop efficient algorithms to solve it.

Scientific environment

The postdoctoral research will be carried out within the partnership of the INOCS team and the start-up company Utocat.

The researcher will be supervised by Luce Brotcorne (INOCS) and Bernard Fortz (INOCS).

Frequent meetings will be organized with Utocat.

INOCS:

The primal goal of INOCS is the study (modeling and methodological concerns) of optimization problems involving complex structures (CS). The INOCS team focuses on integrated models for problems with (CS) taking into account the whole structure of the problem and the development of solution methods taking explicitly into account the nature and the structure of the decisions as well as the properties of the problem. More information at https://team.inria.fr/inocs/

Utocat:

Utocat was created in October 2014 by Clément Francomme to help merchants accepting bitcoin payments and converting it directly in euros. In 2015, Utocat joined the EuraTechnologies acceleration program and pivoted to propose Blockchainiz : the dedicated access platform for Banks and Insurance companies..

As a Platform As A Service (PAAS), Blockchainiz is a blockchain solution for financial services that accompanies projects up to the production stage. Blockchainiz connects the functional processes to the blockchain. Data is not replicated on different IT systems anymore. Blockchain is used as a common repository for every part of the process. Hence, it enables to

limit the typing errors, to optimize the costs and delays while the customer experience is improved. More information at: https://www.blockchainiz.io

Now, they develop a new product : Catalizr, a connector between bank, investor and company that enables the automation of the management of unlisted securities between these three actors and facilitates investment in very small businesses (TPEs) and SMEs via a completely digital and secure process in the blockchain.

Candidates should hold a PhD degree in Operations research, mathematics, computer science, or similar fields and should ideally have a solid background in discrete optimization, integer programming, decomposition techniques. Computer science skills in algorithmic and C/C++ development as well as basic knowledge of machine learning techniques and blockchain technology are also welcome.

Knowledge of French is not required, but good communication skills and a solid knowledge of English are essential.

Contact. If you are interested by the position, please send your CV and a motivation letter to bernard.fortz@inria.fr.

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

For more information seehttps://www.math.tugraz.at/comb/sdm2018/************************************************************ 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/***********************************************************

Determining the satisfiability of first-order formulas modulo background theories, known as the Satisfiability Modulo Theories (SMT) problem, has proven to be an enabling technology for verification, synthesis, test generation, compiler optimization, scheduling, and other areas. The success of SMT techniques depends on the development of both domain-specific decision procedures for each background theory (e.g., linear arithmetic, the theory of arrays, or the theory of bit-vectors) and combination methods that allow one to obtain more versatile SMT tools. These ingredients together make SMT techniques well-suited for use in larger automated reasoning and verification efforts.

Aims and Scope

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

The aim of the workshop is to bring together researchers and users of SMT tools and techniques. Relevant topics include but are not limited to:

* Decision procedures and theories of interest

* Combinations of decision procedures

* Novel implementation techniques

* Applications and case studies

* Benchmarks and evaluation methodologies

* Theoretical results

Papers on pragmatic aspects of implementing and using SMT tools, as well as novel applications of SMT, in particular in the areas of machine learning and statistical reasoning, are especially encouraged.

Important dates

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

* Abstract submission deadline: April 8, 2018

* Paper submission deadline: April 15, 2018

* Notification of acceptance: May 15, 2018

* Camera ready versions due: June 15, 2018

* Workshop: July 12-13, 2018

Paper submission and Proceedings

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

Three categories of submissions are invited:

* Extended abstracts: given the informal style of the workshop, we strongly encourage the submission of preliminary reports of work in progress. They may range in length from very short (a couple of pages) to the full 10 pages and they will be judged based on the expected level of interest for the SMT community. They will be included in the informal proceedings.

* Original papers: contain original research (simultaneous submissions are not allowed) and sufficient detail to assess the merits and relevance of the submission. For papers reporting experimental results, authors are strongly encouraged to make their data available.

* Presentation-only papers: describe work recently published or submitted and will not be included in the proceedings. We see this as a way to provide additional access to important developments that SMT Workshop attendees may be unaware of.

Papers in all three categories will be peer-reviewed. Papers should not exceed 10 pages and should be in standard-conforming PDF. Technical details may be included in an appendix to be read at the reviewers' discretion. Final versions should be prepared in LaTeX using the easychair.cls class file. (The 10 pages do not include the references.)

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

======================================================================
SECOND CALL FOR PAPERS – Submission is now open!

WADT 2018
24th International Workshop on Algebraic Development Techniques
http://wadt18.cs.rhul.ac.ukJuly 2–5, 2018, Royal Holloway University of London, Egham, UK
======================================================================

AIMS AND SCOPE

The algebraic approach to system specification encompasses many aspects of the formal design of software systems. Originally born as a formal method for reasoning about abstract data types, it now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed and mobile systems). The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends.

The workshop will take place over four days, Monday to Thursday, at Royal Holloway University of London in Egham, UK (https://www.royalholloway.ac.uk).
Presentations will be selected on the basis of submitted abstracts.

Submission deadline for abstracts: April 27th, 2018
Notification of acceptance: May 18th, 2018
Early registration: June 1st, 2018
Final abstract due: June 1st, 2018
Workshop: July 2–5, 2018

SUBMISSIONS

The scientific programme of the workshop will include presentations of recent results or ongoing research as well as invited talks. The presentations will be selected by the Steering Committee on the basis of submitted abstracts according to originality, significance and general interest. Abstracts must not exceed two pages including references; if a longer version of the contribution is available, it can be made accessible on the web and referenced in the abstract.

After the workshop, authors will be invited to submit full papers for the refereed proceedings. All submissions will be reviewed by the Programme Committee. Selection will be based on originality, soundness, and significance of the presented ideas and results. The proceedings will be published as a volume of Lecture Notes in Computer Science (Springer).

The deadline for submissions will be September 3, 2018, with notifications by October 29. Camera-ready versions will be required by November 11.

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

Thursday, March 29, 2018

A PhD position is available in the research group of Prof. Markus Brill (www.algo.tu-berlin.de) at TU Berlin in Germany.

The position is for 3 years with the possibility of extension. The successful applicant will work within the DFG funded Emmy Noether project Foundations of Interactive Democracy (http://www.algo.tu-berlin.de/fid). The project has sufficient travel money available to support conference and workshop attendance as well as research visits to other groups internationally. There are no teaching obligations.

The main research themes of the group are computational social choice and algorithmic game theory. Therefore, applicants must have a strong background in discrete mathematics and algorithms. Research experience in (algorithmic) game theory and/or (computational) social choice is beneficial. Fluency in written and spoken English is required.

The starting date is negotiable; we are interested in filling the position as soon as possible. The position is full-time and paid according to salary grade 100% TV-L E 13 (the standard rate for junior scientific staff at German universities; salary depends on experience and amounts to at least 2200 Euro net per month).

Berlin has been repeatedly voted one of the world's most livable cities and offers a vibrant, creative, and international living environment. Berlin's scientific landscape with three leading universities offers plenty of collaboration opportunities, for example in the context of the Weizenbaum Institute for the Networked Society, the Einstein Center Digital Future, the DFG research center MATHEON, the Berlin Mathematical School (BMS), or the DFG research training group Facets of Complexity.

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

Scope and TopicsEfficient rail traffic management and high customer satisfaction do notonly need an optimization of train operations but also a control oftransport demand. Besides long-term and mid-term strategies to influencethe demand, e.g. by ticketing and pricing strategies, also short-termmeasures are needed in cases of incidents to avoid overcrowded trainsand to guide passengers towards the most suitable connection. Thesymposium addresses both, passenger and freight transport. The focus ofthis symposium is on (but not limited to) the followinginterdisciplinary topics related to Rail Transport Demand Management:

Strategies and measures- Strategies for long-term and mid-term control of demand- Strategies for cases of incidents- Pricing strategies, traveller information systems and other measuresto control demand- Impacts of specific measures on demand- Approaches to influence the decision-making behaviour of passengers

Target audienceThe symposium addresses researchers and practitioners concerned with themanifold aspects of rail transport demand management and interested indiscussing scientific and application-oriented approaches. Relevantdisciplines are transport planning, railway engineering, informationtechnology, economics, marketing, psychology and many others.Politicians, managers and representatives of public authorities areinvited to benefit from the symposium as a platform forknowledge-exchange and transfer. During the two-day symposium,distinguished speakers will address selected interdisciplinary topics inkey notes. Designated innovative research and practice approaches willbe presented in 20-minute talks during parallel sessions. In addition,the best overall contributions to the symposium will be awarded aswellas the best (post-)graduate student contribution. Furthermore,there is plenty of opportunity to network, especially at the symposiumdinner which will be hosted at the end of the first symposium day.

Call for AbstractsWe are pleased to announce the Call for Abstracts for thisinterdisciplinary symposium jointly hosted by Technische UniversitätDarmstadt and German Rail. RTDM 2018 will be held in Darmstadt, Germany.The symposium will start at 10 a.m. on Wednesday October 24th, 2018 andwill continue until 4 p.m. October 25th, 2018 on Thursday.

Experts from research and practice with experience in the relevantfields of rail transport demand management are invited to submit theircontributions. They are requested to submit a short abstract until 1stApril, 2018. Online submission is possible from January 31st, 2018(www.rtdm2018.de). These short abstracts should contain no more than 500words. The short abstracts will be reviewed by the Scientific Committeeby means of a single-blind procedure until May 31st, 2018. By this date,the authors will be informed about the acceptance of their contribution.For authors with accepted abstracts, symposium registration will berequested by 30 June 2018 (early bird rate). The deadline for submissionof the extended abstracts, with a maximum length of 1500 words, isSeptember 15th, 2018. The language of the abstracts has to be English.

Templates and guidelines for submitting extended abstracts will beavailable on the symposium website www.rtdm2018.de.

The selected extended abstracts will be made available for all attendeesin a symposium proceeding. On the symposium, a presentation by theauthors of selected abstracts is expected. We welcome submissions fromadvanced experts in this field but at the same time encourage(post-)graduate students to contribute to a successful symposium.

We are looking forward to receiving your outstanding abstract and havingthe opportunity to welcome you in Darmstadt!

Registration and FeesOnline registration for the RTDM 2018 is possible from January 31st,2018 up to September 30th, 2018 only through our website. The ratesbelow, covering all expenses incl. taxes, apply:

The early bird discount is available until June 30th, 2018. The regularrate is available until September 15th, 2018. The late bird rate appliesfor registrations after this date and on site. For refunds beforeSeptember 30th, 2018 a fee of 85 € is charged. Please note that therewill be no refunding for cancellations after September 30th, 2018. Weaccept payment by credit card and bank transfer.

Venue and AccommodationThe conference venue is the Maritim Konferenzhotel Darmstadt, centrallylocated at the main railway station.

The Maritim Konferenzhotel offers single bed rooms as well as double bedrooms.Due to its central location you can also choose to stay in one of theother hotels located nearby:

************************************************************ 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 best WCO18 paper will be awarded during the social dinner of FedCSIS2018.The best paper will be selected by WCO18 co-Chairs by taking intoconsideration the scores suggested by the reviewers, as well as thequality of the given oral presentation.

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

Submission and Publication

* Authors should submit draft papers in PDF format.* The total length of a paper should not exceed 10 pages for regularpaper and 4 pages for short papers (IEEE style). IEEE style templatesare available at http://www.fedcsis.org/.* Papers will be refereed and accepted on the basis of theirscientific merit and relevance to the workshop.* Accepted and presented papers will be published in the ConferenceProceedings and included in the IEEE Xplore database and submitted fordifferent indexations (Communication and Position papers will onlyappear in the conference proceedings).* Extended versions of selected papers presented at WCO18 will bepublished in edited books of the series "Studies of ComputationalIntelligence", Springer.

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

On behalf of the Organizing Committee, we invite you to participate inthe special session (workshop) on "Numerical Search and Optimization"at the9th Conference on Numerical Methods and Applications NM&A'18,to be held 20-24 August 2018 in Borovets, Bulgaria.The session is organized by:Prof. Stefka Fidanova (stefka@parallel.bas.bg)from the Institute of Information and Communication Technologies,Bulgarian Academy of SciencesProf. Gabriel Luque (gabriel@lcc.uma.es) from University of Malaga, Spain, andProf. Kalin Penev, (kalin.penev@solent.ac.uk) School Media Arts andTechnology, Southampton Solent University, UK.

ProceedingsThe refereed and presented papers will be published as a specialvolume of Springer Lecture Notes in Computer Science (LNCS).

Important deadlines Deadline for submission of abstracts April 15, 2018 Notification of acceptance of the talks on the basis of thesubmitted abstract April 30, 2018 Deadline for submission of full papers June 10, 2018 Notification of acceptance of full papers July 10, 2018 Submission of accommodation forms July 15, 2018 Final version of paper submission September 30, 2018

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 to special session organizers and conferenceorganizers, indicating the name of the special session. After sendingthe abstract go to the conference web page and fill in theregistration form (personal data of the participants, minimum one perpaper, and the name of the special session).

Paper submission, notification, and reviews will be realized throughthe Springer OCS (Online Conference Service).OCS for NM&A'18 is already set up on:

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

The 22nd International Conference on Randomization and Computation(RANDOM'2018) and the 21st International Conference on ApproximationAlgorithms for Combinatorial Optimization Problems (APPROX'2018) will beheld on August 20-22, 2018 at Princeton University, New Jersey.RANDOM'2018 focuses on applications of randomness to computational andcombinatorial problems while APPROX'2018 focuses on algorithmic andcomplexity theoretic issues relevant to the development of efficientapproximate solutions to computationally difficult problems.

TOPICS:

Papers are solicited in all research areas related to randomization andapproximation, including but not limited to:

Note: You will be asked to login using an EasyChair account. Directionson how to register for such an account are available at the submissionservers (you may also have an old account from a previous conferencesubmission).

The submission must be received by 15:00pm (PDT) of April 20th for yoursubmission to be considered.

Submission Format: Submissions should start with the title of the paper,each author's name, affiliation, and e-mail address, followed by aone-paragraph summary of the results to be presented. This should thenbe followed by a technical exposition on single-spaced pages onletter-size paper, using reasonable margins and at least 11-point font.The first 10 pages should contain the main ideas and techniques used toachieve the results including motivation and a clear comparison withrelated work (not including the references). There is no page limit butany material beyond the first 10 pages will be read at the solediscretion of the program committee. Simultaneous submission to otherconferences with published proceedings is not allowed.

PROCEEDINGS:

Accepted papers will be published in the online proceedings of theconference in the Leibniz International Proceedings in Informatics(LIPIcs) series, based at Schloss Dagstuhl. This guarantees perennial,free and easy electronic access, while the authors retain the rightsover their work. Further detail will be available early January at theconference website. Previous proceedings of APPROX appeared as LNCS1444, 1671, 1913, 2129, 2462, 2764, 3122, 3624, 4110 and 4627 whileprevious proceedings of RANDOM appeared as LNCS 1269, 1518, 1671, 2129,2483, 2764, 3122, 3624, 4110, and as Proceedings in Informatics 8.

************************************************************ 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 University of Antwerp Operations Research Group (ANT/OR) is hiring atleast two full-time researchers on the topic of "optimization methods foron-demand planning of public buses". Both pre-doctoral and post-doctoralresearchers can apply.

These vacancies are part of a research project called "the future of pubictransport: towards a fully on-demand public bus system". Even though manyobstacles still need to be overcome, the ubiquity of mobile devices wouldfor the first time in human history allow for a large-scale shift toon-demand public transport. However: the operational and tacticalfoundations that are required to implement an on-demand transportationsystem are still lacking. Even though a large majority of people now hasthe technological means to determine exactly where they are and transmitexactly where they want to go, the tools to plan all of thesetransportation requests have not been developed. Such a system would demandcarrying out optimization on a scale never seen before, and will requirenot only modelling all the intricacies of an on-demand scheduling ofpassengers, but to develop new optimization algorithms and softwarecomponents that can coordinate such a massive fleet of vehicles and vastnumber of passengers. The development of these algorithms and softwarecomponents is the main aim of this project.

The ideal candidate has a master's degree in computer science, mathematics,statistics, civil/business engineering or other related field of study.He/she has a strong background in operations research and statistics,computer simulation, as well as excellent programming and softwaredevelopment skills, and an excellent command of the English language.Previous experience with (meta)heuristic algorithms, discrete eventsimulation, and statistical modelling/analysis is highly valued.Post-doctoral applicants should have obtained a relevant PhD recently.

For pre-doctoral candidates, the successful candidate will receive atax-free scholarship (of approximately 1900 euros per month) for a 4-yearperiod, subject to yearly evaluation. He/she will enroll in the doctoralprogram of the Faculty of Applied Economics (Department of EngineeringManagement) and is expected to obtain a PhD degree by the end of the fourthyear. There is a sizeable budget available for attending internationalconferences, advanced workshops and other courses. Although the focus ofthe position is mainly on research, the candidate might be asked to takepart in some teaching activities. Post-doctoral candidates may be hired forshorter periods of time and will receive a somewhat higher wage.

The ANT/OR <http://antor.uantwerpen.be> research group is a young anddynamic team that focuses on the development of optimization methods tosolve decision-making problems in a wide variety of fields, ranging fromlogistics and supply chain, transportation and production planning, tohumanitarian logistics and digital music. The group works in closecollaboration with several industrial partners, non-profit organizationsand other international research institutions. The University of Antwerp<https://www.uantwerpen.be/en/> is home to around 20,000 students, of which18% come from overseas. It is currently ranked number 10 in the "top 50under 50", i.e., universities in the world less than 50 years old. Antwerp<https://www.youtube.com/watch?v=gYcuYIKiGyU> is the second largest city inBelgium. It has one of the busiest ports in Europe and is the largestdiamond trade centre in the world. This vibrant city is famous for itshistory, fashion industry, delicious food (beer, chocolate, fries, waffles,…) and excellent quality of life.

Interested? Then please send the following documents (in a single zip filewith your full name as the filename) by email tokenneth.sorensen@uantwerpen.be: (1) a motivation letter, (2) a one-pagedocument describing your views on the topic of "models and methods foron-demand planning of public buses", and (3) a detailed CV. The deadlinefor application is May 31, 2018. You might be invited for an interview(either through videoconferencing, or in person) during the month of June2018. The expected starting date is 1 October, 2018, but this is negotiable.

************************************************************ 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 Mathematics of the Faculty of Science, Vrije Universiteit Amsterdam, is looking for a Junior Lecturer in Business Analytics and/or Data Science. The position may specifically be of interest for candidates with affinity for education. Candidates that are about to finish a PhD or Master degree are also welcome to apply.

************************************************************ 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, March 27, 2018

The Theory Group at KTH Royal Institute of Technology invites applications for postdoctoral positions in theoretical computer science.

KTH Royal Institute of Technology is the leading technical university in Sweden. The Theoretical Computer Science Group at KTH (http://www.kth.se/tcs) offers a strong research environment spanning a wide range of research topics such as complexity theory and approximation algorithms, computer and network security, cryptography, formal methods and natural language processing. We have one of Europe's most prominent groups in algorithms and complexity theory, and the research conducted here has attracted numerous international awards and grants in recent years.

The postdoc positions are in the area of computational complexity theory. Current research in the group focuses mostly on approximation algorithms/hardness of approximation, subexponential algorithms, and proof complexity, but excellent researchers in neighbouring areas such as, e.g., communication complexity, circuit complexity, algebraic complexity, and harmonic analysis are also warmly welcome to apply.

This research project is led by Johan Hastad, Per Austrin, and Jakob Nordstrom, and is financed by grants from the Knut and Alice Wallenberg Foundation, the European Research Council, and the Swedish Research Council.

In addition to the PIs, the research project is planned to involve a total of 4-5 postdocs and 4-5 PhD students. Thus, this will be a unique opportunity to explore new connections between different subareas of complexity theory within a vibrant and growing research environment.

Within the overall framework sketched above, the postdoc will be expected and encouraged to contribute to and influence the research agenda. Taking part in teaching graduate seminar courses is encouraged but not required. Travel funding is included, and the group also receives short-term and long-term visitors on a regular basis.

These postdoc positions are full-time employed positions for one year with a possible (and expected) one-year extension. The expected starting date is in August-September 2018, although this is to some extent negotiable.

************************************************************ 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 Theory Group at KTH Royal Institute of Technology invites applications for PhD positions in theoretical computer science.

KTH Royal Institute of Technology is the leading technical university in Sweden. The Theoretical Computer Science Group at KTH (http://www.kth.se/tcs) offers a strong research environment spanning a wide range of research topics such as complexity theory and approximation algorithms, computer and network security, cryptography, formal methods and natural language processing. We have one of Europe's most prominent groups in algorithms and complexity theory, and the research conducted here has attracted numerous international awards and grants in recent years.

The PhD positions are in the area of computational complexity theory, focusing on questions at the intersection of approximation algorithms, subexponential algorithms, and proof complexity. Examples of topics of particular interest are the use of linear and semidefinite programming to solve hard combinatorial problems, or of proof complexity to prove that the problems are beyond the reach of such methods. Exciting recent developments have identified the so-called sums of squares hierarchy as a unifying theme for these questions, and one aim of our research is to build and expand on this theme. However, we will also freely explore whatever other methods turn out to be helpful for attacking these and other topics of interest in algorithms and complexity theory. The overarching goal is to understand fundamental properties of efficient computation by proving mathematical theorems about the power and limitations of different computational models.

This research project is led by Johan Hastad, Per Austrin, and Jakob Nordstrom, and is financed by grants from the Knut and Alice Wallenberg Foundation, the European Research Council, and the Swedish Research Council.

In addition to the PIs and the announced PhD positions, the research project will also involve 3-4 existing PhD students and 4-5 postdocs. Thus, this will be a unique opportunity to explore new connections between different subareas of complexity theory within a vibrant and growing research environment.

These are four-year full-time employed positions, but PhD positions usually (though not necessarily) include 20% teaching, in which case they are prolonged for one more year. The successful candidates are expected to start at the latest in August-September 2018, although this is to some extent negotiable. The positions are fully funded and come with a competitive salary.

************************************************************ 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 program of the school will consist of two tutorial series related to algorithms and lower bounds. The problems addressed are related by fine-grained complexity. The school will run from Friday to Sunday with a follow-up workshop on Monday afternoon. The workshop is a satellite ICALP workshop devoted to presentations of own research by selected participants of the school. We expect the talks to include a fair amount of technical details. The school will also include plenty of time for discussions.

Date: July 6-9, 2018, lectures start on Friday morning and end by the afternoon session on Sunday.

Location: Sporthotel Brve Hostivice (near Prague, Czech Republic)

The follow-up workshop will take place at Charles University in Mala Strana on Monday afternoon, July 9, 2018.

Organizers (contact person): Michal Koucky (Charles University).

Participation

We expect about 45 participants. A limited amount of funding is available to support the stay of junior participans at the school. Interested graduate students and postdocs are invited to apply to attend the school by April 20, 2018. They should send their name, affiliation, status (student/postdoc) by email to koucky@iuuk.mff.cuni.cz and arrange with their supervisor to send a supporting letter to the above address. Questions should be directed to the same address.

The MINOA (Mixed-Integer Non-Linear Optimisation: Algorithms andApplications) consortium is seeking highly motivated and qualifiedEarly-Stage Researchers (ESRs) that are looking for obtaining a PhDdegree in applied mathematics, operations research, and computerscience.

Once recruited, you will study relevant applications in areas such asenergy, logistics, engineering, analytics, and natural sciences. You will be trained through an innovative training programme based on individual research projects motivated by these applications. As specialchallenges, you will work on dynamic aspects and optimisation in realtime, optimisation under uncertainty, multilevel optimisation or onnon-commutativity in quantum computing.

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

NIIT University, Neemrana, Rajasthan, India invites applications for faculty positions in Computer Science and Engineering. Candidates in all areas of Computer Science and Engineering may apply but those with specialization in the areas of AI, Computer Security, Cloud Computing, Data Sciences, Information Security, Data Analytics will be given preference. Positions remain open until filled.

Candidates must have earned (or expect shortly) a Ph.D for Assistant Professor, Ph.D with 6 years of experience for Associate Professor, Ph.D with 10 years of experience for Professor in the above disciplines. Candidates must have a good publication record; proven ability to establish an independent research program; demonstrate flair for innovation; be open to participate in developing new interdisciplinary programs of study; have the commitment to excel both in research and teaching and establish strong linkages with industry. Industry experience and/or post-doctoral experience will be considered an asset.

The NIIT University campus is nestled in the Aravalli range in Rajasthan, considered to be the oldest fold mountain range in the world. The University is located about 100 Kms from New Delhi Airport. The University provides an intellectual environment and is committed to academic excellence. The four core principles of NIIT University, namely, Industry-linked, Research-driven, Technology-based, and Seamless define the DNA of the University. For more information, please visit the university website www.niituniversity.in

NIIT University offers a competitive compensation at par with the best academic institutions in India. In addition, NU provides a start up research grant at the time of joining, travel support for presenting papers in reputed International Conferences and Workshops. NU provides research incentives, such as monetary award for refereed Journal publications. In line with the Industry-linked as a core principle, the university will enable faculty to consult with industry in India and abroad.

Interested applicants are invited to submit their curriculum vitae including employment history, a statement outlining research and teaching interests, list of consultancies and projects undertaken and names of at least three referees.

NIIT University is committed to principles of fair employment & is an equal opportunity employer. We will extend equal opportunity to all individuals based on merit without regard for race, religion, sex, national origin or age.

Visit us at: http://www.niituniversity.in-------------------------------------------------------------------------------------------------------------DISCLAIMER This email and any files transmitted with it are confidential and are solely for the use of the individual or entity to which it is addressed. Any use, distribution, copying or disclosure by any other person is strictly prohibited. If you receive this transmission in error, please notify the sender by reply email and then destroy the message. Opinions, conclusions and other information in this message that do not relate to official business of the company shall be understood to be neither given nor endorsed by NIIT University. Any information contained in this email, when addressed to Clients is subject to the terms and conditions in governing client contract.

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

Universität Hamburg invites applications for a Research Associate in accordance with Section 28 subsection 1 of the Hamburg higher education act (Hamburgisches Hochschulgesetz, HmbHG). The position commences on June 1th, 2018.

It is remunerated at the salary level TV-L 13 and calls for 100% of standard work hours per week.*

The fixed-term nature of this contract is based upon Section 2 of the academic fixed-term labor contract act (Gesetz über befristete Arbeitsverträge in der Wissenschaft, WissZeitVG). The initial fixed term is three years.

The University aims to increase the number of women in research and teaching and explicitly encourages women to apply. Equally qualified female applicants will receive preference in accordance with the Hamburg act on gender equality (Hamburgisches Gleichstellungsgesetz, HmbGleiG).

Responsibilities:Associates will be expected primarily to teach and conduct research. The associate will also have the opportunity to pursue further academic qualifications, in particular a doctoral dissertation. At least one-third of set working hours will be made available for the associate's own academic work.

Specific Duties:The working area of Petra Berenbrink is the analysis of randomised algorithms and processes. The job holder is free to choose her/his research area. The teaching load is 4 LVS (4 hours per week).

Applications should include a cover letter, curriculum vitae, and copies of degree certificate(s). The application deadline is April 30th, 2018. Please send applications to: University of Hamburg, Department of Computerscience, Arbeitsbereich ART, Prof. Dr. Petra Berenbrink, Vogt-Kölln-Straße 30, 22527 Hamburg, or Berenbrink@informatik.uni-hamburg.de <mailto:Berenbrink@informatik.uni-hamburg.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/***********************************************************

RSFF (Robust Solutions for Fire Fighting), is an international workshop that intends to be a platform of exchange between researchers and practitioners interested in emergency management, in particular bushfires.The workshop welcomes participation of researchers from the area of algorithms and practitioners both working on emergency management issues.

The main focus of the workshop is robustness, seen as an approach to simplifying and securing solutions with the aim of making processes less affected by disruptions.

The workshop is organized within the Work Package WP3 of the European Project GEOSAFE (H2020-MSCA-RISE project n. 691161).

Registration is free for all GEOSAFE members and for authors of the accepted papers.

TOPICS===================

Solicited contributions cover a variety of topics including but not limited to:

RSFF papers must be formatted according to the CEUR-WS one column style, with a maximum length of 12 pages, including figures and references. All proposed papers must be submitted in electronic form, in PDF format, via the submission.geosafe@univaq.it mail.

Review process:

RSFF welcomes the submission of original research papers not published elsewhere relevant to the topics listed in the call for papers. All submitted papers will undergo a thorough review process. Each contribution will be refereed by at least two experts in the field.

Publication:

Accepted papers will be included in the RSFF Proceedings published on the CEUR-WS website. At least one of the authors will be required to register and attend RSFF to present the paper in order to have it included in the workshop proceedings.

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