Monday, May 22, 2017

[DMANET] CFP: SI of Springer-Nature CASM on Modeling Complexity in Networks

https://casmodeling.springeropen.com/cacoons17

Complex Adaptive Systems Modeling welcomes submissions to the thematic
series on Modeling Complexity in  Complex Adaptive Communication Networks
and Environments.
Modern Communication Networks are very complex in nature. Often times, they
are made up of several hierarchical complex systems. While traditional
techniques focus on developing simulation models of smaller systems as
proof-of-concept, the focus of this thematic series is to capture latest
research in the domain of modeling and simulation of complex communication
networks such as Body Area Networks, Internet of Things, Cloud computing,
Vehicular Networks etc.
Potential topics include but are not limited to:
• Modeling and Simulation techniques for Communication networks •
Agent-based models • Complex network (graph-based) models • Multi-scale
models, mathematical models • Well-defined and detailed modelling and
simulation case studies • Techniques for verification and validation of
large-scale models Submission Instructions Before submitting your
manuscript, please ensure you have carefully read the link
https://casmodeling.springeropen.com/submission-guidelines for Complex
Adaptive Systems Modeling.

The complete manuscript should be submitted through the Complex Adaptive
Systems Modeling https://www.editorialmanager.com/casm/default.aspx.

To ensure that you submit to the correct thematic series please select the
appropriate thematic series in the drop-down menu upon submission. In
addition, indicate within your cover letter that you wish your manuscript to
be considered as part of the thematic series on Modeling Complexity in
 Complex Adaptive Communication Networks and Environments. All submissions
will undergo rigorous peer review and accepted articles will be published
within the journal as a collection.
Deadline for submissions: 31/07/2017

Lead Guest Editor
Muaz A. Niazi, COMSATS Institute of IT, Islamabad, Pakistan Submissions will
also benefit from the usual advantages of open access publication: • Rapid
publication: Online submission, electronic peer review and production make
the process of publishing your article simple and efficient • High
visibility and international readership in your field: Open access
publication ensures high visibility and maximum exposure for your work -
anyone with online access can read your article • No space constraints:
Publishing online means unlimited space for figures, extensive data and
video footage • Authors retain copyright, licensing the article under a
Creative Commons license: articles can be freely redistributed and reused as
long as the article is correctly attributed

For editorial enquiries please contact mailto:editorial@casmodeling.com.

For queries about the thematic series: muaz.niazi@ieee.org

Kind regards,
Muaz
-
Muaz A. Niazi, PhD SMIEEE
Chief Scientific Officer,
Department of Computer Science,
COMSATS Institute of IT, Islamabad, Pakistan Editorial Advisor, SpringerOpen
journals Founding EiC Springer Complex Adaptive Systems Modeling EiC
Emeritus, IGI Global IJPHIM
Email: muaz.niazi@gmail.comniazi@alum.bu.edu
Web: http://www.niazilab.com
Twitter: https://twitter.com/MuazNiazi
Publons: https://publons.com/author/421250


**********************************************************
*
* 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] Reminder: Postdoc position in Distributed Algorithms, Loughborough University

Application deadline: June 1, 2017.
Application at *http://www.jobs.ac.uk/job/BBB5
<http://www.jobs.ac.uk/job/BBB5>**61/research-associate/
<http://www.jobs.ac.uk/job/BBB561/research-associate/> *

Details below
===========

Applications are invited for a postdoctoral research associate position in
the area of distributed algorithms in the research group of Dr. Amitabh
Trehan
<http://www.lboro.ac.uk/departments/compsci/staff/academic-teaching/trehanamitabh/>
at Loughborough University Computer Science.
<http://www.lboro.ac.uk/departments/compsci/>

The position is funded by an EPSRC first grant to work on an exciting new
project called *COSHER: Compact Self-healing Routing (COSHER) *(RCUK link
<http://gtr.rcuk.ac.uk/projects?ref=EP%2FP021247%2F1>) that aims to combine
research on compact routing with resilience (self-healing) using the
standard message-passing modelling of networks (as graphs) and mathematical
analysis of proposed algorithms. The position is for a one-year fixed term
in the present instance providing a competitive 12 month salary with
standard benefits. The expected start date is Fall 2017 (Available to
begin as early as July 1, 2017).

The successful candidate should have a PhD in Computer Science, mathematics
or related disciplines with knowledge and understanding of algorithms and
CS theory and/or networks. Experience in designing distributed/network
algorithms is highly desirable.


*-----*

*More details and a link to the application is available at
http://www.jobs.ac.uk/job/BBB5 <http://www.jobs.ac.uk/job/BBB5>*
*61/research-associate/
<http://www.jobs.ac.uk/job/BBB561/research-associate/> *

* The application deadline is June 1st, 2017.*

The (online) application should include (1) Education details, (2)
Supporting information in the form of a brief cover letter and research
interest statement, (3) Names and contact information of three referees,
(4) CV and publications list.

Informal enquiries should be made to Dr. Amitabh Trehan by email at
a.trehan@lboro.ac.uk or by telephone on +44 (0)1509 222564 <01509%20222564>.

Please also refer to the blog www.huntforthetowel.wordpress.com for more
pointers on the research.


Dr. Amitabh Trehan
<http://www.lboro.ac.uk/departments/compsci/staff/academic-teaching/trehanamitabh/>
Computer Sciece
Loughborough University
Loughborough, England.
www.amitabhtrehan.net
www.huntforthetowel.worpress.com


--
What you can do, or dream you can do, begin it;
Boldness has genius, power and magic in it.
-- John Anster, from a "very free translation" of Goethe's *Faust*

**********************************************************
*
* 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] DEADLINE EXTENSION: ALGOSENSORS 2017

Apologies for duplicate postings. Please notice the deadline extension due to multiple requests.


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

Call for Papers

ALGOSENSORS 2017

13th International Symposium on Algorithms and Experiments
for Wireless Sensor Networks


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

ALGOSENSORS will be in Vienna, Austria, as part of ALGO 2017
https://algo2017.ac.tuwien.ac.at/algosensors/

Abstract Submission (extended-firm): June 1, 2017
Submission (extended-firm): June 8, 2017
Notification: July 10, 2017
Camera Ready: July 31, 2017
Symposium: September 7-8, 2017


----------------------------------------------
SCOPE AND TOPICS
----------------------------------------------

ALGOSENSORS is an international symposium dedicated to the algorithmic
aspects of wireless networks. Originally focused on sensor networks, it
now covers algorithmic issues arising in wireless networks of all types
of computational entities, static or mobile, including sensor networks,
sensor-actuator networks, autonomous robots. The focus is on the design
and analysis of algorithms, models of computation, and experimental analysis.

In year 2017 ALGOSENSORS has two tracks:

- Algorithms & Theory
- Experiments & Applications

Each paper must be submitted to a single track that fits the topic of the
paper best.

For the first time ALGOSENSORS will recognize its best papers. The best paper from each track will be selected, and it will be given a Best Paper Award.

A non-exhaustive list of topics relevant to ALGOSENSORS is the following:

Approximation Algorithms
Communication Protocols
Complexity and Computability
Computational Models
Cryptography, Security and Trust
Cyber Physical Systems
Data Aggregation and Fusion
Deployment
Energy Management
Error Correcting Codes
Experimental Analysis
Fault Tolerance and Dependability
Game Theoretic Aspects
Infrastructure Discovery
Internet of Things (IoT)
Localization
Medium Access Control
Mobility & Dynamics
Obstacle Avoidance
Pattern Formation
Performance Evaluation
Power Saving Schemes
Randomized Algorithms
Resource Efficiency
RFID Algorithms
Routing and Data Propagation
Self-stabilization, Self-* Properties
Swarm Computing
Systems and Testbeds
Time Synchronization
Topology Control
Tracking
Virtual Infrastructures

----------------------------------------------
SUBMISSION
----------------------------------------------

Full papers are to be submitted electronically using the EasyChair server at https://easychair.org/conferences/?conf=algosensors2017. Original research papers must contain results that have not previously appeared and have not been concurrently submitted to a journal or conference with published proceedings. Each paper should select one of the two tracks (Algorithms & Theory or Experiments & Applications) for submission. Authors need to ensure that for each accepted paper at least one author will register and attend the symposium.
Submissions are limited to twelve (12) single-column pages in the LNCS format (see LNCS author guidelines at http://www.springer.com/us/computer-science/lncs/conference-proceedings-guidelines). This includes figures, but excludes references and an optional appendix (to be read at the program committee's discretion).

----------------------------------------------
PROCEEDINGS
----------------------------------------------

As in previous years, the proceedings of ALGOSENSORS will be published
by Springer-Verlag as a volume of the LNCS series. Selected papers will
be invited to a special issue of the journal Theoretical Computer Science.

----------------------------------------------
PROGRAM COMMITTEE CHAIRS
----------------------------------------------

Antonio Fernández Anta, Institute IMDEA Networks, Spain (Program co-Chair)
Tomasz Jurdzinski, University of Wroclaw, Poland (Algorithms & Theory Track Chair)
Miguel A. Mosteiro, Pace University, USA (Program co-Chair)
Yanyong Zhang, Rutgers University, USA (Experiments & Applications Track Chair)

----------------------------------------------
PROGRAM COMMITTEE
----------------------------------------------

Ashwin Ashok, Georgia State University, USA
Evangelos Bampas, Aix-Marseille Université, France
Amotz Bar-Noy, City University of New York, USA
Fernando Boavida, Universidade de Coimbra, Portugal
Jacek Cichon, Wroclaw University of Science and Technology, Poland
Gianluca De Marco, Università degli Studi di Salerno, Italy
Robert Elsässer, University of Salzburg, Austria
Martín Farach-Colton, Rutgers University, USA
Ben Firner, NVidia Corp., USA
Leszek Gąsieniec, University of Liverpool, UK
James Gross, KTH Royal Institute of Technology, Sweden
Evangelos Kranakis, Carleton University, Canada
Joseph S. B. Mitchell, Stony Brook University, USA
Jorge Ortiz, IBM Research, USA
Hui Pan, Hong Kong University of Science and Technology, China HK
Gopal Pandurangan, University of Houston, USA
Dror Rawitz, Bar-Ilan University, Israel
Guiling Wang, New Jersey Institute of Technology, USA
Dongxiao Yu, Huazhong University of Science and Technology, China
Lan Zhang, University of Science and Technology of China, China
Rong Zheng, McMaster University, Canada

----------------------------------------------
STEERING COMMITTEE
----------------------------------------------

Josep Diaz, Universitat Politecnica de Catalunya, Spain
Magnus M. Halldorsson, Reykjavik University, Iceland
Bhaskar Krishnamachari, University of Southern California, USA
P.R. Kumar, Texas A&M University, USA
Sotiris Nikoletseas, University of Patras and CTI, Greece
José Rolim, Université de Genève, Switzerland
Paul Spirakis, University of Liverpool, UK
Adam Wolisz, TU Berlin, Germany

**********************************************************
*
* 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] EURO WG Pricing & Revenue Management Workshop 2017 Wednesday, June 28, 2017,

The EURO WG Pricing & Revenue Management Workshop 2017 Wednesday, June 28, 2017
and
INFORMS Revenue Management and Pricing Conference 2017 Thursday, June 29, 2017 to Friday, June 30, 2017
will be held at Centrum Wiskunde & Informatica (CWI) in Amsterdam.
http://www.informsrmp2017.com/

The event is the premier forum for both academics and practitioners who are active in research in the fields of pricing analytics and revenue management.
The conference will host:


* Plenary lectures by Peter Verhoef (Full professor Marketing at University of Groningen) on creating value with Big Data Analytics, and Maarten van der Lei (Vice-president Pricing and Revenue Management Europe at KLM-Air France) on integrated optimization of the airline value chain;
* The award ceremony for the INFORMS Revenue Management & Pricing Section Practice award;
* A tour through the canals of Amsterdam;
* Ample time to meet and catch up with your colleagues.

The conference will be preceded by the annual workshop of the EURO Working Group Pricing & Revenue Management: a single-track workshop focused on successful applications of recent scientific insights. Confirmed speakers for the Wednesday workshop:

* René AÏD (University of Paris-Dauphine) "A Principal-Agent model for pricing electricity volatility demand"
* Franck Orieux (VP Revenue Management Cargo Air France – KLM), and Ferran Garcia (head of the Cargo Operations Research department at Air France – KLM)
* Bjorn Arenoe (CEO and owner at Arenoe Marketing Intelligence) "Dynamic Pricing at Wijnvoordeel.nl"


**********************************************************
*
* 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] International Workshop on Bilevel Programming (IWOBIP’18) INRIA Lille, 18 to 22, June 2018.

International Workshop on Bilevel Programming (IWOBIP'18)
INRIA Lille,
18 to 22, June 2018.
https://iwobip2.sciencesconf.org/

After the first International Workshop on Bilevel Programming (IWOBIP'16) held in Monterrey Mexico in 2016, IWOBIP'18 will take place at INRIA Lille-Nord Europe, France ( https://www.inria.fr/centre/lille ), from Monday 18 to Friday 22, June 2018.
The main motivation for hosting IWOBIP'18 is to bring together a group of academics, practitioners, and students working on the topic. It is also meant to attract young researchers and graduated students (master and Ph.D. students) who are specializing in Bilevel Programming.
Bilevel Programming is a fairly recent branch of optimization that deals with programs whose constraints embed an auxiliary optimization problem. Bilevel programs are pervasive and are commonly found in a number of real-world problems. This includes problems in the domains of transportation, energy, economics, decision science, environmental economics, etc.
In addition to contributed presentations, IWOBIP'18 will consist of plenary lectures and mini-courses, both given by world-renowned researchers. It is important to mention that there will not be parallel sessions. Only one daily main session will be scheduled because of the degree of specialization of the workshop. Among the topics of interest of the IWOBIP'18 are: theory, exact methods, heuristic algorithms and interesting applications modeled as bilevel programming problems.

The city of Lille, located in the north of France, is easily reachable by plane (Lesquin Airport) or by train from the airports of Brussels (about 1 hour) or Paris (50 minutes from Charles De Gaulle Airport).
Lille offers a wide variety of tourist, recreational and cultural activities, which undoubtedly will make the stay more attractive during the workshop.

Infomations about keynote speakers and submission process will be provided in the next weeks.

**********************************************************
*
* 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 position in Scheduling Algorithms for Healthcare, TU Berlin

A PhD position is available at TU Berlin, in the fields of discrete and
robust optimization, for a start at the earliest possible date. The
project, entitled "Robust Optimization of Load Balancing in the
Operating Theatre", will be under the supervision of Guillaume Sagnol at
the COGA Group of the Technical University of Berlin.

* Working field:

Working in the ECMath Junior Research Group "Optimization under
Uncertainty" and the project
"Robust Optimization of Load Balancing in the Operating Theatre".
Further own research in the field of discrete and
algorithmic mathematics.

* Requirements:

Successfully completed university degree (Master, Diplom or equivalent)
in Mathematics, grades clearly
above average desired; deep knowledge in combinatorial optimization
and/or optimization under uncertainty; strong
interest in mathematical research; experience in scientific programming
(e.g. Matlab, python, julia,...).

The full job anouncement is available at
https://tub.stellenticket.de/de/offers/36216

We welcome highly motivated candidates to send their electronic
application per email to sagnol@math.tu-berlin.de (deadline for the
application: 09.06.2017).

For further information do not hesitate to contact Guillaume Sagnol.

**********************************************************
*
* 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] MOPTA 2017 - Advanced Engineering and Optimization

CALL FOR ABSTRACTS

MOPTA 2017 (http://coral.ie.lehigh.edu/~mopta/#<http://coral.ie.lehigh.edu/~mopta/>) technical session:

Advanced Engineering and Optimization

The parallel technical session 'Advanced Engineering and Optimization' is going to be held at the MOPTA (Modeling and Optimization: Theory and Applications) Conference, Bethlehem (PA, USA), August 16-18, 2017
( http://coral.ie.lehigh.edu/~mopta/#<http://coral.ie.lehigh.edu/~mopta/> ).

For abstract submission, please contact:

Prof. János D. Pintér (Leigh University, Betlehem, PA, USA) jdp416@lehigh.edu
Giorgio Fasano (Thales Alenia Space, Italy), giorgio.fasano@thalesaleniaspace.com


**********************************************************
*
* 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] SPAA 2017 - Call for Participation

===================================================================
SPAA 2017: CALL FOR PARTICIPATION
===================================================================

29th ACM Symposium on
Parallelism in Algorithms and Architectures (SPAA 2017)
July 24-26, 2016
Washington DC, USA
http://spaa.acm.org/

Highlights:
- Co-located with the 36th ACM Symposium on Principles
of Distributed Computing (PODC)
- Keynote talks by Guy Blelloch (joint with PODC) and Piotr Indyk.

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

Registration is now open. Please visit the conference webpage for a list
of accepted papers, registration, and information on local arrangements.

A limited number of travel grants for students is available, thanks to
generous support by ACM SIGARCH. Please visit the conference webpage on
information how to apply.

Important dates:

- Student travel-grant application deadline: June 13 (extended from May 15)
- Early registration deadline: June 26

--
Nodari Sitchinava
SPAA 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, May 21, 2017

[DMANET] [CP/ICLP/SAT 2017's Doctoral Program] Call for Submissions

CALL FOR SUBMISSIONS
====================

Constraint Programming / Logic Programming / SAT Doctoral Program 2017

More information is available at http://cp2017.a4cp.org/doctoral_program/

This year the co-located CP 2017, ICLP 2017 and SAT 2017 conferences are holding
a joint Doctoral Program (DP). The DP is open to all students doing research on
constraints, satisfiability or logic programming, including students that
participated in previous DPs. It is a place where you can meet other student
researchers, discuss your ongoing work in a relaxed atmosphere, as well as
getting some mentoring from an experienced researcher in the field.

You can participate by submitting a paper about your ongoing research, or just
the abstract if you have a paper accepted at either of the main conferences; see
below for detailed instructions.

The program is a full-day event at the conference and includes presentations of
the papers and mentoring by a senior researcher who will see your talk and and
spend some time to discuss with you during the conference, as well as a nice
(and free) dinner at the end of the day.

Important dates
---------------

- Submission Deadline: June 19, 2017
- Doctoral Program: August 28, 2017 in Melbourne (as part of CP/ICLP/SAT 2017)

Financial support will be available to some students.

More information is available at http://cp2017.a4cp.org/doctoral_program/


Dr Tommaso Urli

Researcher | Optimisation Platforms

DATA61 | CSIRO

E tommaso.urli@data61.csiro.au<mailto:tommaso.urli@data61.csiro.au> T +61 2 6218 3862 M +61 403 464 731

Tower A Level 3, 7 London Circuit, Canberra ACT 2601

www.data61.csiro.au

CSIRO's Digital Productivity business unit and NICTA have joined forces to create digital powerhouse Data61

[Data61 | CSIRO logo]
**********************************************************
*
* 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] GraMSec 2017 - deadline extended until Sunday, May 28

The Fourth International Workshop on Graphical Models for Security
Santa Barbara, CA, USA - August 21, 2017

http://gramsec.uni.lu
Co-located with CSF 2017
LNCS proceedings confirmed

Following several requests, the submission deadline has been extended
until Sunday, May 28.

SCOPE
Graphical security models provide an intuitive but systematic approach
to analyze security weaknesses of systems and to evaluate potential
protection measures. Cyber security researchers, as well as security
professionals from industry and government, have proposed various
graphical security modeling schemes. Such models are used to capture
different security facets (digital, physical, and social) and address a
range of challenges including vulnerability assessment, risk analysis,
defense analysis, automated defensing, secure services composition,
policy validation and verification. The objective of the GraMSec
workshop is to contribute to the development of well-founded graphical
security models, efficient algorithms for their analysis, as well as
methodologies for their practical usage.

TOPICS
The workshop seeks submissions from academia, industry, and government
presenting novel research on all theoretical and practical aspects of
graphical models for security. The topics of the workshop include, but
are not limited to:

• Graphical models for threat modeling and analysis
• Graphical models for risk analysis and management
• Graphical models for requirements analysis and management
• Textual and graphical representation for system, organizational, and
business security
• Visual security modeling and analysis of socio-technical and
cyber-physical systems
• Graphical security modeling for cyber situational awareness
• Graphical models supporting the security by design paradigm
• Methods for quantitative and qualitative analysis of graphical
security models
• Formal semantics and verification of graphical security models
• Methods for (semi-)automatic generation of graphical security models
• Enhancement and/or optimization of existing graphical security models
• Scalable evaluation of graphical security models
• Evaluation algorithms for graphical security models
• Dynamic update of graphical security models
• Game theoretical approaches to graphical security modeling
• Attack trees, attack graphs and their variants
• Stochastic Petri nets, Markov chains, and Bayesian networks for security
• UML-based models and other graphical modeling approaches for security
• Software tools for graphical security modeling and analysis
• Case studies and experience reports on the use of graphical security
modeling paradigm

INVITED SPEAKER
To be confirmed.

PAPER SUBMISSION
We solicit two types of submissions:
• Regular papers (up to 15 pages, excluding the bibliography and
well-marked appendices)
describing original and unpublished work within the scope of the workshop.
• Short papers (up to 7 pages, excluding the bibliography and
well-marked appendices)
describing original and unpublished work in progress.

The reviewers are not required to read the appendices, so the papers
should be intelligible without them. All submissions must be prepared
using the LNCS style:
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0

Each paper will undergo a thorough review process. All accepted (regular
and short) papers will be included in the workshop's post-proceedings.
The GraMSec 2017 post-proceedings will be published in the Lecture Notes
in Computer Science (LNCS) series of Springer. Submissions should be
made using the GraMSec 2017 EasyChair web site:
https://www.easychair.org/conferences/?conf=gramsec17

IMPORTANT DATES
• Submission deadline: Sunday, May 28, 2017 (firm)
• Acceptance notification: Friday, July 7, 2017
• Workshop: Monday, August 21, 2017

GENERAL CHAIR
• Sjouke Mauw, University of Luxembourg, Luxembourg

PROGRAM CHAIRS
• Peng Liu, Pennsylvania State University, USA
• Ketil Stølen, SINTEF Digital and University of Oslo, Norway

PC MEMBERS
Mathieu Acher, University Rennes 1, Inria, France
Massimiliano Albanese, George Mason University, USA
Ludovic Apvrille, Télécom ParisTech, France
Thomas Bauereiss, DFKI, Germany
Kristian Beckers, Technical University of Munich, Germany
Giampaolo Bella, University of Catania, Italy
Stefano Bistarelli, Università di Perugia, Italy
Marc Bouissou, EDF RD, France
Frédéric Cuppens, Télécom Bretagne, France
Nora Cuppens-Boulahia, Télécom Bretagne, France
Binbin Chen, Advanced Digital Sciences Center, Singapore
Hervé Debar, Télécom SudParis, France
Harley Eades, Augusta University, USA
Mathias Ekstedt, KTH - Royal Institute of Technology, Sweden

Ulrik Franke, Swedish Institute of Computer Science - SICS, Sweden
Frank Fransen, TNO, The Netherlands
Olga Gadyatskaya, University of Luxembourg, Luxembourg
Paolo Giorgini, University of Trento, Italy
Dieter Gollmann, Hamburg University of Technology, Germany
Joshua Guttman, WPI and MITRE, USA
René Rydhof Hansen, Aalborg University, Denmark
Maritta Heisel, Universität Duisburg-Essen, Germany
Hannes Holm, Swedish Defence Research Agency, Sweden
Siv Hilde Houmb, Secure-NOK AS, Norway
Sushil Jajodia, George Mason University, USA
Ravi Jhawar, University of Luxembourg, Luxembourg
Henk Jonkers, BiZZdesign, The Netherlands
Cristian Johansen, University of Oslo, Norway
Florian Kammueller, Middlesex University London, UK
Nima Khakzad, TU Delft, The Netherlands
Dong Seong Kim, University of Canterbury, New Zealand
Barbara Kordy, INSA Rennes, IRISA, France
Pascal Lafourcade, Université Clermont Auvergne, LIMOS, France
Jean-Louis Lanet, Inria, France
Per Håkon Meland, SINTEF Digital, Norway
Jogesh Muppala, HKUST, Hong Kong, SAR China
Simin Nadjm-Tehrani, Linköping University, Sweden
Andreas L. Opdahl, University of Bergen, Norway
Xinming Ou, University of South Florida, USA
Stéphane Paul, Thales Research and Technology, France
Wolter Pieters, TU Delft, The Netherlands
Ludovic Piètre-Cambacédès, EDF, FR
Sophie Pinchinat, University Rennes 1, IRISA, France
Vincenzo Piuri, University of Milan, Italy
Marc Pouly, Lucerne University of Applied Sciences and Arts, Switzerland
Nicolas Prigent, Supélec, France
Christian W. Probst, Technical University of Denmark, Denmark
David Pym, UCL, UK
Saša Radomirovic, University of Dundee, UK
Indrajit Ray, Colorado State University, USA
Arend Rensink, University of Twente, The Netherlands
Yves Roudier, Université Côte d'Azur, CNRS, I3S, UNS, France
Guttorm Sindre, NUST, Norway
Mariëlle Stoelinga, University of Twente, The Netherlands
Xiaoyan Sun, California State University, USA
Axel Tanner, IBM Research - Zurich, Switzerland
Alexandre Vernotte, KTH - Royal Institute of Technology, Sweden
Luca Viganò, King's College London, UK
Lingyu Wang, Concordia University, Canada
Jan Willemson, Cybernetica, Estonia

CONTACT
For inquiries please send an e-mail to gramsec17@easychair.org

**********************************************************
*
* 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, May 19, 2017

[DMANET] CFP IJCCI 2017 - 9th Int.l Joint Conf. on Computational Intelligence (Funchal, Madeira/Portugal)

SUBMISSION DEADLINE

9th International Joint Conference on Computational Intelligence

Submission Deadline: May 22, 2017

http://www.ijcci.org/

November 1 - 3, 2017
Funchal, Madeira, Portugal.

IJCCI is organized in 4 major tracks:

- Evolutionary Computation
- Fuzzy Computation
- Neural Computation
- Cognitive and Hybrid Systems

In Cooperation with AIXIA, AAAI, EUSFLAT.

With the presence of internationally distinguished keynote speakers:
António Dourado, University of Coimbra, Portugal
Emma Hart, Edinburgh Napier University, United Kingdom
Paulo Novais, Universidade do Minho, Portugal
Jonathan Garibaldi, University of Nottingham, United Kingdom


A short list of presented papers will be selected so that revised and extended versions of these papers will be published by Springer.

All papers presented at the congress venue will also be available at the SCITEPRESS Digital Library (http://www.scitepress.org/DigitalLibrary/).

Should you have any question please don't hesitate contacting me.

Kind regards,
IJCCI Secretariat

Address: Av. D. Manuel I, 27A, 2º esq.
2910-595 Setubal, Portugal
Tel: +351 265 100 033
Fax: +351 265 520 186
Web: http://www.ijcci.org/
e-mail
: ijcci.secretariat@insticc.org


**********************************************************
*
* 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] 21th FRICO: one month left until deadline

*FRICO 2017**
*Trier, August 14-18, 2017
frico.uni-trier.de <http://www.frico.uni-trier.de/>


The Workshop on Future Research on Combinatorial Optimization (FRICO) is
a conference with a 20-year-long history originating in Cologne. It aims
at bringing together young researchers in the fields of integer and
combinatorial optimization, OR, graph theory, and other related fields.
The conference is characterized by its unconstrained nature that gives
room for presentations of finished and on-going projects by early-career
researchers.

This year's FRICO will be held August 14-18, 2017 at Trier University.
Please be reminded that the deadline for registration is on the 30th
June 2017. If you are interested in participating, please find further
information about the conference and the registration process at
frico.uni-trier.de <http://www.frico.uni-trier.de/>.

Should you have any questions, please feel free to contact us via
frico@uni-trier.de <mailto:frico@uni-trier.de>.


Best regards,

Organizing Committee of FRICO 2017
**********************************************************
*
* 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, May 18, 2017

[DMANET] PhD scholarship in healthcare optimization at Strathclyde Business School, Glasgow

*Apologies for cross-listing*

A fully-funded 3-year PhD scholarship, funded by the University of Strathclyde Strategic Technology Partnership with Capita, is available with a start date of October 2017. The project, entitled "A Mixed-Methods Approach for Clinical Triage to Improve the Patient's Journey and System Performance", will be under the supervision of Prof. Alec Morton and Dr. Kerem Akartunali. All applications need to be submitted by 30 June 2017, using the application submission link at the following page:

https://www.strath.ac.uk/studywithus/scholarships/strathclydebusinessschoolscholarships/managementsciencescholarships/amixed-methodsapproachforclinicaltriagetoimprovethepatientsjourneysystemperformance/

The scholarship will cover a fee waiver at Home/EU rate and annual stipend of £14,510. International students may also apply, however, they will need to demonstrate further funding to cover the difference between international and Home/EU fees (approximately £10k per year). In exceptional cases, further funding may be also secured for excellent international students, however, this is not guaranteed.

The PhD project requires a numerate graduate with interests in healthcare. Candidates should have at least a strong Honours degree or equivalent (a strong 2:1 Honours degree, or a B.Sc. degree with 3.3 GPA in a 4.0 system), or preferably a Master's degree, in a relevant discipline such as management science, industrial engineering, operations research, mathematics or computer science (amongst others). Experience/knowledge in relevant MS/OR techniques is not essential but desirable. Candidates who are not native English speakers will be required to provide evidence for their English skills (such as by IELTS or similar tests that are approved by UKVI, or a degree completed in an English speaking country).

Project details are provided below. For queries regarding the project, please contact Prof. Alec Morton and Dr. Kerem Akartunali.

PROJECT DESCRIPTION

Clinical triage has been an increasingly popular area of research in the operations management, analytics and operational research (OR) communities due to its significant impact on the downstream health system. A patient's journey starts in the system with triage, and patient data including basic demographics, presenting complaint and physiology (heart rate and blood pressure) influence ongoing management and resource utilization. Decions made at triage have significant impact on the hospital system, since the triage category directly influences the location in which patients are seen, and therefore, a system under stress fails to achieve KPIs, resulting in a degradation in patient care.

Optimising patient flow within the Emergency Department (ED) requires an integrated approach to patient management that extends beyond the ED back to the community following treatment within the hospital. Triage is the landfall moment in a patient's journey, where their condition requires the resource intensive (and costly) management within a hospital rather than community based services.

In this project, the main objective is to better understand patient flows and build a decision support tool that integrates various OR tools in the most effective way in order "to better understand how a patient's journey can be determined and influenced by enhanced processes at triage." How data generated at triage can be linked to the patient's record to create sophisticated predictive modelling of the patient's journey and resource requirement during the episode of care within the hospital and broader healthcare system. The project will involve a continuous collaboration with external clients Capita and local NHS hospitals for the purposes of data collection and implementation/experimentation. We consider in particular three OR toolboxes in order to design and implement such a mixed-methods framework:

1) Simulation will enable us to build models that will be able to evaluate what-if scenarios when the system involves various uncertainties.
2) Optimization will enable us to build models that can make the most out of the system while taking into account its limitations and constraints.
3) Multi-Criteria Decision Analysis will enable us to encounter the often contradictory preferences of various stakeholders of the system.

These toolboxes will be integrated to each other in the final framework in order to minimize their own limitations.


**********************************************************
*
* 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] LAST CALL: IPCO 2017 - Poster submissions deadline is May 26

This is a last call for poster submissions for IPCO 2017. The deadline for submission of poster contributions to IPCO 2017 is May 26, 2017. Please see full message below

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

The 19th conference on Integer Programming and Combinatorial Optimization (IPCO 2017) will be held June 26-28, 2017, at the University of Waterloo, in Waterloo Ontario, Canada.

Similar to what happened in recent previous IPCO conferences, there will be a poster session. At this time, we would like to invite submissions of posters for that session. Authors must send the following information to ipco17@uwaterloo.ca <mailto:ipco17@uwaterloo.ca> by May 26, 2017:

- Author(s)

- Title

- Short abstract

- Name of the author who will be presenting the poster

Poster submissions are open to everyone, but we particularly encourage PhD students and young postdocs to submit their posters. Note that, while the submissions will not be refereed, the organizing committee reserves the right to turn down submissions that are not in line with the conference topics.

For more information, please visit:

www.math.uwaterloo.ca/ipco2017/poster.html <http://www.math.uwaterloo.ca/ipco2017/poster.html>

For more information about the conference in general, including accepted papers, summer school and other information, please visit:

www.math.uwaterloo.ca/ipco2017 <http://www.math.uwaterloo.ca/ipco2017>


**********************************************************
*
* 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] IPCO'17: Hotel Deadline Approaching

Dear colleagues,

IPCO'17 is taking place in Waterloo, ON, Canada during June 26-28 with a
Summerschool running during June 24&25:
http://www.math.uwaterloo.ca/ipco2017/.

The conference hotel is the Delta in Waterloo, and a *special room rate is
available until May 28: **https://goo.gl/lO8fvP <https://goo.gl/lO8fvP>*.

Hope to see you all in Waterloo!

-- Jochen Koenemann

(on behalf of the local organization team)

**********************************************************
*
* 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] CPAIOR 2017 Registration (deadline on May 31)

CALL FOR PARTICIPATION: CPAIOR 2017
==============================================================================

The Fourteenth International Conference on Integration of Artificial
Intelligence (AI) and Operations Research (OR) techniques in Constraint
Programming (CPAIOR 2017) invites participants to register for the conference. 

- Conference Location: Padova, Italy 
- Conference Dates: June 5 - June 8, 2017
- Conference Website: http://cpaior2017.dei.unipd.it
- Conference Series: http://www.andrew.cmu.edu/user/vanhoeve/cpaior/
- Contact: cpaior2017@easychair.org

REGISTRATION DEADLINE: **May 31**

On-site registration is possible, at an additional cost.

The conference program includes:

* A master class on "Computational Techniques for optimization"
* A workshop of the EURO working group on "Data Science Meets Optimization".

CONFERENCE REGISTRATION DETAILS
==============================================================================

The CPAIOR registration can be done on-line at:

http://www.sabiwork.it/registration/

- The deadline for regular registrations is: May 31, 2017
- It is also possible to register on-site (at an increased fee)

The fees are as follows:

* Regular: 450€ (on-site: 550€)
* Student: 280€ (on-site: 350€)
* Master class & workshop only: 100€ (on-site: 120€)
* Social dinner ticket: 60€ (on-site: 80€)

- All fees already include a 22% VAT.
- The conference fee includes the master class & workshop
- The conference fee does _not_ include the social dinner ticket
- It is possible to buy up to one extra social dinner ticket per registration,
  for accompanying persons

The proceedings will be available in electronic format

CONFERENCE DETAILS
==============================================================================

The aim of the conference is to bring together interested researchers from
Constraint Programming (CP), Artificial Intelligence (AI), and Operations
Research (OR) to present new techniques or applications in combinatorial
optimization, and to provide an opportunity for researchers in one area to
learn about techniques in the others.

A main objective of this conference series is also to give these researchers
the opportunity to show how the integration of techniques from different fields
can lead to interesting results on large and complex problems.

The program covers broadly the following topics:

* Inference and relaxation methods: constraint propagation, cutting planes,
  global constraints, graph algorithms, dynamic programming, Lagrangian and
  convex relaxations, heuristic functions based on relaxations. 
* Search methods: branch and bound, intelligent backtracking, incomplete
  search, randomized search, portfolios, column generation, Benders
  decomposition or any other decomposition methods, local search and
  meta­heuristics
* Integration of machine learning and optimization: learning-based search and
  heuristics, use of predictive models in optimization, constraint acquisition,
  optimization for training machine learning models
* Integration methods: solver communication, model transformations and solver
  selection, parallel and distributed resolution techniques, models, and
  solvers. 
* Modeling methods: comparison of models, symmetry breaking, uncertainty,
  dominance relationships.
* Innovative Applications of CP/AI/OR techniques.
* Implementation of CP/AI/OR techniques and optimization systems.


CONFERENCE SCHEDULE
==============================================================================

The detailed program and schedule are available:

- On the conference web site, at: http://cpaior2017.dei.unipd.it
- In PDF at: http://cpaior2017.dei.unipd.it/programCPAIOR2017.pdf

June 5: Master class and workshop
------------------------------------------------------------------------------

Master class on "Computation Techniques for Optimization", with lectures:

- "Solving Mixed Integer Programs in Practice", 
- "MiniCP: A Minimalistic Educational Solver",
- "Modeling, Constraint Solving and Model Manipulation",
- "Searching in Style and coping with Hybrids"
- The first lecture will be held by prof. Tobias Achterberg,
  (http://www.zib.de/members/achterberg)
- The remaining lectures will be jointly held by:
  - prof. Laurent Michel (http://ash.engr.uconn.edu/~ldm/work/)
  - prof. Pascal Van Hentenryck (http://pascalvanhentenryck.engin.umich.edu)
  - prof. Pierre Schaus (https://www.info.ucl.ac.be/~pschaus/)

EURO group workshop on "Data Science Meets Optimization"

- Workshop web page: http://ds-o.org/index.php/workshops/dso-workshops-2017
- Keynote talks by:
  - prof. Tias Guns (Vrije Universiteit Brussel)
  - prof. Holger Hoos (Universiteit Leiden)


June 6 -- June 8: Technical program
------------------------------------------------------------------------------

- Presentations of the 32 accepted papers and 4 Fast Track papers which are
  accepted for publication on the "Constraints" journal
- Two invited talks, by
  - Prof. Christian Kersting, "Relational Quadratic Programming: Exploiting
    Symmetries for Modelling and Solving Quadratic Programs"
    (http://www-ai.cs.uni-dortmund.de/PERSONAL/kersting.html)
  - Prof. Andrea Lodi, "On the role of (machine) learning in (mathematical)
    optimization" (https://www.gerad.ca/en/people/andrea-lodi)

More details are available on the conference web site

ORGANIZERS
==============================================================================

Program Chairs: Domenico Salvagnin and Michele Lombardi
Conference Chair: Domenico Salvagnin
**********************************************************
*
* 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/
*
**********************************************************

Wednesday, May 17, 2017

[DMANET] Invitation to Award Ceremony of the ESA Test-of-Time Award 2016

____________________________________________________________
On behalf of the Steering Committee of ESA and the Program Committee of ESA
2017, I would like to invite you to attend the ESA conference and the ESA
Test-of-Time 2016 Award Ceremony. The ceremony will take place on the
afternoon of 5th of September during ESA 2017 in Vienna and it will include
the presentation by the awardees of the recognized paper.
_____________________________________________________
Announcement of the ESA Test-of-Time Award 2016

European Symposium on Algorithms (ESA)
http://esa-symposium.org/
____________________________________________________________

The ESA Test-of-Time Award (ESA ToTA) recognizes excellent papers in
algorithms research that were published in the ESA proceedings 19-21 years
ago and which are still influential and stimulating for the field today. In
this second year in which the award is given, papers from ESA'95 to ESA'97
were considered.

The committee nominates the following paper for the ESA ToTA 2016. The
paper stands out as a classic in the algorithms field and by its excellent
citation
record still relevant today.

>From ESA 95-97:

Boris V. Cherkassky, Andrew V. Goldberg
Negative-cycle detection algorithms
Proceedings ESA'96, also in: Mathematical Programming 85:2 (1999) 277-311

Laudation:
The paper by Cherkassky and Goldberg deals with the problem of finding a
negative-length cycle in a network or proving that there is none.
Algorithms
for this are a combination of a shortest-path algorithm and a
negative-cycle
detection strategy. The authors analyse known algorithms and some new ones
and determine the best combinations. Novel instance generators are used in
this study. The paper is a model experimental paper in algorithms.

ESA ToTA 2016 Award Committee:
Kurt Mehlhorn (Saarbrucken)
Mike Paterson (Warwick)
Jan van Leeuwen (Utrecht)
____________________________________________________________

**********************************************************
*
* 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] Tenure-track assistant professor Applied Geometric Algorithms at TU Eindhoven

The Department of Mathematics and Computer Science at TU Eindhoven has a vacancy for an assistant-professor position in the group Applied Geometric Algorithms, which is part of the section Algorithms and Visualization. The Applied Geometric Algorithms group (http://www.win.tue.nl/aga/) mainly focuses on geometric algorithms for spatial data in the areas of GIScience and Smart Mobility (with a focus on moving object analysis), geo-visualization, visual analytics, and e-humanities. The Applied Geometric Algorithms group currently consists of one professor, three assistant professors, one postdoc, and six PhD students.

As a prospective candidate you have expertise and experience in scientific research and education in (geometric) algorithms. The research of the group encompasses both algorithmic theory and efficient engineering to achieve results of theoretical and practical significance. Candidates who can further strengthen the connections of the group to various aspects of Data Science, Graph Theory, and Topology are particularly encouraged to apply. It is expected that the new assistant professors will develop a vigorous research program, supervise graduate students, be committed to teaching at different levels, and attract research funding.

The ideal candidate is an expert in (applied) algorithms research and complements the existing strengths of the group and the section well. He or she will develop an independent research line, is (or will become) an inspiring teacher, and has a proactive attitude towards acquiring research funding.

Tasks:

• Performing excellent research in the field of applied (geometric) algorithms.

• Acquiring research funding and supervising PhD students.

• Developing and teaching courses.

• Supervising student projects, internships, and Master's theses.

• Performing organizational activities within the department.

Qualifications:

We are looking for candidates with a PhD in relevant areas of computer science. We expect experience and excellence in scientific research, as reflected in peer reviewed scientific publications. We are looking for candidates with experience in and a passion for academic teaching. Our ideal candidate has an enthusiastic, motivating, and inspiring personality, likes taking initiatives, and has a proactive attitude.
Proficiency in written and verbal communication in English is a must.

We offer:

• A challenging job in a dynamic and ambitious university and a stimulating research environment;

• Support with your professional and personal development;

• A gross salary between € 3.400 and € 4.654 per month depending on experience and knowledge, plus 8% holiday allowance and 8.3% end-of-year allowance;

• An extensive package of fringe benefits (e.g. support in moving expenses and commuting expenses, excellent technical infrastructure, on-campus child care, and excellent sports facilities).

The department has a policy to appoint all new assistant professors in the Tenure-Track system. In this case an appointment will be made for four years. An evaluation will take place after three years, to assess whether you fulfill the assistant professor appointment criteria. If this evaluation is positive, the employment contract will be converted into a contract of employment for an indefinite period. The evaluation criteria are fixed at the departmental level and are available upon request.

In the case of candidates who are clearly at a further stage in their career, the department can also offer a tenured position from the start.

More information can be obtained from:

About the position:
prof.dr. Bettina Speckmann, e-mail: b.speckmann@tue.nl

About the employment conditions:
mr. Pim Hertogs, HR advisor, e-mail: pzwin@tue.nl.


-------------------- Deadline: June 1, 2017 --------------------


Application

The application should consist of the following parts:

• Cover letter explaining your motivation and qualifications for the position;

• Detailed Curriculum Vitae (including a list of publications);

• Research statement;

• Teaching statement;

• Names of at least two referees.

Please apply via
http://jobs.tue.nl/en/vacancy/assistant-professor-applied-geometric-algorithms-315103.html

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

ALGOCLOUD 2017 -- Call for Papers


[Please accept our apologies if you received multiple copies of this call]

Submission Deadline: June 23, 2017

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

3rd International Workshop on Algorithmic Aspects of Cloud Computing (ALGOCLOUD 2017)

co-located with ALGO 2017

September 4th - 5th, 2017 – Vienna, Austria

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

ALGOCLOUD (https://algo2017.ac.tuwien.ac.at/algocloud/) is the international forum bringing together international researchers, students, and practitioners to present research activities and results on topics related to algorithmic, design, and development aspects of modern cloud-based systems. ALGOCLOUD is co-located with the ALGO conference (https://algo2017.ac.tuwien.ac.at/), a leading international meeting of researchers working in algorithms and their engineering.

ALGOCLOUD welcomes submissions on all theoretical, design, and implementation aspects of modern cloud-based systems. ALGOCLOUD is particularly interested in novel algorithms in the context of cloud computing, cloud architectures, as well as experimental work that evaluates contemporary cloud approaches and pertinent applications. ALGOCLOUD also welcomes demonstration manuscripts, which discuss successful elastic system developments, as well as experience/use-case articles. Contributions may span a wide range of algorithms for modeling, practices for constructing and techniques for evaluating operations and services in a variety of systems, including but not limited to, virtualized infrastructures, cloud platforms, datacenters, cloud-storage options, cloud data management, non-traditional key-value stores on the cloud, HPC architectures, etc.

***Keynote Speaker: Prof. Babak Falsafi (EPFL, Switzerland) ***

TOPICS

Suggested topics include, but are not limited to:

- Algorithmic aspects of elasticity

- Search and retrieval algorithms for cloud infrastructures

- Scale-up and -out for NoSQL and columnar databases

- Resource provisioning and management

- Monitoring and analysis of elasticity for virtualized environments

- Analysis of containerized applications

- Cloud deployment tools and their analysis

- Query languages and novel programming models

- Content delivery through cloud infrastructures

- Load-sharing and caching for cloud systems

- Data structures and algorithms for eventually-consistent stores

- Scalable access structures and indexing for cloud data-stores

- Algorithmic aspects for cloud applications

- Machine learning, analytics and data science

- Resource availability, reliability and fail-over

- NoSQL and schema-less data modeling and integration

- Consistency, replication and partitioning CAP

- Transactional models and algorithms for cloud data-stores

PROCEEDINGS

Accepted papers will be included in the post-proceedings in the Lecture Notes in Computer Science by Springer-Verlag (http://www.springer.com/gp/computer-science/lncs).

SUBMISSION GUIDELINES

Submissions must have a length of up to 12 pages in LNCS format (excluding references and an optional appendix to be read at the discretion of the Program Committee).

Papers should be submitted electronically via the Easy Chair Submission system (https://easychair.org/conferences/?conf=algocloud17).

By submitting a paper the authors acknowledge that in case of acceptance at least one of the authors must register and attend ALGO 2017 or ALGOCLOUD 2017, and present the paper. 

IMPORTANT DATES

- Paper submission: June 23, 2017

- Author notification: July 25, 2017

- Workshop: September 4-5, 2017

COMMITTEES 

Workshop Chairs

- Dan Alistarh (IST, Austria)

- Alex Delis (University of Athens, Greece)

Proceedings and Publicity Chair

- George Pallis (University of Cyprus, Cyprus)

PC Members

- Stergios Anastasiadis (University of Ioannina, Greece)

- Athman Bouguettaya (University of Sydney, Australia)

- Marco Canini (KAUST, Saudi Arabia)

- Aleksandar Dragojevic (Microsoft Research, UK)

- Schahram Dustdar (TUW, Austria)

- Rachid Guerraoui (EPFL, Switzerland)

- Gabriel Istrate (University of Timişoara & e-Austria RI, Romania)

- Thomas Karagiannis (Microsoft Research, UK)

- Nectarios Koziris (NTUA, Greece)

- Fernando Pedone (University of Lugano, Switzerland)

- Florin Pop (University Politehnica of Bucharest, Romania)

- Raj Ranjan (Newcastle University, UK)

- Luis Rodrigues (Universidade Técnica de Lisboa, Portugal)

- Rizos Sakellariou (University of Manchester, UK)

- Stefan Schmid (Aalborg University, Denmark)

- Zahir Tari (RMIT, Australia)

- Vasileios Trigonakis  (EPFL, Switzerland)

- Dimitris Tsoumakos (Ionian University, Greece)

Steering Committee

- Spyros Sioutas (Ionian University, Greece)

- Peter Triantafillou (University of Glasgow, UK)

- Christos D. Zaroliagis (University of Patras, Greece)



[DMANET] ALGOCLOUD 2017 -- Call for Papers

Submission Deadline: June 23, 2017

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

3rd International Workshop on Algorithmic Aspects of Cloud Computing
(ALGOCLOUD 2017)**

co-located with ALGO 2017**

September 4th - 5th, 2017 – Vienna, Austria

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

ALGOCLOUD (https://algo2017.ac.tuwien.ac.at/algocloud/) is the
international forum bringing together international researchers,
students, and practitioners to present research activities and results
on topics related to algorithmic, design, and development aspects of
modern cloud-based systems. ALGOCLOUD is co-located with the ALGO
conference (https://algo2017.ac.tuwien.ac.at/), a leading international
meeting of researchers working in algorithms and their engineering.

ALGOCLOUD welcomes submissions on all theoretical, design, and
implementation aspects of modern cloud-based systems. ALGOCLOUD is
particularly interested in novel algorithms in the context of cloud
computing, cloud architectures, as well as experimental work that
evaluates contemporary cloud approaches and pertinent applications.
ALGOCLOUD also welcomes demonstration manuscripts, which discuss
successful elastic system developments, as well as experience/use-case
articles. Contributions may span a wide range of algorithms for
modeling, practices for constructing and techniques for evaluating
operations and services in a variety of systems, including but not
limited to, virtualized infrastructures, cloud platforms, datacenters,
cloud-storage options, cloud data management, non-traditional key-value
stores on the cloud, HPC architectures, etc.

***Keynote Speaker: Prof. Babak Falsafi (EPFL, Switzerland) ***

TOPICS

Suggested topics include, but are not limited to:

- Algorithmic aspects of elasticity

- Search and retrieval algorithms for cloud infrastructures

- Scale-up and -out for NoSQL and columnar databases

- Resource provisioning and management

- Monitoring and analysis of elasticity for virtualized environments

- Analysis of containerized applications

- Cloud deployment tools and their analysis

- Query languages and novel programming models

- Content delivery through cloud infrastructures

- Load-sharing and caching for cloud systems

- Data structures and algorithms for eventually-consistent stores

- Scalable access structures and indexing for cloud data-stores

- Algorithmic aspects for cloud applications

- Machine learning, analytics and data science

- Resource availability, reliability and fail-over

- NoSQL and schema-less data modeling and integration

- Consistency, replication and partitioning CAP

- Transactional models and algorithms for cloud data-stores

PROCEEDINGS

Accepted papers will be included in the post-proceedings in the Lecture
Notes in Computer Science by Springer-Verlag
(http://www.springer.com/gp/computer-science/lncs).

SUBMISSION GUIDELINES

Submissions must have a length of up to 12 pages in LNCS format
(excluding references and an optional appendix to be read at the
discretion of the Program Committee).

Papers should be submitted electronically via the Easy Chair Submission
system (https://easychair.org/conferences/?conf=algocloud17).

By submitting a paper the authors acknowledge that in case of acceptance
at least one of the authors must register and attend ALGO 2017 or
ALGOCLOUD 2017, and present the paper.

IMPORTANT DATES

- Paper submission: June 23, 2017

- Author notification: July 25, 2017

- Workshop: September 4-5, 2017

COMMITTEES

Workshop Chairs


- Dan Alistarh (IST, Austria)

- Alex Delis (University of Athens, Greece)

Proceedings and Publicity Chair

- George Pallis (University of Cyprus, Cyprus)

PC Members


- Stergios Anastasiadis (University of Ioannina, Greece)

- Athman Bouguettaya (University of Sydney, Australia)

- Marco Canini (KAUST, Saudi Arabia)

- Aleksandar Dragojevic (Microsoft Research, UK)

- Schahram Dustdar (TUW, Austria)

- Rachid Guerraoui (EPFL, Switzerland)

- Gabriel Istrate (University of Timişoara & e-Austria RI, Romania)

- Thomas Karagiannis (Microsoft Research, UK)

- Nectarios Koziris (NTUA, Greece)

- Fernando Pedone (University of Lugano, Switzerland)

- Florin Pop (University Politehnica of Bucharest, Romania)

- Raj Ranjan (Newcastle University, UK)

- Luis Rodrigues (Universidade Técnica de Lisboa, Portugal)

- Rizos Sakellariou (University of Manchester, UK)

- Stefan Schmid (Aalborg University, Denmark)

- Zahir Tari (RMIT, Australia)

- Vasileios Trigonakis (EPFL, Switzerland)

- Dimitris Tsoumakos (Ionian University, Greece)

Steering Committee

- Spyros Sioutas (Ionian University, Greece)

- Peter Triantafillou (University of Glasgow, UK)

- Christos D. Zaroliagis (University of Patras, Greece)
**********************************************************
*
* 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/
*
**********************************************************