Thursday, August 13, 2015

[DMANET] Two Six-Year Postdoc Positions for Women at TU Wien, Vienna, Austria

The Faculty of Informatics at the Vienna University of Technology (TU Wien) announces two postdoc positions for women. Candidates can apply in any of the Faculty's main research areas: Computer Engineering, Distributed and Parallel Systems, Logic and Computation (which includes Algorithms and Complexity), Media Informatics and Visual Computing, Business Informatics.

Application details can be found at http://www.informatik.tuwien.ac.at/jobs/2015-07-16-postdoc-positions-women.pdf

The deadline for applications is August 30, 2015.


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

Tuesday, August 11, 2015

[DMANET] ACBD 2015 - Call for Participation

=================================================================
The 2nd Workshop on Algorithmic Challenges of Big Data (ACBD 2015)
September 28-30, 2015 in Dortmund, Germany
http://ls2-www.cs.uni-dortmund.de/acbd/
=================================================================

We are excited to announce the second workshop on Algorithmic Challenges
of Big Data. ACBD is focused on information compression/extraction,
ressource efficient algorithms, distributed and parallel computing,
sublinear algorithms, machine learning, and other question arising in
modern data analysis.

ACBD 2015 will include invited presentations from leading researches in
the field, as well as a forum for discussions.

============
Registration
============
To register, please send an email to acbd-info@ls2.cs.tu-dortmund.de.
The registration deadline is September 15th. There is no registration fee.


=============
Invited speakers
=============


Stephen Alstrup (University of Copenhagen)
Hannah Bast (University of Freiburg)
Jarek Byrka (University of Wroclaw)
Ioannis Caragiannis (University of Patras)
Graham Cormode (University of Warwick)
Artur Czumaj (University of Warwick)
Ilias Diakonikolas (University of Edinburgh)
Guy Even (Tel-Aviv University)
Pierre Fraigniaud (CNRS and University Paris Diderot)
Fabrizio Grandoni (IDSIA)
Giuseppe F. Italiano (University of Rome "Tor Vergata")
Robert Krauthgamer (The Weizmann Institute of Science)
Stefano Leonardi (University of Rome "Sapienza")
Yishay Mansour (Microsoft Research and Tel-Aviv University)
Alberto Marchetti-Spaccamela (University of Rome "Sapienza")
Kurt Mehlhorn (Max Planck Institute for Computer Science)
Friedhelm Meyer auf der Heide (University of Paderborn)
Ulrich Meyer (Goethe University Frankfurt am Main)
Adi Rosen (CNRS and Universite Paris Diderot)
Piotr Sankowski (University of Warsaw)
Ola Svensson (EPFL)
Dorothea Wagner (Karlsruhe Institute of Technology)

Please refer to our website at
http://ls2-www.cs.uni-dortmund.de/acbd/?Home for further information.

=====
Venue
=====
TU Dortmund
Otto Hahn Straße 14
44227 Dortmund, Germany

=================
ORGANISERS
=================
Christian Sohler, TU Dortmund
Alexander Munteanu, TU Dortmund
Chris Schwiegelshohn, TU Dortmund


**********************************************************
*
* 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] Two Open Positions in Hagen

We announce

TWO Positions (PostDoc or Phd) for 3 years

at the FernUniversität Hagen, Germany, at the
LG Theoretische Informatik under supervision of Prof. André Schulz. The research focus of the group lies in graph drawing, computational geometry and related areas.

The positions are full-time with competitive salary depending on the applicant's qualification. The 3-year contract comes with the possibility of an extension.
Both positions come with teaching duties (designing course material, grading assignments, supervising students). Therefore, it is required to be in full
written and verbal command of the German language.

For a postdoc we expect that the candidate has (or is very close to) a PhD in Computer Science or Mathematics and has a solid background in discrete math and algorithms.

Ideally, the applicant has knowledge and interest in at least one of the following fields:

- graph drawing
- computational geometry
- algorithms
- graph theory
- combinatorics

To send your applications consisting of

- cover letter,
- curriculum vitae,
- for PhD students: Master thesis,
- for postdocs: PhD thesis (preliminary version, if not finished),
- contact information for one or two references

please use the following link

https://fernuni-hagen.hr4you.org/generator.php?id=164

(The link leads to the complete and official advertisment.)

The deadline is September 30.

If you have further questions, please send an email
to andre.schulz[[at]]fernuni-hagen.de.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] PostDoc / PhD Positions in Algorithms at Hasso Plattner Institute Potsdam

Applications are invited for a

PostDoc in Algorithms

and two

PhD Positions in Algorithms

at the newly founded research group Algorithm Engineering headed by Tobias Friedrich at the Hasso Plattner Institute (HPI) of University of Potsdam, Germany. The HPI is a unique research and teaching institute in Germany, which was founded in 1999 as an institute of the University of Potsdam. HPI carries out internationally acclaimed research and offers innovative academic majors in the field of IT Systems Engineering. The institute offers a vibrant scientific environment at the beautiful Campus Griebnitzsee, which is located at the border to Berlin.

All positions are full-time and can be started as soon as possible for the applicant. The postdoc salary is competitive and depends on the applicant's qualification. The contract for the postdoc will be limited to two years with the possibility of extension. Ph.D. students receive a competitive stipend and generous travel support.

Applicants should have a theoretical/mathematical background and an interest in at least one of the following topics:
-- random structures and algorithms;
-- theory of evolutionary algorithms and swarm intelligence;
-- distributed and parallel computing;
-- mathematical optimization;
-- analysis of scale-free network models.

Postdoctoral researchers from other fields of theoretical computer science and discrete mathematics may apply as well, but should provide a one-page motivation letter detailing how they fit in the research profile of the group.

All applicants should have an excellent first academic degree in mathematics, computer science or a related discipline. Applications should include a detailed CV, a copy of master (or PhD) thesis, a brief statement of research interests, and a list of publications (if applicable). Please also mention names and contact details of one or two references -- preferably one from the thesis advisor. Applicants interested in doing a PhD should also include a list of courses and grades.

For further information, also on other offers, please refer to https://hpi.de/friedrich/offers. Applications must be sent via email, preferably as a single PDF, to jobs-friedrich@hpi.de<http://hpi.de/> by September 1, 2015.

--
Prof. Dr. Tobias Friedrich
Algorithm Engineering Group
Hasso Plattner Institute
Prof.-Dr.-Helmert-Str. 2-3
14482 Potsdam / Germany

Tel.: +49 331 5509 410
E-Mail: friedrich@hpi.de<http://hpi.de/>
Office: office-friedrich@hpi.de<http://hpi.de/>
URL: https://hpi.de/friedrich

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

Saturday, August 8, 2015

[DMANET] PhD position at TU Hamburg

The Institute of Mathematics at TU Hamburg offers a PhD position
in Discrete Mathematics to work under the supervision of
Prof Anusch Taraz. The focus of our research group lies
on graph theory, probabilistic and extremal combinatorics,
and discrete optimization; and is linked to two of the university's
research centers ("self-organizing wireless networks"
and "logistics and mobility").

We offer a 3-year research assistant position (full time, E13,
and the possibility of extension), with the usual teaching load
of 4 hours per week. The position is available starting
October 1, 2015, and should be filled as soon as possible.

We are looking for an outstanding student with a master's degree in
Mathematics or Computer Science or a closely related field.
Please submit your application as soon as possible, including a
curriculum vitae and an outline of your research interests
to taraz@tuhh.de AND geschaeftsstellepv32@tu-harburg.hamburg.de
(quoting the reference D-15-106).

**********************************************************
*
* 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] Second Call for Papers: EURO Special Issue in Optimization

Optimization: A Journal of Mathematical Programming and Operations Research
Special Issue: Making an Impact with Optimization
Deadline: 31 October 2015

On the occasion of the 27th European Conference on Operational Research, EURO XXVII, which took place on July 12-15, 2015, in Glasgow, the journal Optimization invites you to submit high quality original research papers to a special issue on Optimization models and techniques for making an impact, corresponding to a major theme of EURO XXVII.

The special issue focuses primarily on papers developing new optimization models, modeling features and/or solution techniques that were driven by the need of a particular application, as well as showing the impact these models and algorithms had for the application.

Techniques can be drawn from all areas of optimization, including:
- linear programming
- semidefinite and conic programming
- semi-infinite programming
- stochastic programming
- global optimization
- nonlinear and nonsmooth optimization
- multiobjective optimization
- robust optimization
- integer and mixed-integer programming
- mixed-integer non-linear programming
- game theory
- dynamic optimization and stochastic control

In order to publish in Optimization, a strong theoretical contribution of the submitted paper is required.

Optimization is abstracted and indexed in the following databases: Astrophysics Data System, SciBase, British Library Inside, Cambridge Scientific Abstracts, EBSCO Databases, ISI Current Contents, Physical, Chemical and Earth Sciences, Mathematical Reviews/MathSciNet, New Jour, Science Citation Index Expanded, Zentralblatt MATH/Mathematics Abstracts and Zetoc.

Guest Editors: Dr. Kerem Akartunali, Dr. Marco Laumanns, Prof. Dr. Gerhard-Wilhelm Weber

Submission deadline of full papers: October 31, 2015.

Submission Instructions
=======================
Participants of EURO XXVII are cordially invited to submit high quality original research papers. Please note that only contributions of registered participants can be accepted. The format of manuscripts for Optimization as well as guidelines and templates can be found on the journal's webpage. Each manuscript has to be submitted via the online submission system: http://mc.manuscriptcentral.com/gopt. Detailed instructions are provided during the submission process.

During the submission process authors have to answer the question 'Is the manuscript a candidate for a special issue?' Please tick 'yes' and select EURO 2015 from the list.

Editorial information
=====================
- Guest Editor: Kerem Akartunali, University of Strathclyde, UK (kerem.akartunali@strath.ac.uk )
- Guest Editor: Marco Laumanns, IBM Research, Switzerland (mlm@zurich.ibm.com )
- Guest Editor: Gerhard-Wilhelm Weber , Middle East Technical University, Turkey (gweber@metu.edu)

Please check the following page for call details and updates:
http://explore.tandfonline.com/cfp/est/gopt-special-issue-making-an-impact-with-optimization

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

Friday, August 7, 2015

[DMANET] IWOCA 2015: Call for Participation

(We apologize if you receive multiple copies of this CfP.)


================================================================================
Call for Participation
================================================================================

26th International Workshop on Combinatorial Algorithms (IWOCA 2015)
Verona, Italy, 5-7 Oct. 2015

http://iwoca2015.di.univr.it

Early registration deadline: 24 August 2015

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

IWOCA 2015 continues the long and well-established tradition of encouraging
high-quality research in theoretical computer science and providing an
opportunity to bring together specialists and young researchers working in
the area. The scientific program will include three invited lectures
covering the areas of main interest, 30 accepted contributed talks, and an
open problem session.

This year for the first time, we will have a best student paper award,
sponsored by the EATCS.


INVITED SPEAKERS:
Béla Bollobás, Cambridge University, UK, and University of Memphis, TN,
USA
Frank Ruskey, University of Victoria, Canada
Esko Ukkonen, University of Helsinki, Finland


ACCEPTED PAPERS:
http://iwoca2015.di.univr.it/conference/accepted-papers/


REGISTRATION FEES:

Regular early 390 EUR (until 24 August)
Student early 290 Euro (until 24 August)
Regular late 490 EUR
Student late 390 EUR

Please see the conference webpages for more details on how to register:
http://iwoca2015.di.univr.it/conference/registration/


The conference is organized by the Department of Computer Science of the
University of Verona, in cooperation with the EATCS (European Association
for Theoretical Computer Science), the Italian Chapter of the EATCS, and
AICA (Associazione Italiana per l'Informatica ed il Calcolo Automatico).

**********************************************************
*
* 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] Call for papers: IEEE International Workshop on Foundations of Big Data Computing

Dear All,

We are organizing the IEEE International Workshop on Foundations of Big
Data Computing in conjunction with the 22nd IEEE International Conference
on High Performance Computing (HiPC) 2015. The paper submission deadline is
August 14, 2015.

Regards,
Dr. Arindam Pal
Research Scientist
Innovation Labs Kolkata
TCS Research
http://www.cse.iitd.ac.in/~arindamp/

====================CALL FOR PAPERS
================================================================
IEEE International Workshop on Foundations of Big Data Computing

In conjunction with HiPC 2015 – 22nd IEEE International Conference on High
Performance Computing

16 December 2015
Park Plaza Hotel in Bengaluru, India

Workshop Website:
http://www.hipc.org/hipc2015/documents/HiPC2015-BigDataFoundations.pdf
====================================================================================================


Scope and Topics:

Big Data computing is playing a significant role in enabling a new class of
scientific and business
applications. Numerous fields are experiencing an unprecedented increase in
the volume and
complexity of data necessitating new research explorations on adapting or
transforming traditional
computational tools and methodologies.

There are several open challenges in Big Data computing
that needs to be addressed by the community. What constitutes a "Big Data"
problem? What
application domains are best suited to benefit from Big Data analytics and
computing? What are the
traits and characteristics of an application that make it suited to exploit
Big Data analytics? How can
Big Data systems and frameworks be designed to allow the integration and
analysis of complex data
sets? How can research in Big Data Analytics benefit from the latest
advances in supercomputing
and High Performance Computing (HPC) architectures?

The goal of this workshop is to address
questions like these that are fundamental to the advancement of Big Data
computing, and in the
process, build a diverse research community that has a shared vision to
advance the state of
knowledge and discovery through Big Data computing.

Topics of interest include research contributions and innovative methods in
the following areas (but
not limited to):


* Scalable tools, techniques and technologies for Big Data analytics (e.g.,
graph and stream
data analysis, machine learning and emerging deep learning methods)

* Algorithms and Programming Models for Big Data


* Big Data applications - Challenges and Solutions (e.g., life sciences,
health informatics,
geoinformatics, climate, socio-cultural dynamics, business analytics,
cybersecurity)


* Scalable Big Data systems, platforms, services, and management


* Big Data toolkits, workflows, metrics, and provenance.

We invite paper submissions that describe original research contributions
in the area of Big Data
computing, and position papers that highlight the potential , challenges
and opportunities that arise
in Big Data computing. We also invite short papers that describe
work-in-progress original research.
Regular papers can be up to 8 pages long and short papers can be up to 4
pages long. All submissions
will undergo rigorous peer-review by the technical program committee, and
accepted manuscripts
will appear in the workshop proceedings and will be indexed by IEEE digital
library. Authors of the
accepted manuscripts will be required to present their work at the workshop
proceedings.

All paper submissions will have to be made on EasyChair through the
following submission link:


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

Important Dates:


Abstract submissions (recommended): July 24, 2015

Paper submission deadline: August 14, 2015

Notification of acceptance/rejection: September 15, 2015

Camera-ready paper due: September 30, 2015

Author registration deadline: October 16, 2015

Workshop Organization:


General Chairs: Dinkar Sitaram (PESIT), Ananth Kalyanaraman (Washington
State University)


Program Chairs: Madhu Govindaraju (SUNY Binghamton), Saumyadipta Pyne
(CRRao AIMSCS, Hyderabad)

Publicity Chairs: Arindam Pal (TCS Innovation Labs)


Proceedings Chair: Ren Chen, USC (HiPC proceedings chair)


Industry Liaison: Avinash Sabharwal (Accenture, Bangalore)

Technical Program Committee:

Gagan Agrawal The Ohio State University
Gopal Bhaskaran Tata Consultancy Services
Elif Dede Twitter Inc.
Ramesh Hariharan Strand Life Sciences/Indian Institute of Science
Chittaranjan Hota Birla Institute of Technology and Science, BITS-Pilani
Hyderabad Campus
Luke Huan University of Kansas
Rajendra Joshi Center for Development of Advanced Computing (C-DAC)
Indranil Mukhopadhyay Indian Statistical Institute
Arindam Pal Tata Consultancy Services - Innovation Labs
BB Prahlada Rao C-DAC Bangalore
Devesh Tiwari Oak Ridge National Laboratory
Abhinav Vishnu Pacific Northwest National Laboratory
Yinglong Xia IBM Research
Jaroslaw Zola University at Buffalo, SUNY

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

Thursday, August 6, 2015

[DMANET] [OPODIS 2015] : Keynote speakers and Call for tutorials

We apologize in advance if you receive multiple copies of this CFP.

========================================================================
OPODIS 2015
The 19th International Conference on Principles of Distributed Systems

14-17 Dec, Rennes
http://opodis2015.irisa.fr

Schedule

Abstract registration: 24 August 2015
Submission deadline: 31 August 2015
Acceptance notification: 5 Nov 2015
Final version due: 19 Nov 2015
Conference: 14-17 Dec 2015, Rennes

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

OPODIS is an open forum for the exchange of knowledge on distributed
computing and distributed computer systems. All aspects of distributed
systems are within the scope of OPODIS, including theory, specification,
design, performance, and system building. With strong roots in the
theory of distributed systems, OPODIS covers nowadays the whole range
between the theoretical aspects and practical implementations of
distributed systems, as well as experimentation and quantitative
assessments.

*KEYNOTE SPEAKERS*
Juan Garay, Senior Principal Research Scientist at Yahoo Labs, USA
Idit Keidar, Professor in Dept. of Electrical Engineering, Technion, Israël
Nicola Santoro, Distinguished Research Professor at Carleton University,
Canada

*TUTORIALS*
OPODIS 2015 will feature selected tutorials, covering research subjects
in the scope of the conference.

Experts in the domains covered by OPODIS are invited to share their
expertise with the community by submitting proposals for tutorials. The
duration of a tutorial is one session (90 to 120 minutes), including
time for questions.

A tutorial proposal should not exceed three (3) pages in length using a
11pt font size. It must include the following information:

-The title of the tutorial;
-An abstract of the tutorial content;
-A brief statement of the relevance of the tutorial to OPODIS;
-The name(s), e-mail address(es) and affiliation(s) of the presenter(s);
-The biography and relevant publications of the presenter(s);
-If the authors will consider submitting an abstract of the tutorial (see
below);
-When applicable, if and where the tutorial has already been given in
the past.

Presenters of tutorials will be given the possibility to publish an
extended abstract of the tutorial content in the proceedings of the
conference. Such extended abstracts are encouraged but optional, and
will have to be accepted through peer review before inclusion.

Tutorial proposals must be sent by email directly to the program co-chairs
in PDF format. More information will appear on:
https://opodis2015.irisa.fr/keynotes-and-tutorials/

The selection will be based on a combination of interest in content from
the perspective and the topics of OPODIS, the timeliness and the
potential to attract or establish new communities, and the proposed
organization.

*SUBMISSION*
Papers must be submitted electronically in PDF format, use the LIPIcs
style, and be written in English.

Papers shall be formatted in the same way as they will appear in the
proceedings. This should make it transparent to readers, as well as to
reviewers, that the published version and the reviewed version
correspond to each other in length and scope.

In particular, submissions must be formatted using the LaTeX style
templates for LIPIcs at
https://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/

A submission must not exceed 16 pages, including figures, tables and
references. The first page, which counts towards the total length,
should include the title of the paper, author name(s) and affiliation,
an abstract, contact email, and a list of keywords.

Additional details may be included in a clearly marked appendix or as
further supplementary material, which will be read, or not, at the
discretion of the reviewers. Submissions are expected to be intelligible
and complete without such additional details.

A submission 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.

The Program Co-Chairs reserve the right to refuse, out of hand, papers
that are out of scope, that are of clearly inferior quality, or that
violate the submission guidelines. The remaining papers will undergo a
thorough reviewing process. Each paper will be peer-reviewed in depth by
at least three Program Committee members. The Program Committee will
select contributions to be presented at the conference and published in
the proceedings according to the criteria of originality, clarity, and
completeness.

Papers must be submitted at the following link
https://secure.iacr.org/websubrev/opodis2015/submit/


*PROGRAM CHAIRS*
Christian Cachin, IBM Research - Zurich
Maria Potop-Butucaru, LIP6


*GENERAL CHAIR*
Emmanuelle Anceaume CNRS / IRISA, France


*PROGRAM COMMITTEE*
Silvia Bonomi La Sapienza, Italy
Christian Cachin (co-chair) IBM Research - Zurich, Switzerland
Keren Censor-Hillel Technion, Israel
Xavier Defago JAIST, Japan
Shlomi Dolev Ben-Gurion University of the Negev, Israel
Panagiota Fatourou University of Crete, Greece
Antonio Fernandez Anta IMDEA Networks Institute, Spain
Christof Fetzer TU Dresden, Germany
Emmanuel Godard Université Aix-Marseille, France
Wojciech Golab University of Waterloo, Canada
Krishna P. Gummadi MPI SWS Saarbrücken, Germany
Taisuke Izumi Nagoya Institute of Technology, Japan
Flavio Junqueira MSR Cambridge, United Kingdom
Rüdiger Kapitza TU Braunschweig, Germany
Aggelos Kiayias University of Athens, Greece
Fabian Kuhn University of Freiburg, Germany
Petr Kuznetsov Telecom ParisTech, France
Dahlia Malkhi VMware Research, United States
Rui Oliveira Universidade do Minho, Portugal
Marina Papatriantafilou Chalmers, Sweden
Fernando Pedone University of Lugano, Switzerland
Andrzej Pelc University of Quebec, Canada
Erez Petrank Technion, Israel
Peter Pietzuch Imperial College, United Kingdom
Florin Pop University Politehnica of Bucharest, Romania
Maria Potop-Butucaru (co-chair) Université Paris 6/LIP6, France
Michel Raynal IUF & IRISA-INRIA Rennes, France
Etienne Rivière University of Neuchâtel, Switzerland
Luís Rodrigues INESC-ID, Universidade de Lisboa, Portugal
Matthieu Roy LAAS-CNRS, France
Alex Shvartsman University of Connecticut, United States
Roman Vitenberg University of Oslo, Norway
Philipp Woelfel University of Calgary, Canada
Haifeng Yu National University of Singapore, Singapore


*STEERING COMMITTEE*
Marcos K. Aguilera VMWare, United States
Roberto Baldoni Sapienza University of Rome, Italy
Giuseppe Prencipe University of Pisa, Italy
Nicola Santoro Carleton University, Ottawa, Canada
Marc Shapiro INRIA, France
Sébastien Tixeuil (chair) IUF & LIP6-CNRS, France
Maarten van Steen VU University Amsterdam, Netherlands


*ORGANIZING COMMITTEE*
Emmanuelle Anceaume (general chair) CNRS / IRISA, France
Yann Busnel (organization chair) EXCESS (ENSAI) / INRIA, France
Elisabeth Lebret INRIA, France
Romaric Ludinard (publication chair) University La Sapienza, Italy
Lydie Mabil INRIA, France


**********************************************************
*
* 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] Workshop "Non-Combinatorial Combinatorics": approaching deadline

Please note that the registration deadline for the workshop
"Non-Combinatorial Combinatorics" (that will take place 14-16
September at the University of Warwick) is 10 AUGUST 2015. If you
intend to participate, please register on-line by this date.

The emphasis of the workshop is to explore combinatorial applications
of tools from other areas (such as, for example, algebraic, analytic,
graph limit, spectral and topological methods) as well as interactions
going in the other direction. For further information, see workshop's
webpage:

http://www2.warwick.ac.uk/fac/sci/maths/research/events/2015-16/nonsymposium/ncc/

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

Tuesday, August 4, 2015

from Eva Tardos: Call for nominations - Prize in Game Theory and Computer Science

The Prize in Game Theory and Computer Science of the Game Theory Society in Honour of Ehud Kalai was established in 2008 by a donation from Yoav Shoham in recognition of Ehud Kalai's role in promoting the connection of the two research areas. The Prize will be awarded at the Fifth World Congress of the Society, July 24 - 28, 2016, Maastricht, The Netherlands.

The Prize will be awarded to the person (or persons) who have published the best paper at the interface of game theory and computer science in the last decade. Preference will be given to candidates of age 45 or less at the time of the award, but this is not an absolute constraint. The amount of the Prize will be USD 2,500 plus travel expenses of up to USD 2,500 to attend the Congress.

The Game Theory Society invites nominations for the Prize. Each nomination should include a full copy of the paper (in pdf format) plus an extended abstract, not exceeding two pages, that explains the nature and importance of the contribution.

Nominations should be emailed to the Society's Secretary-Treasurer, Jean-Jacques Herings (at gts-sbe@maastrichtuniversity.nl ) by September 30, 2015. The selection will be made by a committee appointed by the President consisting of

Preston McAfee (Microsoft)
David Parkes (Harvard)
Eva Tardos, chair (Cornell)
Bernhard von Stengel (LSE)

[DMANET] ThRaSH 2015 Sheffield, UK - Deadline is approaching

The abstract submission deadline is fast approaching!
The deadline is Friday 7th August.

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

Call for Abstracts and Participation

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

The 9th Workshop on Theory of Randomized Search Heuristic (ThRaSH 2015)
11-12 September 2015, Sheffield, United Kingdom

*http://www.dcs.shef.ac.uk/~dirk/thrash2015
<http://www.dcs.shef.ac.uk/%7Edirk/thrash2015>*

Contact: *thrash2015@sheffield.ac.uk <thrash2015@sheffield.ac.uk>*

Deadline for abstract submission: 7 August, 2015
Notification of accepted talks: 12 August, 2015
Deadline for registration: 19 August, 2015

Abstract submission and registration (no fee) by e-mail to
*thrash2015@sheffield.ac.uk
<thrash2015@sheffield.ac.uk>*

The 9th Theory of Randomized Search Heuristics workshop continues the
tradition of discussing theoretical aspects of randomised search heuristics
such as evolutionary algorithms, ant colony optimisation, particle swarm
optimisation, simulated annealing, and other heuristics inspired by natural
or physical processes. It provides a forum to discuss novel and ongoing
work, new trends and ideas, and aims at stimulating interactions within the
research field and between related disciplines. The ninth workshop of the
series will take place in Sheffield, UK on the 11th and 12th of September,
2015; details about the venue as well as all other information pertaining
to the workshop can be found on the workshop homepage
*http://www.dcs.shef.ac.uk/~dirk/thrash2015
<http://www.dcs.shef.ac.uk/%7Edirk/thrash2015>*.

We invite researchers working on theoretical aspects of randomized search
heuristics who would like to present and discuss their work to submit a
short abstract (a single page, either in plain text or pdf). As always at
ThRaSH, the primary focus is on discussing recent ideas and detecting
challenging topics for future work, rather than on the presentation of
final results.

Registration to the workshop is free. However, we ask participants to
register by the registration deadline. Please let us know if you have any
dietary requirements so that we can take this into account in the
organization. As an optional social event, we will organise a hike in the
Peak District national park (http://www.peakdistrict.gov.uk/) in the
afternoon of Thursday 10th September for participants arriving early.


--
Pietro S. Oliveto
Vice Chancellor's Fellow,
EPSRC Early Career Fellow,
Department of Computer Science,
The University of Sheffield, Sheffield, UK.

*Fully funded PhD studentships available now* in time complexity analysis
of bio-inspired computation. Enquiries by excellent candidates can be sent
to me by email. Applications will be accepted until the posts are filled.
Further details are here
<http://staffwww.dcs.shef.ac.uk/people/P.Oliveto/PhDStudentships.html>.
Applicants should apply using the online application form here
<http://www.shef.ac.uk/postgraduate/online>

**********************************************************
*
* 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] Call for Papers: Diagrams 2016 (9th Int'l Conference on the Theory and Application of Diagrams)

Call for Papers: Diagrams 2016
Ninth International Conference on the Theory and Application of Diagrams
http://www.diagrams-conference.org/2016
diagrams2016@diagrams-conference.org

7th to 10th August, 2016
Philadelphia, Pennsylvania, USA

* CALL FOR PAPERS *

Diagrams is an international interdisciplinary conference series, covering
all aspects of research on the theory and application of diagrams. In 2016
it will be held near Philadelphia at the ACE Conference Center in
Lafayette, Pennsylvania, USA. Diagrams 2016 will run from 7th of August
2016 to the 10th of August 2016. It will be co-located with Spatial
Cognition 2016 <http://sites.temple.edu/sc16/> (2-5 August) and Cognitive
Science 2016 <http://cognitivesciencesociety.org/conference_future.html> (10-13
August).

Diagrams is the only conference series that provides a united forum for all
areas that are concerned with the study of diagrams, including
architecture, artificial intelligence, biology, cartography, cognitive
science, computer science, education, graphic design, history of science,
human-computer interaction, linguistics, logic, mathematics, philosophy,
psychology, and software modelling. The conference attracts a large number
of researchers from almost all these related fields, positioning Diagrams
as the major international event in the area. Diagrams 2016 is the ninth
conference in the bi-annual series that started in 2000.

Diagrams 2016 will include presentations of refereed papers, posters,
tutorials, workshop sessions, and a graduate symposium. We invite
submissions that focus on any aspect of diagrams research, as follows:

- long research papers (15 pages)

- short research papers (7 pages)

- posters (3 pages)

- tutorial proposals (2 pages; see the conference web page for full details)

- workshop proposals (2 pages; see the conference web page for full details)

- graduate symposium submissions (3 pages; see the conference web page for
full details)

All submissions will be fully peer reviewed. The proceedings, which will
include accepted long and short papers and posters, will be published by
Springer in their Lecture Notes in Computer Science series,
http://www.springer.com/lncs. Submissions will be administered via
Easychair with details following on the conference web site. Full details
on the preparation of submissions can be found on the conference web site.

Conference topics include, but are not limited to:
- applications of diagrams
- computational models of reasoning with, and interpretation of, diagrams
- design of diagrammatic notations
- diagram understanding by humans or machines
- diagram aesthetics and layout
- educational uses of diagrams
- evaluation of diagrammatic notations
- graphical communication and literacy
- heterogeneous notations involving diagrams
- history of diagrammatic notations
- information visualization using diagrams
- nature of diagrams and diagramming
- novel technologies for diagram use
- psychological issues pertaining to perception, comprehension or
production of diagrams
- software to support the use of diagrams
- usability and human-computer interaction issues concerning diagrams


* Submission Dates *

Abstract submissions: 4 January 2016
Paper and poster submissions: 11 January 2016
Workshop proposal submissions: 18 January 2016
Tutorial proposal submissions: 18 January 2016

Initial Paper Notification (for rebuttal): 19 February 2016
Final Paper Notification: 14 March 2016

Graduate symposium submissions: 21 March 2016

Conference dates: 7 to 10 August 2016


* Organising Committee *

General Chair: Stephanie Schwartz (Millersville University, USA)
Program Chairs: Mateja Jamnik (The University of Cambridge, UK),
Yuri Uesaka (The University of Tokyo, Japan)
Local Chair: Richard Burns (West Chester University, USA)
Workshops and Tutorials Chair: Aidan Delaney (The University of Brighton,
UK)
Graduate Symposium Chair: Luana Micallef (Helsinki Institute for
Information Technology, Finland)

**********************************************************
*
* 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] Advanced Data Analytics 2015

Call for Workshop Papers

Fourth Workshop on "Advanced Techniques on Data Analytics and Data
Visualization"

In Conjunction with the Tenth International Conference on Digital
Information Management (ICDIM 2015)
http://www.icdim.org/workshop.php
Jeju Island, South Korea
October 21-23, 2015

Technically co-sponsored by the IEEE Technology Management Council
Accepted workshop papers will be published in the proceedings indexed by
IEEE Xplore.

About the Workshop

Data are growing at an exponential rate nowadays. In order to take
advantage of them, it is important for businesses and organizations to be
able to make sense out of them by determining the trends, patterns and
underlying insights of the gathered data. Hence problems can be detected
early before they result in actual damage. Some examples of data analytics
cover tasks of finding suspicious records in accounts payable, evaluating
activities of business processes, modeling customers' behavioral patterns
and deriving the best strategies in business decision etc. Such complex
tasks go beyond simple statistics. Advanced tools such as data mining, data
modeling, data visualization, and information analysis etc. have been
extensively researched recently. The objective of this workshop is to
provide an interactive platform for academic researchers and industrial
practitioners to exchange ideas, disseminate the latest development in data
analytics and data visualization. Conceptual models, tools, and current
issues are encouraged to be discussed. The workshop welcomes paper
submission includes but not limited to the following areas:

Data retrieval and management
Innovative methods for understanding and interacting with data
Innovative methods for data analysis, presentation and visualization
Innovative methods for solving current data problems
New statistics techniques for improving current solutions
Advanced software system and algorithms for data visualization
Domain specific data analytics and data visualization
Social network analytics and visualization
Forensic analytics and visualization
Business process analytics and visualization
Industry solutions and/or experiences
Case studies

Submissions

Submissions should provide original and unpublished research results or
ongoing research with simulations. The papers should be between 6 to 8
pages total in length in the IEEE format.

* All the accepted papers will appear in the proceedings published by IEEE
and fully indexed by IEEE Xplore.
All the ICDIM papers are indexed by DBLP
(http://www.informatik.uni-trier.de/~ley/db/conf/icdim/index.html)

* Modified version of the selected papers will appear in the special issues
of the following peer reviewed and indexed journals.

(Indexed in Scopus, Thomson Reuters, Journal Citation Reports, dblp,
Engineering Index and many other databases)

Important Dates

 
Full Paper Submission  August 10, 2015
Notification of Acceptance/Rejection  September 10, 2015
Registration Due  October 10, 2015
Camera Ready Due  October 10, 2015
Workshops/Tutorials/Demos  October 22, 2015
Main conference  October 21-23, 2015

Organizers

Simon Fong, Robert P. Biuk-Aghai, SI Yain Whar, Lawrence, University of
Macau

For additional inquiries, please contact the organizers - ccfong at umac.mo

Submissions at http://www.icdim.org/submission.html
--

Regards
V. Muthu Priya
For DLINE

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

Monday, August 3, 2015

[DMANET] CFP INAIR 2015 - International Conference on Air Transportation

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

INAIR 2015
International Conference on Air Transportation
Innovation Challenges Towards a Sustainable and Reliable Operation
12th -- 13th November 2015
Amsterdam, The Netherlands

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


Air Transport is nowadays mainly covered in topics like airport planning (infrastructure development); the criteria of success are defined in terms of number of runways, apron stands, terminal facilities etc. Airport capacity shortage requires optimal usage of existing infrastructure. The impact of climate change and resource shortage increases the complexity. Aviation has to optimise its overall capacity usage within even tighter constraints. Resilience of the aviation system is becoming a big issue; reliability of schedules and procedures for all stakeholders involved (including passengers and local communities in the airports neighbourhood) is at stake. Disturbances due to severe weather, technical issues etc. might cause huge delays and costs. Solving these challenges require a mind shift towards changing and optimising processes, innovation in infrastructure usage, logistics and cooperation between partners.The interaction between researchers and industry representatives is a key in order to come up with innovative solutions for future challenges. The INAIR Conference is intended to be a forum where Industry representatives and Academia meet to exchange ideas and set up common challenges.

CALL FOR CONTRIBUTIONS
Industry representatives and researchers from research institutions, universities, airlines, air traffic service providers and industry are invited to submit extended abstracts or full draft papers (limited to 6 pages) presenting results of their work. Industry representatives are welcome to send the abstract of the topic considered for presentation. Academic Papers will be reviewed based on the problem addressed, as well as the approach and methods applied in current problems of aviation industry. Selected papers will be included in the Proceedings of the conference.

Areas of interest are, but not limited to:

- Optimization of processes in aviation
- Capacity & efficiency improvement
- Airport congestion
- Airport capacity forecast
- Business intelligence for airport
- Multi-Airport Systems
- ATC/AIRPORT systems
- Small and regional airport development
- Airlines
- Air Traffic Control
- Lean MRO
- Development of incident investigation

Contributions can be uploaded to the Easychair system until 28 August 2015:
https://easychair.org/conferences/?conf=inair2015

IMPORTANT DATES
28 August 2015: Abstract Submission
11 September 2015: Notification of acceptance
25 September 2015: Camera-Ready Submission

ORGANISATION
This conference is organized by the Aviation Academy of the Amsterdam of Applied Sciences in collaboration with the University of Žilina.

INFORMATION AND REGISTRATION
More information and registration will be available in due course through the conference website at:
http://www.amsterdamuas.com/aviation/events/item/inair-2015.html


________________________________

The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.

**********************************************************
*
* 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] Lectureship / Senior Lectureship in Algorithms and Complexity - School of Computing Science, University of Glasgow

The School of Computing Science at the University of Glasgow seeks applications for four academic posts from outstanding candidates to develop and lead research of international standard in one or more of our priority areas including algorithms and complexity; applied machine learning; autonomous and socially intelligent robotic systems; and machine learning in computational biology.

The post holders will pursue a world-class research programme in Computing Science and will teach related topics in Computing Science at all undergraduate and postgraduate levels as well as carrying out allocated administrative tasks. Appointments will be made at Lecturer / Senior Lecturer level (approximately equivalent to Assistant Professor / Associate Professor in the US) depending on knowledge, skills and experience.

For appointment at Lecturer level, you will have a minimum of 2 years postdoctoral research experience and a developing track record of publication in leading international conferences and journals. In addition, you will have the ability, drive and organisational skills to secure research grant funding, lead a research team and develop an international research profile as well as the ability to teach effectively at undergraduate and postgraduate levels.

For appointment at Senior Lecturer level, you will typically have 5-7 years postdoctoral research experience with a proven track record of undertaking a sustained programme of research of international standard in Computing Science and an established record of gaining research grant funding to support the long-term growth of the activity.

Further information can be found at: www.glasgow.ac.uk/computing/worldchangerswelcome.

Informal enquires may be made to:

Dr David Manlove
Email: David.Manlove@glasgow.ac.uk
Tel: +44 141 330 2794

Prof Chris Johnson
Email: christopher.johnson@glasgow.ac.uk
Tel: +44 141 330 6053

Apply online at www.glasgow.ac.uk/jobs

Vacancy Ref: 010852
Lecturer Grade 7/8 Salary Range £33,242 - £37,394 / £40,847 - £47,328 per annum
Senior Lecturer Grade 9 Salary Range £48,743 - £54,841

Closing date: 30 September 2015.
Interviews are expected to be held in the period 12 - 17 November 2015.

The University has recently been awarded the Athena SWAN Institutional Bronze Award.

The University is committed to equality of opportunity in employment.

The University of Glasgow, charity number SC004401.

**********************************************************
*
* 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] Logistics Analyst - Port of Dover

We seek a qualified candidate to work on a 2-year KTP project involving
the application of simulation and optimisation methodologies to drive
long-term strategic developments at the Port of Dover. The Port of Dover
is Europe's busiest ferry port, as well as the second busiest cruise
port in the UK. The Port also operates an active cargo terminal,
importing fresh produce and other goods to supply the UK market.

The successful applicant will be based at the Port of Dover's premises
and will work closely with Port of Dover staff and a team of academics
from the Management Science Group at the Kent Business School. This is
an exciting opportunity to work at a senior level on applying
cutting-edge analytics techniques into practice at a dynamic, publically
visible, and economically important UK company

The KTP Associate will be specifically tasked with helping to frame the
Port of Dover's 10-year master plan by providing the Port with bespoke
quantitative models for optimising traffic flow and the design of a new
cargo terminal. Successful delivery of the project will enable more
efficient use of space at this highly constrained site, resulting in
reduced traffic congestion and increased revenue generation by the Port.

Applicants should ideally hold a PhD in management science / operational
research / business analytics or similar. The Associate must have an
in-depth knowledge of simulation and optimisation modelling techniques,
as well as a good understanding of data analysis and statistics. It is
essential that the Associate be a skilled programmer and have experience
in modelling and solving optimisation problems, including using
off-the-shelf simulation / optimisation packages (e.g., SIMUL8 and
CPLEX) and developing ad-hoc exact and or heuristic methods. Previous
consultancy experience is highly desirable as is well as a proven track
record of publishing.

Further Information

Job Type: Research
Contract Type: 24 Months, Fixed Term
Salary: £30,434 - £38,000 pa
Start date for applications: 03 August 2015
Closing date for applications: 04 September 2015
Interviews are to be held: 14 October 2015

Please see the links below to view the full job description and also to
apply for this post.

https://jobs.kent.ac.uk/fe/tpl_kent01.asp?s=4A515F4E5A565B1A&jobid=39375,3465871265&key=44499366&c=585834126898&pagestamp=sevthhcyssujkjuphh

Informal enquiries may be directed by email to:

Dr Jesse O'Hanley | Senior Lecturer in Env. Systems Mgmt.
Kent Business School | University of Kent
+44 (0)1227 824286 | j.ohanley@kent.ac.uk
**********************************************************
*
* 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] PhD Opportunities in Computer Science and Applied Mathematics in Australia (The University of Newcastle)

>From Prof. Pablo Moscato
Founding Director at Centre for Bioinformatics, Biomarker Discovery and Information-based Medicine
https://www.newcastle.edu.au/profile/pablo-moscato

We have several research programs related to Big Data analytics, machine learning, machine teaching and
artificial intelligence, evolutionary computation, theoretical computer science and applications of computer science in the social sciences.

Our methodologies are based on Discrete Applied Mathematics and a highly interdisciplinary approach.
http://theconversation.com/shakespeare-and-cancer-diagnoses-how-bard-can-it-be-15381

Our university has been the only academic institution that had the highest rank in Australia
in Applied Mathematics in two consecutive Excellence in Research Australia exercises of 2010 and 2012.

We welcome your ideas and feel free to suggest potential areas of interest.

Cut-off date is August 31st for this great opportunity to study in a vibrant Australian city on the beach!

See
http://www.youtube.com/watch?v=ukQnPrxR4Cg
for a lively video about our city.

For more information about the application forms and requirements see:
https://www.newcastle.edu.au/research-and-innovation/graduate-research/phd-and-research-degrees/apply-now


Prof. Pablo Moscato - Australian Research Council Future Fellow
Priority Research Centre for Bioinformatics,
Biomarker Discovery and Information-based Medicine (CIBM)
LinkedIn - https://au.linkedin.com/pub/pablo-moscato/2b/5/4

School of Electrical Engineering and Computer Science,
Faculty of Engineering and Built Environment,
The University of Newcastle, Callaghan, NSW 2308, Australia
Phone: +61 (2) 49216056
Email: Pablo.Moscato@newcastle.edu.au;
URL: https://www.newcastle.edu.au/profile/pablo-moscato
**********************************************************
*
* 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/
*
**********************************************************

Saturday, August 1, 2015

[DMANET] Assistant Professor in Computer Science

ASSISTANT PROFESSOR IN COMPUTER SCIENCE

The Department of Mathematics and Computer Science at the University of
Southern Denmark (SDU), Odense, invites applications for a position as
assistant professor in computer science. The appointment lasts for three
years and is expected to start by 1 March 2016. Contingent on successful
completion of a lecturer training programme and positive performance
evaluation, a position for associate professor is normally opened when
the appointment ends, for which the assistant professor can apply.

The successful applicant is expected to have a PhD in computer science
and a strong track record of research at a high international level, in
an area that complements or supplements our existing research
activities. In particular, areas interesting to us include (but are not
limited to) the following: 1) Database Systems?? 2) Concurrent and
Distributed Systems?? 3) Data Mining, for instance in biological and
health based settings.

In addition to research the applicant must be able to teach and advise
in computer science at all levels (undergraduate through PhD) as well as
teach in a broad range of core computer science areas at the
undergraduate level.

Fluency in English is required. Knowledge of Danish is not a
prerequisite for application. More English than Danish is used when
teaching in computer science, and more than half of the faculty members
in computer science are foreigners. However, the primary administrative
language at SDU is Danish and the candidate, who wishes to apply for an
associate professor position after the assistant professor appointment,
should therefore be willing to acquire Danish reading abilities within a
few years, in order to also contribute to the administrative tasks.

For further information on the department and its research and teaching
activities, see its home page or contact research leader Rolf Fagerberg,
phone: +45 28 21 17 77, email: rolf@imada.sdu.dk.

To apply, follow the link to the full call at:

http://www.sdu.dk/en/servicenavigation/right/ledige_stillinger

The deadline for application is September 15, 2015.


--

Rolf Fagerberg Email: rolf@imada.sdu.dk
Department of Mathematics and Web: http://www.imada.sdu.dk/~rolf
Computer Science Phone (office): +45 6550 2382
University of Southern Denmark Phone (dept.): +45 6550 2387
Campusvej 55, DK-5230 Odense M Phone (home): +45 6475 1006
Denmark Phone (mobile): +45 2821 1777
**********************************************************
*
* 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] DCM 2015 (Cali, Colombia): Deadline Extension.

======================================================
FINAL CALL FOR PAPERS -- DCM 2015

11th International Workshop on Developments in Computational Models
A satellite event of ICTAC 2015 - http://www.ictac2015.co

October 28, 2015, Cali, Colombia
http://dcm-workshop.org.uk/2015/

DEADLINE FOR SUBMISSION OF EXTENDED ABSTRACTS (5 pages): AUGUST 17, 2015
======================================================

Several new models of computation have emerged in the last few years, and
many developments of traditional computational models have been proposed
with the aim of taking into account the new demands of computer systems
users and the new capabilities of computation engines. A new computational
model, or a new feature in a traditional one, usually is reflected in a
new family of programming languages, and new paradigms of software
development.

DCM 2015 is the eleventh in a series of international workshops focusing
on new computational models. The aim of this workshop is to bring together
researchers who are currently developing new computational models or new
features for traditional computational models, in order to foster their
interaction, to provide a forum for presenting new ideas and work in
progress, and to enable newcomers to learn about current activities in
this area.

DCM 2015 will be a one-day satellite event of ICTAC 2015, the Twelfth
International Colloquium on Theoretical Aspects of Computing.

== TOPICS OF INTEREST
Topics of interest include all abstract models of computation and their
properties, and their applications to the development of programming
languages and systems:

- functional calculi: lambda-calculus, rho-calculus, term and graph
rewriting;
- quantum computation, including implementations and formal methods in
quantum protocols;
- probabilistic computation and verification in modeling situations;
- chemical, biological and bio-inspired computation, including spatial
models, self-assembly, growth models;
- models of concurrency, including the treatment of mobility, trust, and
security;
- infinitary models of computation;
- information-theoretic ideas in computing;
- relative and higher type computation.

== IMPORTANT DATES
- Submission Deadline for Extended Abstracts: August 17 (extended)
- Notification: 13 September
- Pre-proceedings version due: 5 October
- Workshop: 28 October
- Submission Deadline for EPTCS Proceedings: 7 December

== INVITED SPEAKERS
Mauricio Ayala Rincón, Universidade de Brasilia (Brazil).
Gilles Dowek, INRIA (France).

== SUBMISSIONS
Submit your paper in PDF format via the conference EasyChair submission
page:
https://www.easychair.org/conferences/?conf=dcm2015

Submissions should be an abstract of at most 5 pages, written in English.
Simultaneous submission to journals, conferences or other workshops is not
permitted. Please use the EPTCS macro package and follow the instructions
of EPTCS, following the EPTCS style:
http://style.eptcs.org/

A submission may contain an appendix, but reading the appendix should not
be necessary to assess its merits. After the workshop authors are invited
to submit a full paper of their presentation. Accepted contributions will
appear in an issue of EPTCS.

== PROGRAM COMMITTEE:
Mario Benevides (Brazil)
Luís Caires (Portugal)
Ugo Dal Lago (Italy)
Nachum Dershowitz (Israel)
Jérôme Feret (France)
Marcelo Frias (Argentina)
Russ Harmer (France)
Ivan Lanese (Italy)
Radu Mardare (Denmark)
Elvira Mayordomo (Spain)
César A. Muñoz (USA) - chair
Jorge A. Pérez (The Netherlands) - chair
Andrés Sicard-Ramírez (Colombia)
Alexandra Silva (The Netherlands)
Daniele Varacca (France)

--
Jorge A. Pérez
Assistant Professor
Johann Bernoulli Institute for Mathematics and Computer Science
University of Groningen
Groningen, The Netherlands
URL: http://www.jorgeaperez.net
**********************************************************
*
* 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/
*
**********************************************************