Friday, November 27, 2015

dmanet Digest, Vol 93, Issue 25

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. Evolutionary Combinatorial Optimization and Metaheuristics
Track at GECCO 2016 (Manuel López-Ibáñez)
2. PhD positions in theoretical CS (formal methods and
algorithms) in Brno, CZ, since 2016 (Petr Hlineny)
3. PhD positions in Mathematics at the London School of
Economics and Political Science (Jan van den Heuvel)
4. Fully-funded Doctoral Scholarship in Computing/Computer
Science at European University Cyprus (Vicky Papadopoulou)
5. Postdoc position in complexity at Charles University in
Prague (Michal Koucky)


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

Message: 1
Date: Thu, 26 Nov 2015 16:31:39 +0000
From: Manuel López-Ibáñez <manuel.lopez-ibanez@manchester.ac.uk>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Evolutionary Combinatorial Optimization and
Metaheuristics Track at GECCO 2016
Message-ID: <565733EB.6010706@manchester.ac.uk>
Content-Type: text/plain; charset=utf-8; format=flowed

*******************************************************************************
CALL FOR PAPERS
2016 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE (GECCO-2016)
EVOLUTIONARY COMBINATORIAL OPTIMIZATION AND METAHEURISTICS (ECOM) TRACK
20-24 July 2016, Denver, Colorado, USA
Organized by ACM SIGEVO
http://www.sigevo.org/gecco-2016/
*******************************************************************************


The ECOM track at GECCO 2016 aims to provide a forum for the presentation and
discussion of high-quality research on metaheuristics for combinatorial
optimization problems. Challenging problems from a broad range of applications,
including logistics, network design, bioinformatics, engineering and business
have been tackled successfully with metaheuristic approaches. In many cases,
the resulting algorithms represent the state-of-the-art for solving these
problems. In addition to evolutionary algorithms, the class of metaheuristics
includes prominent generic problem solving methods, such as tabu search,
iterated local search, variable neighborhood search, memetic algorithms,
simulated annealing, GRASP and ant colony optimization.

The ECOM track encourages original submissions on all aspects of evolutionary
combinatorial optimization and metaheuristics, including, but not limited to:

* Applications of metaheuristics to combinatorial optimization problems
* Theoretical developments in combinatorial optimization and metaheuristics
* Representation techniques
* Neighborhoods and efficient algorithms for searching them
* Variation operators for stochastic search methods
* Search space and landscape analysis
* Comparisons between different techniques (including exact methods)
* Constraint-handling techniques
* Hybrid methods, adaptive hybridization techniques and memetic computing
* Hyper-heuristics for combinatorial optimization problems
* Characteristics of problems and problem instances


IMPORTANT DATES:

27 January 2016 Abstract submission
3 February 2016 Full paper submission (hard deadline)
20-24 July 2016 GECCO 2016 Conference in Denver, Colorado, USA


TRACK CHAIRS:

Holger H. Hoos (University of British Columbia, Vancouver, Canada)
http://www.cs.ubc.ca/~hoos/

Manuel Lopez-Ibanez (University of Manchester, UK)
http://lopez-ibanez.eu


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

Message: 2
Date: Thu, 26 Nov 2015 17:37:17 +0100
From: Petr Hlineny <petr.hlineny@googlemail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] PhD positions in theoretical CS (formal methods and
algorithms) in Brno, CZ, since 2016
Message-ID: <1448555837.3800.24.camel@acerv3>
Content-Type: text/plain; charset="UTF-8"

Department of Computer Science, Faculty of Informatics, Masaryk
University, Brno CZ, http://www.fi.muni.cz/,
announces an open call for special PhD positions starting from February 2016,
in the following areas:

* Topic: Parameter and model fitting of complex adaptive systems
Supervisor: Prof. Luboš Brim
* Topic: Control of distributed multi-agent systems under temporal constraints
Supervisor: Prof. Ivana Černá
* Topic: Structural Graph Theory and Algorithmic Metatheorems
Supervisor: Prof. Petr Hliněný
* Topic: Stochastic games in operational research
Supervisor: Prof. Antonín Kučera

See for general information:
http://www.fi.muni.cz/studies/doctoral/calls/call-ktp2015.xhtml.en
The deadline for application is January 12, 2016.

General information
Perspective PhD students are expected to show their research background
and skills in the area of the selected PhD topic. They should also be
proficient in English; knowledge of Czech is NOT necessary.

Stipend
The PhD positions are funded with a stipend of net value 20000CZK per
month, which is approximately 750Eur and is on the level of an average
net salary in the Czech Republic. The stipend is granted to successful
applicants for the first 2 years, with an expected renewal (after an
evaluation) for another 2 years. The total length of study is 4 years.

Application procedure
Applicants are strongly advised to contact their perspective supervisor
for more specific details, well ahead of the deadline.


--
Petr Hlineny <petr.hlineny@googlemail.com>

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

Message: 3
Date: Thu, 26 Nov 2015 16:51:07 +0000
From: Jan van den Heuvel <j.van-den-heuvel@lse.ac.uk>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] PhD positions in Mathematics at the London School of
Economics and Political Science
Message-ID: <5657387B.3080005@lse.ac.uk>
Content-Type: text/plain; charset="utf-8"; format=flowed

PhD positions in Mathematics at the London School of Economics and
Political Science

The Department of Mathematics at the London School of Economics and
Political Science has openings for PhD students, including in the areas
of Discrete Mathematics and Algorithms, Operations Research (Analytics),
and Game Theory. We are seeking exceptionally talented and motivated
students with a strong mathematical background and interest in
combinatorics, mathematical foundations of operations research, discrete
optimisation, algorithms, mathematical and algorithmic game theory, and
related areas.

For further information about the PhD programme, application procedures,
and faculty please see
http://www.lse.ac.uk/maths/Degrees/PhD_and_MPhil.aspx
.


Applicants will automatically be considered for funding covering fees
and paying GBP 18,000/year (approx. EUR 23,000 or USD 27,000) for up to
4 years. The award of these scholarships is competitive, based on
academic performance (typically in an MSc or equivalent) and suitability
of the proposed research. Application deadlines for funding are 11
January and 27 April 2016; we strongly encourage submission by the
earlier deadline.

Prospective applicants are encouraged to contact the following
department faculty members to discuss their qualifications and research
interests before submitting a formal application:

* Discrete Mathematics & Algorithms: Prof Jan van den Heuvel,
j.van-den-heuvel@lse.ac.uk;
* Operations Research: Prof Gregory Sorkin, g.b.sorkin@lse.ac.uk;
* Game Theory: Prof Bernhard von Stengel, stengel@nash.lse.ac.uk.


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

Message: 4
Date: Thu, 26 Nov 2015 21:23:18 +0000
From: Vicky Papadopoulou <V.Papadopoulou@euc.ac.cy>
To: "DMANET@zpr.uni-koeln.de" <DMANET@zpr.uni-koeln.de>
Subject: [DMANET] Fully-funded Doctoral Scholarship in
Computing/Computer Science at European University Cyprus
Message-ID:
<AM4PR03MB1379DBA9658B4EC0D16D074DDE040@AM4PR03MB1379.eurprd03.prod.outlook.com>

Content-Type: text/plain; charset="iso-8859-1"


Fully-funded Doctoral Scholarship in Computing/Computer Science at European University Cyprus

The Astrophysics and High Performance Computing group (http://ahpc.euc.ac.cy/) of the Computer Science and Engineering of European University Cyprus is delighted to invite applications for a fully-funded PhD scholarship in Computing/Computer Science. The group is involved in a number of prestigious projects including the FP7 funded project 'Herschel Extragalactic Legacy Project' (HELP) and has an extensive network of collaborators in some of the best universities in Europe and the world. The work will involve the exploitation of computational and high performance techniques for the efficient modelling of the spectral energy distributions of large samples of galaxies which will be made available through HELP and other projects.
The group has extensive experience in developing the models which will be used in this project and their application for addressing a number of problems in extragalactic astrophysics. To address the aims of the project the PhD candidate will make extensive use of algorithmic and high performance computing techniques implemented and run on supercomputing facilities which are accessible by the AHPC group and gain experience in this area. The position is suitable for candidates with a background in Computing/Computer Science but also a background in Physical Sciences, Mathematics or Engineering.

For enquiries interested candidates should contact Dr Vicky Papadopoulou Lesta (v.papadopoulou@euc.ac.cy) or Prof. Andreas Efstathiou (a.efstathiou@euc.ac.cy). The deadline for applications is 15th December 2015 and the application procedure is described at http://bit.ly/1OnyXHs.
Requirements:
. Very good university degree (Master or equivalent) in Computer Science or Physical Sciences or Mathematics or Engineering
. Solid skills in programming, software development and in algorithm design and analysis
. Very good mathematical background especially in numerical methods
. Self-motivation, team spirit and willingness to work in interdisciplinary projects
. Knowledge of parallel programming (in particular OpenMP) will be considered an advantage but is not a requirement

----
Vicky Papadopoulou Lesta
Assistant Professor,
Member of the Astrophysics and High Performance Computing research group
Department of Computer Science and Engineering
European University Cyprus
6 Diogenes Str. Engomi,  P.O. Box: 22006, 1516, Nicosia, Cyprus
[t] +357 22713046  [f] +357 22713013
[e] v.papadopoulou@euc.ac.cy
[w] http://faculty.euc.ac.cy/vpapadopoulou/
 

 


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

Message: 5
Date: Fri, 27 Nov 2015 16:20:41 +0100 (CET)
From: Michal Koucky <koucky@iuuk.mff.cuni.cz>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Postdoc position in complexity at Charles University
in Prague
Message-ID:
<alpine.DEB.2.02.1511271618030.12139@nikam.kam.mff.cuni.cz>
Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed


Two postdocs positions are available at the Computer Science Institute of
Charles University in Prague. The position are supported by the European
Research Council (ERC) Consolidator Grant LBCAD: "Lower bounds for
combinatorial algorithms and dynamic problems" held by Michal Koucky. The
goal of the project is to provide lower bounds on the complexity of
algorithmic problems in various settings.

The candidates should have strong background in computational complexity,
algorithms or data structures, and should have completed their Ph.D.
degree in theoretical computer science or mathematics within the last 4
years or will complete their Ph.D. degree by Fall 2016.

Application deadline is January 21, 2016. Starting date is in Fall 2016
or beginning of 2017, and can be negotiated. Informal inquires by email
are welcome.

More information is available at: http://iuuk.mff.cuni.cz/~koucky/LBCAD/

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

Subject: Digest Footer

_______________________________________________
dmanet mailing list
dmanet@zpr.uni-koeln.de
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet


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

End of dmanet Digest, Vol 93, Issue 25
**************************************

dmanet Digest, Vol 93, Issue 24

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. [JMDA16] Discrete Mathematics Days (First announcement)
(Juanjo Rué)
2. 2nd IEEE International Conference on Smart Computing
(SMARTCOMP 2016) - Call for Papers (Marco Tiloca)
3. CFP: 2016 IEEE WCCI/CEC Theory Special Session (Andrew M. Sutton)


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

Message: 1
Date: Thu, 26 Nov 2015 09:30:11 +0100
From: Juanjo Rué <juanjo.rue@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] [JMDA16] Discrete Mathematics Days (First
announcement)
Message-ID:
<CAEmmRhVGucCGM+OXw_YH-xeqyVRKeAyjKeLaimtA-4-EjLj9OQ@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8

======================
Discrete Mathematics Days
Barcelona, 6-8 July 2016

http://llati.upc.edu/JMDA16/
======================
1st Announcement
======================

(apologies for multiple copies)

We are pleased to announce the Discrete Mathematics Days meeting,
to be held in Barcelona 6-8 July 2016.

This will be the 10th edition of the Jornadas de Matemática Discreta y
Algoritmica (JMDA), the Spanish biannual meeting on discrete mathematics.

Topics of interest include: Algorithms and Complexity, Combinatorics, Coding
Theory, Cryptography, Discrete and Computational Geometry, Graph Theory.

Extended abstracts will be published in the Electronic Notes in
Discrete Mathematics (ENDM).

Important dates:

Submission start: 1 January
Submission deadline: 20 March, 23:00
Notification of accepted papers: 20 April

Plenary speakers

Simeon Ball (UPC Barcelona)
Daniel Král' (Warwick)
Benjamin Sudakov (ETH Zürich)
Stéphan Thomassé (ENS Lyon)

Program Committee

Camino Balbuena (UPC Barcelona)
Imre Bárány (Alfred Rényi Institute)
Sergi Elizalde (Darmouth College)
Stefan Felsner (TU Berlin)
Delia Garijo (U. Sevilla)
Gabor Lugosi (ICREA and UPF Barcelona)
Carlos Marijuan (U. Valladolid)
Anna de Mier (co-chair) (UPC Barcelona)
Dieter Mitsche (U. Nice)
Jaroslav Nešetřil (Charles U. and ITI, Prague)
Daniel Panario (Carleton U.)
Pedro A. Ramos (U. Alcalá)
Josep Rifà (UAB Barcelona)
Günter Rote (FU Berlin)
Gelasio Salazar (UASL Mexico)
Francisco Santos (U. Cantabria)
Ignasi Sau (CNRS and LIRMM Montpellier)
Oriol Serra (co-chair) (UPC Barcelona)
Gilles Zémor (U. Bordeaux)

Organizing Committee

Victor Diego (UPC Barcelona)
Clemens Huemer (UPC Barcelona)
Marc Noy (UPC Barcelona)
Guillem Perarnau (U. Birmingham)
Lander Ramos (UPC Barcelona)
Juanjo Rué (chair) (FU Berlin)

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

Message: 2
Date: Thu, 26 Nov 2015 11:08:13 +0100
From: Marco Tiloca <marco@sics.se>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] 2nd IEEE International Conference on Smart Computing
(SMARTCOMP 2016) - Call for Papers
Message-ID: <5656DA0D.6010800@sics.se>
Content-Type: text/plain; charset=utf-8


**********************
Call for Papers
**********************

2nd IEEE International Conference on Smart Computing (SMARTCOMP 2016)*
"Smart Living through Computing"

May 18-20, 2016 | St. Louis, Missouri, USA

http://smart-comp.org

Co-Sponsored by IEEE Computer Society, IEEE St Louis section, and
Missouri University of Science and Technology

*pending IEEE approval

Smart computing is emerging as an important multidisciplinary area,
which can be broadly classified into two major topics: how to design and
build smart computing systems, and how to use computing technology for
resource sustainability to improve the human experience. Applications of
smart computing span different business areas including, but not limited
to, transportation, energy, environmental protection, resource
management, healthcare, security, banking, entertainment, and social
media. The advancement of cloud computing, mobile/pervasive computing,
cyber-physical systems, sensor networking and social computing are
bringing smart computing to a newer dimension and improving our ways of
living.

The 2nd IEEE International Conference on Smart Computing (SMARTCOMP
2016) invites original papers on any topic that is related to smart
computing. With the theme "Smart Living through Computing", SMARTCOMP
2016 will be a forum for the presentation and exchange of cutting-edge
ideas.

The topics to be addressed at SMARTCOMP 2016 will include, but are not
limited to, all aspects of smart computing such as pervasive/ubiquitous
computing, cloud computing, sensor networks, internet of things, big
data analytics, security and privacy, social computing, cognitive
computing, cyber-physical systems, smart buildings, smart cities and
grids. We encourage submissions that showcase fundamental research to
address challenges in enabling Smart and Connected Communities.
Submissions should be targeted to one of the following five major areas:

* Smart Cyber-Physical Environments and
Energy/Water/Agriculture/Transportation/Healthcare/Banking Infrastructure
* Security, Privacy, and Economics in Smart Environments
* Smart Computing Technologies
* Future Smart Computing Paradigms
* Smart Human Environments, Health, Entertainment, and Social Activities
* Smart Energy Management and Analytics

SUBMISSION GUIDELINES
Paper submissions should be no longer than 8 pages and formatted
according to the IEEE conference template
(http://www.ieee.org/conferences_events/conferences/publishing/templates.html).


Papers must be submitted electronically, as PDF files, through EasyChair
(https://easychair.org/conferences/?conf=smartcomp2016).

All submitted papers will be subject to peer reviews by Technical
Program Committee members and other experts in the field. All presented
papers will be published in the conference proceedings and submitted to
the IEEE Xplore Digital Library. Selected high-quality papers will be
invited to submit (with substantial extension) to a special issue of the
Elsevier Journal on Pervasive and Mobile Computing (SCI indexed).


WORKSHOPS
SMARTCOMP 2016 will host workshops on emerging topics. To propose a
workshop, please refer to the Call for Workshop Proposals available on
the conference website, or contact the Workshops Co-chairs
<payton@uncc.edu, zhiweny@gmail.com>.


IMPORTANT DATES
* Workshop Proposals: November 15, 2015
* Notification: December 14, 2015

* Conference Paper Registration: December 14, 2015
* Conference Paper Submission: December 21, 2015
* Notification: March 21, 2016
* Camera-ready: April 15, 2016


ORGANIZING COMMITTEES

General Co-Chairs:
Diane J. Cook, Washington State University, USA
Sajal K. Das, Missouri University of Science and Technology, USA

Technical Program Co-Chairs:
Giuseppe Anastasi, University of Pisa, Italy
Qi Han, Colorado School of Mines, USA

Workshops Co-chairs:
Jamie Payton, University of North Carolina at Charlotte, USA
Zhiwen Yu, Northwestern Polytechnic University, China

Keynote Chair:
Chenyang Lu, Washington University in St Louis, USA

Panel Chair:
Klara Nahrstedt, University of Illinois at Urbana-Champaign, USA

Demo Chair:
Hassan Ghasemzadeh, Washington State University, USA

Publication Chair:
Mario Di Francesco, Aalto University, Finland

Registration and Finance Chair:
Maciej Zawodniok, Missouri University of Science and Technology, USA

Publicity Co-Chairs:
Peng Cheng, Zhejiang University, China
Tao Gu, RMIT University, Australia
Nirmalya Roy, University of Maryland – Baltimore County, USA
Marco Tiloca, Swedish Institute of Computer Science, Sweden

Local Arrangements Chair:
Prasenjit Shil, Ameren, USA

Industry Liaison Chair:
Prakash Shahi, Nidec Motor Corporation, USA

Web Chair:
Dawn Davis, Missouri University of Science and Technology, USA

Steering Committee:
Jiannong Cao, Hong Kong Polytechnic University, Hong Kong (Co-Chair)
Sajal K. Das, Missouri University of Science and Technology, USA (Co-Chair)
Vijayakumar Bhagavatula, Carnegie Mellon University, USA
Victor Leung, The University of British Columbia, Canada
Neeraj Suri, Technische Universität Darmstadt, Germany
Albert Zomaya, The University of Sydney, Australia


CONTACT INFORMATION
Conference Website: http://www.smart-comp.org/
Email: smartcomp2016@mst.edu


k


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

Message: 3
Date: Thu, 26 Nov 2015 11:44:09 +0100
From: "Andrew M. Sutton" <andrew.sutton@hpi.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CFP: 2016 IEEE WCCI/CEC Theory Special Session
Message-ID: <5656E279.3040200@hpi.de>
Content-Type: text/plain; charset="utf-8"; format=flowed


CALL FOR PAPERS

WCCI/CEC 2016 Special Session on
Theoretical Foundations of Bio-inspired Computation

July 25 - 29, 2016, Vancouver, Canada

*** Paper submission deadline: January 15, 2016 ***

Website: https://hpi.de/friedrich/conf/cec2016.html

==========
Motivation
==========

Bio-inspired search heuristics often turn out to be highly successful
for optimization in practice. The theory of these randomized search
heuristics explains the success or the failure of these methods in
practical applications. Theoretical analyses lead to the understanding
of which problems are optimized (or approximated) efficiently by a
given algorithm and which are not.

The benefits of theoretical understanding for practitioners are
threefold.

1. Aiding the algorithm design,

2. guiding the choice of the best algorithm for the problem at
hand,

3. determining the optimal parameter settings.

The theory of evolutionary computation has grown rapidly in recent
years. The primary aim of this special session is to bring together
people working on theoretical aspects of bio-inspired computation. The
latest breakthroughs in the theory of bio-inspired computation will be
reported and new directions will be set.

=====
Scope
=====

Potential authors are invited to submit papers describing original
contributions to foundations of evolutionary computation. Although we
are most interested in theoretical foundations, computational studies
of a foundational nature are also welcome.

The scope of this special session includes (but is not limited to) the
following topics:

* Theoretical foundations of bio-inspired heuristics

* Exact and approximation runtime analysis

* Black box complexity

* Self-adaptation

* Population dynamics

* Fitness landscape and problem difficulty analysis

* No free lunch theorems

* Statistical approaches for understanding the behavior of
bio-inspired heuristics

* Computational studies of a foundational nature

All problem domains will be considered including:

* combinatorial and continuous optimization

* single‐objective and multi‐objective optimization

* constraint handling

* dynamic and stochastic optimization

* co‐evolution and evolutionary learning

================
Paper Submission
================

To submit to the special session:

1. prepare your manuscript following the WCCI 2016 paper
submission guidelines (see http://www.wcci2016.org/),

2. submit your manuscript electronically in the CEC 2016 system:
http://ieee-cis.org/conferences/cec2016/upload.php,

3. *IMPORTANT* On the submission system you must select
"7bk. Theoretical Foundations of Bio-inspired Computation"
as "Main Research Topic".

Special session papers are treated in the same way as regular
conference papers.

===============
Important Dates
===============

* Paper submissions: January 15, 2016

* Notification of acceptance: March 15, 2016

* Final paper submission: April 15, 2016

==========================
Special Session Organizers
==========================

Pietro S. Oliveto
Department of Computer Science
University of Sheffield
Sheffield, UK
http://staffwww.dcs.shef.ac.uk/people/P.Oliveto/

Andrew M. Sutton
Hasso-Plattner-Institut
Universität Potsdam
Potsdam, Germany
https://hpi.de/friedrich/people/andrew-m-sutton.html

----------------------------------------------------------------------
This special session is organized as a part of the IEEE CIS Task Force
on Theoretical Foundations of Bio-inspired Computation

Task Force Website:
http://staffwww.dcs.shef.ac.uk/people/P.Oliveto/CIStheory.html


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

Subject: Digest Footer

_______________________________________________
dmanet mailing list
dmanet@zpr.uni-koeln.de
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet


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

End of dmanet Digest, Vol 93, Issue 24
**************************************

Thursday, November 26, 2015

dmanet Digest, Vol 93, Issue 23

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. Open PostDoc position, Theoretical Computer Science,
University of Siegen (Lohrey, Markus)
2. New Book: Economics and Computation. An Introduction to
Algorithmic Game Theory, Computational Social Choice, and Fair
Division (Jörg Rothe)
3. CALL FOR PARTICIPATION: WINE 2015 - The 11th Conference on
Web and Internet Economics (Guido Schaefer)
4. SPAA 2016 - call for papers (Nodari Sitchinava)
5. Call for chapters - Springer Volume - "Modelling, Computing
and Data Handling Methodologies for Maritime Transportation"
(Charalampos Konstantopoulos)


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

Message: 1
Date: Wed, 25 Nov 2015 04:55:19 +0000
From: "Lohrey, Markus" <lohrey@eti.uni-siegen.de>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Open PostDoc position, Theoretical Computer Science,
University of Siegen
Message-ID: <2EAD0552-F362-469F-B131-FAEA3E301F80@eti.uni-siegen.de>
Content-Type: text/plain; charset="utf-8"

***please distribute to potential applicants***

Open PostDoc position at the research group Theoretical Computer Science at University of Siegen, Germany

The Chair for Theoretical Computer Science, Department for Electrical Engineering and Computer Science of Faculty IV at University of Siegen is
accepting applications for one doctoral post (salary category TV-L 13, full position) for a duration of 3 years.

* Job description:

This position will enable a student to complete his/her doctoral degree.

We expect:
- Development of models and algorithms for diagnosis of distributed embedded real-time systems
- Development of specific algorithms for data compression of diagnosis data streams and theoretical analysis of these algorithms
- Documentation of results and preparation of project reports
- Supervising students for seminar/Bachlor thesis/Master thesis projects
- Completion of PhD

* Your profile:
- Master's degree or a Diploma in computer science, mathematics or electrical engineering
- Solid knowledge in Theoretical Computer Science and very good mathematical skills
- Specific knowledge in data compression, information theory, algorithmics, and embedded systems are advantageous
- Programming skills in C, C++ are advantageous as well
- Very good English language skills

* University of Siegen:

With 20,000 students, 1,900 employees, including 1,200 academic positions, the University of Siegen is an innovative institution
emphasizing interdisciplinary orientation. Consisting in a broad spectrum of departments, from liberal arts, social sciences, and
economics to natural sciences and engineering, the University of Siegen provides an outstanding teaching and research environment
with numerous inter/transdisciplinary research projects.

Information on the University of Siegen is available online: www.uni-siegen.de

The University of Siegen is an equal opportunity employer. In accordance with its policy of increasing the proportion of women in
this type of employment, the University actively encourages applications from women. The University facilitates viable combination
of professional and family needs. For candidates with equal qualification, preference will be given to people with physical disabilities.

* Contact for further information: Prof. Markus Lohrey, Tel. 0271/740-2826, email: lohrey@eti.uni-siegen.de

Please send your application documents (resume, copies of diplomas and certificates) in duplicate till December 17, 2015 with
reference number 2015/IV/ETI/WM/219 to the following address: Prof. Dr. Markus Lohrey, Universität Siegen, Hölderlinstr. 3, 57076 Siegen, Germany.


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

Message: 2
Date: Wed, 25 Nov 2015 11:28:06 +0100
From: Jörg Rothe <rothe@cs.uni-duesseldorf.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] New Book: Economics and Computation. An Introduction
to Algorithmic Game Theory, Computational Social Choice, and Fair
Division
Message-ID: <2315058.sTkZIzvL1g@thomas>
Content-Type: text/plain; charset=utf-8

Dear Colleagues,

it is my pleasure to announce that a new book has just been
published by Springer:

Economics and Computation
An Introduction to Algorithmic Game Theory,
Computational Social Choice, and Fair Division

Jörg Rothe (Editor)

http://www.springer.com/de/book/9783662479032

This textbook connects three vibrant areas at the interface
between economics and computer science: algorithmic game theory,
computational social choice, and fair division. It thus offers an
interdisciplinary treatment of collective decision making from an
economic and computational perspective. Part I introduces to
algorithmic game theory, focusing on both noncooperative and
cooperative game theory. Part II introduces to computational
social choice, focusing on both preference aggregation (voting)
and judgment aggregation. Part III introduces to fair division,
focusing on the division of both a single divisible resource
("cake-cutting") and multiple indivisible and unshareable resources
("multiagent resource allocation"). In all these parts, much weight
is given to the algorithmic and complexity-theoretic aspects of
problems arising in these areas, and the interconnections between
the three parts are of central interest.

- First textbook on computational social choice
- Connects economic and computational dimensions of collective
decision-making
- Explores the interrelations between algorithmic game theory,
computational social choice and fair division
- First book focusing on the algorithmic and complexity-theoretic
aspects of fair division

TABLE OF CONTENTS:

Foreword by Matthew O. Jackson and Yoav Shoham. . . . . . . . . . . . . v
Preface by the Editor . . . . . . . . . . . . . . . . . . . . . . . . .vi
Contributors . . . . . . . . . . . . . . . . . . . . . . . . . . . . xiii

Chapter 1:
Playing, Voting, and Dividing . . . . . . . . . . . . . . . . . . . . . 1
J. Rothe

Chapter 2:
Noncooperative Game Theory . . . . . . . . . . . . . . . . . . . . . . 41
P. Faliszewski, I. Rothe, and J. Rothe

Chapter 3:
Cooperative Game Theory . . . . . . . . . . . . . . . . . . . . . . . 135
E. Elkind and J. Rothe

Chapter 4:
Preference Aggregation by Voting . . . . . . . . . . . . . . . . . . 197
D. Baumeister and J. Rothe

Chapter 5:
The Complexity of Manipulative Actions in Single-Peaked Societies . . 327
E. Hemaspaandra, L.A. Hemaspaandra, and J. Rothe

Chapter 6:
Judgment Aggregation . . . . . . . . . . . . . . . . . . . . . . . . 361
D. Baumeister, G. Erdélyi, and J. Rothe

Chapter 7:
Cake-Cutting: Fair Division of Divisible Goods . . . . . . . . . . . 395
C. Lindner and J. Rothe

Chapter 8:
Fair DivisionofIndivisible Goods . . . . . . . . . . . . . . . . . . 493
J. Lang and J. Rothe

References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 551
List of Figures . . . . . . . . . . . . . . . . . . . . . . . . . . . 581
List of Tables . . . . . . . . . . . . . . . . . . . . . . . . . . . 585
Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 587

Best regards,
Jörg Rothe

**********************************************************
Prof. Dr. Jörg Rothe
Universität Düsseldorf, Institut für Informatik
Department Chair
Universitätsstr. 1, 40225 Düsseldorf, Germany
Phone: +49 211 81 12188, Fax: +49 211 81 11667
rothe@cs.uni-duesseldorf.de
http://ccc.cs.uni-duesseldorf.de/~rothe
**********************************************************

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

Message: 3
Date: Wed, 25 Nov 2015 23:34:52 +0100
From: Guido Schaefer <g.schaefer@cwi.nl>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CALL FOR PARTICIPATION: WINE 2015 - The 11th
Conference on Web and Internet Economics
Message-ID: <C8C82924-2ACB-4279-A1FA-B3905A4AA37A@cwi.nl>
Content-Type: text/plain; charset=us-ascii

FINAL CALL FOR PARTICIPATION

WINE 2015: The 11th Conference on Web and Internet Economics

Centrum Wiskunde & Informatica (CWI), Amsterdam, The Netherlands
December 9-12, 2015, with tutorial program on December 9, 2015
http://event.cwi.nl/wine2015 <http://event.cwi.nl/wine2015>

---------------------------------------------------------------------------------------------------------------------------
Please register here:
http://event.cwi.nl/wine2015/registration <http://event.cwi.nl/wine2015/registration>

The detailed conference program is available here:
http://event.cwi.nl/wine2015/program/ <http://event.cwi.nl/wine2015/program/>
---------------------------------------------------------------------------------------------------------------------------

The scientific program of WINE 2015 will include four invited talks by
- Michal Feldman, Tel-Aviv University, Israel
- Paul Goldberg, University of Oxford, UK
- Ramesh Johari, Stanford University, USA
- Paul Milgrom, Stanford University, USA

The detailed conference program is available here:
http://event.cwi.nl/wine2015/program/ <http://event.cwi.nl/wine2015/program/>

There will be a (non-archival) poster session with lightning talks on December 10, 2015 to give PhD students, postdocs and also researchers who are on the job market the opportunity to present their work to the WINE community.

WINE 2015 will host a tutorial day on December 9, 2015. The tutorials will be given by
- Vincent Conitzer, Duke University, USA
- Tobias Harks, Maastricht University, The Netherlands
- Rahul Savani, University of Liverpool, UK

For more information see:
http://event.cwi.nl/wine2015/tutorials/ <http://event.cwi.nl/wine2015/tutorials/>

Early registration for WINE ends on November 15, 2015.

You can register here:
http://event.cwi.nl/wine2015/registration <http://event.cwi.nl/wine2015/registration>

December is a busy period and hotels in Amsterdam fill up quickly. We recommend that you make your hotel arrangements as soon as possible.

For hotel booking:
http://event.cwi.nl/wine2015/accommodation <http://event.cwi.nl/wine2015/accommodation>

We look forward to seeing you at WINE 2015 in Amsterdam.


k


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

Message: 4
Date: Wed, 25 Nov 2015 13:04:08 -1000
From: Nodari Sitchinava <nodari@hawaii.edu>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] SPAA 2016 - call for papers
Message-ID: <56563E68.6060303@hawaii.edu>
Content-Type: text/plain; charset=utf-8; format=flowed

======================================================
SPAA 2016 Call for Papers
======================================================

28th ACM Symposium on
Parallelism in Algorithms and Architectures (SPAA 2016)
June 27-29, 2016
Asilomar State Beach, California, USA
http://spaa.acm.org

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

Important Dates:

Submission deadlines:
- Regular papers: February 5, 11:59pm HAST
- Brief announcements: February 26, 11:59pm HAST

Rebuttal period: March 22-25
Notification: April 11

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

Submissions are sought in all areas of parallel algorithms and
architectures, broadly construed, including both theoretical and
experimental perspectives. Topics of interest include, but are not
limited to:

- Parallel and Distributed Algorithms
- Parallel and Distributed Data Structures
- Parallel Complexity Theory
- Scheduling in Parallel Systems
- Specification and Verification of Concurrent Systems
- Parallel and Distributed Architectures
- Multiprocessor and Multicore Architectures
- Transactional Memory Hardware and Software
- Instruction Level Parallelism and VLSI
- Compilers and Tools for Concurrent Programming
- Algorithms for GPUs and Other Alternative Parallel Architectures
- High-Performance Parallel Computing and Architectures
- Green & Power-Efficient Algorithms and Architectures
- Algorithms for Social Networks
- Biological Distributed Algorithms
- Network Algorithms
- Algorithms for Routing and Information Dissemination
- Peer-to-Peer Systems
- Mobile, Ad-Hoc, Wireless and Sensor Networks
- Fault-tolerance and Reliability
- Self-stabilization and Self-organization
- Security and Privacy in Distributed and Parallel Systems
- Parallel/Distributed Computational Learning
- Game Theory and Collaborative Learning
- Parallel/Distributed issues in Big Data
- Resource Management and Awareness

Regular papers:

Regular papers should report on original research, submitted exclusively
to this conference. Submissions may not exceed ten (10) single-spaced
double-column pages. (Papers will be judged based on their quality and
not their length---short papers are welcome.) The title page,
bibliography and designated figure pages (containing only figures) are
not counted toward the ten pages. (Illustrative figures are
encouraged.) All necessary details to substantiate the main claims of
the paper should be included in a clearly marked appendix. Regular
papers will be allotted up to 10 pages in the proceedings.

Brief announcements:

SPAA also solicits brief announcements that raise issues of interest to
the SPAA community. Brief announcements may not exceed two pages.
Examples of good brief announcements include: (i) papers previously
published elsewhere of interest to SPAA, (ii) work in progress, (iii)
announcement of tools/libraries, (iv) challenge problems posed to the
community, (v) corrections to earlier results. Brief announcements may
also include smaller results of interest.

Authors may request that a regular paper be considered as a brief
announcement. As far as possible, the program committee will remain
blind to this request until status as a regular paper has been resolved.
Such a request will not affect the chances of the manuscript to be
accepted as a regular paper.

Submission details:

Papers should be submitted in standard ACM format, i.e., 9-point font on
8.5x11 inch pages. For detailed submission instructions and formatting,
please see http://spaa.acm.org.

Awards:

Every regular paper is eligible for the best paper award.


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

Program Committee:

Dan Alistarh (Microsoft Research)
Yossi Azar (Tel Aviv Univ.)
Michael Bender (Stony Brook Univ.)
Costas Busch (Louisiana State Univ.)
Yuval Emek (Technion)
Antonio Fernández Anta (IMDEA)
Jeremy Fineman (Georgetown Univ.)
Phil Gibbons (CMU)
Seth Gilbert (NUS)
Magnús M. Halldórsson (Reykjavík University)
Stephan Holzer (MIT)
Fabian Kuhn (Univ. of Freiburg)
Yossi Lev (Oracle)
Ishai Menache (Microsoft Research)
Ben Mosely (Wash. Univ. in St. Louis)
Calvin Newport (Georgetown Univ.)
Merav Parter (MIT)
Boaz Patt-Shamir (Tel Aviv Univ.)
Seth Pettie (Univ. of Michigan)
Cynthia Phillips (Sandia Natl. Lab.)
Kirk Pruhs (Univ. of Pittsburgh)
Peter Robinson (Queen's Univ. Belfast)
Thomas Sauerwald (Cambridge)
Stefan Schmid (Aalborg Univ.)
Michael Scott (Univ. of Rochester)
Julian Shun (UC Berkeley)
Aravind Srinivasan (Univ. of Maryland)
Maxwell Young (Mississippi State Univ.)


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

Conference Committee:

Program Chair: Seth Gilbert (NUS)
General Chair: Christian Scheideler (Univ. of Paderborn)
Local Arrangements: Bradley Kuszmaul (MIT)
Treasurer: David Bunde (Knox College)
Publicity Chair: Nodari Sitchinava (Univ. of Hawaii, Manoa)
Secretary: Jeremy Fineman (Georgetown Univ.)

--
Nodari Sitchinava
Assistant Professor
Department of ICS
University of Hawaii, Manoa
http://www2.hawaii.edu/~nodari


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

Message: 5
Date: Thu, 26 Nov 2015 09:03:54 +0200
From: "Charalampos Konstantopoulos" <konstant@unipi.gr>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Call for chapters - Springer Volume - "Modelling,
Computing and Data Handling Methodologies for Maritime Transportation"
Message-ID: <005001d12818$9da70570$d8f51050$@unipi.gr>
Content-Type: text/plain; charset="us-ascii"

Call for Volume Chapters in Series

"Advances on Learning, Analytics and Intelligent Computing Systems"

published by Springer

Volume Title:

"Modelling, Computing and Data Handling Methodologies for Maritime
Transportation"

Purpose

Maritime transportation is the major conduit of international trade. In
terms of cost, maritime transport is very competitive against land and
airborne transport, increasing only by a few percent the total product cost.
On the other hand, maritime transportation takes longer or may cause harbor
congestion which further increase the voyage time. Furthermore, there are
difficulties in integrating this transportation mode efficiently with other
transport or distribution options. On top of that, the safety and the
environmental impact of maritime transportation, in particular, in the case
of sea accidents, are always two challenging issues.

As recent advances on maritime transportation require the synergy of both
computer science and maritime science, the main focus in this edited volume
will be upon the latest developments on IT methodologies for maritime
transportation. Computational intelligence, data mining and knowledge
discovery/representation, risk assessment methodologies as well as
combinatorial optimization are the IT fields that have gain importance in
maritime studies because of their potential in giving solutions for
effective sea transportation.

Book chapters on timely topics, state-of-the-art reviews providing a
comprehensive survey and evaluation of a subject area are welcomed for
submission. The main emphasis should be on the presentation of research
aiming for more effective and safer sea transportation, targeting complex
and large-scale optimization problems with conflicting criteria, requiring
innovative solution techniques and ideas from mathematical optimization,
theoretical computer science, massive data analysis and operations research.
Specifically, topics of interest include, but are not limited to:

* Graph and Network algorithms for Maritime Transportation

* Combinatorial optimization techniques for Maritime Transportation

* Environmentally Safe Shipping

* Safety and Security of Maritime Shipping

* GIS in Maritime Applications

* Spatiotemporal and Maritime Data Handling

* Route Planning and Monitoring

* Piracy Protection

* Risk Analysis, Assessment and Prediction

* Maritime Data Mining and Knowledge Discovery Applications: surveillance,
maritime traffic control, anomaly detection, emergency management, situation
recognition, etc.

* Decision Support Tools for Maritime Transportation

* Integration of Heterogeneous Maritime Data Sources

Submission Information

The volume will be published by Springer in Series "Advances on Learning,
Analytics and Intelligent Computing Systems". First a chapter proposal of
1500 words should be sent to Volume Editors for evaluation. Upon proposal
acceptance, the authors will be called to submit the full manuscript before
a certain deadline. Then, the submissions will be double-blind reviewed for
deciding the chapters that will be included in the volume.

Important dates

Submission of chapter proposals: December 11, 2015

Notification for proposal acceptance: January 11, 2016

Submission of full chapters: April 11, 2016

Notification for chapter acceptance: May 31, 2016

Submission of the camera-ready chapters: July 1, 2016

Volume Editors

Dr. Charalampos Konstantopoulos

Department of Informatics

University of Piraeus

Greece

email:konstant@unipi.gr

Prof. Grammati Pantziou

Department of Informatics

Technological Institution of Athens

Greece

email:pantziou@teiath.gr


k


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

Subject: Digest Footer

_______________________________________________
dmanet mailing list
dmanet@zpr.uni-koeln.de
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet


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

End of dmanet Digest, Vol 93, Issue 23
**************************************

Wednesday, November 25, 2015

dmanet Digest, Vol 93, Issue 22

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 positions at Edinburgh in Algorithms, Network data,
Geometry (Rik Sarkar)
2. Postdoc and Ph.D. positions in (algorithmic) graph theory at
Technical University Berlin (Stephan Kreutzer)


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

Message: 1
Date: Tue, 24 Nov 2015 12:16:39 +0000
From: Rik Sarkar <rsarkar@inf.ed.ac.uk>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] PhD positions at Edinburgh in Algorithms, Network
data, Geometry
Message-ID: <A85E7FD6-CB1F-47D0-84B4-7E1651B3D5DC@inf.ed.ac.uk>
Content-Type: text/plain; charset=us-ascii


The University of Edinburgh invites applications for PhD positions. The School of Informatics hosts multiple Centers for Doctoral Training each expecting to admit ~ 10 PhD students.


CDT on Datascience (Theory, ML, Data mining):

http://datascience.inf.ed.ac.uk/apply/

CDT on Parallelism (Theory, Systems, Networks):

http://pervasiveparallelism.inf.ed.ac.uk/

Students interested in Network data mining, Sensor networks, Computational geometry, may want to check the following page:

http://homepages.inf.ed.ac.uk/rsarkar/positions.html

--

Rik Sarkar

Lecturer (Assistant Professor) and
Chancellor's Fellow
School of Informatics
The University of Edinburgh
10 Crichton street, IF 3.45
Edinburgh EH8 9AB
Ph: +44 (0) 131 650 4444
rsarkar@inf.ed.ac.uk
http://homepages.inf.ed.ac.uk/rsarkar/

--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.


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

Message: 2
Date: Tue, 24 Nov 2015 14:48:10 +0100
From: Stephan Kreutzer <stephan.kreutzer@tu-berlin.de>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Postdoc and Ph.D. positions in (algorithmic) graph
theory at Technical University Berlin
Message-ID: <71E8F2E0-D29A-4E38-ADFC-2BA79153E333@tu-berlin.de>
Content-Type: text/plain; charset=utf-8

Fully Funded Post Doc and Ph.D. Positions in Algorithmic Graph Theory and Parameterized Algorithms at Technical University Berlin

We invite applications for a

Post Doctoral Researcher

and up to three

Ph.D. Student Positions

in the area of algorithmic graph theory at the research group "Logic
and Semantics", directed by Prof. Stephan Kreutzer at the Technical
University Berlin. See http://logic.las.tu-berlin.de/Jobs/erc2016.html.

The positions are fully funded by the ERC Consolidator Grant "DISTRUCT
- Structure Theory for Directed Graphs"
(see https://erc.europa.eu/projects-and-results/erc-funded-projects/distruct for project details).

The start date is negotiable, it can be started immediately or at a later date,
preferably no later then 1 July 2016.

Applicants should have a solid background in theoretical
computer science/discrete mathematics and a strong interest in at
least one of the following (or related) topics:
- structural graph theory
- algorithmic graph theory
- parameterized algorithms and complexity
- logical approaches to graph theory

The PI of the project is Prof. Stephan Kreutzer, the head of the Logic
and Semantics Research Group in the Computer Science Department of the
Technical University Berlin.

The main research focus of the group is algorithmic graph structure
theory and research combining logical techniques and graph theory.
Besides the four researchers that will work on the ERC project, the group
consists of three additional Ph.D. students and a postdoc.

Successful candidates will therefore be embedded into a larger group
working on related topics which provides a lively and active
research environment. In addition, the TU Berlin hosts several other groups in related areas, for instance the group of Prof. Niedermeier working mostly on
parameterized algorithms as well as several related groups in the
mathematics department. Furthermore, the research group actively
participates in the Berlin Mathematical School and the Berlin Graduate
School "Methods for Discrete Structures" which add to the lively
research environment at the TU Berlin.

The successful Ph.D. candidates will receive a salary according to
TV-L 13, the standard rate for Ph.D. students at German
universities. The salary of the Post Doc is slightly
higher. Furthermore, the project has sufficient travel money available
to support conference and workshop attendance as well as research
visits to other groups internationally.

The application deadline is 31 December 2016. Late applications might
be considered in exceptional circumstances.

Applications should be submitted electronically to
stephan.kreutzer@tu-berlin.de or in writing to

Stephan Kreutzer
Technische Universität Berlin
Sekr TEL 7-3
Ernst-Reuter-Platz 7
10587 Berlin
Germany


--
Stephan Kreutzer Professor of Computer Science
Chair for Logic and Semantics
Technical University Berlin
Phone: +49 30 314 29088
EMail: stephan.kreutzer@tu-berlin.de
Web: http://logic.las.tu-berlin.de


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

Subject: Digest Footer

_______________________________________________
dmanet mailing list
dmanet@zpr.uni-koeln.de
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet


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

End of dmanet Digest, Vol 93, Issue 22
**************************************

Tuesday, November 24, 2015

dmanet Digest, Vol 93, Issue 21

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. Postdoc at North Carolina State University (Blair Sullivan)
2. ICADIWT 2016 (Sidda Chandrappa)
3. Smart Cities Workshop (Sidda Chandrappa)
4. CFP: 19th IEEE Global Internet Symposium (GI 2016) (Sandra Sendra)
5. Master and Bachelor scholarships - Mathematics and Computer
Science - Lyon Saint-Etienne (Nicolas Trotignon)


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

Message: 1
Date: Mon, 23 Nov 2015 16:32:12 -0500
From: Blair Sullivan <vbsulliv@ncsu.edu>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Postdoc at North Carolina State University
Message-ID:
<CAMANxd6WvzJBx=H+BMpOYgT-nH5-PVKHVe7mG71Ud6vY_dCf7g@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8

The Department of Computer Science at North Carolina State University
invites applications for a Postdoctoral Research Scholar. The researcher
will focus on obtaining results in theoretical computer science and graph
theory relevant to the initiatives engaged by Dr. Blair D. Sullivan's group
(Theory in Practice), currently funded by DARPA and the Moore Foundation.
For more information and current projects, please see
http://www.csc.ncsu.edu/faculty/bdsullivan.

Research areas may include (but are not limited to) fixed-parameter
algorithms, approximation schemes, and applied structural graph theory.
The scholar will help identify and tackle key challenges in improving the
practicality of structural graph approaches and fixed parameter algorithms
for network data analysis. There is no teaching requirement, but by mutual
consent the postdoc may teach a theory-related course in the department
(additional compensation available). This is an excellent opportunity for
a dynamic junior researcher who is interested in
engaging in algorithms research with an interdisciplinary focus.

A PhD in computer science, mathematics, or related field is required before
the starting date of the position. A successful candidate will have
demonstrated expertise in theoretical computer science, experience in at
least one programming language (e.g. C/C++, Python), and excellent writing
and communication skills. Women and members of under-represented minority
groups are particularly encouraged to apply. The position is for a period
of up to two years, with a start date anticipated between May 1 and
September 1, 2016.

Official applications consisting of a CV, research statement, and reference
information must be submitted via:
https://jobs.ncsu.edu/postings/59947. Applications
should be received by January 1, 2016 for full consideration.

Informal inquiries are welcome via email ( blair_sullivan@ncsu.edu) -
please use a subject of "Postdoc Inquiry."


--
Blair D. Sullivan, Ph.D.
Department of Computer Science
North Carolina State University
(919) 513-0453

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

Message: 2
Date: Tue, 24 Nov 2015 08:35:43 +0530
From: Sidda Chandrappa <subscription@dirf.org>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ICADIWT 2016
Message-ID: <6ebf586facf55f6cc04995e861122795@dirf.org>
Content-Type: text/plain; charset=UTF-8; format=flowed


The Seventh International Conference on the Applications of Digital
Information and Web Technologies (ICADIWT 2016)
National Taipei University, Taipei
Taiwan
(March 29-31, 2016)
Proceedings will be published in IOS Press series (Frontiers in
Artificial Intelligence and Applications (FAIA)

The Seventh International Conference on the Applications of Digital
Information and Web Technologies (ICADIWT 2016) is a forum for
scientists, engineers, and practitioners to present their latest
research results, ideas, developments and applications in the areas of
Computer Communications, Communication networks, Communication Software
Communication Technologies and Applications, and other related themes.

This conference (ICADIWT Edition VI) will include presentations of
contributed papers and state-of-the-art lectures by invited keynote
speakers.

This conference welcomes papers address on, but not limited to, the
following research topics:

Internet Communication
Internet Technologies
Web Applications
Internet Software
Data Access and Transmission
Digital Communication Software
Digital Networks
Web Communication Interfaces
Internet Content Processing
Internet of Things
Internet of Everything
Data Communication
Databases and applications
Web Systems Engineering Design
Intelligent Agent systems
Semantic Web Studies
Adaptive Web applications and personalization
Navigation and hypermedia
Digital signal processing
Communication and control systems and networks
Hardware and software solutions
Innovative eHealth, Applications and Products
Medical Image Analysis and Biomedical Visualization
Computer-Aided Diagnosis
Telemedicine, Telehealth and Remote Monitoring
Human factor
Software reliability
Computational Intelligence
Data mining and Knowledge discovery
Education, e-learning

Proceedings:

The accepted full papers will be published in the IOS series (Frontiers
in Artificial Intelligence and Applications (FAIA))and submitted for
inclusion in many indexes. Accepted full papers will be submitted for
indexing to multiple abstract and indexing partners. The papers will be
indexed in many databases as given at
http://www.frontiersinai.com/?q=indexing (papers in EI will be indexed
as Journal Article)


All the accepted papers will be published in Scopus and or SCI indexed
journals

Journal of Computer and System Sciences/ (ISI/Scopus)
Journal of Digital Information Management (Scopus/EI)
International Journal of Computational Science and Engineering (Scopus
and EI Indexed)
Decision Analytics
International Journal of Big Data Intelligence
International Journal of Applied Decision Sciences (Scopus/EI)
International Journal of Management and Decision Making (Scopus/EI)
International Journal of Strategic Decision Sciences
International Journal of Enterprise Information Systems (Scopus/EI)
Important Dates

Submission of papers January 01, 2016
Camera ready February 28, 2016
Registration February 28, 2016
Conference Dates March 29-31, 2016

Honorary Chair
Dalton Lin, National Taipei University, Taiwan
Jang-Ping Sheu, National Tsing Hua University, Taiwan
Vincenzo Piuri, Università degli Studi di Milano, Italy

General Chairs
Yao-Liang Chung, National Taipei University, Taiwan
Jolanta Mizera-Pietraszko, Opole University, Poland

General Co-Chair
Tong-Ying Juang, National Taipei University, Taiwan

Advisory Chair
Rong-Lin Shen, National Taipei University, Taiwan
Nen-Fu Huang, National Tsing Hua University, Taiwan
Tsern-Huei Lee, National Chiao Tung University, Taiwan

Program Chairs
Simon Fong, University of Macau, Macau
Jung-Shyr Wu, National Central University, Taiwan
Tsung-Nan Lin, National Taiwan University, Taiwan

Program Co-Chairs
Adrian Florea, University "Lucian Blaga" of Sibiu, Romania
Chih-Lin Hu, National Central University, Taiwan

submissions at http://www.socio.org.uk/icadiwt/paper-submission/
Email: icadiwt@socio.org.uk
----------------------------------------------------


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

Message: 3
Date: Tue, 24 Nov 2015 11:03:07 +0530
From: Sidda Chandrappa <subscription@dirf.org>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Smart Cities Workshop
Message-ID:
<20151124110307.Horde.DrCNzEQOftlNoyoOXutwYY3@webmail.icdim.org>
Content-Type: text/plain; charset=utf-8; format=flowed; DelSp=Yes


Call for Papers

First Young Researchers Workshop on "Smart Cities for Sustainable Development"
Hong Kong Shue Yan University
Hong Kong
22 January 2016

http://www.hksyu.edu/srerc/en/news_detail.php?id=21


First Young Researchers Workshop on "Smart Cities for Sustainable
Development" will be held on 22 January 2016.

Increasing population and density have been generating many issues in
cities across countries. The proper managerial planning is required to
ensure well directed growth. Not only perfect infrastructure is
warranted, but a good planning for the growth is important. Billions
of people have been migrating towards cities in many countries which
leads to the growth of urban population. World bank predicts
voluminous rise in 2050 with is expected to be 75%.

The question is the understanding of how sustainable cities should
grow. Real time data observation and collection with analysis would
lead to produce new design and planning. Young researchers have
potential for such comprehensive real time data gathering and
analysis. This workshop is primarily intended to encourage young
researchers to collect live data across cities which can enable to
form smart cities for the near future.

The themes include but not necessarily limited to-

Modern infrastructure for cities(roads, power plants, water treatment
plants, sewage systems, transit systems)
Energy Efficiency including non-conventional energy management
Green Environment including E-Waste Management, Hospital Management etc
Smart Grid
E-Governance
Electro-mobility
Smart cities and market place
Digital Technologies for standard living
Energy Networks
City Science
Mobility Networks
Smart Governance

Students and young researches are encourage to send the submissions by
email to pichappan@dirf.org
Students will be provided with free registration
Budget accommodation is available for students
Other authors need to pay a registration fee of $ 400

Chair

Pit Pichappan, Digital Information Research Lab, India and UK

Co-Chairs

Simon Fong, University of Macau, Macau
Luiz Moutinho, University of Glasgow, Scotland

Important Dates

Paper Submission: December 15, 2015
Notification: December 25, 2015
Camera Ready: January 10, 2016
Workshop Date: January 22, 2016
Journal Revised version: February 25, 2016

Journal Publication

Extended versions of the papers will be considered for journal
publications. The journal list will be updated shortly. For template
please see- http://www.dline.info/new/node/5#overlay-context=

1. International Journal of Sustainable Real Estate and Construction Economics

2. Int. J. of Data Analysis Techniques and Strategies Special Issue
on: "Big Data Analysis in the Real Estate, Construction and Business
Sectors"

3. International Journal of Web Applications

4. Journal of Intelligent Computing

5. International Journal of Management and Decision Making

6. International Journal of Strategic Decision Sciences

7 . International Journal of Enterprise Information Systems

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

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

Message: 4
Date: Tue, 24 Nov 2015 10:28:30 +0100
From: Sandra Sendra<sandra.sendra.upv@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CFP: 19th IEEE Global Internet Symposium (GI 2016)
Message-ID: <201511240928.tAO9SUDT009468@smtp.upv.es>
Content-Type: text/plain; charset=us-ascii


########################################################################

CALL FOR PAPERs


19th IEEE Global Internet Symposium (GI 2016)
In conjunction with IEEE INFOCOM 2016
San Francisco, CA, USA
April 10-15, 2016

http://www.cs.helsinki.fi/group/eit-sdn/gi2016/

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


The Global Internet (GI) Symposium is the flagship event established and
organized by the Internet Technical Committee (ITC), a joint committee of
the IEEE Communications Society (ComSoc) and the Internet Society (ISOC).
The 19th IEEE Global Internet Symposium will be collocated with IEEE Infocom
2016. All relevant dates, location, and travel information are available
from the IEEE Infocom 2016 conference site:http://infocom2016.ieee-infocom.org/
The IEEE Global Internet Symposium aims to provide a top forum for researchers
and practitioners to present and discuss advances in Internet related
technologies. The focus of the symposium is on experimental systems and emerging
future Internet technologies, and especially on scaling such systems to a global
scale. Research on understanding Internet protocols, services, and applications
at global scale is also encouraged. The Program Committee also welcomes position
papers (which should be clearly marked as such).


The topics of interest include, but are not limited to the following:

Routing, switching, and addressing
Resource management and quality of service
Software defined networks and network programming
Content delivery and management
Energy awareness
Next generation network architectures
Distributed Internet applications including games, VoIP, and video conferencing
Online social networking
Peer To Peer networks
Novel applications and new paradigms
Internet measurement, modeling, and visualization
Large scale network operation and performance monitoring
Privacy and/or security issues on the Internet
Anomaly, intrusion and attack detection
Interface among networking, communications and information theory
Applications of network science in communication networks
Economic aspects of the Internet

Important Dates:

Paper submission: 22nd December 2015, 11:59 PM PST
Notification of acceptance: 8th February 2016
Final manuscripts due: TBA.
Symposium: TBA (around April 10-15, 2016)

Submission Instructions:

Submitted manuscripts must be formatted in standard IEEE camera ready format
(doublecolumn,10pt font) and must be submitted via EDAS as PDF files (link
https://edas.info/index.php?c=21740). The manuscripts must be no longer than
6 pages. The Program Committee reserves the right to not review papers that
violate these formatting rules. Submitted papers must not have been previously
published, or be under consideration for publication elsewhere. All submitted
papers will be reviewed and judged on originality, technical correctness,
relevance, and quality of presentation. All accepted papers must be presented
at the symposium by one of the authors.


Program Committee Chairs:

Stefan Schmid (T-Labs & TU Berlin, Germany)
Sasu Tarkoma (University of Helsinki, Finland)


Technical Program Committee:

Fred Baker (Cisco Systems, USA)
Anat Bremler-Barr (IDC Herzliya, Israel)
Ruben Cuevas Rumin (Universidad Carlos III de Madrid, Spain)
Anja Feldmann (TU Berlin, Germany)
Giancarlo Fortino (University of Calabria, Italy)
Toru Hasegawa (Osaka University, Japan)
James Kempf (Ericsson, USA)
Kirill Kogan (IMDEA Networks Institute, Spain)
Jaime Lloret Mauri (Polytechnic University of Valencia, Spain)
Olaf Maennel (Tallinn University of Technology, Estonia)
David Malone (Hamilton Institute, Ireland)
Martin May (Technicolor, France)
J�rg Ott (TU Munich, Germany)
Colin Perkins (University of Glasgow, UK)
George C. Polyzos (AUEB, Greece)
Radia Perlman (EMC Corporation, USA)
Ioannis Psaras (University College London, UK)
Chen Qian (University of Kentucky, USA)
Peter Reiher (UCLA, USA)
Henning Schulzrinne (Columbia University, USA)
Hiroshi Shigeno (Keio University, Japan)
Michael Sirivianos (Cyprus University of Technology, Cyprus)
Rade Stanojevic (Telefonica Research, Spain)
Dan Wang (The Hong Kong Polytechnic University, Hong Kong)
Gang Zhou (College of William and Mary, USA)

########################################################################


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

Message: 5
Date: Tue, 24 Nov 2015 11:29:51 +0100
From: Nicolas Trotignon <nicolas.trotignon@ens-lyon.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Master and Bachelor scholarships - Mathematics and
Computer Science - Lyon Saint-Etienne
Message-ID: <82522B11-CBA6-4CB3-ADA9-58BBAEC82C28@ens-lyon.fr>
Content-Type: text/plain; charset=utf-8

The Excellence Laboratory Milyon is a "Future Investments Program" in the Lyon—Saint-Étienne area. Milyon federates 350 researchers from three research units in Mathematics and Fundamental Computer Science: Institut Camille Jordan, Laboratoire de l'Informatique du Parallélisme, Unité de Mathématiques Pures et Appliquées.

Milyon fosters interdisciplinary research. It also stimulates interactions between Mathematics and Computer Science and between the researchers from the three research units in three main directions:
• research
• support to innovative training programs
• dissemination of scientific culture.

Milyon offers scholarships for Master and 3rd year Bachelor students. Of 1,000 euros net/month/10 months, the scholarships are intended to students with outstanding academic records willing to enroll in the research programs in Mathematics and Computer Science supported by Milyon.

The 2016 call for applications is open
Application on line only, see below
Deadline for applications: January 11th, 2016
Results will be communicated around February 15th, 2016

Useful links (in particular, links to the application online in the Call for application).

Milyon's scholarships program <http://milyon.universite-lyon.fr/scholarships/>
Programs eligible for Milyon scholarships <http://milyon.universite-lyon.fr/programs/>
Call for applications <http://milyon.universite-lyon.fr/wp-content/uploads/2015/11/Milyon_scholarships_2016.pdf>
Milyon's website <http://milyon.universite-lyon.fr/>

___________________________________________

Le Laboratoire d'Excellence Milyon est un « Programme d'investissements d'avenir » du site Lyon—Saint-Étienne. Milyon fédère 350 chercheurs de trois laboratoires de recherche en mathématiques et informatiques fondamentale : l'Institut Camille Jordan, le Laboratoire de l'Informatique du Parallélisme, l'Unité de Mathématiques Pures et Appliquées.

Milyon favorise la recherche interdisciplinaire, ainsi que les interactions entre mathématiques et informatique selon trois axes :
• recherche
• soutien aux cursus innovants d'enseignement et initiation à la recherche
• dissémination de la culture scientifique.


Milyon offre, à des étudiants ayant obtenus de très bons résultats académiques et souhaitant suivre un parcours de recherche en mathématiques ou informatique sur le site Lyon—Saint-Étienne, des bourses d'excellence. Ces bourses sont d'un montant de 1 000 euros net/mois/10 mois.

L'appel à candidatures 2016 est ouvert
Candidature en ligne seulement, voire ci-dessous
Date-limite: 11 janvier 2016
Communication des résultats : autour du 15 février 2016

Liens utiles (en particulier, la procédure de candidature en ligne accessible depuis le "call for applications").

Milyon's scholarships program <http://milyon.universite-lyon.fr/scholarships/>
Programs eligible for Milyon scholarships <http://milyon.universite-lyon.fr/programs/>
Call for applications <http://milyon.universite-lyon.fr/wp-content/uploads/2015/11/Milyon_scholarships_2016.pdf>
Milyon's website <http://milyon.universite-lyon.fr/>
———————————————————————————————

______________________________
Nicolas Trotignon
http://perso.ens-lyon.fr/nicolas.trotignon/
______________________________
CNRS, LIP, Équipe MC2
École Normale Supérieure de Lyon
Département d'informatique
Tél : (+33 | 0) 4 72 72 85 48


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

Subject: Digest Footer

_______________________________________________
dmanet mailing list
dmanet@zpr.uni-koeln.de
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet


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

End of dmanet Digest, Vol 93, Issue 21
**************************************

Monday, November 23, 2015

dmanet Digest, Vol 93, Issue 20

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. Chair in Discrete Mathematics at Queen Mary, University of
London (M Jerrum)
2. Postdoc position in probability at the University of Bath, UK
(Alexandre Stauffer)
3. Simons-Berkeley Research Fellowships 2016-17 (Alistair Sinclair)
4. CCA 2016 (Computability and Complexity in Analysis) First
call for papers (Akitoshi Kawamura)
5. Postdoc in Algorithms/Randomness/Complexity at Georgia Tech
(Dana Randall)
6. CiE 2016: Pursuit of the Universal - 2nd CfP - Paris,
27/6-1/7/2016 (CiE Conference Series)


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

Message: 1
Date: Fri, 20 Nov 2015 17:48:08 +0000
From: M Jerrum <m.jerrum@qmul.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Chair in Discrete Mathematics at Queen Mary,
University of London
Message-ID: <D3B2A73A-4629-44C7-AC15-D71618DF5E77@qmul.ac.uk>
Content-Type: text/plain; charset="us-ascii"


The School of Mathematical Sciences at Queen Mary, University of London is
advertising a Chair in Discrete Mathematics:

https://webapps2.is.qmul.ac.uk/jobs/job.action?jobRef=QMUL7393

"We are seeking to appoint an outstanding candidate in an applied area
of Discrete Mathematics such as Combinatorial Optimization, Network Algorithms
and Design, Discrete and Computational Geometry, or the applications
of Discrete Mathematics in Operational Research. The successful applicant will
have an outstanding international profile and a world-leading research record
together with a track record of applying rigorous research methods to address
real-world problems. They will have a record of excellence in leadership including
a demonstrable ability to attract funding to their research programme, and be able
to lead a research group or develop one within the School. They will also have
the ability and flexibility to teach across a range of topics in mathematics
at various levels. Applicants whose work has had a significant impact outside
of the university environment are particularly encouraged to apply."

The deadline for applications is 1 February, and interviews are expected
to be held on 8 March.


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

Message: 2
Date: Sat, 21 Nov 2015 08:58:18 +0800
From: Alexandre Stauffer <a.stauffer@bath.ac.uk>
To: dmanet <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Postdoc position in probability at the University of
Bath, UK
Message-ID:
<CAHNRXckYD01h9wn2k=YRz0bXzKK5pfacUoU9n-1zWQ0TMfPuWA@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8

Postdoc in probability at the University of Bath, UK

A postdoc (research associate) position is available in the area of
probability starting from 1st October 2016, or a date to be agreed.
The position will be available for up to 3 years.

The position is funded by the EPSRC fellowship "Mathematical analysis
of strongly correlated processes on discrete dynamic structures" of
Dr. Alexandre Stauffer.
The area of research will be centered on the mathematical analysis of
random large-scale interacting systems, such as interacting particle
systems, random walks and other stochastic processes in random or
dynamic environments, percolation, spin systems, and dynamically
evolving graphs.

The ideal candidate is expected to have a strong background in
probability theory, and have a PhD in mathematics, theoretical
computer science or related areas.

The successful applicant will be associated with the probability
laboratory (Prob-L@B) of the Department of Mathematical Sciences at
the University of Bath. Prob-L@B is one of the world's most vibrant
probability groups, with eight permanent members, a large cohort of
PhD students and postdocs, and a large number of different research
activities and international visitors.

Applications made to the on-line system should include:
* an updated curriculum vitae,
* the names and contact details of three academic referees,
* a one-page research statement describing your research interests,
your experience in the area of the position and your career
aspirations.


Deadline for applications: 20th January 2016.
To apply, go to http://www.bath.ac.uk/jobs/Vacancy.aspx?ref=FY3536
Interview of short-listed applicants is expected to take place in the
week of 15th February 2016.


For informal enquiries please contact Dr. Alexandre Stauffer
(a.stauffer@bath.ac.uk).
For more information visit the website of Dr. Alexandre Stauffer
(http://people.bath.ac.uk/ados20/) and Prob-L@B
(http://www.bath.ac.uk/research/centres/probability-laboratory/).

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

Message: 3
Date: Sat, 21 Nov 2015 21:11:22 -0800
From: Alistair Sinclair <sinclair@berkeley.edu>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Simons-Berkeley Research Fellowships 2016-17
Message-ID: <E4BC1802-D8AA-4F57-AF85-C6D2394E2F48@berkeley.edu>
Content-Type: text/plain; charset=us-ascii

This is a re-posting of an earlier announcement. Please note that the deadline for applications is 15 December.
______________________________

The Simons Institute for the Theory of Computing at UC Berkeley invites applications for Research Fellowships for academic year 2016-17.

Simons-Berkeley Research Fellowships are an opportunity for outstanding junior scientists (at most 6 years from PhD by Fall 2016) to spend one or both semesters at the Institute in connection with one or more of its programs. The programs for 2016-17 are as follows:

* Algorithms and Uncertainty (Fall 2016)
* Logical Structures in Computation (Fall 2016)
* Foundations of Machine Learning (Spring 2017)
* Pseudorandomness (Spring 2017)

Applicants who already hold junior faculty or postdoctoral positions are welcome to apply. In particular, applicants who hold, or expect to hold, postdoctoral appointments at other institutions are encouraged to apply to spend one semester as a Simons-Berkeley Fellow subject to the approval of the postdoctoral institution.

Further details and application instructions can be found at http://simons.berkeley.edu/fellows2016. Information about the Institute and the above programs can be found at http://simons.berkeley.edu.

Deadline for applications: 15 December, 2015.

Alistair Sinclair
Associate Director, Simons Institute for the Theory of Computing


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

Message: 4
Date: Mon, 23 Nov 2015 08:21:57 +0900
From: Akitoshi Kawamura <kawamura@graco.c.u-tokyo.ac.jp>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] CCA 2016 (Computability and Complexity in Analysis)
First call for papers
Message-ID: <56524E15.4000608@graco.c.u-tokyo.ac.jp>
Content-Type: text/plain; charset=UTF-8

______________________________________________________________

First Call for Papers
Thirteenth International Conference on

Computability and Complexity in Analysis (CCA 2016)
http://cca-net.de/cca2016/

June 15-17, 2016, Faro, Portugal

Submission deadline: March 14, 2016
______________________________________________________________


Scientific Programme Committee

* Matthew de Brecht (Osaka, Japan)
* Fernando Ferreira (Lisbon, Portugal)
* Sicun Gao (Cambridge, USA)
* Mathieu Hoyrup (Nancy, France)
* Akitoshi Kawamura, chair (Tokyo, Japan)
* Bob Lubarsky (Boca Raton, USA)
* Elvira Mayordomo (Zaragoza, Spain)
* Robert Rettinger (Dortmund, Germany)
* Ning Zhong (Cincinnati, USA)


Organising Committee

* Daniel Graça, chair (Faro, Portugal)
* Rui Marreiros (Faro, Portugal)


Topics

* Computable analysis
* Complexity on real numbers
* Constructive analysis
* Domain theory and analysis
* Theory of representations
* Computable numbers, subsets and functions
* Randomness and computable measure theory
* Models of computability on real numbers
* Realizability theory and analysis
* Reverse analysis
* Real number algorithms
* Implementation of exact real number arithmetic


Submissions

Authors are invited to submit 1-2 pages abstracts in PDF format,
including references via the following web page:

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

If full versions of papers are already available as technical report
or arXiv version, then corresponding links should be added to the
reference list. Final versions of abstracts might be distributed to
participants in hardcopy and/or in electronic form.


Dates

* Submission deadline: March 14, 2016
* Notification of authors: April 16, 2016
* Final version: April 30, 2016


Conference Web Page

http://cca-net.de/cca2016/

______________________________________________________________

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

Message: 5
Date: Mon, 23 Nov 2015 09:35:40 -0500
From: Dana Randall <randall@cc.gatech.edu>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Postdoc in Algorithms/Randomness/Complexity at
Georgia Tech
Message-ID: <6FF27CE2-C325-4793-ACAA-250ED7FC7A8A@cc.gatech.edu>
Content-Type: text/plain; charset=us-ascii

The Algorithms and Randomness Center (ARC) at Georgia Tech http://www.arc.gatech.edu/ is seeking a postdoctoral fellow to participate in research investigations. Candidates with a PhD in Computer Science, Mathematics, Operations Research or a related field are encouraged to apply. The selected candidate will have the opportunity to work on any aspect of algorithms and complexity, broadly interpreted, and collaborate with ARC faculty. The position is for up to two years, with a start date between July 1 and September 1, 2016. There is no teaching requirement, but the postdoc is encouraged to lead a research seminar.

Interested candidates should send a CV, research statement, and request 3 letters of recommendation to be sent to arc-postdoc@cc.gatech.edu. Applications should be received by December 10, 2015 for full consideration.

Please contact Dani Denton (arc-postdoc@cc.gatech.edu) for any further information.


=======================
Dana Randall
Director, Algorithms and Randomness Center
Georgia Institute of Technology
Atlanta, GA 30332-0765
randall@cc.gatech.edu
http://www.math.gatech.edu/~randall
=======================


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

Message: 6
Date: Mon, 23 Nov 2015 17:42:14 +0000 (GMT)
From: CiE Conference Series <cie.conference.series@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CiE 2016: Pursuit of the Universal - 2nd CfP -
Paris, 27/6-1/7/2016
Message-ID: <alpine.LNX.2.00.1511231732130.3717@csltab3.site>
Content-Type: TEXT/PLAIN; format=flowed; charset=UTF-8

2nd CALL FOR PAPERS:

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

IMPORTANT DATES:

Submission deadline for LNCS: December 15, 2015
Notification of authors: March 3, 2016
Deadline for final revisions: March 31, 2016


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

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:

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, Stanislas Speranski)

Contributed papers will be selected from submissions received by the
PROGRAM COMMITTEE consisting of:

Marcella Anselmo (Università di Salerno)
Nathalie Aubrun (Ecole Normale Supérieure de Lyon)
Georgios Barmpalias (Chinese Academy of Sciences)
Marie-Pierre Beal (Université Paris-Est Marne-la-Vallée)
Arnold Beckmann (Swansea University)
Laurent Bienvenu (Université Paris 7), PC co-chair
Paola Bonizzoni (Università di Milano-Bicocca)
Alessandra Carbone (Université Pierre et Marie Curie)
Douglas Cenzer (University of Florida)
Liesbeth De-Mol (Université Lille 3)
David Doty (University of California Davis)
Jérôme Durand-Lose (Université d'Orléans)
Volker Diekert (Universität Stuttgart)
Martin Escardo (University of Birmingham)
François Fages (INRIA Paris-Rocquencourt)
Enrico Formenti (Université de Nice-Sophia Antipolis)
Daniela Genova (University of North Florida)
Noam Greenberg (Victoria University of Wellington)
Valentina Harizanov, (George Washington University)
Hajime Ishihara (Japan Advanced Institute of Science and Technology)
Natasha Jonoska (University of South Florida), PC co-chair
Jarkko Kari (University of Turku)
Lila Kari (University of Western Ontario)
Margarita Korovina (University of Manchester)
Marta Kwiatkowska (University of Oxford)
Karen Lange (Wellesley College)
Benedikt Löwe (Universiteit van Amsterdam)
Florin Manea (Kiel University)
Paulin de Naurois (Université Paris 13)
Keng Meng Selwyn Ng (Nanyang Technological University)
Arno Pauly (University of Cambridge)
Mario Perez-Jimenez (Universidad de Sevilla)
Ion Petre (Åbo Akademi University)
Mehrnoosh Sadrzadeh (Queen Mary University of London)
Alexis Saurin (Université Paris 7)
Shinnosuke Seki (The University of Electro-Communications Tokyo)
Paul Shafer (Ghent University)
Alexander Shen (Université Montpellier 3)
Alexandra Soskova (Sofia University)
Mariya Soskova (Sofia University)


The PROGRAMME COMMITTEE cordially invites all researchers (European and
non-European) to submit their papers in all areas related to computability for
presentation at the conference and inclusion in the proceedings at
https://www.easychair.org/conferences/?conf=cie2016

Papers must be submitted in PDF format, using the LNCS style (available at
ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip) and should have
a maximum of 10 pages, including references but excluding a possible appendix
in which one can include proofs and other additional material.

Papers that build bridges between different parts of the research community
are particularly welcome.

The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.

___________________________________

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


--0-805191233-1448300534=:3717--


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

Subject: Digest Footer

_______________________________________________
dmanet mailing list
dmanet@zpr.uni-koeln.de
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet


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

End of dmanet Digest, Vol 93, Issue 20
**************************************