Thursday, May 31, 2018

[DMANET] 2nd CfP: HM 2019 -- 11th International Workshop on Hybrid Metaheuristics

** Apologies for cross-posting **
** Please forward to anybody who might be interested. **

***************************************************************

HM 2019 - 11th International Workshop on Hybrid Metaheuristics
January 16-18, 2019 - Concepción, Chile

Website: http://hm2019.ing.udec.cl/
Submission: https://easychair.org/conferences/?conf=hm2019
Proceedings: Springer LNCS

***************************************************************

Metaheuristics are considered state-of-the-art methods for many hard
optimization problems. At some point, however, it has become evident
that the concentration on a sole metaheuristic is rather restrictive. A
skilled combination of concepts from different optimization techniques
can provide a more efficient behavior and a higher flexibility when
dealing with real-world and large-scale problems. Hybrid Metaheuristics
are techniques for optimization that combine different metaheuristics or
integrate AI/OR techniques into metaheuristics. Since 2004, the HM
Workshops are considered to be an international forum for researchers in
the area hybrid metaheuristics.

**** KEYNOTE SPEAKERS

Haroldo Gambini Santos, Federal University of Ouro Preto, Brazil
Manuel López-Ibáñez, The University of Manchester, UK
Günther R. Raidl, Technische Universität Wien, Austria
Christian Blum, Artificial Intelligence Research Institute (IIIA-CSIC),
Spain

**** IMPORTANT DATES

Submission deadline: July 27, 2018
Notification: October 1, 2018
Camera-ready paper submission: October 19, 2018
Conference: January 16-18, 2019

**** ORGANIZATION

Congress Chair: Pedro Pinacho Davidson
Program Chairs: Christian Blum, Haroldo Gambini Santos
Publication and Publicity Chair: Maria J. Blesa
Local Organization Chair: Julio Godoy del Campo

**** INQUIRIES

Email: ppinacho@udec.cl

Looking forward to welcoming you to Concepción in January 2019.

        The HM 2019 organizing 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/
*
**********************************************************

Wednesday, May 30, 2018

[DMANET] [GECCO 2018] Final Call For Entries for for 15th Annual (2018) "Humies" Awards

[Apologies if you receive multiple copies]

*NOTE* Deadline for entries in one week (June 6, 2018)


Call For Entries
for 15th Annual (2018) "Humies" Awards
for Human-Competitive Results
Produced by Genetic and Evolutionary Computation
www.human-competitive.org

To be Held at
Genetic and Evolutionary Computation Conference (GECCO)
July 15-19, 2018 (Sunday - Thursday)
in Kyoto, Japan
http://gecco-2018.sigevo.org

Entries are hereby solicited for awards totaling $10,000 for
human-competitive results that have been produced by any form of
genetic and evolutionary computation (including, but not limited to
genetic algorithms, genetic programming, evolution strategies,
evolutionary programming, learning classifier systems, grammatical
evolution, gene expression programming, differential evolution, etc.)
and that have been published in the open literature between the
deadline for the previous competition and the deadline for the current
competition.

The competition will be held as part of the Genetic and Evolutionary
Computation (GECCO) conference operated by the Association for
Computing Machinery (ACM) Special Interest Group (SIG) on Genetic and
Evolutionary Computation (SIGEVO). Entries chosen to be finalists
will be made at the conference. The winners of the awards will be
announced during the conference.

IMPORTANT DATES:
* Wednesday June 6, 2018 -- Deadline for entries (consisting of
one TEXT file, PDF files for one or more papers, and possible "in
press" documentation (explained below). Please send entries to koza at
human-competitive dot org

* Wednesday June 20, 2018 -- Finalists will be notified by e-mail

* Wednesday July 4, 2018 -- Finalists must submit their presentation
(e.g., PowerPoint, PDF) for posting on the competition's web site.
Send presentations to koza at human-competitive dot org

* July 15-19, 2018 (Sunday-Thursday) -- GECCO conference

* Tuesday July 17, 2018 -- Presentations before judging
committee at public session of the GECCO conference. Finalists should
make a point of double-checking the time and date in the conference's
final schedule.

* Thursday July 19, 2018 -- Announcement of awards at
plenary session of the GECCO conference


JUDGING COMMITTEE
* Erik Goodman
* Una-May O'Reilly
* Wolfgang Banzhaf
* Darrell Whitley
* Lee Spector

PUBLICITY CHAIR: William Langdon

CALL FOR ENTRIES
Techniques of genetic and evolutionary computation are being
increasingly applied to difficult real-world problems -- often
yielding results that are not merely academically interesting, but
competitive with the work done by creative and inventive
humans. Starting at the Genetic and Evolutionary Computation
Conference (GECCO) in 2004, cash prizes have been awarded for
human-competitive results that had been produced by some form of
genetic and evolutionary computation in the previous year.

This prize competition is based on published results. The publication
may be a paper published anywhere in the open literature (e.g., the
GECCO conference, any another conference or workshop, journal,
technical report, thesis, book, chapter in edited book).

The competition is open to any paper
(1) published in the open literature between June 7, 2017 (the
deadline for the previous year's competition) and June 6, 2018 (the
deadline for this competition), or
(2) that is "in press" by the deadline for this competition. "In
Press" means the paper must have been unconditionally accepted for
publication and be identical to that which will be published
imminently without the possibility of any further changes or revision
by the authors or editors. For example, a paper accepted for the
current year's GECCO conference would not have been published by the
deadline for the competition. However, because the paper has already
been unconditionally accepted for publication (and the final
camera-ready version submitted to the conference prior to the deadline
for this competition), a GECCO paper is "in press." If an entry is
"in press," the entry must include a copy of the documentation
establishing that the paper meets this requirement.

The paper must meet the usual standards of a scientific publication in
that it must clearly describe a problem, the methods used to address
the problem, the results obtained, and sufficient information about
how the work was done in order to enable the work to be independently
replicated.

An automatically created result is considered "human-competitive" if
it satisfies at least one of the eight criteria below.

(A) The result was patented as an invention in the past, is an
improvement over a patented invention, or would qualify today as a
patentable new invention.

(B) The result is equal to or better than a result that was accepted
as a new scientific result at the time when it was published in a
peer-reviewed scientific journal.

(C) The result is equal to or better than a result that was placed
into a database or archive of results maintained by an internationally
recognized panel of scientific experts.

(D) The result is publishable in its own right as a new scientific
result independent of the fact that the result was mechanically
created.

(E) The result is equal to or better than the most recent
human-created solution to a long-standing problem for which there has
been a succession of increasingly better human-created solutions.

(F) The result is equal to or better than a result that was considered
an achievement in its field at the time it was first discovered.

(G) The result solves a problem of indisputable difficulty in its
field.

(H) The result holds its own or wins a regulated competition involving
human contestants (in the form of either live human players or
human-written computer programs).

Contestants should note that a pervasive thread in most of the above
eight criteria is the notion that the result satisfy an "arms length"
standard -- not a yardstick based on the opinion of the author, the
author's own institution (educational or corporate), or the author's
own close associates. "Arms length" may be established in numerous
ways. For example, if the result is a solution to "a long-standing
problem for which there has been a succession of increasingly better
human-created solutions," it is clear that the scientific community
(not the author, the author's own institution, or the author's close
associates) have vetted the significance of the problem. Similarly, a
problem's significance may be established if the result replicates or
improves upon a scientific result published in a peer-reviewed
scientific journal, replicates or improves upon a previously patented
invention, constitutes a patentable new invention, or replicates or
improves a result that was considered an achievement in its field at
the time it was first discovered. Similarly, a problem's significance
may be established if the result holds its own or wins a regulated
competition involving live human players or human-written computer
programs. In each of the foregoing examples, the standard for
human-competitiveness is being established external to the author, the
author's own institution, or the author's close associates. It is also
conceivable to rely only on criterion G ("The result solves a problem
of indisputable difficulty in its field"); however, if only criterion
G is claimed, there must be a clear and convincing argument that the
problem's "difficulty" is indeed "indisputable."

The competition will be held as part of the annual Genetic and
Evolutionary Computation (GECCO) conference. Entries chosen to be
finalists are to be made at the conference. The awards and prizes will
be announced at the conference.

Cash prizes of $5,000 (gold), $3,000 (silver), and bronze (either one
prize of $2,000 or two prizes of $1,000) will be awarded for the best
entries that satisfy one or more of the criteria for
human-competitiveness. The awards will be divided equally among
co-authors unless the authors specify a different division at the time
of submission. Prizes are paid by check in U.S. dollars after the
GECCO conference. The judges may, based on submissions, reallocate
the prize amounts and prize categories within the total amount
available for prizes.

DETAILED INSTRUCTIONS FOR ENTERING THE "HUMIES"
If you plan to make an entry into this competition, please check the
web site for updated information and for possible last-minute changes
immediately prior to submitting your entry. Similarly, if you are
selected as a finalist, please re-check the web site prior to the
conference for possible last-minute changes in instructions or
schedule.

All entries are to be sent electronically to koza at human-competitive
dot org. All entries will be promptly acknowledged, so please make an
inquiry if you do not receive a reasonably prompt acknowledgment
shortly after your submission.

An entry must consist of one TEXT file and one or more PDF files. In
addition, if the paper is "in press" asof the deadline date for
submissions, an additional document must be submitted.

If authors are making multiple entries to the competition, please
submit separate e-mails, each containing the required TEXT file and
PDF file(s) supporting the entry.

The TEXT file must contain the following 11 items. Please be very
careful to include ALL required information. Contestants are alerted
to the fact that items 6 and 9 areespecially important and will be the
main basis by which entries will be judged. The papers and
presentations from earlier competitions (starting in 2004) are posted
at the competition web site at www.human-competitive.org. These
previous entries may be informative and helpful in crafting your
entry. 1. the complete title of one (or more) paper(s) published in
the open literature describing the work that the author claims
describes a human-competitive result; 2. the name, complete physical
mailing address, e-mail address, and phone number of EACH author of
EACH paper(s); 3. the name of the corresponding author (i.e., the
author to whom notices will be sent concerning the competition);
4. the abstract of the paper(s); 5. a list containing one or more of
the eight letters (A, B, C, D, E, F, G, or H) that correspond to the
criteria (see above) that the author claims that the work satisfies;
6. a statement stating why the result satisfies the criteria that the
contestant claims (see examples of statements of human-competitiveness
as a guide to aid in constructing this part of the submission); 7. a
full citation of the paper (that is, author names; publication date;
name of journal, conference, technical report, thesis, book, or book
chapter; name of editors, if applicable, of the journal or edited
book; publisher name; publisher city; page numbers, if applicable);
8. a statement either that "any prize money, if any, is to be divided
equally among the co-authors" OR a specific percentage breakdown as to
how the prize money, if any, is to be divided among the co-authors;
9. a statement stating why the authors expect that their entry would
be the "best," and 10. An indication of the general type of genetic or
evolutionary computation used, such as GA (genetic algorithms), GP
(genetic programming), ES (evolution strategies), EP (evolutionary
programming), LCS (learning classifier systems), GE (grammatical
evolution), GEP (gene expression programming), DE (differential
evolution), etc. 11. The date of publication of each paper. If the
date of publication is not on or before the deadline for submission,
but instead, the paper has been unconditionally accepted for
publication and is "in press" by the deadline for this
competition, the entry must include a copy of the documentation
establishing that the paper meets the "in press" requirement.

The PDF file(s) are to contain the paper(s). The strongly preferred
method is that you send a separate PDF file for each of your paper(s)
relating to your entry. Both the text file and the PDF file(s) for
each entry will be permanently posted on a web page shortly after the
deadline date for entries (for use by the judges, conference
attendees, and anyone else who is interested) and will remain posted
on the web as a permanent record of the competition. If your paper is
only available on the publisher's web site and your publisher
specifically requires that your published paper may appear only on
your own personal page, the second choice is that you send link(s) to
a separate web page on your web site containing link(s) to the PDF
file(s) of the paper(s) that constitute your entry. This separate web
page is to contain nothing else, so the interested parties may quickly
locate your paper(s). If you use this second-choice option, you must
ALSO supply a link to a permanent web site maintained by your
publisher where your specific paper may be viewed or purchased (that
is, not a link merely to the publisher's general home page, but a link
to the specific web page containing your paper on the publisher's
site). Keep in mind that the objective is to guarantee a permanent
record of the entries and to make it easy for anyone to locate your
material.

Generally, only one paper should be submitted. More than one paper
should be submitted only if no single paper fully describes the
specific result or method. Note that this competition involves
specific results published in the past year, and it NOT an evaluation
of the author's entire body of work over period of years. Note that
this is a competition involving a result that satisfies the criteria
for being "human-competitive" as defined herein.

The judging committee will review all entries and identify a short
list of finalists for presentation at the GECCO conference. Finalists
will be notified by an e-mail to the corresponding author. Please
acknowledge receipt of this message, so the judges know that you
received your notice. Finalists must then make a short oral
presentation to the judging committee at a public session of the GECCO
conference. The presentations will be held on one of the early days of
the conference, and the winners will be announced a day or two later
at the conference.

Finalists must submit their presentation (e.g., a PowerPoint, PDF) by
e-mail to koza at human-competitive dot org. All submissions will be
promptly acknowledged, so please make an inquiry if you do not receive
a reasonably prompt acknowledgment. These presentations will be posted
on the web page for the competition. oral presentation (usually about
10 minutes) by the finalists to the judging committee. The
presentations will be open to all conference attendees at a special
session of the conference. The oral presentation should primarily
focus on
1. why the result qualifies as being human-competitive and
2. why the judges should consider the entry as "best" in comparison to
other entries that may also be "human-competitive."

In this short oral presentation to the judges, a description of the
work itself is decidedly secondary. By the time of your presentation,
the judges will be familiar with the papers. Thus, the focus of the
presentation is on reasons why the work being presented should win a
prize -- not an explanation or presentation of the work itself.

In the unlikely event that a presenter is scheduled to make a
presentation elsewhere at the GECCO conference at the same time,
please notify the judging committee, so they can rearrange time slots.

After the oral presentations, the award committee will meet and
consider the presentations.

The presenting author for each entry must register for the GECCO
conference.

A judge will recuse himself or herself if he or she is closely
associated with a finalist (e.g., a current academic advisor, current
collaborator, co-author with the finalist of related work).

Additional information is at www.human-competitive.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] PhD positions in Padova

Eight PhD positions in Mathematics are offered at the Math Department of
the University of Padova.
The positions cover all areas of Mathematics, including Operations
Research, with special focus on the theory and applications of both
discrete and continuous linear and nonlinear optimization.

The call for positions is available at the following urls:
http://www.unipd.it/bandi-graduatorie-dottorati (Italian version)
http://www.unipd.it/en/research/doctoral-degrees-phd-programmes/phd-programmes-calls-and-admissions
(English version)

For more details, please contact Francesco Rinaldi
(rinaldi@math.unipd.it) or Marco Di Summa (disumma@math.unipd.it).
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Tuesday, May 29, 2018

[DMANET] CFP: 2nd Symposium on Simplicity in Algorithms

**************************************************************************************
CALL FOR PAPERS

2nd Symposium on Simplicity in Algorithms (SOSA'19)
Co-located with ACM-SIAM Symposium on Discrete Algorithms
January 6-9, 2019
San Diego, CA, USA

Submission deadline: August 16, 2018

Website: https://simplicityinalgorithms.com/
**************************************************************************************

Symposium on Simplicity in Algorithms (SOSA) is a new conference in
theoretical computer science dedicated to advancing algorithms
research by promoting simplicity and elegance in the design and
analysis of algorithms. The 2nd SOSA will be co-located with SODA
2019, in San Diego, California.

Proceedings:
The proceedings will be published in Schloss Dagstuhl's
OpenAccess Series in Informatics (OASIcs).

Important Dates:
Submission deadline: August 16, 2018
Notification of acceptance/rejection: Early October, 2018
Camera-ready deadline: Early November, 2018

Program Committee:
Jeremy Fineman (co-chair), Georgetown University
Michael Mitzenmacher (co-chair), Harvard University

Susanne Albers, Technische Universität München
Chandra Chekuri, University of Illinois at Urbana-Champaign
Michael Dinitz, Johns Hopkins University
Jeff Erickson, University of Illinois at Urbana-Champaign
Martin Farach-Colton, Rutgers University
Michael Goodrich, University of California, Irvine
Philip Klein, Brown University
Andrew McGregor, University of Massachusetts, Amherst
Jelani Nelson, Harvard University
Rasmus Pagh, IT University of Copenhagen
Ely Porat, Bar-Ilan University
Eric Price, University of Texas at Austin
Tim Roughgarden, Stanford University
Robert Sedgewick, Princeton University
Yaron Singer, Harvard University
Eva Tardos, Cornell University
Justin Thaler, Georgetown University


--
Seth Pettie
Professor of Computer Science and Engineering
University of Michigan, Ann Arbor
http://web.eecs.umich.edu/~pettie

**********************************************************
*
* 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] Fall School: Order and Geometry

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

Fall School: Order and Geometry

September 14 - 17, 2018

Gutshof Sauen, near Berlin

http://page.math.tu-berlin.de/~felsner/FoC/OGschool2018.html

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

The fall school is organized within the Research Training Group
"Facets of Complexity" (www.facetsofcomplexity.de).

The purpose of the fall school is to give an introductory overview
of some new developments in the area, to present current research
directions, and to give students working in this or related fields the
opportunity to meet and to get to know each other.

The school is addressed to advanced undergraduate and graduate
students of Mathematics or Computer Science with interest in
Discrete Mathematics and in particular in Partially Ordered Sets
and Discrete Geometry. Basic knowledge in discrete mathematics is
assumed.

The fall school consists of four courses.
The courses will be presented by the following lecturers:

Bartosz Walczak, (Jagiellonian University, Kraków, Poland)
Oswin Aichholzer, (Technische Universität Graz, Austria)
Vida Dujmović, (University of Ottawa, Canada)
Jean Cardinal, (Université Libre de Bruxelles, Belgium)

In addition to the lectures, exercises will be solved in small groups
with solution sessions in the evenings. The language of the school is
English.

The school will take place at Gutshof Sauen, a remote manor 70 km
southeast of Berlin. The costs per participant are EURO 150 and
includes full board during the fall school.

The number of participants is limited to about 25. Applications can be
submitted using the form on the summer school website until July 31, 2018.

If you have any further questions, please contact the organizers via

og-school2018@math.tu-berlin.de

Stefan Felsner

======================================================================
http://page.math.tu-berlin.de/~felsner/FoC/OGschool2018.html
======================================================================

[DMANET] WAOA 2018 - 2nd Call for Papers

WAOA 2018 - Call for Papers

16th Workshop on Approximation and Online Algorithms

23-24 August 2018
Helsinki, Finland

http://algo2018.hiit.fi/waoa/

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

Submission deadline: June 24, 2018 (AOE)
Notification: July 23, 2018 (AOE)
Workshop: August 23-24, 2018
Camera Ready: September 17, 2018 (AOE)

Keynote Speaker:
Gerhard Woeginger, RWTH Aachen

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

Scope
Approximation and online algorithms are fundamental tools to deal with
computationally hard problems and problems in which the input is gradually
disclosed over time. Both kinds of problems arise from a large number of
applications in a variety of fields. The workshop focuses on the design
and analysis of approximation and online algorithms. It also covers
experimental methods used to design and analyze efficient approximation
and online algorithms.

WAOA 2018 will be part of ALGO 2018 (http://algo2018.hiit.fi/),
which also hosts ESA, ALGOCLOUD, ALGOSENSORS, ATMOS, IPEC, and WABI.
ALGO 2018 will take place 20-24 August 2018 in Helsinki, Finland.

Topics
Papers are solicited in all research areas related to approximation and
online algorithms, including, but not limited to:

- graph algorithms
- inapproximability results
- network design
- packing and covering
- paradigms for the design and analysis of
approximation and online algorithms
- parameterized complexity
- scheduling problems
- algorithmic game theory
- algorithmic trading
- coloring and partitioning
- competitive analysis
- computational advertising
- computational finance
- cuts and connectivity
- geometric problems
- mechanism design
- resource augmentation
- real-world applications

====================================================================
Publication:

Proceedings will be published in the Springer series Lecture Notes
in Computer Science after the workshop takes place.

Selected papers presented at WAOA 2018 will be invited to a journal
special issue.

Submission guidelines:
----------------------

Authors are invited to submit an extended abstract or full paper of at
most 12 pages, not including the references, describing original
unpublished research. Simultaneous submission to other conferences
with published proceedings is not permitted. The first page of the
submission should include the authors' full names, addresses, e-mail
addresses, and an abstract summarizing the results in roughly 100-200
words. The remainder of the submission should contain a description
of the main results, an explanation of their importance, and a clear
comparison with related work. The submission must include full proofs
of the results. Material that cannot be included in the 12 allowed
pages can be placed in an appendix, that will be read at the sole
discretion of the program committee.

Submissions should be formatted for letter-size paper with reasonable
margins, page numbers, and at least 11-point font. Submitted papers
are not required to be in LNCS style.

Papers should be submitted electronically via the EasyChair submission
system at:

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

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

The program committee may award a Best Paper Award to one of the
accepted papers.

====================================================================
Program Committee

Anna Adamaszek, University of Copenhagen, Copenhagen, Denmark
Janos Balogh, University of Szeged, Szeged, Hungary
Xujin Chen, Chinese Academy of Sciences, Beijing, China
Leah Epstein (co-chair), University of Haifa, Haifa, Israel
Thomas Erlebach (co-chair), University of Leicester, Leicester, UK
Lene Monrad Favrholdt, University of Southern Denmark, Odense, Denmark
Kazuo Iwama, Kyoto University, Kyoto, Japan
Lukasz Jez, University of Wroclaw, Wroclaw, Poland
Ralf Klasing, CNRS and University of Bordeaux, Talence, France
Kim-Manuel Klein, EPFL, Lausanne, Switzerland
Asaf Levin, The Technion, Haifa, Israel
Minming Li, City University of Hong Kong, Hong Kong SAR, China
Friedhelm Meyer auf der Heide, Paderborn University, Paderborn, Germany
Gianpiero Monaco, University of L'Aquila, L'Aquila, Italy
Sharath Raghvendra, Virginia Tech, Blacksburg, Virginia, USA
Danny Segev, University of Haifa, Haifa, Israel
Roberto Solis-Oba, The University of Western Ontario, London, Ontario, Canada
Angelina Vidali, De Montfort University, Leicester, UK
Alexander Wolff, Universitaet Wuerzburg, Wuerzburg, 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] ICT-DM 2018 ( 3 Days left)

Call for Papers

The 5th International Conference on Information and Communication
Technologies for Disaster Management (ICT-DM'2018)
4 – 7 December 2018, Tohoku University, Sendai, Japan
http://ict-dm.org

IMPORTANT DATES
Paper Submission: *1 June 2018 *
Notification: 1 Sep. 2018
Camera-Ready: 20 Sep. 2018
Poster Submission: 20 Sep. 2018

Submission link:https://www.edas.info/newPaper.php?c=24487

The 5th International Conference on Information and Communication
Technologies for Disaster Management (ICT-DM'2018) aims to bring
together academics and practitioners who are involved in emergency
services, ad hoc planning, disaster recovery, etc., to learn about the
latest researchdevelopments, share experiences and information about
this area and develop recommendations. Authors are invited to submit
manuscripts that present original unpublished research on using ICTs for
detection, prevention,preparation, response and recovery of disasters.
There will also be invited presentations by experts from academia,
industry, and government as well as special sessions dedicated to case
studies, demonstrations and experiences based on pragmatic approaches.
This way, the conference will provide a forum for supporting and
encouraging both academic researchers, aswell as practitioners involved
in applied-focused research. The conference accepts three types of
submissions, specifically full papers (5 to 8 pages), short papers (3 to
4 pages), and posters & demos (1 to 2 pages). The presented full and
short papers will be submitted for inclusion in IEEE Xplore. The posters
& demos will not be included in the conference proceedings. Topics of
interest include, but are not limited to:

- Big data analytics in disaster management
- Cloud computing, context-aware computing, mobile computing
- Communication infrastructures, technologies and services
- Coordination, collaboration and decision support technologies
- Crowd sourcing, remote sensing, cyber-physical systems
- Data/information mining and management
- Disaster relief logistics, E-governance, evacuation and rescue
geo-planning
- Internet of things for disaster and emergency management
- Interoperability of heterogeneous systems
- Modeling and simulation tools for crisis and disaster situations
- Open source data and space based resources
- Performance measurement, prediction and early warning systems
- Querying and filtering on heterogeneous, multi-source disaster data
- Risk, damage and loss assessment
- Security and privacy issues in information sharing
- Service oriented architectures, situation awareness
- Social media and networks
- Uncertainty and possibly adversity in data handling and delivery
- Web mapping and Geographic Information Systems (GIS)
- Wireless networks based solutions for disaster management
- Other related topics in the domain of ICT-DM

General Co-chairs
Hideaki Sone, Tohoku University, Japan
Soufiene Djahel, MMU, UK
Yusheng Ji, NII, Japan

Advisory board
Shigeki Yamada, NII, Japan
Kiyoshi Takano, University of Tokyo, Japan
Takuo Suganuma, Tohoku University, Japan

TPC Co-chairs
Celimuge Wu, UEC, Japan
Said Yahiaoui, CERIST, Algeria
Carlos T. Calafate, Technical University of Valencia, Spain

Publication Co-chairs
Guohui Zhang, University of Hawaii, USA
Imane Horiya Brahmi, Tyndall National Institute, Ireland
Zhi Liu, Shizuoka University, Japan

Publicity Co-chairs
Cong Chen, University of South Florida, USA
Nafaa Jabeur, German University of Technology in Oman, Sultanate of Oman
Kun Wang, Nanjing University of Posts and Telecommunications, China
Adam Widera, University of Muenster, Germany

Poster Co-chairs
Osamu Uchida, Tokai University, Japan
Keisuke Utsu, Tokai University, Japan

Sponsored by
IEEE,  IEEE  ComSoc,
Cyberscience Center, Tohoku University, IEEE ComSoc Communications
Software TC, and TC Big Data

--
Soufiene Djahel
Centre for Advanced Computational Science (CfACS)
School of Computing, Mathematics and Digital Technology
Manchester Metropolitan University, UK
https://www2.mmu.ac.uk/scmdt/staff/profile/index.php?id=2251


**********************************************************
*
* 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, May 28, 2018

[DMANET] Registrations closing soon – AMSI Optimise 2018

Registrations close Monday 11 June for AMSI Optimise 2018
18-22 June | The University of Melbourne, Australia
https://optimise.amsi.org.au

Returning in 2018, AMSI Optimise is an annual networking and research-training event that aims to strengthen mathematical optimisation research engagement and its applications across industry. This event will comprise a three-day industry-focused conference, followed by a two-day research workshop. The symposium features expert and end-user talks, international guest speakers, collaboration showcases, industry challenge sessions and tutorials.

AMSI Optimise 2018 will be held at The University of Melbourne from 18-22 June with the conference themes of

* Decision Making Under Uncertainty
* Humanitarian Applications

INVITED SPEAKERS

* Associate Professor Maria Antónia Carravilla, Faculdade de Engenharia da Universidade do Porto, Portugal
* Professor Emeritus R. Tyrrell Rockafellar, University of Washington, USA
* Associate Professor Marie-Ève Rancourt, HEC Montréal
* Craig Brownlie, Country Fire Authority
* Dr Simon Dunstall, CSIRO Data61
* Joe Forbes, Biarri
* Professor Gregoire Loeper, Centre for Quantitative Finance and Investment Strategies
* Dr Vicky Mak-Hau, Deakin University
* Dr Gabriela Nodari, Reserve Bank of Australia
* Dr Darryn Reid, Defence Science and Technology Group
* Professor Kate Smith-Miles, The University of Melbourne

PROGRAM: https://optimise.amsi.org.au/timetable/

REGISTER: https://optimise.amsi.org.au/register-info/

Email: events@amsi.org.au<mailto:events@amsi.org.au>


**********************************************************
*
* 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] Summer school in Trier: Deadline for travel support approaching

There is still time to apply for travel support for the summer school on "Mixed-Integer Nonlinear Programming" (MINLP) in Trier, Germany, from August 13-16, 2018. The application deadline for student travel support is June 15, 2018.

The MINLP summer school is organized by the research training group Algorithmic Optimization (ALOP) at Trier University, Germany. The lectures will be given by:

Oliver Bastert & Zsolt Csizmadia (FICO, Xpress Optimization)
Christoph Buchheim (Technical University of Dortmund)
Sven Leyffer (Argonne National Laboratory)
Jeff Linderoth (University of Wisconsin-Madison)

Please visit https://alop.uni-trier.de/MINLP/ for details on the event. MINLP combines the complexity of Integer Programming with the challenges of Nonlinear Optimization. The summer school aims at giving an overview of the many different aspects of this exciting field of mathematical optimization for MSc and PhD students in mathematics, computer science and related fields.

ALOP is accepting applications for travel funding for students attending the summer school. The travel support application deadline is June 15, 2018.

ALOP is funded by the German Research Foundation DFG as RTG 2126. For further information, please visit https://alop.uni-trier.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] Tenure-Track Assistant Professor in Discrete Optimization at the University of Bremen

The University of Bremen is distinguished by its high desire for
innovation. This creates a multi-faceted research and teaching
environment with clearly defined career paths, particularly for young
researchers. As part of the Federal State Program for promoting young
talent, the Department of Mathematics and Computer Science (Fachbereich
3) is hiring a

Tenure Track Professor (W1 with Tenure-Track to W2)
Reference number: JP397/18

in the field of

Discrete Optimization

to be filled at the next possible date. It is planned that this
professorship will be a part of the Center for Industrial Mathematics.

The professorship will be initially offered for the duration of three
years, as a temporary civil servant. Following a positive interim
advisory review, the professorship will be extended for a further three
years. Provided that the performance evaluation after at the latest six
years is positive, the position will become a tenured professorship
(W2). To allow for developing an academic profile, a gradual entry into
the teaching duties of a Junior Professor is ensured.

We are looking for someone who has already gathered initial experience
in university-level teaching and independent research and whose
development can be expected to achieve national and international
visibility.

The appointed person will independently advance the field of discrete
optimization with his or her teaching and research and facilitate the
scientific and academic development of the students they mentor. The
ideal candidate will be someone with experience and potential in the
area of integer or mixed integer optimization or combinatorial
optimization with an evident connection to developing methods and
algorithms.

As a part of the Center for Industrial Mathematics this professorship is
expected to support and develop the many research collaborations of the
center, including the industrial partnerships. These collaboration
activities should be connected with obtaining third-party funding.
Experience with applying mathematical methods to problems in natural and
engineering sciences is also expected. Involvement in the DFG
Postgraduate Program "Ï€3: Parameter Identification - Analysis,
Algorithms, Applications" is desired.

In addition to research productivity and obtaining third-party funded
collaborations, other tasks include teaching in the degree programmes
Mathematics and Industrial Mathematics as well as participating in
service courses for degree programmes in the natural and engineering
sciences. A willingness to offer courses in English and, after at most
three years, in German is expected.

German language skills are not required at the time of hiring.

Requirements for this position are a completed mathematical university
degree and an exceptional doctoral degree granted within the last five
years. Further scientific performance, which can have been obtained
outside of academia, as well as experience in teaching at a university
are desired.

The appointment to this professorship will take place according to §18a
and §117 of the BremHG (Bremen Higher Education Law). Those who received
their doctoral degrees from the University of Bremen must have
postdoctoral experience at another university or have worked outside the
University of Bremen for at least two years.

The university offers many services to support new professors, including
a Welcome Center, child care facilities and dual career as well as
personal and career development programs.

The University of Bremen is committed to equal opportunities and
anti-discrimination and strives to increase the number of women in
science. The university has received multiple awards for its gender
equality policy and is certified as a family-friendly university. Female
candidates are explicitly encouraged to apply. International
applications as well as applications from scientists with a migration
background are expressly welcomed. Applications from handicapped
candidates will be given priority in case of equivalent personal and
professional qualification.

Applications including a cover letter, CV, publication list, copies of
degree certificates, should be submitted by June 25th, 2018 to:

Universität Bremen
Fachbereich 3 - Mathematik und Informatik
Reference number: JP397/18
Fachbereichsverwaltung
Bibliothekstraße 5
28359 Bremen

or electronically in a single PDF file: JP397-18@fb3.uni-bremen.de

Comprehensive information on all aspects of the hiring process can be
obtained here: www.uni-bremen.de/berufungsverfahren
**********************************************************
*
* 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] Modeling Week D3EMO @ CPH

**
Application window open for PhD students to be admitted to D3EMO
Deadline June 25, 2018
**

D3EMO: Modeling Week on Data Driven Decision Making and Optimization
September 3-7, 2018 @ Copenhagen Business School
Sponsors: MI-NET COST Action TD1409, EURO General Support Fund, Copenhagen Business School
https://www.cbs.dk/en/research/departments-and-centres/department-of-economics/events/d3emo-modeling-week

D3EMO Modeling Week will admit PhD students on a competitive basis, to work on problems proposed by industry. The PhD students will be required to have expertise in Mathematical Optimization, Operations Research or Statistical Data Analysis. Mathematical models and numerical solution approaches will be developed and communicated, following a collaborative approach, in which the PhD students will work in small groups under the supervision of the senior researchers during the Modeling Week. D3EMO Modeling Week is a natural place for PhD students to acquire advanced mathematical modeling training given by experts in the area, as well as contributing to their career development training (both for academic and non-academic progression) by developing further their collaborating and communication skills.

PhD students are applying to be admitted to the modeling week. The applications will be reviewed by the committee and those successful students will be notified by the end of June. The committee will consider (amongst other criteria): the excellence of the student, the area they are working in and the benefit to the student of attending the modeling week. Those PhD students admitted will receive a personal grant to (partially) cover accommodation, travel and meals.

To apply, please follow the link <Apply for D3EMO 2018, https://goo.gl/forms/TwvvP0x7gy6133Rd2>, and enter the requested fields, including the uploading of three files with
1. Your University level qualifications
2. CV containing a brief description of your PhD project, and details of your supervisor, institution, year of study, prizes or awards received, and poster/oral presentations delivered
3. A letter of motivation for wanting to attend the modeling week

**********************************************************
*
* 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] 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 in computer
science, in the data science group, at the level of assistant professor. The
position will start in the first half of 2019. An appointment as assistant
professor lasts for three years, and contingent on successful completion of a
lecturer training programme and a positive performance evaluation, a position
for associate professor is normally opened after the three years, for which the
assistant professor can apply. Application deadline: 1 September 2018.

The successful applicant is expected to have a PhD in computer science and a
strong track record of research at a high international level. To extend our
competences in data science, we are seeking applicants in the following areas:

- machine learning and data mining
- exploratory data analysis (e.g., data visualization, explainable AI)
- databases (e.g., efficient/approximate index structures, MapReduce-like
frameworks)
- multimedia data analytics (e.g., efficient similarity search for
big/complex/multimedia data)
- prescriptive analytics (e.g., data-driven optimization, decision
making in stochastic environments)

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.

For further information on the department and its research and teaching
activities, see its home page or contact Associate Professor Arthur Zimek,
phone: +45 6550 9071, e-mail: zimek@imada.sdu.dk. For more information about
how to apply, see

https://www.sdu.dk/da/service/ledige_stillinger/978660?sc_lang=en
**********************************************************
*
* 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] Five Reasons Why You Should Attend PODC 2018 (Call for Participation)

***** Five Reasons Why You Should Attend PODC 2018 *****

(1) PODC 2018 is being held on the scenic campus of Royal Holloway, University of London, which was voted the most beautiful university campus in the UK. The conference is offering low-cost accommodation on campus in modern en-suite rooms that includes full board, encouraging collaboration and socializing among attendees. The campus is a short drive from London's Heathrow airport and a fast train ride away from Central London.

(2) Co-located with the PODC 2018 are two packed days of workshops and tutorials covering many of the hot topics in modern distributed computing from both a systems and theory perspective, including blockchains, cloud computing, distributed machine learning, biological algorithms, fog and edge computing, and social networks.

(3) The PODC 2018 main conference program is filled with high-quality papers and keynote lectures that span both the theory and practice of distributed computing.

(4) Low registration fees, low-cost on-site accommodation, student travel support (expected), and the location near London Heathrow airport makes PODC 2018 both affordable and convenient.

(5) The close proximity of PODC 2018 to Windsor Castle increases the odds that the new royal couple might stop by the conference to hear some talks.

If we've piqued your interest, see below for the formal call for participation, including all the relevant links and details...


-------------------------------------------------------------------
PODC 2018 Call for Participation
-------------------------------------------------------------------
ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing
(PODC 2018)
July 23-27, 2017
Royal, Holloway, University of London
Egham, UK
http://www.podc.org/
Twitter: @podc_conference
-------------------------------------------------------------------


Key deadlines:

The early registration deadline and on-campus room reservation deadline are both July, 1.


On-site accommodation:

We are pleased to offer accommodation at the conference site in modern en-suite rooms. The package includes full board. The deadline for room reservations is July, 1. For more information on these accommodations as well as other area hotels:

https://www.podc.org/podc2018/local-arrangements/#accommodation


Keynote speakers:

Roger Peglar, Advanced Computation and Storage LLC
Graham Cormode, University of Warwick
Keren Censor-Hillel, Technion


Conference program:

https://www.podc.org/podc2018/program/


Workshops and Tutorials for Monday, July 23:

-> Biological Distributed Algorithms (BDA)

-> Workshop on Blockchain Technology and Theory (BTT)

-> Workshop on Social Issues in Online Social Networks (SISOSN)

-> Tutorial: Distributed Machine Learning (by Dan Alistarh)

-> Tutorial: Erasure Coding in Object Stores: Challenges and Opportunities (by Lewis Tseng)


Workshops and Tutorials for Friday, July 27:

-> Advanced Tools, Programming Languages, and Platforms for Implementing and Evaluating Algorithms for Distributed Systems (APPLIED)

-> Workshop on Large-Scale Distributed Systems and Middleware (LADIS)

-> Theory and Practice for Integrated Cloud, Fog and Edge Computing Paradigms (TOPIC)

-> Tutorial: Consistency Choices in Modern Distributed Systems (by Alexey Gotsman)

-> Tutorial: From Self-Stabilization to Self-Optimization: Principles of Distributed Network Design (by Stefan Schmid)


Full workshop and tutorial schedule:

https://www.podc.org/podc2018/workshops-and-tutorials/


Join us for the Jennifer Jubilee on July 23rd from 4:30 to 6:15 for the Celebration of Jennifer Welch's 60th birthday:

https://www.podc.org/podc2018/jennifer-jubilee/


Student travel support:

As in years past, we expect to have some student travel support available. Information about how to apply will be posted on the PODC 2018 website within the next week. We will also send out a separate call for applications.


Venue information:

Royal Holloway is located in a beautiful part of Surrey, a county famed for its historic market towns, parks and woodlands, and a lively cultural sporting scene. The university campus is located very close to Runnymede, where the Magna Carta was sealed in 1215. Nearby are Windsor Great Park, adjoining Windsor Castle, and Wentworth Golf Club, home of the annual PGA Championship. Central London is easily accessible by train for a whole host of activities - trips to the shops, famous tourist attractions, galleries, theatres and nightlife.

The college campus is situated just a few minutes walk from Windsor Great Park between the villages of Englefield Green and Virginia Water, and close to the towns of Egham, Staines and Windsor.


**********************************************************
*
* 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, May 26, 2018

[DMANET] CFP (Extended Deadline): IEEE DS-RT 2018 - Deadline extended to June 10th, 2018

******* CFP (Extended Deadline): IEEE DS-RT 2018 - extended deadline to
June 10th, 2018

------------------------------------------------------------------------------------
Please accept our apologies if you have received multiple copies.
------------------------------------------------------------------------------------
Call for Papers - DS-RT 2018

22nd IEEE/ACM* International Symposium on
Distributed Simulation and Real Time Applications
http://ds-rt.com/
October 15-17, 2018 - Madrid, Spain
-----------------------------------------------------------------------

IMPORTANT: Extended Submission deadline (FIRM): June 10th, 2018

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

*** The Symposium ***

The 2018 IEEE/ACM International Symposium on Distributed Simulation and
Real Time Applications (DS-RT 2018) promises to be a grand affair and will
take place in Madrid, Spain.

DS-RT 2018 serves as a platform for simulationists from academia, industry
and research labs for presenting recent research results in Distributed
Simulation and Real Time Applications. DS-RT 2018 targets the growing
overlap between large distributed simulations and real-time applications,
such as collaborative virtual environments, pervasive and ubiquitous
application scenarios, motor-, controller-, sensor- and actuator systems.

The conference features prominent invited speakers as well as papers by top
researchers in the field. DS-RT 2018 will include contributed technical
papers, invited papers, and panel discussions. The proceedings will be
published by IEEE-CS press.


*** Call for Papers ***

DS-RT provides an international forum for the discussion and presentation
of original ideas, recent results and achievements by researchers, research
students, and systems developers on issues and challenges related to
distributed simulation and real-time applications.

Authors are encouraged to submit both theoretical and practical results of
significance. Demonstration of new tools/applications is enlivened.

The scope of the symposium includes, but is not limited to:


Paradigms, Methodology, Algorithms and Software Architectures for Large
Scale Distributed and Real-Time Simulations (e.g. Parallel and Distributed
Simulation, Multi-Agent Based Distributed Simulation, HLA/RTI, Web, Grid
and cloud-based Simulation, hardware-software co-design for extreme-scale
simulations)

Paradigms, Modelling, Architecture and Environments for Large Scale
Real-time Systems and Concurrent Systems with hard and soft Real-Time
Constraints

Non-functional Properties of Distributed Simulation and Real-Time Systems
(e.g. Dependability, Availability, Reliability, Maintainability, Safety,
Security, Trustworthiness, QoS)

Theoretical Foundations of Large-Scale Real-Time and Simulation Models
(e.g. Event Systems, Causality, Space-Time Models, Notions of Time,
Discrete and Continuous Systems, Simulator Coordination)

Advances in Modelling and Simulation Studies and Technologies (Reuse of
Models, New Modelling Languages, Agent-based M&S, Spatial M&S, Cognitive
Modelling, Neural Network Models, Artificial Intelligence in Simulation,
Discrete Events, Continuous Simulation, Service-oriented Computing and
Simulation, Web-based Modelling and Simulation, Simulation of Multimedia
Applications and Systems, etc.)

Pervasive and Ubiquitous Computing Architectures and Applications that
involve Simulations and/or adhere to Real-Time Constraints

Languages and Tools, Development Environments, Data Interfaces, Network
Protocols and Model Repositories that address Very Large Simulations

Data Management and Distribution Issues, Interest Management, Semantic
Modelling, Multi-resolution Modelling, Dead-Reckoning Mechanisms

Simulation Studies at Large and Very Large Scale (e.g. Industrial,
Commercial, Ecological and Environmental, Societal, Power and Energy)

Environmental and Emerging Simulation Challenges (e.g. Growth of Human
Population, Climate Change, CO2, Health Care, Ecosystems, Sustainable
Development, Water and Energy Supply, Human Mobility, Traffic Modelling,
World Stock Markets, Food Supply Chains, Megacities, Smart Cities, Smart
Networks, Disaster Planning, etc.)

Performance and Validation of Large-Scale and Distributed Simulations
(e.g., benchmarking and analytical results, empirical studies DIS, HLA/RTI
studies)

Visual Interactive Simulation Environments (e.g., Generic Animation, Visual
Interactive Modelling, Interactive Computer Based Training and Learning,
Scientific Visualization, High-End Computer Graphics)

Simulation-based Virtual Environments and Mixed Reality Systems (e.g.
Interactive Virtual Reality, Human Communication through Immersive
Environments)

Collaborative Virtual and Augmented Reality, Shared Interaction Spaces,
Telepresence Systems and Shared Workspaces, 3D Video and Acoustic
Reconstruction, Shared Object Manipulation

Design Issues, Interaction Designs, Human Computer Interaction Issues
raised by Large Scale DS-RT Systems

Serious Gaming and Massive Multiplayer Online Games (MMOG) applications,
architectures and scalability issues

Technologies for Living Labs (e.g. Mirror World Simulation,
Interoperability, Large Scale Multi-Sensor Networks, Global Wireless
Communication, Multi-Stakeholder Understanding and Innovation)

Innovative Styles of Interactions with Large Scale DS-RT Systems (e.g.
Implicit, Situative and Attentive Interaction, Tangible Interaction,
Embedded Interaction, etc.)

Media Convergence (e.g. New Technologies, Media Theory, Real-Time
considerations of Multi-Modality, etc.)


*** Important Dates ***

Extended Submission Deadline: June 10th, 2018
Notification of Acceptance: July 1st, 2018
Camera Ready version due: July 31st, 2018
Symposium presentation: October 15-17, 2018


*** Submission ***

High-quality original papers are solicited. Papers must be unpublished and
must not be submitted for publication elsewhere. All papers will be
reviewed by Technical Program Committee members and other experts active in
the field to ensure high quality and relevance to the conference.


Accepted papers will appear in the conference proceedings to be published
by IEEE-CS press. Authors of selected papers will be invited to submit
extended versions of their papers to the Journal of Simulation.

General information regarding submission can be found at
http://ds-rt.com/2018/.


Questions from authors may be directed to the Program Co-Chairs.

IMPORTANT: CONFERENCE ATTENDANCE BY AT LEAST ONE AUTHOR OF ACCEPTED PAPERS
IS MANDATORY

*** ORGANIZING COMMITTEE***

General Chair
José Luis Risco Martín, Complutense University of Madrid, Spain

Program Co-Chairs
Eva Besada, Complutense University of Madrid, Spain
Floriano De Rango, University of Calabria, Italy

Posters Chair
Peppino Fazio, University of Calabria, Italy

Demo Chair
Amilcare F. Santamaria, University of Calabria, Italy

Special Sessions Chair
Robson De Grande, Brock University, Canada

Publicity Chair
Lucas Potter, Old Dominion University, VA, USA

Finance Chair
Guillermo Botella, Complutense University of Madrid, Spain

**********************************************************
*
* 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] ACAI 2018 - Registration and travel grants

The first cutoff date for travel grants is approaching.
http://acai2018.unife.it/
Important dates:
30 May first cutoff date for travel grants
15 June early registration deadline
30 June second cutoff date for travel grants
27 July late registration deadline

The Advanced Course on AI (ACAI) is a specialized course in Artificial Intelligence sponsored by EurAI. The 2018 edition will be in Ferrara, Italy on August 27th - 31st 2018, save the date!
The theme of the 2018 ACAI School is Statistical Relational Artificial Intelligence (StarAI).
StarAI is an emerging area that combines logical (or relational) AI and probabilistic (or statistical) AI.

Relational AI deals very effectively with complex domains involving many and even a varying number of entities connected by complex relationships, while statistical AI manages well the uncertainty that derives from incomplete and noisy descriptions of the domains. Both fields achieved significant successes over the last thirty years but evolved largely independently until about fifteen years ago, when the potential originating from their combination started to emerge. Statistical Relational Learning (SRL) was proposed for exploiting relational descriptions in statistical machine learning methods from the field of graphical models. Meanwhile, the scope of SRL was significantly advanced in StarAI to cover all forms of reasoning and models of AI. StarAI is nowadays an ample area encompassing many and diverse approaches.

The school includes courses on foundations of relational and statistical AI together with advanced courses on the new StarAI approaches and applications. The talks will provide theoretical background, practical examples and real applications where StarAI can play a role. Hands-on classes will be also organized where the main StarAI techniques will be applied to 'small' examples.

The list of confirmed lectures is:

Luc De Raedt: Probabilistic Programming
Paolo Frasconi: Kernels and deep networks for structured data
Sebastian Riedel: Differentiable Program Interpreters
Artur d'Avila Garcez: Neural-symbolic learning
Marco Lippi: Applications of Statistical Relational Artificial Intelligence
Sriraam Natarajan: Human-in-the-loop Statistical Relational Learning
Mathias Niepert and Alberto García Durán: Multi-Modal Neural Link Prediction
Kristian Kersting: Lifted Statistical Machine Learning
Fabrizio Riguzzi: Probabilistic Inductive Logic Programming
Vibhav Gogate: Lifted Systematic Search and Sampling
David Poole: TBA

Up to date information can be found at the event website
http://acai2018.unife.it/.

ACAI 2018 is part of the Relational Artificial Intelligence Days 2018 (RAID 2018, http://raid2018.unife.it/ ), which will be held in Ferrara, Italy, on August 27th 2018 - September 4th 2018. RAID includes, besides ACAI 2018, also:
- PLP 2018: 5th Workshop on Probabilistic Logic Programming, September 1st 2018, http://stoics.org.uk/plp/plp2018/ ;
- ILP 2018: 28th International Conference on Inductive Logic Programming, September 2nd - 4th 2018, http://ilp2018.unife.it/ .

Probabilistic Logic Programming (PLP) addresses the need to reason about relational domains under uncertainty arising in a variety of application domains. PLP is part of a wider current interest in probabilistic programming. PLP 2018 aims to bring together researchers in all aspects of probabilistic logic programming, including theoretical work, system implementations and applications.

The ILP conference series, started in 1991, is the premier international forum for learning from structured or semi-structured relational data. Originally focusing on the induction of logic programs, over the years it has significantly expanded and it welcomes contributions to all aspects of learning in logic, multi-relational data mining, statistical relational learning, graph and tree mining, learning in other (non-propositional) logic-based knowledge representation frameworks, exploring intersections to statistical learning and other probabilistic approaches.

RAID 2018 offers a very good opportunity to get up to date with the latest trends in logical and relational AI. We really hope to meet you in Ferrara!

Organizers
Kristian Kersting, TU Darmstadt, Germany
Marco Lippi, University of Modena and Reggio Emilia, Italy
Sriraam Natarajan, University of Texas at Dallas, USA
Fabrizio Riguzzi, University of Ferrara, Italy
Elena Bellodi, University of Ferrara, Italy
Tom Schrijvers, KU Leuven, Belgium
Riccardo Zese, University of Ferrara, Italy

[DMANET] Faculty Search Abroad: Indian Institute of Technology Jammu, India

*Faculty Search Abroad *

Indian Institute of Technology Jammu (IIT Jammu) invites applications from
Indian Nationals, Persons of Indian Origins (PIOs), Overseas Citizens of
India (OCIs), and Foreign Nationals with proven academic credentials and
who have a passion for teaching and research, for faculty positions at the
level of *Professor, Associate Professor, Assistant Professor (Grade I &
II) and Visiting Professor* in the following disciplines:

Chemical Engineering, Chemistry, Civil Engineering, Computer Science &
Engineering, Electrical Engineering, Humanities & Social Science, Material
Science & Engineering, Mathematics, Mechanical Engineering, and Physics.

Applicants should hold a Ph.D. degree in one of the above
disciplines. Industry experience and/or post-doctoral experience is highly
desirable. Candidates must have a passion for excellence in both research
and teaching.

*IIT Jammu team shall be available for Faculty Search in Germany and USA
during June 2018. *

The venue is to be finalized shortly and shall be shared with the
shortlisted candidates via their registered email IDs. For the faculty
search-cum-selection committee interaction, the shortlisted candidates will
be required to give an e-seminar (skype) *from May 25 onwards till June 15*.
Candidates shortlisted at this stage will be invited for interaction with
the faculty search-cum-selection committee in *Chicago* - travel will be
reimbursed (up to the limit of USD 500 on the production of receipts)
or in *HPI,
Potsdam, Germany*.

*Detailed Advertisement*
<http://iitjammu.ac.in/sites/default/files/Advt-IITJmu-Faculty-04-2018-25May2018.pdf>


Application submission starts on May 25, 2018, 05:00 pm IST.

Last date of online application submission: June 15, 2018, 05 pm IST.

For online application submission please visit: *https://apply.iitjammu.ac.in
<https://apply.iitjammu.ac.in/>* and select the tab *Faculty Search Abroad* to
apply.

For any further information/queries on this, please send an email to
facultysearch.abroad
[at] iitjammu.ac.in

**********************************************************
*
* 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 25, 2018

[DMANET] MIP 2018: last call for registration

We announce to all interested participants that registration for the
2018 workshop in Mixed Integer Programming (MIP 2018) is closing soon:
the last day to register will be June 4. This is particularly
important if you plan to attend the social dinner.

The registration page can be found at:
https://or.clemson.edu/mip-2018/registration/

Besides the registration page, the website contains the workshop
schedule, as well as information about hotel reservations and travel.

The 2018 Mixed Integer Programming workshop will be held June 18 – 21
at Clemson University (Greenville, South Carolina). The workshop
consists of a single track of invited talks and features a poster
session that provides an additional opportunity to share and discuss
recent research in MIP.

See you in Greenville, SC!


Confirmed Speakers

* Bob Bixby, Gurobi
* Chen Chen, Ohio State University
* Gérard Cornuéjols, Carnegie Mellon University
* Yuri Faenza, Columbia University
* Ricardo Fukasawa, University of Waterloo
* Matthew Galati, SAS
* Andres Gomez, University of Pittsburgh
* Aida Khajavirad, Carnegie Mellon University
* Pierre Le Bodic, Monash University
* Quentin Louveaux, Université de Liège
* Marco Lübbecke, RWTH Aachen
* Miles Lubin, Google
* Stephen Maher, Lancaster University
* Enrico Malaguti, Università di Bologna
* Jim Ostrowski, University of Tennessee
* Joe Paat, ETH Zurich
* Annie Raymond, University of Washington
* Suvrajeet Sen, University of Southern California
* David Shmoys, Cornell University
* Cole Smith, Clemson University
* Wolfram Wiesemann, Imperial College

Program Committee

* Philipp Christophel, SAS
* Simge Küçükyavuz, University of Washington
* Ruth Misener, Imperial College London
* Giacomo Nannicini (chair), IBM Research
* Alejandro Toriello, Georgia Institute of Technology

Local Committee

* Akshay Gupte (chair), Clemson University
* Matthew Saltzman, Clemson University
* Cole Smith, Clemson University

**********************************************************
*
* 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 approaching: Robust Optimisation at OR60

[with apologies for cross-posting]

The 60th Conference of the UK Operational Research Society (OR60) will
take place 11-13 September 2018 at Lancaster University

http://www.theorsociety.com/Pages/Conferences/OR60/OR60.aspx

You are cordially invited to submit an abstract to the *robust
optimisation stream*.

Real-world decision making problems are uncertain. Robust optimisation
has been established as a leading concept to include this uncertainty in
the optimisation model, to find solutions that still perform well when
things don't go quite as planned. Possible papers in this stream
include, but are not limited to, robust combinatorial optimisation,
two-stage robust optimisation, distributional robustness,
approximability in robust optimisation, data-driven robust optimisation,
multi-objective robust optimisation and applications of robust optimisation

Please note that the deadline for the 300 words abstract is *31 May 2018*

Hope to see you soon in Lancaster,
Marc Goerigk
**********************************************************
*
* 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 2018 - call for participation - early registration by June 6

******************************************************************
GraMSec 2018
The Fifth International Workshop on Graphical Models for Security
Oxford, UK - July 8, 2018
http://gramsec.uni.lu/

Co-located with CSF 2018 (https://www.cs.ox.ac.uk/conferences/csf2018/)
In conjunction with FLoC 2018 (http://www.floc2018.org/)
******************************************************************

ABOUT GraMSec
The use of graphical security models to represent and analyse the
security of systems has gained an increasing research attention over the
last two decades. Formal methods and computer security researchers, as
well as security professionals from the industry and government, have
proposed various graphical security models, metrics, and measurements.
Graphical models are used to capture different security facets and
address a range of challenges including security assessment, automated
defence, secure services composition, security policy validation, and
verification. The objective of GraMSec is to contribute to the
development of well-founded graphical security models, efficient
algorithms for their analysis, as well as methodologies and tools for
their practical usage.

PROGRAM of GraMSec 2018
--------------------------
09:00
Opening by Barbara Kordy

09:10
Invited talk of Mike Fisk, Chief Information Officer at Los Alamos
National Laboratory, NM, USA
Intrusion Tolerance in Complex Cyber Systems

10:10
Marlon Dumas, Luciano García-Bañuelos and Peeter Laud
Disclosure Analysis of SQL Workflows

10:30-11:00
Coffee Break

11:00
Haozhe Zhang, Ioannis Agrafiotis, Arnau Erola, Sadie Creese and Michael
Goldsmith
A state machine system for insider threat detection

11:45
Sabarathinam Chockalingam, Wolter Pieters, Andre Teixeira, Nima Khakzad
and Pieter van Gelder
Combining Bayesian Networks and Fishbone Diagrams to Distinguish between
Intentional Attacks and Accidental Technical Failures

12:30-14:00
Lunch Break

14:00
Ilia Shumailov, Mansoor Ahmed and Ross Anderson
Tendrils of Crime: Visualizing the Diffusion of Stolen Bitcoins

14:45
Maxime Audinot, Sophie Pinchinat, François Schwarzentruber and Florence
Wacheux
Deciding the Emptiness of Attack trees

15:30-16:00
Coffee Break

16:00
Ross Horne, Sjouke Mauw and Alwen Tiu
The Attacker Does not Always Hold the Initiative: Attack Trees with
External Refinement

16:45
Harley Eades Iii, Jiaming Jiang and Aubrey Bryant
On Linear Logic, Functional Programming, and Attack Trees

17:30
Closing by George Cybenko and David J. Pym

REGISTRATION
Registration to GraMSec 2018 is handled via the website of FLoC
https://www.floc2018.org/register/
The early registration deadline is on June 6

If you need a support letter for a visa, please check
https://www.floc2018.org/faqs/

PROGRAM COMMITTEE CO-CHAIRS
George Cybenko, Dartmouth College, NH, USA
David J. Pym, UCL, UK

GENERAL CHAIR
Barbara Kordy, INSA Rennes, IRISA, FR
**********************************************************
*
* 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 submissions to the CP2018 Doctoral Program

The Doctoral Program (DP) of the CP conference is open to all students
doing research on constraints, 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 the main conference; see
below for detailed instructions. Any participating student can also
request financial
support to have the registration fee waived. We also propose
inexpensive quality
shared accommodation to participating students on a first-come first-served
basis.

The program is a full-day event at the conference and includes
presentations of the papers, a poster session for all CP attendees,
mentoring by a senior researcher who will see your talk 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

- June 5, 2018 - Paper submission deadline
- June 7, 2018 - Financial support request deadline
- June 27, 2018 - Notification
- July 11, 2018 - Camera ready version for online proceedings
- August 27, 2018 - Doctoral program


Submission instructions

Any student who does research on constraints (in the broadest sense) can
participate. The submitted paper should contain work that is primarily the
work of the student. It can be work in progress, completed work, or
recently published work.

-

Students with a paper accepted at CP 2018 can participate by submitting
just the abstract of the paper. They will also present at the doctoral
program, but in lightning talk format (~3 minutes).
-

All other students are required to submit a short paper (from 4 to 8
pages, excluding references).

Submissions should be in the same style as the main conference (Springer
LNCS <http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0>), and
the author list should specify who is the student and who are the advisors
and other co-authors. Submissions are required to be in PDF format. All
proposals should be submitted online through EasyChair
<https://easychair.org/conferences/?conf=dpcp18> by selecting *"New
Submission"*.

Financial Support

Participants of the doctoral program can ask for financial support, which
consists of a reduced registration fee including rooms.

To request financial support, you should send a mail to
dpcp2018@gmail.com until
June 7, 2018, with your advisor in CC, containing:

-

Your name and affiliation.
-

Title and ID of your submission.
-

Name of your advisor (he/she should be in CC of the email as well).
-

A PDF containing: a short motivation of your request (is it primarily
your work, how can the support help you and your lab, optionally whether
the support is essential for participating in the conference) and a
signature of you and your advisor.

We have funding to support up to 30 students. This will be allocated based
on the motivation of the request, and in case of ties on the quality of the
submitted work.

Doctoral programReview training

On submitting a paper, you will be assigned another student's paper to
review. This is both to let you practice reviewing, and to share your
impressions of the work with the other student. If your own submission is
accepted, your mentor (see below) will discuss your review with you during
the conference.
Presentation

All students will be asked to present their work at the doctoral program.
The presentation will be about 15 minutes long, followed by an open
discussion. If you submitted an abstract of a paper accepted at CP, the
presentation will be a short 3 minute lighting talk, meant to motivate the
students to come see your full presentation.
Invited talks

We are delighted to announce the following invited speakers at the Doctoral
Program:

-

Claude-Guy Quimper <http://www2.ift.ulaval.ca/~quimper/>. "*Improving
the Energetic Reasoning: How I followed 15-year-old advice from my
supervisor.*"
-

Lakhdar Sais <http://www.cril.univ-artois.fr/~sais/>. "*Towards
cross-fertilization between Data Mining and Constraints.*"

Poster session

There will be a poster session for the doctoral program participants, where
all attendees of the main conference can come and see your work (exact
details to be determined).
Social dinner

There will be a free dinner on the evening of the doctoral program, open to
all students selected for the doctoral program, the doctoral program
invited speakers and chairs.
Cheap shared accommodation

Any participating student can register for a free accommodation at
conference registration time. We have indeed reserved 30 free student
single rooms (bathroom included) in a good quality residence
<http://www.crous-lille.fr/logement/residence-albert-camus/>.
Doctoral Program Chairs

-

Nadjib Lazaar <http://www.lirmm.fr/~lazaar/>, LIRMM, Université de
Montpellier, France
-

Anastasia Paparrizou <http://www.cril.univ-artois.fr/~paparrizou/>,
CRIL, Université d'Artois, France


Feel free to contact us (dpcp2018@gmail.com) if you have any further
questions.

**********************************************************
*
* 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] 1st Workshop on Multi-objective Reasoning in Verification and Synthesis (MoRe 2018): call for participation

[Apologies for multiple copies]

**************************************************************************

1st International Workshop on
Multi-objective Reasoning in Verification and Synthesis

MoRe 2018
http://math.umons.ac.be/more2018/

Friday 13th July 2018, Oxford, United Kingdom
FLoC 2018 workshop, affiliated with LICS 2018

**************************************************************************

TOPICS:

MoRe aims at bringing together researchers interested in multi-objective
reasoning for verification and synthesis.

Traditionally, verification and synthesis techniques focus on a single
qualitative or quantitative objective for the reactive system. In
practice, it is often desired that systems satisfy a functional
requirement expressed as a qualitative property, while optimising some
quantitative dimension (e.g., reach a target state while minimising the
energy consumption). Furthermore, there are numerous application contexts
in which reasoning simultaneously about multiple, heterogeneous
quantitative and qualitative characteristics is important. In many cases,
the analysis of such systems may be complicated by the fact that there
are trade-offs between objectives. Such trade-offs may also arise between
several interpretations of the same quantitative dimension: for example,
between the average-case and the worst-case performance of a system.

MoRe is a meeting place for researchers in the area of multi-objective
reasoning for verification and synthesis, with topics of interest
ranging from novel theoretical models to industrial challenges and
practical applications. Typical topics of the workshop include, but are
not limited to, formal approaches toward verification and synthesis in
the following settings:

- games (and related models) with multiple qualitative and quantitative
objectives;
- multi-criteria reasoning in probabilistic models (e.g., percentile
queries, quantiles, trade-off between worst-case and average-case
performance);
- probabilistic programs;
- extensions of timed automata including probabilistic or weighted
aspects;
- stochastic hybrid systems;
- temporal logics enabling quantitative reasoning;
- practical applications involving multi-objective challenges;
- any related attempt to tackle trade-offs between multiple criteria
in formal models for verification and synthesis.

INVITED SPEAKERS:

Christel Baier, Technische Universität Dresden, Germany
"Conditioning and quantiles in Markovian models"

Benjamin Monmege, Aix-Marseille Université, France
"A journey through negatively-weighted timed games: undecidability,
decidability, approximability"

ACCEPTED CONTRIBUTIONS:

Dimitri Scheftelowitsch
"Multi-Scenario Uncertainty in Markov Decision Processes"

Thomas Brihaye, Mickael Randour and Cédric Rivière
"Stochastic o-minimal hybrid systems"

Thomas Brihaye, Véronique Bruyère, Aline Goeminne and Jean-François Raskin
"Constraint Problem for Weak Subgame Perfect Equilibria with omega-
regular Boolean Objectives"

Véronique Bruyère, Quentin Hautem and Jean-Francois Raskin
"Parameterized complexity of games with monotonically ordered omega-
regular objectives"

Adrien Le Coent, Kim Guldstrand Larsen, Marco Muniz and Jiri Srba
"Comfort and Energy Optimization for Floor Heating Systems"

Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen and Tim Quatmann
"Multiple Objectives and Cost Bounds in MDP"

Gilles Geeraerts, Shibashis Guha and Jean-Francois Raskin
"Safe and Optimal Scheduling of Hard and Soft Tasks"

Mohammadhosein Hasanbeig, Alessandro Abate and Daniel Kroening
"Logically-Constrained Reinforcement Learning"

REGISTRATION:

Through the FLoC registration web page: https://www.floc2018.org/register/
Early registration deadline is 6 June.

ORGANISATION:

Program committee chairs

- Mickael Randour, UMONS - Université de Mons, Belgium
- Jeremy Sproston, University of Turin, Italy

Program committee

- Shaull Almagor, University of Oxford, UK
- Nathalie Bertrand, INRIA Rennes Bretagne-Atlantique, France
- Véronique Bruyère, UMONS - Université de Mons, Belgium
- Krishnendu Chatterjee, IST Austria, Austria
- Joost-Pieter Katoen, RWTH Aachen, Germany
- Sadegh Soudjani, University of Newcastle, UK
- Ufuk Topcu, University of Texas at Austin, USA
- Ashutosh Trivedi, University of Colorado Boulder, USA

**********************************************************
*
* 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 24, 2018

[DMANET] Call for Participation: Workshop on Game Theory and Experimental Economics, June 14/15, HU Berlin

We kindly invite you to the GOR (German Society of Operations Research) B-Conference co-funded by the Einstein-Center for Mathematics (ECMath) on Game Theory and Experimental Economics. The workshop takes place on 14 and 15 June 2018 at the Heilig-Geist-Kapelle within the School of Business and Economics (HU Berlin) in the center of Berlin. The aim of the workshop is to foster collaboration and state-of-the-art research at the interface of (algorithmic) game theory and experimental economics with a focus on economic and managerial problems.

This invitation particularly addresses also those researchers (but not exclusively) that did not have much contact with GOR yet and whose research interests are in management, economics, computer science, mathematics or other related fields considers game-theoretical approaches. The relevant methodology incorporates cooperative and non-cooperative game theory as well as experiments and field studies.

A main goal of the conference is connecting researchers and research. We therefore encourage participants to present state-of-the-art reviews on active research for a diverse audience. Please contact max.klimm@hu-berlin.de <mailto:max.klimm@hu-berlin.de> until May 30, 2018 for registration and indicate whether you would like to give a talk. There is no participation fee. Invited Keynotes are given by Dorothea Kübler (WZB) and Felix Fischer (QMUL). For further and updated information please visit https://hu.berlin/gtee <https://hu.berlin/gtee>.

Max Klimm (HU Berlin) and Guido Voigt (U Hamburg)
**********************************************************
*
* 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/
*
**********************************************************