DMANET: DISCRETE MATHEMATICS AND ALGORITHMS: dmanet Digest, Vol 100, Issue 9

Send dmanet mailing list submissions to
dmanet@zpr.uni-koeln.de

To subscribe or unsubscribe via the World Wide Web, visit
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet
or, via email, send a message with subject or body 'help' to
dmanet-request@zpr.uni-koeln.de

You can reach the person managing the list at
dmanet-owner@zpr.uni-koeln.de

When replying, please edit your Subject line so it is more specific
than "Re: Contents of dmanet digest..."

Today's Topics:

1. PhD position (Bernhard Gittenberger)
2. Postdoc at University of Strathclyde (Einar Steingrimsson)
3. ATMOS 2016 Second Call for Papers (Marc Goerigk)
4. Call for papers: Session on CI for Aerospace, IEEE SSCI 2016
(Annalisa Riccardi)
5. CiE 2016: Call for Participation - Paris, 27/6-1/7/2016
(CiE Conference Series)

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

Message: 1
Date: Tue, 7 Jun 2016 17:21:04 +0200 (CEST)
From: Bernhard Gittenberger <bgitten@dmg.tuwien.ac.at>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] PhD position
Message-ID:
<alpine.NEB.2.11.1606071713430.28046@dmath166.dmg.tuwien.ac.at>
Content-Type: TEXT/PLAIN; charset=US-ASCII

A PhD position in the project "Random Recursive Structures of Small Diameters" is offered at the
Institute of Discrete Mathematics and Geometry (TU Wien). The position belongs to joint project
between Austria and Taiwan.

We are seeking an outstanding PhD candidate with interest and a solid background
in analytic combinatorics. An interest in probabilistic combinatorics is desired.

The position starts as soon as possible, preferably no later than Septemer 1, 2016.

The successful PhD candidate will pursue her/his PhD studies in the group of
Michael Drmota and Bernhard Gittenberger.

We explicitly encourage female researchers to apply for the offered
positions. We guarantee that the selection process, based solely on
the research records, will give equal opportunities to female and
male researchers.

Interested applicants should submit an application with

- letter of application

- Curriculum Vitae

- Transcript of courses and grades

- Scanned copy of Master Diploma

- Master thesis

all merged into a single pdf to

gittenberger@dmg.tuwien.ac.at

no later than

JUNE 29, 2016.

One confidential letter of recommendation can be sent directly to the above email address.

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

Message: 2
Date: Tue, 7 Jun 2016 15:25:55 +0000
From: Einar Steingrimsson <einar@alum.mit.edu>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Postdoc at University of Strathclyde
Message-ID:
<CA+La4AVybeVx-Zk=PEii5CPsbPwKFXWeXE5cqy9yWFqR8g0hjQ@mail.gmail.com>

Lecturer position in Combinatorics at the University of Strathclyde

The department of Computer and Information Sciences at the University of
Strathclyde is looking to hire a Lecturer in Combinatorics. Thea deadline
for applications is July 8. Formal interviews with those shortlisted will
be held on Thursday, 28 July 2016.

Further information can be found here
<https://strathvacancies.engageats.co.uk/LoginV2.aspx?enc=vDVLPY6BrOnmx9szwB5icMU/Bp97ap1BlI/jb0LhRYVeoh/cn5bYgvW+9EbbSw7a>;
search for "combinatorics".

The homepage of the Strathclyde Combinatorics Group:
http://combinatorics.cis.strath.ac.uk/

Best wishes,

Einar Steingrimsson

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

Message: 3
Date: Tue, 7 Jun 2016 17:27:47 +0100
From: Marc Goerigk <m.goerigk@math.uni-goettingen.de>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] ATMOS 2016 Second Call for Papers
Message-ID: <5756F603.8070300@math.uni-goettingen.de>
Content-Type: text/plain; charset="utf-8"; format=flowed

16th Workshop on Algorithmic Approaches for Transportation Modeling,
Optimization, and Systems (ATMOS 2016)
(http://conferences.au.dk/algo16/atmos/)

Second Call for Papers

The workshop on Algorithmic Approaches for Transportation Modeling,
Optimization, and Systems (ATMOS) is an annual event bringing together
researchers and practitioners who are interested in all aspects of
algorithmic methods and models for transportation optimization. The
workshop provides a forum for the exchange and dissemination of new
ideas and techniques. The aim of making transportation better gives rise
to very complex and large-scale optimization problems requiring
innovative solution techniques and ideas from mathematical
optimization,theoretical computer science, and operations research.
Applicable tools and concepts include those from graph and network
algorithms, combinatorial optimization, approximation and online
algorithms, stochastic and robust optimization.

Topics

We invite authors to present work that advances optimization methods and
algorithms to facilitate planning and operational management of freight
and passenger transportation and traffic. The workshop welcomes but is
not limited to papers addressing the following challenges:
• Demand Forecasting
• Models for User Behavior
• Design of Pricing Systems
• Infrastructure Planning
• Multi-modal Transport Optimization
• Mobile Applications for Transport
• Congestion Modeling and Reduction
• Line Planning
• Timetable Generation and Information
• Routing and Platform Assignment
• Vehicle Scheduling
• Route Planning
• Crew and Duty Scheduling
• Rostering
• Delay Management
• Routing in Road Networks
• Traffic Guidance
The workshop welcomes but is not limited to papers applying and
advancing the following techniques: Graph and Network Algorithms,
Combinatorial Optimization, Mathematical Programming, Approximation
Algorithms, Methods for the Integration of Planning Stages, Stochastic
and Robust Optimization, Online and Real-time Algorithms, Algorithmic
Game Theory, Heuristics for Real-world Instances, Simulation Tools.

Submission guidelines

Authors are invited to submit an extended abstract or full paper of at
most 12 pages (including title page, abstract, references, but not
counting an optional appendix). Submissions must be formatted in LaTeX,
using the OASIcs style file. The paper should contain a succinct
statement of the issues and of their motivation, a summary of the main
results, and a brief explanation of their significance, accessible to
non-specialist readers. Proofs omitted due to space constraints can be
put into an appendix to be read by the program committee members at
their discretion. Papers must be submitted electronically via the
EasyChair submission system at

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

The submission must be received by *16 June 2016*.

By submitting a paper the authors acknowledge that in case of acceptance
at least one of the authors must register at ALGO 2016 or ATMOS 2016,
attend the conference, and present the paper. The proceedings will be
published online and as open-access in the Dagstuhl Open Access Series
in Informatics (OASIcs).

Important dates

Submission: 16 June 2016
Notification of acceptance: early July
Final version: 29 July 2016
Symposium: 25 August 2016

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

Message: 4
Date: Tue, 7 Jun 2016 16:44:43 +0000
From: Annalisa Riccardi <annalisa.riccardi@strath.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Call for papers: Session on CI for Aerospace, IEEE
SSCI 2016
Message-ID:
<5F981B7DF1B7214DB40BAA37423DD2B6326493AD@EX2010-MBX1.ds.strath.ac.uk>
Content-Type: text/plain; charset="Windows-1252"

Dear Colleague,

You are kindly invited to attend and submit a contribution to the Special Session on Computational Intelligence in Aerospace Sciences & Engineering within the framework of the IEEE Symposium Series on Computational Intelligence, 6-9 December, 2016, Athens, Greece.
http://ssci2016.cs.surrey.ac.uk

SSCI is a flagship annual international conference on computational intelligence sponsored by the IEEE Computational Intelligence Society, promoting all aspects of theory, algorithm design, applications and related emerging techniques. IEEE SSCI 2016 will co-locate a large number of exciting symposiums, each dedicated to a special topic within or related to computational intelligence, thereby providing a unique platform for promoting cross-fertilisation and collaboration.

*Important Dates
Paper Submission: 18 July 2016
Decision Notification: 12 September 2016
Final submission: 10 October 2016

*Scope and Motivations
In a world with limited resources and increasing complexity, optimisation and computational intelligence are becoming necessary tools for design and analysis of complex systems. This is particularly true in the fields of aerospace where complex systems need to operate often in harsh, inhospitable environments with high level of reliability, or where large amount of data need to be processed in real-time for monitoring operations. Computational intelligence techniques have become an important – and in many cases an essential – tool for tackling these kinds of problems, providing useful and often non-intuitive solutions.
This special session intends to collect many diverse efforts made in the application of computational intelligence techniques, and related methods, to aerospace problems. The session seeks to bring together researchers from around the globe for presentations and discussions on recent advances in computational intelligence techniques and their application and success in the solution of space and aerospace problems. The session focuses on CI techniques applied to systems operating in air and/or space, collecting experts from astronomy, space sciences, mechanical, aerospace and electrical engineering, as well as computer science, mathematics and more diverse disciplines.

*Session Topics
The list of topics address methods specifically devised, adapted or tailored to address problems in space and aerospace, methods that have been demonstrated to be particularly effective at solving aerospace related problems and application-focused results stemming from the successful and innovate application of CI techniques. Authors are invited to submit papers topics relating to CI methods or applications in aerospace, including but not limited to:
- Global trajectory optimisation
- Multidisciplinary design for space missions
- Formation and constellation design and control
- Optimal control of aircraft, UAVs, spacecraft or rovers
- Planning and scheduling for autonomous systems in space
- Multi-, many-objective optimisation for space applications
- Resource allocation and programmatics
- Evolutionary computation for concurrent engineering
- Knowledge-based system engineering
- Distributed global optimisation
- Mission planning and control
- Robust mission design under uncertainties
- Decision making strategies for large scale sequential decision problems
- Intelligent search and optimisation methods in aerospace applications
- Guidance, navigation and control for aerospace vehicles
- Autonomous exploration of interplanetary and planetary environments
- Implications of emerging AI fields such as Artificial Life or Swarm Intelligence on aerospace research
- Intelligent algorithms for fault identification, diagnosis and repair of aerospace systems
- Multi-agent systems approach and bio-inspired solutions for system design and control
- Advances in machine learning for aerospace applications
- Intelligent interfaces for human-machine interaction
- Knowledge discovery, data mining and presentation of large data sets
- Data mining and machine learning in astronomy and earth observation

For more information, please see either the conference website above, or the website for this special session:
http://ssci2016.cs.surrey.ac.uk/CIVTS.htm
http://www.stardust2013.eu/Research/IEEEComputationalIntelligenceinAerospaceScien/IEEEActivities/SpecialSessionIEEESSCI2016/tabid/5689/Default.aspx

*Submission Guidelines
Manuscripts should be prepared according to the standard format for IEEE papers specified on the conference website and submitted online through the Easychair system (https://easychair.org/conferences/?conf=ssci16). Papers submitted for these session will be peer-reviewed with the same criteria used for other contributed papers. All accepted papers in the special sessions will be included in the published conference proceedings.
Conference guidelines for paper submission: http://ssci2016.cs.surrey.ac.uk/Paper%20Submission.htm

Best regards,
Special Session Organisers

Dr Christie Maddock,
Dr Annalisa Riccardi,
Dr Edmondo Minisci,
Prof Massimiliano Vasile
Aerospace Centre of Excellence
University of Strathclyde, UK

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

Message: 5
Date: Tue, 7 Jun 2016 22:42:50 +0100 (BST)
From: CiE Conference Series <cie.conference.series@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CiE 2016: Call for Participation - Paris,
27/6-1/7/2016
Message-ID: <alpine.LSU.2.20.1606072242430.3053@csltab3.site>
Content-Type: text/plain; format=flowed; charset=UTF-8

----------------------------------------------------------------------------
CiE 2016: Call for Participation and Registration
----------------------------------------------------------------------------

COMPUTABILITY IN EUROPE 2016: Pursuit of the Universal
Paris, France
June 27 - July 1st, 2016
http://lipn.univ-paris13.fr/CIE2016/

Details on the registration:
http://lipn.univ-paris13.fr/CIE2016/registration.php
Details on accommodation possibilities:
http://lipn.univ-paris13.fr/CIE2016/practical.php

CiE 2016's Motto is: "Pursuit of the Universal". This year's
conference will open with a special tribute session that CiE
society is dedicating to the former CiE president, Barry Cooper
who unexpectedly passed away on October 26th 2015. Barry was
originally scheduled as a plenary speaker at this year's
conference.

The year 2016 brings the eightieth anniversary of the publication
of Alan Turing's seminal paper featuring the Universal Turing
Machine. Just as the semantics of the machine gave rise to
Incomputability, and pointed to future directions in proof
theory, AI, generalized computability, the underlying role of
typed information and natural language, and the computability and
definability underpinning bioinformatics: so our conference
subtitle honors Turing's role in anticipating the quest for
universal computational frameworks across a wide spectrum of
scientific and humanist disciplines.

CiE 2016 is the twelfth conference organized by CiE
(Computability in Europe), a European association of
mathematicians, logicians, computer scientists, philosophers,
physicists and others interested in new developments in
computability and their underlying significance for the real
world. Previous meetings have taken place in Amsterdam (2005),
Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009),
Ponte Delgada (2010), Sofia (2011), Cambridge (2012), Milan
(2013), Budapest (2014) and Bucharest (2015).

PROGRAM:

The papers accepted for CiE 2016 can be seen here:
http://lipn.univ-paris13.fr/CIE2016/contributed.php
The programme of the conference can be found here
http://lipn.univ-paris13.fr/CIE2016/program.php

The CONFERENCE PROCEEDINGS will be published by LNCS, Springer
Verlag, and there will be a best student paper award presented to
the best paper written solely by students, sponsored by Springer.

TUTORIAL SPEAKERS:

Bernard Chazelle (Princeton University)
Mikolaj Bojanczyk (University of Warsaw)

INVITED SPEAKERS:

Janet Abbate (Virginia Tech)
Natasha Alechina (University of Nottingham)
Vasco Brattka (Universität der Bundeswehr München)
Steffen Lempp (University of Wisconsin)
André Nies (University of Auckland)
Sarah Rees (University of Newcastle)
Reed Solomon (University of Connecticut)

SPECIAL SESSIONS on:

Computable and constructive analysis
(organizers: Daniel Graça, Elvira Mayordomo)
Computation in bio-chemical systems
(organizers: Alessandra Carbone, Ion Petre)
Cryptography and information theory
(organizers: Danilo Gligoroski, Carles Padro)
History and philosophy of computing
(organizers: Liesbeth de Mol, Giuseppe Primiero)
Symbolic dynamics
(organizers: Jarkko Kari, Reem Yassawi)
Weak arithmetics
(organizers: Lev Beklemishev, Stanislav Speranski)

INFORMAL PRESENTATIONS:

While computer science conferences usually host formal
presentations based on papers published in a proceedings volume,
mathematics conferences allow for informal presentations that are
prepared very shortly before the conference and inform the
participants about current research and work in progress. So,
continuing the tradition of past CiE conferences, CiE 2016 hosts
a series of informal presentations, in addition to the
presentations based on the papers in the LNCS proceedings volume.
The list of informal presentations can be found here:
http://lipn.univ-paris13.fr/CIE2016/contributed.php

___________________________________

CiE 2016 http://lipn.univ-paris13.fr/CIE2016/

ASSOCIATION COMPUTABILITY IN EUROPE
http://www.computability.org.uk
CiE Conference Series
http://www.illc.uva.nl/CiE
CiE Membership Application Form
http://www.lix.polytechnique.fr/CIE
Computability (Journal of CiE)
http://www.computability.de/journal/
CiE on FaceBook
https://www.facebook.com/AssnCiE
Association CiE on Twitter
https://twitter.com/AssociationCiE