Theory Announcements

Wednesday, April 27, 2016

[DMANET] CFP Workshop PADABS 2016 - EuroPar'16 - Final Remainder

Call for Papers: PADAB 2016
4th Workshop on Parallel and Distributed Agent-Based Simulations
http://www.padabs.org <http://www.padabs.org./>
August 22nd or 23th, 2016, Grenoble (France), jointly with Euro-Par
2016, August
22-26th,
https://europar2016.inria.fr

Important Dates
============
- Workshop papers due: May 6, 2016
- Workshop author notification: June 17, 2016
- Workshop: August 22/23, 2016
- Workshop camera-ready papers due: October 3, 2016

Organizers
=========
- Vittorio Scarano (Universita' degli Studi di Salerno, Italy), chair
- Gennaro Cordasco (Seconda Universita' di Napoli, Italy)
- Paul Richmond (University of Sheffield, UK)
- Carmine Spagnuolo (Universita' degli Studi di Salerno, Italy)

Program Committee (tentative)
========================
- Maria Chli (Aston University, United Kingdom)
- Claudio Cioffi-Revilla (George Mason University, USA)
- Biagio Cosenza (TU Berlin, Germany)
- Nick Collier (Argonne National Laboratory, USA)
- Rosaria Conte (CNR, Italy)
- Andrew Evans, (University of Leeds, United Kingdom)
- Bernardino Frola (The MathWorks, Cambridge, UK)
- Joanna Kolodziej (Cracow University of Technology and AGH University of
Science and Technology, Cracow, Poland)
- Nicola Lettieri (Universita' del Sannio e ISFOL, Italy)
- Sean Luke (George Mason University, USA)
- Michael North (Argonne National Laboratory, USA)
- Mario Paolucci (CNR, Italy)
- Paul Richmond (The University of Sheffield, United Kingdom)
- Arnold Rosenberg (Northeastern University, USA)
- Flaminio Squazzoni (University of Brescia, Italy)
- Michela Taufer (University of Delaware, USA)

Objectives of the Workshop
=====================
Agent-Based Simulation Models are an increasingly popular tool for research
and
management in many fields such as ecology, economics, sociology, etc..
In some fields, such as social sciences, these models are seen as a
key instrument to the generative approach, essential for understanding
complex social
phenomena.
But also in policy-making, biology, military simulations, control of
mobile robots and economics, the relevance and effectiveness of Agent-Based
Simulation Models is recently recognized.
Computer science community has responded to the need for platforms
that can help the development and testing of new models in each specific
field by
providing tools, libraries and frameworks that speed up and make massive
simulations possible.The key objective of this Third Workshop on
Parallel and Distributed
Agent-Based Simulations is to bring together the researchers that are
interested
in getting more performances from their simulations, by using synchronized,
many-core
simulations (e.g., GPUs), strongly coupled, parallel simulations (e.g. MPI)
and
loosely coupled, distributed simulations (distributed heterogeneous
setting).
Several frameworks have been recently developed and are active in this
field.
They range from the GPU-Manycore approach, to Parallel, to Distributed
simulation environments. In the first category, you can find FLAME GPU, that
allows also non GPU specialists to harness the GPUs performance for real
time simulation and visualization. For tightly-coupled, large computing
clusters and supercomputers
a very popular framework is Repast for High Performance Computing
(REPAST-HPC),
a C++ based modeling system. On the distributed side, recent work on
Distributed Mason, allows non specialists to use heterogeneous hardware and
software in local area networks for enlarging the size and speeding up the
simulation of complex Agent-Based models.

Topics of interest
=============
- Frameworks for parallel/distributed ABSs.
- Case studies of ABSs in parallel/distributed settings, with an emphasis
on the technical implementation, architectural choices and their impact on
performances.
- Benchmark parallel/distributed ABSs.
- Open benchmark models contributing towards OpenAB initiative (
www.openab.org).
- Debugging parallel/distributed ABSs.
- Formal methods and algorithms for ABSs in parallel/distributed models.
- Load Balancing algorithms, techniques and frameworks.
- Management and deployment of parallel/distributed ABSs.
- Visualization of parallel/distributed ABSs.

Paper submission
==============
The papers will be presented in the regular format (10 pages LNCS format)
and will be reviewed, anonymously by at least 3 reviewers of the Program
Committee.
Acceptance will depend upon scientific value, originality and relevance to
the Workshop theme. Euro-Par Workshops Proceedings will be published by
Springer in the Lecture
Notes for Computer Science series after the Workshops. Submissions and
reviewing will be through EasyChair via https://europar2016.inria.fr.

Workshop Co-Chairs
===============
- Vittorio Scarano: vitsca@dia.unisa.it
- Gennaro Cordasco: gennaro.cordasco@unina2.it
- Paul Richmond: p.richmond@sheffield.ac.uk
- Carmine Spagnuolo: cspagnuolo@unisa.it

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

[DMANET] 2-year PostDoc or 3-year PhD position at the University of Innsbruck

2-year PostDoc or 3-year PhD position at the University of Innsbruck
======================================================================

Within the research unit Computation with Bounded Resources at the
University of Innsbruck, Austria there is an opening for a 2 year
position as postdoctoral researcher or a 3 year position as PhD
student. The position is funded by the ANR-FWF project "The fine
structure of proof systems and their computational interpretations"
(FISP for short). The research unit is part of the Computational
Logic Group of the Department of Computer Science.

The objective of FISP is to apply the powerful and promising
techniques from structural proof theory to central problems in
computer science for which they have not been used before, especially
the understanding of the computational content of proofs, the
extraction of programs from proofs and the logical control of refined
computational operations. Its primary objective is to build new
concrete computational interpretations of proof systems based on the
techniques developed in the STRUCTURAL project (2011-2013).

A strong background in the themes of the FISP project is an asset.
Candidates with a strong theoretical background in related areas are
also encouraged to apply. Candidates for the postdoc position are
required to hold a PhD degree; candidates for the PhD position must
have a Master's or equivalent degree.

Candidates are expected to contribute to research within the project.
Knowledge of German is not required. The annual gross salary is
approximately EUR 50.200 for the postdoc position and EUR 28.600 for
the PhD position.

Applications (including CV, publication list, and two references) may
be sent by email, to the research unit leader Georg Moser at

georg.moser@uibk.ac.at

no later than May 31, 2016. Informal inquiries are also welcome at the
same email address.

The city of Innsbruck is superbly located in the beautiful
surroundings of the Tyrolean Alps. The combination of the Alpine
environment and urban life in this historic town provides a high
quality of living.

Further information is available from the following links:

*) Project FISP:

http://cl-informatik.uibk.ac.at/research/projects/the-fine-structure-of-formal-proof-systems-and-the/
*) Computation with Bounded Resources Research Unit
http://cbr.uibk.ac.at/
*) Computational Logic Group
http://cl-informatik.uibk.ac.at/
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] WG 2016 - Call for participation

WG 2016: CALL FOR PARTICIPATION

42nd International Workshop on Graph-Theoretic Concepts in Computer Science
June 22-24, Istanbul, Turkey

http://www.ie.boun.edu.tr/~wg2016/

*Early Registration Deadline: May 24, 2016*

The WG 2016 conference is the 42nd edition of the WG series. It will
take place on the campus of Bogazici University in Istanbul, Turkey. The
conference will be from Wednesday June 22 to Friday June 24, 2016.
Participants expected to arrive in Istanbul by Tuesday June 21, where we
will have a welcome reception in the evening.

Registration is now open, and accommodation information is available on
the web page of the conference. A list of accepted papers also appears
on the web page.

Hope to see many of you in Istanbul,
Pinar Heggernes

[DMANET] new deadline computational optimization

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

Call for Papers

9th International Workshop on Computational Optimization (WCO 2016)
Gdansk, Poland, September 11 - 14, 2016)

organized in the framework of FEDERATED CONFERENCE ON COMPUTER SCIENCE
AND INFORMATION SYSTEMS
FedCSIS - 2016

http://www.fedcsis.org/

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

We invite original contributions related with both theoretical and
practical aspects of optimization methods.
The list of topics includes, but is not limited to:

* unconstrained and constrained optimization
* combinatorial optimization
* continues optimization
* global optimization
* multiobjective optimization
* optimization in dynamic and/or noisy environments
* large scale optimization
* parallel and distributed approaches in optimization
* random search algorithms, simulated annealing, tabu search and other
derivative free optimization methods
* nature inspired optimization methods (evolutionary algorithms, ant
colony optimization, particle swarm optimization, immune artificial
systems etc)
* hybrid optimization algorithms involving natural computing
techniques and other global and local optimization methods
*computational biology and optimization
* distance geometry and applications
* optimization methods for learning processes and data mining
* application of optimization methods on real life and industrial problems
* computational optimization methods in statistics, econometrics,
finance, physics, chemistry, biology, medicine, engineering etc.

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

Important dates:

09.05.2016 (May 09, 2016) – Full paper submission

30.05.2016 (May 30, 2016) - Position paper submission

13.06.2016 (June 13, 2016) – Notification of acceptance

04.07.2016 (July 04, 2016) – Camera-ready version of the accepted paper

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

Submission and Publication

* Authors should submit draft papers as PDF.
* The total length of a paper should not exceed 10 pages for full
paper and 4 pages for short papers (IEEE style). IEEE style templates
are available at http://www.fedcsis.org/.
* Papers will be refereed and accepted on the basis of their
scientific merit and relevance to the workshop.
* Accepted and Presented paper will be published in the Conference
Proceedings and included in the IEEE Xplore database (pending) and
indexed in the DBLP.
* Extended versions of selected papers presented during the conference
will be published as Special Issue(s) of Springer Studies of
Computational Intelligence.
====================

If you have any question do not hesitate to send a mail to wco2016@fedcsis.org .

Organizing Committee

Stefka Fidanova, Bulgarian Academy of Science, Bulgaria
Daniela Zaharie, West University of Timisoara, Romania
Antonio Mucherino, IRISA, France

--
Assoc. Prof. Stefka Fidanova
IICT-BAS
Acad. G. Bonchev str. bl.25A
1113 Sofia Bulgaria
Ph. +359-2-9796642

Tuesday, April 26, 2016

[DMANET] 2nd CfP: REACHABILITY PROBLEMS, RP 2016

REACHABILITY PROBLEMS 2016
----------------------------------------------------------------
The 10th International Workshop on Reachability Problems (RP'16)
19 - 21 September 2016, Aalborg, Denmark

Deadline for submissions: 13 May, 2016
http://rp16.cs.aau.dk/
----------------------------------------------------------------

The 10th Workshop on Reachability Problems will be hosted by
Aalborg University, Denmark. This event will take place in Nordkraft,
a recently reconstructed coal power station located at the harbour
front of Aalborg city centre that serves these days as a cultural
and sport centre of Aalborg.

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

Invited Speakers:

- Alain Finkel, ENS de Cachan, France
- Axel Legay, INRIA, Rennes Cedex, France
- Jaco van de Pol, University of Twente, Netherlands

Submissions:

Authors are invited to submit a draft of a full paper with at most 12 pages
(in LaTeX, formatted according to LNCS guidelines) via the conference web page.
Proofs omitted due to space constraints must be put into an appendix to be read
by the program committee members at their discretion. Submissions deviating
from these guidelines risk rejection. Electronic submissions should be
formatted in pdf. Simultaneous submission to other conferences or workshops
with published proceedings is not allowed.

Submission link: https://easychair.org/conferences/?conf=rp2016

Topics of interest include (but are not limited to): reachability problems
in infinite state systems, rewriting systems, dynamical and hybrid systems;
reachability problems in logic and verification; reachability analysis in
different computational models, counter timed/cellular/communicating
automata; Petri nets; computational aspects of algebraic structures
(semigroups, groups and rings); frontiers between decidable and undecidable
reachability problems; predictability in iterative maps and new computational
paradigms.

Important Dates

- Submission deadline: 13 May 2016
- Notification to authors: 30 June 2016
- Final version: 11 July 2016
- Workshop: 19 - 21 September 2016

Presentation-Only Track

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

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

Proceedings

The Conference Proceedings will be published as the volume of the Springer
Verlag LNCS (Lecture Notes in Computer Science) series and distributed at the
Conference. We plan also to publish selected papers in a special issue of a
high quality journal following the regular referee procedure.

RP'16 Program Committee:

Filippo Bonchi, ENS de Lyon
Tomas Brazdil, Masaryk University Brno
Thomas Brihaye, Université de Mons
Gilles Geeraerts, Université Libre de Bruxelles
Krishnendu Chatterjee, IST Austria
Javier Esparza, Technische Universität München
Kousha Etessami, University of Edinburgh
Stefan Göller, ENS Cachan
Tero Harju, University of Turku
Petr Jancar, Technical University of Ostrava
Sławomir Lasota, University of Warsaw
Kim G. Larsen (co-chair), Aalborg University
Oded Maler, CNRS-VERIMAG
Richard Mayr, University of Edinburgh
Nicolas Markey, ENS Cachan
Pierre McKenzie, Université de Montréal
Igor Potapov (proceedings chair), University of Liverpool
Alexander Rabinovich, Tel Aviv University
Jiri Srba (co-chair), Aalborg University
Igor Walukiewicz, LaBRI Bordeaux
James Worrell, University of Oxford
Lijun Zhang, Chinese Academy of Science

Previous Workshops:

2015: RP'15 in Warsaw, Poland
LNCS proceedings, Volume 9328/2015, Springer Verlag
2014: RP'14 in Oxford, UK
LNCS proceedings, Volume 8762/2014, Springer Verlag
2013: RP'13 in Uppsala, Sweden
LNCS proceedings, Volume 8169/2013, Springer Verlag
2012: RP'12 in Bordeaux, France
LNCS proceedings, Volume 7550/2012, Springer Verlag
2011: RP'11 in Genova, Italy
LNCS proceedings, Volume 6945/2011, Springer Verlag
2010: RP'10 in Brno, Czech Republic
LNCS proceedings, Volume 6227/2010, Springer Verlag
2009: RP'09 in Palaiseau, France
LNCS proceedings, Volume 5797/2009, Springer Verlag
2008: RP'08 in Liverpool, UK
ENTCS proceedings, Volume 223, Elsevier
2007: RP'07 in Turku, Finland
TUCS General Publication Series, Volume 45,
Turku Centre for Computer Science

[DMANET] PhD position in swarm robotics available at UTC (Compiegne - France)

A fully-funded three years PhD position in swarm robotics is available at
the Laboratory of Excellence (LABEX) at the Université de Technologie de
Compiègne (UTC) in France (www.utc.fr/labexms2t).

The successful candidate will work with Dr. Eliseo Ferrante on exciting
topics at the interface between swarm robotics, evolutionary biology, and
statistical physics. The research direction will be managed by Dr. Ferrante
in collaboration with the DIVINA project (
https://www.hds.utc.fr/labex-ms2t-484/news-rubrique/events/DIVINA/?lang=en)
team led by Prof. Vincent Frémont. The PhD is expected to start in Fall
2016.

The accepted candidate will work on a project focusing on the design of
self-organized collective behaviors for performing collective exploration
of a an unknown environment using a swarm of robots and principles of
self-organization. The methods will be based on biological models of
information retrieval and integration, such as distributed decision-making
and collective categorization, which in turns recalls the cognitive mapping
processes in the human brain.
For a description of the research interests of Dr. Ferrante, please visit
his website (https://bio.kuleuven.be/ento/ferrante/).

Graduate students with background in computer science, physics, or biology
and with specialization in artificial intelligence, statistical physics,
computational modeling in biology, or robotics are encouraged to apply.
The candidate is expected to be proficient in programming in languages such
as C++ and Java, and to have solid knowledge of scientific software
packages such as Matlab, R, and/or equivalent. Candidates with experience
with multi-agent simulations will be highly preferred. Fluent English
(written and spoken) is required, and only applications in English will be
accepted. Above all, the applicants must be motivated, autonomous, and able
to learn quickly and work effectively on challenging research problems.

We will begin reviewing candidate's applications starting from June 2016.
To apply, you can send the following documents to Eliseo.Ferrante@hds.utc.fr
and Vincent.Fremont@hds.utc.fr:
- Curriculum vitae
- Motivation letter
- At least two references and/or recommendation letters
- A statement of research experience and interests
- Any research articles authored by the applicant

For any informal enquiry about the eligibility conditions, as well as for
more details about the position, please contact Eliseo Ferrante <
eliseo.ferrante@hds.utc.fr>.

[DMANET] Two Ph.D. Positions at University of Colorado—Boulder

Leeds School of Business at University of Colorado—Boulder invites applications for its Ph.D. program in Operations Management for Fall 2016 admissions. At least two positions are available. The ideal candidate should have a solid background in optimization, linear programming, integer programming and analysis of algorithms. Proficiency in a computer programming language (C, C++, Java, python or Matlab) is preferred.

Admitted students receive a full tuition waiver, a partial waiver of student health insurance costs, and stipend as long as they are in good standing with the department. Students work approximately 20 hours per week as research and/or teaching assistants in return for support. The 2015-2016 stipend is $25,000 for the nine-month academic year. Summer research fellowships are also available. While the continuation of financial aid is contingent on satisfactory performance, most students are funded for four years. Students may request a fifth year of funding. Fifth-year funding decisions are based a combination of factors including available funds, the student's progress in the program, and the division's support of the student. Further details about the program can be found at: http://www.colorado.edu/business/academic-programs/phd-program

Ranked as the # 5 Best Places to Live in the United States in 2015, Boulder is located at the base of the foot hills of the Rocky Mountain sat an elevation of 5,430 feet (1,655 m). The city is 25 miles (40 km) northwest of Denver. It is famous for its colorful Western history. Furthermore, the city of Boulder frequently acquires top rankings in health, well-being, quality of life, education and art. Check out the link for details:https://bouldercolorado.gov/newsroom/best-of-boulder-community-honors

Any interested candidate should email a detailed CV to "dan.zhang@colorado.edu" as soon as possible. If it is possible, personal statement, transcripts, GRE, TOEFL and three reference letters should be included as well.

If you have any questions, please contact:

Prof. Dan Zhang

Email: dan.zhang@colorado.edu

Web: http://www.danzhang.com

Prof. Rui Zhang

Email: rui.zhang@colorado.edu

[DMANET] AGT@IJCAI 2016: deadline extended to May 3

The deadline of the 2nd Workshop on Algorithmic Game Theory at IJCAI
(http://www.gametheory.polimi.it/agtijcai.html) has been extended to
May 3.

Submission site is now open at
https://easychair.org/conferences/?conf=agtijcai2016.

We remind that there will be no formal publication of workshop
proceedings. Submissions of preliminary work and papers to be
submitted or in preparation for submission to other major venues in
the field are welcomed. In particular, papers published recently in
top AI conferences (e.g., AAMAS16 and AAAI16) can be submitted, and
will be added to the program based on available space and relevance.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Post-doc positions in Brno, CZ

*** Post-doctoral open call FI MU 2016

The Faculty of Informatics of Masaryk University (FI MU) in Brno,
Czech Republic, http://www.fi.muni.cz/, invites applications for
Post-doctoral positions in all areas of Computer Science.

This includes, in particular, the area of
Structural and Topological Graph Theory and algorithmic metatheorems.
Please contact Petr Hlineny <hlineny@fi.muni.cz> if you are interested
in this particular topic (or can suggest a strong candidate).

* Offer
The positions are awarded for one year with an extension to the second
year after a review. Gross salary is 50,000 CZK per month which, with an
optional 10% bonus, sums to more than 24,000 EUR per year. Additional
funds of 4,000 EUR per year will be available for travel and material
expenses. Expected start date of the contract is September 1, 2016, but
a later start date may be negotiated.

* Deadline for application: May 31, 2016

* Requirements and application procedure
See: http://www.muni.cz/general/employment_offers/31847v
All candidates are expected to be fluent in English, while prior
knowledge of Czech is not required. Candidates will be evaluated on
the ground of their strong international research record.

--
Petr Hlineny <hlineny@fi.muni.cz>
FI MU Brno, CZ

[DMANET] 2nd call: Assistant prof.position, TU Graz, Austria

2nd call

Open position - Assistant Professor with PhD for 6 years
Graz University of Technology
Institute of Discrete Mathematics
Working Group Structure Theory and Stochastics

Starting date: October 1st 2016.
Requirements: PhD or equivalent university degree in
Mathematics or Technical Mathematics, awarded before
the beginning of the engagement.
Desired qualifictations: scientific work in the fields
of Stochastic Processes (random walks), Graph Theory,
Geometric Group Theory, possibly combining those topics.
Readiness to collaborate in research projects in these
areas.
Teaching duties of at least 4 hours per week per semester,
in particular for Mathematics in the Engineering sciences,
in German (!).

The profile of the position is to a good extent comparable
with that of a Junior Professorship in Germany.

Deadline for applications: May 31, 2016.
For details regarding position and applications, see
http://www.math.tugraz.at/~woess/position

Graz, April 2016, Wolfgang Woess

Institut fuer Diskrete Mathematik,
Technische Universitaet Graz,
Steyrergasse 30, A-8010 Graz, Austria
Tel: ++43 (0)316 8737130
Mobile: ++43 (0)664 60 8737130
Fax: ++43 (0)316 8734507
email: woess@TUGraz.at
http://www.math.TUGraz.at/~woess

[DMANET] PhD scholarships at the University of Nottingham Ningbo China

Hello,

The University of Nottingham Ningbo is now open to PhD applications of undertaking research with the new Ningbo Nottingham International Academy for the Marine Economy and Technology (IAMET). It would be appreciated if you can help forward this email to suitable candidates who are interested in Datamining, Optimisation, Artificial Intelligence, logistics and related subjects.

There are PhD scholarships to undertake research projects in the following research areas:

* Data mining/machine learning challenges: large data sets, mixture of data types (including images), data quality and security issues. Data mining will provide input patterns and parameters for the optimization stage.

* Optimisation challenges: dealing with uncertainty, dynamic problems, large scale optimization problem. Heuristics and exact methodologies will be tested, new combinations such as simulation and machine learning will pose technical challenges

* Social challenges - users needs to understand and trust the solution methods or they will not use them optimally. We need to find ways how to translate solutions into good management practices

These scholarships are suited to anyone with an interest in computer science, data mining, logistics, supply chains, operational research and optimization within the context of port, marine, logistics or related city services and sectors. The research projects are multidisciplinary in nature making extensive use of sophisticated methods of solving business problems related to designing, planning, controlling and improving operations and supply chain management processes. The scholarships will be attractive to researchers from a range of industrial, engineering, computer science or management backgrounds.

Students will need either a first class or upper second class honours degree in a relevant subject such as engineering, computer science, logistics, supply chain or operations management or related subjects.

How to Apply:

http://www.nottingham.edu.cn/en/admissions/domestic-students/phdprogramme/how-to-apply/application--assessment-procedure.aspx

Find more details at:

http://www.nottingham.edu.cn/en/admissions/international/pg/phd-programmes/phd-scholarships/iamet-scholarships.aspx

Informal inquiries may be addressed to Professor Uwe Aickelin uwe.aickelin@nottingham.edu.cn<mailto:uwe.aickelin@nottingham.edu.cn>

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

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

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

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

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

[DMANET] CFP (MCDMT 2016) - 2nd Workshop on Modeling, Computing and Data Handling for Marine Transportation (in conjuction with IISA 2016) - DEADLINE EXTENDED (May 9, 2016)

----DEADLINE EXTENDED: May 9, 2016----

Call for Papers

2nd Workshop on Modeling, Computing and Data Handling for Marine
Transportation (MCDMT 2016), July 13, 2016, Chalkidiki, Greece

in association with the

7th International Conference on Information, Intelligence, Systems and
Applications ( IISA 2016 )

(http://iisa2016.unipi.gr/mcdmt/)

Workshop Chairs: Charalampos Konstantopoulos (University of Piraeus,
Greece), Grammati Pantziou (Technological Educational Institute (T.E.I.) of
Athens, Greece), Stavros Perantonis (National Center for Scientific Research
"Dimokritos")

The Workshop on Modeling, Computing and Data Handling for Marine
Transportation (MCDMT 2016) is going to take place in Chalkidiki, Greece, on
July 13, 2016, in conjunction with the 7th International Conference on
Information, Intelligence, Systems and Applications (IISA 2016). Nowadays,
advancements on Marine Transportation require the synergy of both computer
science and maritime science and the technical focus of the workshop is upon
the latest developments on Computing Methodologies for Marine
Transportation.

Papers with novel theoretical as well as applied research are welcome for
submission. We would like to invite papers addressing research efforts that
aim at making sea transportation more effective and safer, 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.

Submissions are solicited in, but not limited to, the following areas:

- Graph and Network algorithms for Marine Transportation
- Combinatorial optimization techniques for Marine Transportation
- Weather Routing
- Environmentally Safe Shipping
- Safety and Security of Maritime Shipping
- Risk and Safety Analysis, Assessment and Prediction
- Piracy Protection
- GIS in Maritime Applications
- Spatiotemporal and Marine Data Handling
- Route Planning and Monitoring
- Maritime Data Mining and Knowledge Discovery Applications: surveillance,
maritime traffic control, anomaly detection, emergency management, situation
recognition, etc.
- Decision Support Tools for Marine Transportation
- Integration of Heterogeneous Marine Data Sources

Important Dates

Paper Submission Deadline: May 9, 2016

Paper Acceptance Notification: May 25, 2016

Camera Ready Papers: June 6, 2016

Workshop Program Committee

Eleni Charou, National Center for Scientific Research "Dimokritos", Greece

Marco Cococcioni, University of Pisa, Italy

Shahin Gelareh, Universite d'Artois, France

Ignacy Kaliszewski, Systems Research Institute, Polish Academy of Sciences,
Poland

Zoe Nivolianitou, National Center for Scientific Research "Dimokritos",
Greece

Meng Qiang, National University of Singapore, Singapore

Joanna Szlapczynska, Gdynia Maritime University, Poland

Yannis Theodoridis, University of Piraeus, Greece

Theodoros Tzouramanis, University of the Aegean, Greece

Zaili Yang, Liverpool John Moores University, UK

George Vouros, University of Piraeus, Greece

Jin Wang, Liverpool John Moores University, UK

Instructions for Authors

Submitted papers should include original work not previously published or
being under consideration in any journal, conference or other workshop.
Papers should be submitted as a pdf file and follow the IEEE CPS format,
according to the general Instructions for Authors of IISA 2016. See the
IISA2016 Instructions for Authors page for appropriate templates for both
Latex and MS Word. Papers for MCDMT 2016 should be submitted through the
general IISA2016 paper submission system (EasyChair).

Accepted papers will be published in the IEEE Proceedings of IISA2016 and
will be included in the IEEE Xplore digital library (IEL,
http://ieeexplore.ieee.org). Authors of accepted papers must guarantee that
their paper will be presented at the workshop.

[DMANET] Research Fellow position in Network Design and Optimisation

Research Fellow position in Optimisation at the University of Melbourne
Full-time (fixed-term) position available for 2 years
Level B - $92,654 - $110,022 p.a. plus employer superannuation contributions of up to 9.5%
Close date: 11 May 2016

The appointee will work in the Network Design and Optimisation group, which spans three departments at the University of Melbourne: the School of Mathematics and Statistics, the Department of Electrical and Electronic Engineering and the Department of Mechanical Engineering. This group specialises in the mathematical, graph theoretical and algorithmic aspects of optimisation problems occurring in telecommunications, mining and infrastructure networks. The primary function of the appointee will be to conduct fundamental mathematical research on the optimal design of survivable and obstacle avoiding networks. A successful outcome will consist of a deeper understanding of the mathematical structure of optimal networks, and efficient new algorithms and heuristics for network construction.

Online applications are preferred. Go to http://jobs.unimelb.edu.au/caw/en/job/887937/research-fellow-in-optimisation.

Monday, April 25, 2016

[DMANET] PhD positions in Algorithmic Optimization at University of Trier, Germany

The Research Training Group (RTG) "Algorithmic Optimization", funded by
the Deutsche Forschungsgemeinschaft (DFG), is accepting applications for

several doctoral research positions (TVL 13, 75%)
at the University of Trier
for a period of 3 years, beginning July 1, 2016

The research topics are devoted to all mathematical aspects of algorithmic
optimization with an emphasis on applications, in particular in large and
big data as well as systems models from economics. The doctoral research
positions do not involve teaching duties.

At the time of hiring, the applicants must hold a MSc degree (or equivalent)
in mathematics or a strongly related field. They should be able to communicate
in English and document their interest in the scientific goals of the research
program of the Research Training Group. Excellent programming skills are a plus.

Applications should include:

* letter of motivation (no longer than 2 pages)
* curriculum vitae
* a recent letter of reference (in English or German) to be sent directly
to the address given below
* contact information of at least one additional reference
* copies of degrees earned (in German or English translation)
* a mathematical writing sample (preferably the master thesis)

Applications from researchers of all nationalities are welcome. Trier University
strives to increase the share of women in research and strongly encourages women
to apply. Trier University is certified as a family-friendly employer. Provided
equal qualifications are demonstrated, applicants with disabilities will be
preferred.

Please compile all application materials into one pdf or zip-file and send it
via e-mail to:

Graduiertenkolleg ALOP
Mathematik - FB IV Universität Trier
54286 Trier, Germany
Email: alop@uni-trier.de
Subject: RTG ALOP

For full consideration, applications must be received no later than Friday, May 6, 2016;
however, late applications may be considered until the positions are filled.

For more information see: http://www.alop.uni-trier.de

---
Prof. Dr. Mirjam Dür
Department of Mathematics
University of Trier
54286 Trier, Germany
T: +49 651 201 3481
E: duer@uni-trier.de
W: https://www.uni-trier.de/index.php?id=48938

[DMANET] PhD position in Geometric Algorithms, University of Lugano

The Faculty of Informatics at the Università della Svizzera italiana
(USI), Lugano, Switzerland, http://www.inf.usi.ch/, invites
applications for a PhD position in the area of algorithms, computational
geometry, spatial decompositions, Voronoi diagrams and applications. The
position is related to the SNF/D.A.CH collaborative project VORONOI++
that already supports another PhD student.

Applicants should have or be close to obtaining a Masters degree in
Computer Science, or related areas, and have an affinity with
algorithms. The ideal candidate should have a keen interest and a strong
background in theoretical computer science, design and analysis of
algorithms, or discrete mathematics. Experience in computational
geometry is most welcome but it is not required. Good programming skills
is a plus. Fluency in English is required.

The selected candidate, together with the USI group on geometric
algorithms http://compgeom.inf.usi.ch/ will perform research related to
all aspects of generalized Voronoi diagrams. Research will focus on the
design and analysis of efficient algorithms, combinatorial issues,
possibly also on application or implementation issues. Voronoi diagrams
are among the most fundamental structures in computational geometry and
they have proved to be powerful tools in solving diverse and seemingly
unrelated computational problems.

Interested candidates should apply by May 15 (with some flexibility, but
please send a notification that you plan to apply as soon as possible,
preferably by May 1st). The Faculty application procedure is described
in
http://www.inf.usi.ch/presentazionetudiare/container_education_phd/dottorato_regolamenti.htm.

The gross salary is roughly 50.000 CHF per year. For further information
please contact Professor Evanthia Papadopoulou, e-mail:
evanthia.papadopoulou@usi.ch, http://www.inf.usi.ch/faculty/papadopoulou/.

--
Prof. Evanthia Papadopoulou
Faculty of Informatics
University of Lugano (USI), Switzerland
Phone: +41(0)58 6664122
http://www.inf.usi.ch/faculty/papadopoulou/

[DMANET] CFP: IEEE DIPDMWC2016 Moscow, Russia

The submission is open until June 6, 2016. Please consider submitting your
papers to DIPDMWC2016.

****ALL registered papers will be submitted to IEEE for POTENTIAL inclusion
to IEEE Xplore.****
=================================================================================================

The Third International Conference on Digital Information Processing, Data
Mining, and Wireless Communications (DIPDMWC2016)

July 06-08, 2016 » Moscow, Russia
National Research Nuclear University MEPhI (Moscow Engineering Physics
Institute)

Website: http://sdiwc.net/conferences/dipdmwc2016/

================
IMPORTANT DATES
================

Submission Dates Open from now until June 6, 2016
Notification of Acceptance 2-4 weeks from the submission date
Camera Ready Submission June 26, 2016
Registration Deadline June 26, 2016
Conference Dates July 6-8, 2016

You are invited to participate in The Third International Conference on
Digital Information Processing, Data Mining, and Wireless Communications
(DIPDMWC2016) that will be held in Moscow, Russia, on July 06-08, 2016. The
event will be held over three days, with presentations delivered by
researchers from the international community, including presentations from
keynote speakers and state-of-the-art lectures.

DIPDMWC2016 welcomes papers on the following (but not limited to) Digital
Information Processing, Data Mining, Wireless Communications and related
research topics.

SUBMISSION LINK:
http://sdiwc.net/conferences/dipdmwc2016/openconf/openconf.php

EMAIL:
dipdmwc16@sdiwc.net

[DMANET] DISC 2016 -- SECOND CALL FOR PAPERS

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

DISC 2016 -- SECOND CALL FOR PAPERS

30th International Symposium on Distributed Computing
September 26-29, 2016, Paris, France
www.disc-conference.org/wp/disc2016

SUBMISSION SITE IS NOW OPEN : https://easychair.org/conferences/?conf=disc16

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

DISC is the International Symposium on Distributed Computing, organized
in cooperation with the European Association for Theoretical Computer
Science (EATCS).

---------------
Important Dates
---------------

Abstract Registration : May 3, 2016 (AoE)
Paper Submission : May 10, 2016 (AoE)
Notification : July 7, 2016
Camera-Ready Submission : July 20, 2016
Conference : September 26--29, 2016

-----
Scope
-----

Original contributions to theory, design, implementation, modeling,
analysis, or application of distributed systems and networks are
solicited. Topics of interest include, but are not limited to:
- Distributed algorithms; correctness and complexity
- Concurrency, synchronization, and transactional memory
- Distributed operating systems, middleware, database systems
- Self-stabilizing, self-organizing, and autonomous systems
- Wireless, mobile, sensor and ad-hoc networks
- Fault tolerance, reliability, availability
- Game-theoretic approaches to distributed computing
- Specification, verification, and testing: tools, methodologies
- Networks: protocols, architectures, services, applications
- Multiprocessor and multicore architectures and algorithms
- System on chip and network on chip architectures
- Security in distributed computing, cryptographic protocols
- Distributed computing issues in the Internet and the Web
- Cloud and peer-to-peer computing
- Software-defined networking and network functions virtualization
- Mobile agents and autonomous robots

----------
Submission
----------

Papers are to be submitted electronically, following the guidelines on
the conference web page. Submissions must be in English, in .pdf format,
and begin with a cover page (not a cover letter) including: (1) title,
(2) authors' names and affiliations, (3) contact author's email address,
(4) a short abstract of the paper, (5) indication of whether this is a
regular paper or a brief announcement, and (6) indication of whether the
paper is eligible for the best student paper award.

A submission for a ***regular presentation*** must report on original
research that has not previously appeared, and has not been concurrently
submitted to a journal or conference with published proceedings. Any
overlap with a published or concurrently submitted paper must be clearly
indicated. A regular submission must not exceed 10 single-column pages
using at least 11 point font on letter paper (excluding cover page and
references). Authors are expected to include all the ideas necessary for
an expert to verify the central claims in the paper. If necessary, the
details may appear in a clearly marked appendix, which will be read at
the discretion of the program committee.

A ***brief announcement*** submission must not exceed 2 pages in the
same format. The material in brief announcements can be published in
other conferences. Submissions not conforming to these rules and papers
outside of the scope of the conference will be rejected without
consideration. If requested by the authors on the cover page, a regular
submission that is not selected for a regular presentation can be
considered for the brief announcements track. Such a request will not
affect consideration of the paper for a regular presentation.

-----------
Publication
-----------

The proceedings will be published as a volume in the ARCoSS Springer
Lecture Notes in Computer Science series. Camera-ready versions of
accepted papers must be submitted in the LNCS format. Accepted papers
must be presented by one of the paper's authors, at the conference site,
and according to the final schedule. Any paper accepted into the
technical program but not presented on-site will be withdrawn from the
official proceedings archived on Springer.

------
Awards
------

Awards will be given to the best paper and the best student paper. To be
eligible for the best student paper award at least one of the paper
authors must be a full-time student at the time of submission, and the
student(s) must have made a significant contribution to the paper.

-----------------
Program Committee
-----------------

Silvia Bonomi, Sapienza Università di Roma, Italy
Carole Delporte-Gallet, Paris-Diderot University, France
Swan Dubois, UPMC Sorbonne Universités, France
Michael Elkin, Ben-Gurion University of the Negev, Israel
Godard Emmanuel, Aix-Marseille University, France
Panagiota Fatourou, FORTH ICS & Crete University, Greece
Pascal Felber, Neuchâtel University, Switzerland
Paola Flocchini, Ottawa University, Canada
Cyril Gavoille (chair), Bordeaux University, France
Chryssis Georgiou, Cyprus University, Cyprus
Seth Gilbert, National University of Singapore, Singapore
Vincent Gramoli, Sydney University, Australia
Rachid Guerraoui, Ecole Polytechnique Fédérale de Lausanne, Switzerland
Magnús M. Halldórsson, Reykjavik University, Island
David Ilcinkas, CNRS & Bordeaux University, France
Matthew P. Johnson, CUNY Graduate Center, USA
Christoph Lenzen, MPI for Informatics, Germany
Toshimitsu Masuzawa, Osaka University, Japan
Mikhail Nesterenko, Kent State University, USA
Paolo Penna, Swiss Federal Institute of Technology in Zurich,
Switzerland
Luís Rodrigues, Lisbona University, Portugal
Elad M. Schiller, Chalmers University, Sweden
Johannes Schneider, ABB Corp. Research, Switzerland
Christian Sommer, Apple Inc., USA
Jennifer L. Welch Texas A&M University, USA
Philipp Woelfel, Calgary University, Canada

--------------------
Organizing Committee
--------------------

Lélia Blin (logistic chair), Evry University, France
Swan Dubois (publicity chair), UPMC Sorbonne Universités, France
David Ilcinkas (proceedings chair), CNRS & Bordeaux University, France
Colette Johnen (workshop chair), Bordeaux University, France
Petr Kouznetsov (sponsoring chair) Telecom ParisTech, France
Maria Potop-Butucaru (general chair), UPMC Sorbonne Universités, France
Stéphane Rovedakis (web chair), Conservatoire National des Arts et
Métiers, France

------------------
Steering Committee
------------------

Roberto Baldoni, Sapienza Università di Roma, Italy
Keren Censor-Hillel, Technion, Israel
Shlomi Dolev (chair), Ben-Gurion University of the Negev, Israel
Cyril Gavoille, Bordeaux University, France
Fabian Kuhn, Freiburg University, Germany
Yoram Moses, Technion, Israel
Achour Mostefaoui, Nantes University, France

-------------------
Contact Information
-------------------

If you have any question about the CFP and paper submission, please
email to gavoille@labri.fr.

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

Sunday, April 24, 2016

[DMANET] CfP: ACM PODC Distributed Cloud Computing

ACM PODC Workshop on Distributed Cloud Computing (DCC)

http://www.podc.org/dcc2016/

co-located with ACM PODC 2016

25 July, 2016

Chicago, Illinois, USA

Important Dates

Abstract Submission: 5 May 2016 (extended!)

Submission: 12 May 2016 (extended!)

Notification: 1 June 2016

Camera-ready: 20 June 2016

Workshop: 25 July 2016

Keynote Speaker

Larry Peterson, Princeton, USA

Synopsis

Most of the focus in public cloud computing technology over the last 10
years has been on deploying massive, centralized data centers with
thousands or hundreds of thousands of servers. The data centers are
typically replicated with a few instances on a continent wide scale in
semi-autonomous zones. This model has proven quite successful in
economically scaling cloud service, but it has some drawbacks. Failure of a
zone can lead to service dropout for tenants if the tenants do not
replicate their services across zones. Some applications may need finer
grained control over network latency than is provided by a connection to a
large centralized data center, or may benefit from being able to specify
location as a parameter in their deployment. Nontechnical issues, such as
the availability of real estate, power, and bandwidth for a large mega data
center, also enter into consideration.

Another model that may be useful in many cases is to have many micro or
even nano data centers, interconnected by medium to high bandwidth links,
and the ability to manage these data centers and interconnecting links as
if they were one larger data center. This distributed cloud model is
perhaps a better match for private enterprise clouds, which tend to be
smaller than the large, public mega data centers, and it also has
attractions for public clouds run by telco carriers which have facilities
in geographically diverse locations, with power, cooling, and bandwidth
already available. It is attractive for mobile operators as well, since it
provides a platform on which applications can be deployed and easily
managed that could benefit from locality and a tighter coupling to the
access network. Applications with latency constraints or with too much data
to backhaul to a large mega data center can benefit from distributed
processing. The two models are not mutually exclusive: for instance a
public cloud operator with many large data centers distributed
internationally could manage its network of data centers like a distributed
cloud. The distinguishing characteristic from federated clouds is that the
component data centers are more integrated, especially with respect to
authentication and authorization, so that the computation, storage, and
networking resources are as tightly managed as if they were in a single
large data center.

Goals

The International Workshop on Distributed Cloud Computing (DCC) is
interdisciplinary and touches both distributed systems as well as
networking and cloud computing. It is intended as a forum where people with
different backgrounds can learn from their respective fields and expertise.
We want to attract both industry relevant papers as well as papers from
academic researchers working on the foundations of the distributed cloud.
In particular, this year's edition of DCC will feature an applied session
in the afternoon, chaired by Rick McGeer.

Scope

DCC 2016 accepts high-quality papers related to the distributed cloud which
fall into at least one of the following categories:

- Foundations and principles of distributed cloud computing

- Optimization and algorithms

- Economics and pricing

- Experience with and performance evaluation of existing deployments and
measurements (public, private, hybrid, federated environments)

- Architectural models, prototype implementations and applications

- Virtualization technology and enablers (network virtualization,
software-defined networking)

- Service and resource specification, languages, and formal verification

Submission and Publication

Submissions are single-blind and should not exceed 6 pages in length (in
ACM format:http://www.sigmetrics.org/sig-alternate-per.cls).

Accepted papers will appear on ACM Digital Library. However, authors may
voluntarily also opt out from an official publication, and simply present
their work at the workshop.

For an accepted paper, at least one author must attend the workshop.

Workshop History

DCC 2013 was co-located with IEEE/ACM UCC 2013, DCC 2014 was co-located
with ACM SIGCOMM 2014, and DCC 2015 was co-located with ACM SIGMETRICS.

TPC Chairs

Patrick Eugster, TU Darmstadt, Germany and Purdue, USA

James Kempf, Ericsson Research, Silicon Valley, USA

Rick McGeer, US Ignite, USA

Stefan Schmid, Aalborg University, Denmark

TPC

• Ali Al-Shabibi, Open Networking Laboratory (ONLab), USA

• Hadi Bannazadeh, University of Toronto, Canada

• Andy Bavier, Princeton University, USA

• Pramod Bhatotia, TU Dresden, Germany

• Annette Bieniusa, TU Kaiserslautern, Germany

• Ivona Brandic, Vienna University of Technology, Austria

• Justin Cappos, New York University, USA

• Gregory Chockler, Royal Holloway, University of London (RHUL), UK

• Lars Eggert, NetApp, Germany

• Serge Fidida, Université Pierre et Marie Curie (UPMC), Sorbonne
University, France

• Anshul Gandhi, Stony Brook University, USA

• Erwan Le Merrer, Technicolor, France

• Hanoch Levy, Tel Aviv University, Israel

• Tamás Lukovszki, Eötvös Loránd University, Hungary

• Joe Mambretti, Northwestern University, USA

• Catalin Meirosu, Ericsson Research, Sweden

• Hausi Müller, University of Victoria, Canada

• Akihiro Nakao, University of Tokyo, Japan

• Marina Papatriantafilou, Chalmers University of Technology, Sweden

• Fernando Pedone, University of Lugano (USI), Switzerland

• Glenn Ricart, US Ignite and U. Utah, USA

• Robert Ricci, University of Utah, USA

• Niky Riga, BBN Technologies, USA

• Rodrigo Miragaia Rodrigues, Instituto Superior Tecnico (University of
Lisbon) and INESC-ID, Portugal

• Elad Michael Schiller, Chalmers University of Technology, Sweden

• James P.G. Sterbenz, University of Kansas, USA

• François Taïani, Université de Rennes 1, France

• Vicraj Thomas, BBN Technologies, USA

• Kurt Tutschku, BTH, Sweden

• Maarten van Steen, University of Twente, the Netherlands

• Brecht Vermeulen, iMinds and Ghent University, Belgium

• Marko Vukolić, IBM Research Zurich, Switzerland

• John Wroclawski, University of Southern California, USA

Saturday, April 23, 2016

[DMANET] Highlights of Algorithms HALG 2016): Call for participation

-------------------------------------------------------------------
Highlights of Algorithms - HALG 2016
June 6-8, 2016, Paris, France
http://highlightsofalgorithms.org/
-------------------------------------------------------------------

The Highlights of Algorithms conference is designed to be a forum for
presenting the highlights of recent developments in algorithms and for
discussing potential further advances in this area. The conference will
provide a broad picture of the latest research in algorithms through a
series of survey and invited talks, as well as possibility for all
researchers and students to present their recent results through a
series of short talks and poster presentations. Attending the Highlights
of Algorithms conference will also be an opportunity for networking and
meeting leading researchers in algorithms.

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

The registration for the Highlights of Algorithms conference is open.
To register, please visit the link at
http://highlightsofalgorithms.org/registration/. (early registration is
due April 30)

A preliminary program is available online at
http://highlightsofalgorithms.org/program/.
The program is packed with 28 invited talks and with even a larger
number of short contributions.

Those interested in attending the conference are advised to book
accommodation as early as possible (given the high hotel prices in Paris).

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

[DMANET] Reminder: post-doctoral position in graph theory for sturctural biology at Sophia-Antipolis.

We are inviting applications to a post-doc position entitled
``Improving inference algorithms for macromolecular structure determination'' starting Fall 2016.
It will take place at INRIA Sophia Antipolis in the teams ABS ( https://team.inria.fr/abs/ ) and COATI ( https://team.inria.fr/coati/ ) .

The proposed work is to design efficient algorithms for solving some graph problems arising from macromolecular structure determination.
Therefore we are looking for candidates having strong knowledge in graph algorithms, combinatorial optimisation and/or structural biology.

The deadline for application is April 30.

More details on the page

http://www.inria.fr/institut/recrutement-metiers/offres/post-doctorat/sejours-post-doctoraux/(view)/details.html?id=PGTFK026203F3VBQB6G68LONZ&LOV5=4508&LG=FR&Resultsperpage=20&nPostingID=10254&nPostingTargetID=16500&option=29&sort=ASC&nDepartmentID=19

Do not hesitate to circulate this e-mail.

Frédéric Havet

Theory Announcements

Wednesday, April 27, 2016

[DMANET] CFP Workshop PADABS 2016 - EuroPar'16 - Final Remainder

[DMANET] 2-year PostDoc or 3-year PhD position at the University of Innsbruck

[DMANET] WG 2016 - Call for participation

[DMANET] new deadline computational optimization

Tuesday, April 26, 2016

[DMANET] 2nd CfP: REACHABILITY PROBLEMS, RP 2016

[DMANET] PhD position in swarm robotics available at UTC (Compiegne - France)

[DMANET] Two Ph.D. Positions at University of Colorado—Boulder

[DMANET] AGT@IJCAI 2016: deadline extended to May 3

[DMANET] Post-doc positions in Brno, CZ

[DMANET] 2nd call: Assistant prof.position, TU Graz, Austria

[DMANET] PhD scholarships at the University of Nottingham Ningbo China

[DMANET] CFP (MCDMT 2016) - 2nd Workshop on Modeling, Computing and Data Handling for Marine Transportation (in conjuction with IISA 2016) - DEADLINE EXTENDED (May 9, 2016)

[DMANET] Research Fellow position in Network Design and Optimisation

Monday, April 25, 2016

[DMANET] PhD positions in Algorithmic Optimization at University of Trier, Germany

[DMANET] PhD position in Geometric Algorithms, University of Lugano

[DMANET] CFP: IEEE DIPDMWC2016 Moscow, Russia

[DMANET] DISC 2016 -- SECOND CALL FOR PAPERS

Sunday, April 24, 2016

[DMANET] CfP: ACM PODC Distributed Cloud Computing

Saturday, April 23, 2016

[DMANET] Highlights of Algorithms HALG 2016): Call for participation

[DMANET] Reminder: post-doctoral position in graph theory for sturctural biology at Sophia-Antipolis.

Mailing Lists

Search This Blog

Blog Archive

Wednesday, April 27, 2016

Tuesday, April 26, 2016

Monday, April 25, 2016

Sunday, April 24, 2016

Saturday, April 23, 2016

Mailing Lists

Subscribe To

Search This Blog

Blog Archive