Wednesday, July 26, 2017

[DMANET] Post-doc position at TU Dortmund

At TU Dortmund University, we are looking for talented and motivated

post-doctoral researchers (or PhD students)

interested in joining the project

Dynamic Expressiveness of Logics,

which is funded by the Deutsche Forschungsgemeinschaft (DFG).

The opening is in the working group of Thomas Schwentick.
The position is limited to two years, until 30.09.2019, and does not involve teaching obligations.

The official, complete job opening is available at
https://service.tu-dortmund.de/documents/18/2120797/Research+Assistant+(Ref.-Nr.+w45-17)/ade04a70-99ab-46fb-8dbf-fc129ac24d06?version=1.0

Interested? Please do not hesitate to contact us:

TU Dortmund, Dept. of Computer Science
Chair I - Logic in Computer Science
Thomas Schwentick
Otto-Hahn-Str. 12
44227 Dortmund
Germany

Nils Vortmeier
nils.vortmeier@tu-dortmund.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/
*
**********************************************************

Tuesday, July 25, 2017

[DMANET] CfP: EvoCOP 2018 (submission deadline: November 1, 2017)

************************************************************************
EvoCOP 2018 - The 18th European Conference on
Evolutionary Computation in Combinatorial Optimisation
http://www.evostar.org/2018/cfp_evocop.php

April 5 - April 6, 2018
Parma, Italy

Part of Evo* 2018 (http://www.evostar.org)
************************************************************************

The 18th European Conference on Evolutionary Computation in Combinatorial
Optimisation is a multidisciplinary conference that brings together researchers
working on evolutionary computation methods and other metaheuristics for
solving difficult combinatorial optimisation problems appearing in various
industrial, economic, and scientific domains. Prominent examples of
metaheuristics include: evolutionary algorithms, estimation of distribution
algorithms, swarm intelligence methods such as ant colony and particle swarm
optimisation, local search methods such as simulated annealing, tabu search,
variable neighbourhood search, iterated local search, scatter search and path
relinking, and their hybridisation, such as memetic algorithms. Automatic
algorithm configuration and design, meta-optimisation, model-based methods, and
hyperheuristics are also topics of interest. Successfully solved problems
include, but are not limited to, multi-objective, uncertain, dynamic and
stochastic problems in the context of scheduling, timetabling, network design,
transportation and distribution, vehicle routing, graph problems,
satisfiability, energy optimisation, cutting, packing, and planning problems.


The EvoCOP 2018 conference will be held in the city of Parma, Italy, together
with EuroGP (the 21st European Conference on Genetic Programming), EvoMUSART
(7th European conference on evolutionary and biologically inspired music,
sound, art and design) and EvoApplications (specialist events on a range of
evolutionary computation topics and applications), in a joint event
collectively known as EvoStar (Evo*).


**** Areas of Interest and Contributions ****

Topics of interest include, but are not limited to:

* Applications of metaheuristics to combinatorial optimisation problems
* Representation techniques
* Practical solution of NP-hard problems
* Neighbourhoods and efficient algorithms for searching them
* Variation operators for stochastic search methods
* Theoretical developments
* Constraint-handling techniques
* Parallelisation and grid computing
* Search space and landscape analyses
* Comparisons between different (also exact) methods
* Heuristics
* Genetic programming and Genetic algorithms
* Tabu search, iterated local search and variable neighbourhood search
* Ant colony optimisation
* Artificial immune systems
* Scatter search
* Particle swarm optimisation
* Memetic algorithms
* Hybrid methods and hybridisation techniques
* Matheuristics (hybrids of exact and heuristic methods)
* Hyper-heuristics and autonomous search
* Automatic algorithm configuration and design
* Metaheuristics and machine learning
* Surrogate-model-based methods
* Estimation of distribution algorithms
* String processing
* Scheduling and timetabling
* Network design
* Vehicle routing
* Graph problems
* Satisfiability
* Packing and cutting problems
* Energy optimisation problems
* Multi-objective optimisation
* Search-based software engineering


**** Publication Details ****

EvoCOP 2018 will accept two types of submissions:

* Regular papers will be presented orally at the conference and printed in the
proceedings published by Springer in the LNCS series (see LNCS volumes 2037,
2279, 2611, 3004, 3448, 3906, 4446, 4972, 5482, 6022, 6622, 7245, 7832, 8600,
9026, 9595 and 10197 for the previous proceedings).

* Late-breaking abstracts (LBAs) summarising ongoing research, recent studies
and applications of evolutionary computation and other meta-heuristics to
real-world or academic combinatorial optimization problems. LBAs will be
presented as posters during the conference.


**** Submission Details ****

Submissions must be original and not published elsewhere. The submissions will
be peer reviewed by members of the program committee. The authors of accepted
papers will have to improve their paper on the basis of the reviewers' comments
and will be asked to send a camera ready version of their manuscripts. At least
one author of each accepted work has to register for the conference, attend the
conference and present the work.

The reviewing process will be double-blind, please omit information about the
authors in the submitted paper. Submit your manuscript in Springer LNCS format.

Page limit (Regular papers): 16 pages
Page limit (LBAs): 1 page


**** Important Dates ****

Submission deadline (Regular papers): November 1, 2017
Submission deadline (LBAs): January 15, 2018
EvoStar: April 4-6, 2018


**** EvoCOP Programme Chairs ****

Arnaud Liefooghe
University of Lille, France
arnaud.liefooghe@univ-lille1.fr

Manuel Lopez-Ibanez
University of Manchester, United Kingdom
manuel.lopez-ibanez@manchester.ac.uk


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

[DMANET] ISAIM 2018: First Call for Papers

FIRST CALL FOR PAPERS

Fifteenth International Symposium on
ARTIFICIAL INTELLIGENCE and MATHEMATICS
ISAIM 2018
http://isaim2018.cs.virginia.edu/
January 3-5, 2018
Fort Lauderdale, Florida

PAPER SUBMISSION DEADLINE: Tuesday, October 3, 2017

The International Symposium on Artificial Intelligence and Mathematics (ISAIM) is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intelligence. This is the fifteenth Symposium in the series, which is sponsored by Annals of Mathematics and Artificial Intelligence. We seek submissions of recent results with a particular emphasis on the foundations of AI and mathematical methods used in AI. Papers describing applications are also encouraged, but the focus should be on principled lessons learned from the development of the application. Traditionally, the Symposium attracts participants from a variety of disciplines, thereby providing a unique forum for scientific exchange. The three-day Symposium includes invited speakers, presentations of technical papers, and special topic sessions.

SPECIAL TOPIC INVITED SESSIONS:

o Boolean and pseudo-Boolean Functions
-Organized by Endre Boros, Rutgers University, and Yves Crama, University of Liege

o Formalising Robot Ethics
-Organized by Michael Fisher, University of Liverpool, and Marija Slavkovik, University of Bergen

o Topological Reasoning and Data Analyses
-Organized by Debasis Mitra, Florida Istitute of Technology

o Theory of Machine Learning
-Organized by Lev Reyzin, University of Illinois at Chicago


PAPER SUBMISSION:

Paper submission will be electronic via the submission link to EasyChair on the Paper Submission page of the Symposium website (/isaim2018.cs.virginia.edu/). Papers must be formatted in accordance with the guidelines given there.

The submission deadline is Tuesday, October 3, 2017 (11:59PM PDT). Papers will be reviewed by members of the Program Committee. Authors will be notified of acceptance or rejection by Tuesday, October 31, 2017. Final versions of accepted papers, for inclusion in the conference electronic proceedings, are due by Monday, November 27, 2017.

Work that has already been published as of the ISAIM submission deadline should not be submitted to ISAIM unless it introduces a significant addition to the previously published work. However, the ISAIM web site proceedings are not archival, so papers submitted to ISAIM can be under review at the time of submission and can be submitted elsewhere after ISAIM.

Authors of a selected set of papers from the Symposium will be invited to submit full versions of their papers for inclusion in a special volume of the Annals of Mathematics and Artificial Intelligence, published by Springer. Those invited submissions will be subject to refereeing at the usual standards of the journal, and authors will receive more details with the acceptance notice. Papers must of course be new and unpublished to be considered for the special volume.

Any questions regarding paper submission should be sent to the program committee chair at the email address <isaim2018 at mail DOT cs DOT virginia DOT edu>.


IMPORTANT DATES:

Paper submission: Tuesday, October 3, 2017
Notification: Tuesday, October 31, 2017
Final version due: Monday, November 27, 2017
Workshop: January 3-5, 2018, Ft. Lauderdale, Florida

ORGANIZERS:

o General Chair: Martin Charles Golumbic, University of Haifa
o Conference Chair: Frederick Hoffman, Florida Atlantic University
o Program Committee Chairs: Juergen Dix, TU Clausthal
Guillermo R. Simari, Universidad Nacional del Sur
o Publicity Chair: Dimitrios I. Diochnos, University of Virginia


PROGRAM COMMITTEE:

Franz Baader TU Dresden
Salem Benferhat Universite d'Artois
Endre Boros Rutgers University
Gerhard Brewka Leipzig University
Yixin Chen Washington University in St. Louis
Berthe Choueiry University of Nebraska-Lincoln
Yves Crama University of Liege
Dimitrios I. Diochnos University of Virginia
Agostino Dovier Università degli Studi di Udine
Michael Fisher University of Liverpool
Georg Gottlob University of Oxford
Warren Hunt The University of Texas at Austin
Anthony Hunter University College London
Vladimir Lifschitz The University of Texas at Austin
Gerhard Lakemeyer Aachen University of Technology
Hector Levesque University of Toronto
Vladimir Lifschitz University of Texas at Austin
Larry M. Manevitz University of Haifa
Debasis Mitra Florida Institute of Technology
Leora Morgenstern Leidos, Inc., Reston
Maurice Pagnucco University of New South Wales
Francesca Rossi IBM Research and University of Padova
David Sarne Bar-Ilan University
Marija Slavkovik University of Bergen
Christine Solnon INSA Lyon
Miroslaw (Mirek) Truszczynski University of Kentucky
Gyorgy Turan University of Illinois at Chicago and University of Szeged
Miroslav N. Velev Aries Design Automation
Kristen Brent Venable Tulane University and IHMC
Toby Walsh NICTA and University of New South Wales
Neil Yorke-Smith American University of Beirut


Send inquiries and requests to isaim2018 at mail DOT cs DOT virginia DOT edu.
Visit http://isaim2018.cs.virginia.edu/.
Join isaim@googlegroups.com to receive announcements related to ISAIM.

**********************************************************
*
* 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, July 24, 2017

[DMANET] LATIN 2018 CALL FOR PAPERS

Apologies for duplicate postings.

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

Call for Papers

LATIN 2018

The 13th Latin American Theoretical Informatics Symposium

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

In 2018, LATIN will be held in Buenos Aires, Argentina
(http://latin2018.dc.uba.ar/)

Abstract Submission: October 10th, 2017
Submission: October 17th, 2017
Notification: December 5th, 2017
Camera Ready: December 20th, 2017
Symposium: April 16-19, 2018

All deadlines are AOE time zone.

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

LATIN is devoted to different areas in theoretical computer science
including, but not limited to: algorithms (approximation, online,
randomized, algorithmic game theory, etc.), analytic combinatorics
and analysis of algorithms, automata theory and formal languages,
coding theory and data compression, combinatorial algorithms,
combinatorial optimization, combinatorics and graph theory,
complexity theory, computational algebra, computational biology,
computational geometry, computational number theory, cryptology,
databases and information retrieval, data structures, formal
methods and security, Internet and the web, parallel and distributed
computing, pattern matching, programming language theory, and
random structures.

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

Full papers are to be submitted electronically using the EasyChair
server at https://easychair.org/conferences/?conf=latin2018.

Submissions are limited to twelve (12) single-column letter-size
pages in Springer LNCS format (see LNCS author guidelines at
http://www.springer.com/la/computer-science/lncs/conference-proceedings-guidelines).
This limit includes figures and references. An optional appendix
(to be read at the program committee's discretion) may be included
if desired. Simultaneous submission of papers to any other
conference with published proceedings, as well as the submission
of previously published papers, is not allowed. Papers must be
written in English. For each accepted paper at least one author
must register and attend the symposium to present it. Moreover, an
author cannot register for multiple papers. That is, each accepted
paper must have its own registrant.

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

Accepted papers will appear in the proceedings of LATIN, which
will be published in Springer Lecture Notes in Computer Science
(http://www.springer.com/la/computer-science/lncs).

----------------------------------------------
CONFERENCE CHAIR
----------------------------------------------

Martín Farach-Colton, Rutgers University, USA

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

Michael A. Bender, Stony Brook University, USA (Chair)
Miguel A. Mosteiro, Pace University, USA (Chair)

Eric Allender, Rutgers University, USA
Gabriela Araujo-Pardo, Universidad Nacional Autónoma de México, Mexico
Esther Arkin, Stony Brook University, USA
Jérémy Barbay, Universidad de Chile, Chile
Vladimir Braverman,Johns Hopkins University, USA
Luciana Buriol, Universidade Federal do Rio Grande do Sul, Brazil
Armando Castañeda, Universidad Nacional Autónoma de México, Mexico
Keren Censor-Hillel, Technion Israel Institute of Technology, Israel
Witold Charatonik, University of Wrocław, Poland
Jing Chen, Stony Brook University, USA
Giorgos Christodoulou, University of Liverpool, UK
Guy Even, Tel-Aviv University, Israel
Cristina G. Fernandes, Universidade de São Paulo, Brazil
Antonio Fernández Anta, IMDEA Networks Institute, Spain
Paolo Ferragina, Università di Pisa, Italy
Celina de Figueiredo, Universidade Federal do Rio de Janeiro, Brazil
Jeremy Fineman, Georgetown University, USA
Johannes Fischer, Technische Universität Dortmund, Germany
Paola Flocchini, University of Ottawa, Canada
Lance Fortnow, Georgia Tech, USA
Pierre Fraigniaud, CNRS and University Paris Diderot, France
Juan Garay, Yahoo! Research, USA
Leszek Gąsieniec, University of Liverpool, UK
Seth Gilbert, National University of Singapore, Singapore
Inge Li Gørtz, Technical University of Denmark, Denmark
Julián Gutierrez, University of Oxford, UK
John Iacono, New York University, USA
Taisuke Izumi, Nagoya Institute of Technology, Japan
Jesper Jansson, The Hong Kong Polytechnic University, Hong Kong
Gabriela Jeronimo, Universidad de Buenos Aires, Argentina
Artur Jeż, University of Wrocław, Poland
Rob Johnson, Stony Brook University, USA
Tomasz Jurdzinski, University of Wrocław, Poland
Shuji Kijima, Kyushu University, Japan
Michal Koucky, Charles University, Czech Republic
Yiannis Koutis, University of Puerto Rico, Puerto Rico
Sławomir Lasota, University of Warsaw, Poland
Reut Levi, Max-Planck-Institut für Informatik, Germany
Min Chih Lin, Universidad de Buenos Aires, Argentina
Claudia Linhares Sales, Universidade Federal do Ceará, Brazil
Javier Marenco, Universidad Nacional de General Sarmiento & Universidad de Buenos Aires, Argentina
Moti Medina, Max-Planck-Institut für Informatik, Germany
Joseph S. B. Mitchell, Stony Brook University, USA
Marco Molinaro, Pontifícia Universidade Católica do Rio de Janeiro, Brazil
Marcelo Mydlarz, Universidad Nacional de General Sarmiento & CONICET, Argentina
Calvin Newport, Georgetown University, USA
Igor Potapov, University of Liverpool, UK
Jared Saia, University of New Mexico, USA
Rodrigo I. Silveira, Universitat Politècnica de Catalunya, Spain
Jose A. Soto, Universidad de Chile, Chile
Paul Spirakis, University of Liverpool, UK and U. Patras, Greece
Grzegorz Stachowiak, University of Wrocław, Poland
Maya Stein, Universidad de Chile, Chile
Frank Stephan, National University of Singapore, Singapore
Christopher Thraves, Universidad de Concepción, Chile
Denis Trystram, Univ. Grenoble Alpes, France
José Verschae, Pontificia Universidad Católica de Chile, Chile
Andreas Wiese, Universidad de Chile, Chile
Prudence Wong, University of Liverpool, UK
Yukiko Yamauchi, Kyushu University, Japan
Maxwell Young, Mississippi State University, USA

----------------------------------------------
ORGANIZING COMMITTEE
----------------------------------------------

Flavia Bonomo, Universidad de Buenos Aires, Argentina (Chair)
Santiago Figueira, Universidad de Buenos Aires, Argentina
Paula Zabala, Universidad de Buenos Aires, Argentina

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

David Fernández-Baca, Iowa State University, USA
Joachim von zur Gathen, Bonn-Aachen International Center for Information Technology, Germany
Evangelos Kranakis, Carleton University, Canada
Kirk Pruhs, University of Pittsburgh
Alfredo Viola, Universidad de la Republica de Uruguay, Uruguay
Yoshiko Wakabayashi, Universidade de São Paulo, Brazil


**********************************************************
*
* 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] Department Chair Position in Mathematical Sciences at Clemson University

Dear colleagues,

The Department of Mathematical Sciences at Clemson University invites
applications and nominations for the position of Department Chair.
Candidates are expected to hold the rank of Full Professor, or
equivalent, and possess administrative and leadership experience. The
department is the largest unit within the College of Science and offers
B.A., B.S., M.S., and Ph.D. programs. It houses 52 tenured/tenure-track
faculty members, 28 lecturers, 8 full-time staff members, as well as
116 graduate and 231 undergraduate students. Research areas of the
faculty include algebra, discrete mathematics, applied analysis,
bioinformatics, computational mathematics, operations research,
probability, and pure and applied statistics.

Applications received by August 15, 2017 will receive full
consideration, but later applications may be considered until the
position is filled. For the complete job posting and more details,
please visit https://www.mathjobs.org/jobs/jobs/10151.
--
Matthew Saltzman
Clemson University Math Sciences
mjs AT clemson DOT edu

**********************************************************
*
* 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] Hausdorff Center for Mathematics: Postdoctoral Positions in Bonn

The Hausdorff Center for Mathematics (HCM) at Bonn University offers
several Postdoctoral Positions in all fields of mathematics and
quantitative economics. The duration of these positions is up to 2
years. Expected starting date is no later than October 2018. There may
be an option of extension by up to one further year, depending on the
availability of funding. Generally there are no teaching obligations but
such opportunities are provided if desired by the candidates.
http://www.hcm.uni-bonn.de/opportunities/postdocs/official-announcement/

Daniela Schmidt

Administrative Assistant
Hausdorff Center for Mathematics
Endenicher Allee 62, Villa Maria, Room 0.005
53115 Bonn
Tel: +49-228-73-4881, Fax: +49-228-73-62251
E-Mail: daniela.schmidt@hcm.uni-bonn.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] ALGO 2017 2nd Call for Participation (early registration till July 31)

ALGO is the leading annual event on algorithms in Europe combining the premier algorithmic conference European Symposium on Algorithms (ESA) with several specialized conferences and workshops.

*** Early registration ends on July 31 ***

ALGO 2017 will be held in Vienna, Austria, September 4-8, 2017, and will comprise the following six conferences and workshops:

ESA 2017 – The 25th Annual European Symposium on Algorithms
IPEC 2017 – The 12th International Symposium on Parameterized and Exact Computation
WAOA 2017 – The 15th Workshop on Approximation and Online Algorithms
ALGOSENSORS 2017 – The 13th International Symposium on Algorithms and Experiments for Wireless Networks
ATMOS 2017 – The 17th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems
ALGOCLOUD 2017 – The 3rd International Workshop on Algorithmic Aspects of Cloud Computing


ALGO 2017 keynote speakers:

- Daniel Delling, Apple Inc.
- Babak Falsafi, EcoCloud and EPFL
- Jie Gao, Stony Brook University
- Fabrizio Grandoni, University of Lugano
- David Mount, University of Maryland
- Kirk Pruhs, University of Pittsburgh
- David Woodruff, IBM Almaden

ALGO 2017 will also host a Parameterized Complexity Summer School as a pre-congress event (September 1-3).

Registration is open at https://algo2017.ac.tuwien.ac.at/registration/

Please note that the early registration period ends in a few days, on July 31, 2017.

Further information can be found at the ALGO website https://algo2017.ac.tuwien.ac.at/

The ALGO 2017 organizing committee:

Doris Dicklberger
Wolfgang Dvorak
Robert Ganian (co-chair)
Ronald de Haan
Fabian Klute
Andreas Müller
Nysret Musliu
Martin Nöllenburg (co-chair)
Sebastian Ordyniak
Günther Raidl
Mihaela Rozman
Stefan Szeider (chair)
Stefan Woltran

**********************************************************
*
* 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, July 23, 2017

[DMANET] PCSS 2017: Early Registration Deadline is Approaching

The early registration deadline for the Parameterized Complexity
Summer School is 31 July 2017.

Website: https://algo2017.ac.tuwien.ac.at/pcss/
Registration: https://interconvention.eventsair.com/algo-2017/online
Email: pcss2017@ac.tuwien.ac.at
when: 1-3 September 2017
where: Freihaus TU Wien, Vienna, Austria.

The 3rd Parameterized Complexity Summer School will be held in Vienna,
Austria, from 1 to 3 September 2017 (Friday-Sunday). The school is
co-located with ALGO 2017 and will take place at the same venue.

Apart from providing an introduction to the basics of parameterized
complexity, the school covers some recent advances and emphasizes
applications of parameterized algorithms in economics, logic, and
Artificial Intelligence. The school is aimed at researchers of all
levels in parameterized complexity as well as researchers from other
areas who are interested in applying parameterized techniques in their
respective domains.
**********************************************************
*
* 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] FSTTCS 2017 --- LAST Call for Papers [***extended deadline July 31***]

(apologies for multiple copies/cross posting)

LAST CALL FOR PAPERS
===============

37th Annual Conference on Foundations of Software Technology and
Theoretical Computer Science (FSTTCS 2017)
Kanpur, India, December 11 - 15, 2017
----------------

***********************************************
***** DEADLINE Extension to July 31, 2017 *****
***********************************************

Conference website: http://fsttcs.org/
Submission website: https://easychair.org/conferences/?conf=fsttcs2017

EXTENDED Paper submission deadline: Monday, July 31, 2017 (Anywhere on
earth)
Notification to Authors: Friday, September 22, 2017
Camera-ready deadline: Monday, October 16, 2017
Conference: December 11 - 15, 2017


Overview
----
The 37th Foundations of Software Technology and Theoretical Computer
Science (FSTTCS) conference will take place at the Indian Institute of
Technology, Kanpur, during December 11 (Mon) - 15 (Fri), 2017, under the
auspices of the Indian Association for Research in Computing Science
(IARCS). Submissions presenting original results in foundational aspects
of Computer Science and Software Technology are invited. Representative
areas include, but are not limited to, the following.

- Algorithms and Data Structures
- Algorithmic Graph Theory and Combinatorics
- Approximation Algorithms
- Automata and Formal Languages
- Combinatorial Optimization
- Communication Complexity
- Computational Biology
- Computational Complexity
- Computational Geometry
- Computational Learning Theory
- Cryptography and Security
- Game Theory and Mechanism Design
- Logic in Computer Science
- Model Theory, Modal and Temporal Logics
- Models of Concurrent and Distributed Systems
- Models of Timed, Reactive, Hybrid and Stochastic Systems
- Parallel, Distributed and Online Algorithms
- Parameterized Complexity
- Principles and Semantics of Programming Languages
- Program Analysis and Transformation
- Proof Complexity
- Quantum Computing
- Randomness in Computing
- Specification, Verification, and Synthesis
- Theorem Proving, Decision Procedures, and Model Checking
- Theoretical Aspects of Mobile and High-Performance Computing


Invited Speakers
----
Sham Kakade (University of Washington, USA)
Anca Muscholl (LaBRI & Universite' de Bordeaux, France)
Devavrat Shah (MIT, USA)
Vinod Vaikuntanathan (MIT CSAIL, USA)
Thomas Wilke (Christian-Albrechts-Universitaet zu Kiel, Germany)


Submission Information
----
Submissions must be in electronic form via EasyChair using the LIPIcs
LaTeX style file. Submissions must not exceed 12 pages (excluding
bibliography), but may include a clearly marked appendix containing
technical details. The appendix will be read only at the discretion of
the program committee. Simultaneous submissions to journals or other
conferences with published proceedings are disallowed. More detailed
submission instructions are provided on the FSTTCS 2017 submission page.

Accepted papers will be published as proceedings of the conference in
the Leibniz International Proceedings in Informatics (LIPIcs) as a free,
open, electronic archive with access to all. Authors will retain full
rights over their work. The accepted papers will be published under a
CC-BY license. For an accepted paper to be included in the proceedings,
one of the authors must commit to presenting the paper at the
conference.


Program Committee
----
Alexandr Andoni (Columbia University),
Arnab Bhattacharyya (IISc Bangalore),
Eshan Chattopadhyay (IAS Princeton),
Nicola Galesi (Sapienza Universita Roma, Italy),
Sumit Ganguly (IIT Kanpur),
Prateek Jain (MSR Bangalore),
Rahul Jain (NUS, Singapore),
Neeraj Kayal (MSR Bangalore),
Satya Lokam (MSR Bangalore, co-chair),
Daniel Lokshtanov (University of Bergen, Norway),
Ruta Mehta (University of Illinois at Urbana-Champaign),
Manoj Prabhakaran (IIT Bombay),
Alon Rosen (IDC Herzliya, Israel),
Alex Samorodnitsky (HUJI, Israel),
Srikanth Srinivasan (IIT Bombay),
Nikhil Srivastava (University of California, Berkeley),
Justin Thaler (Georgetown University),
Kasturi Varadarajan (University of Iowa),

S Akshay (IIT Bombay),
Christel Baier (TU Dresden),
Stephanie Delaune (IRISA & CNRS Rennes),
Tim French (UWA, Perth),
Prasad Jayanti (Dartmouth College),
Daniel Kroening (University of Oxford),
Ranko Lazic (University of Warwick),
Rupak Majumdar (MPI),
Stephan Merz (INRIA Nancy & LORIA),
Paritosh K. Pandya (TIFR, Mumbai),
Pavithra Prabhakar (Kansas State University),
R Ramanujam (IMSc Chennai, co-chair),
Simona Ronchi Della Rocca (Universita di Torino),
Sunil Simon (IIT Kanpur),
Sonja Smets (University of Amsterdam),
B Srivathsan (CMI, Chennai),
Lidia Tendera (Uniwersytet Opolski),
Nobuko Yoshida (Imperial College).
**********************************************************
*
* 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, July 21, 2017

[DMANET] Summer School "Operations Research - Machine Learning", June 25 - 29, 2018, Fréjus (French Riviera)

First Announcement

The École des Ponts ParisTech will organize a Summer School on the interactions between Operations Research and Machine Learning, which will be held June 25 - 29, 2018 in Fréjus (French Riviera), with the following lecturers:

Sébastien Bubeck (Microsoft Research): Introduction to Statistical Learning Theory
Marco Lübbecke (Aachen University): Title coming soon
Yinyu Ye (Stanford University): Data Driven Optimization and Applications


Note that it takes place precisely the week before ISMP 2018, which will also be held in France.

Website. https://cermics-lab.enpc.fr/summer-school-operations-research-and-machine-learning/ <https://cermics-lab.enpc.fr/summer-school-operations-research-and-machine-learning/>

Location. Villa Clythia in Fréjus, a wonderful resort of the French Riviera

Dates. June 25 - 29, 2018

Registrations. Not open yet

Organizers. Axel Parmentier (first name dot last name @ enpc dot fr) and Frédéric Meunier

Sponsor. The "Operations Research and Machine Learning" chair of Air France and École des Ponts ParisTech


**********************************************************
*
* 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] Research Assistant Mathematical Optimization [German]

[apologies: as a proficient command of the German language is indispensable
for this post, the opening is in German]

Wissenschaftliche/r Mitarbeiter/in E13

Mathematik, Informatik oder Operations Research

RWTH Aachen University, Lehrstuhl für Operations Research


Unser Profil

Am Lehrstuhl für Operations Research der Rheinisch-Westfälischen
Technischen Hochschule Aachen (www.or.rwth-aachen.de) ist ab sofort eine
Stelle in Vollzeit als Wissenschaftliche Mitarbeiterin/Wissenschaftlicher
Mitarbeiter zu besetzen. Diskrete Mathematik, theoretische Informatik und
Operations Research bilden den interdisziplinären Hintergrund der
Arbeitsgruppe. Unsere Interessen sind ganzzahlige und kombinatorische
Optimierung, algorithmische Graphentheorie, Scheduling, Algorithm
Engineering, und verwandte methoden-orientierte Bereiche des Operations
Research. Grundlagenforschung und praktische Anwendungen gehen Hand in Hand.

Insbesondere ist der Lehrstuhl für die wissenschaftliche, und zum Teil auch
informationstechnische Begleitung des "carpe diem!" Projekts an der RWTH
federführend: dort sind wir für die optimierte Hörsaal- und Terminplanung
sämtlicher Lehrveranstaltungen und Prüfungen verantwortlich.


Ihr Profil

Sie haben zum Zeitpunkt der Einstellung ein Hochschulstudium (Master oder
vergleichbar) in Mathematik oder Informatik mit weit überdurchschnittlichem
Erfolg abgeschlossen. Sie besitzen vertiefte Kenntnisse in der
mathematischen (insb. ganzzahligen) Optimierung in Theorie und Praxis (z.B.
aus Ihrer Abschlussarbeit). Idealerweise bringen Sie einerseits große
mathematisch-wissenschaftliche Begabung mit und sind andererseits an der
Lösung echter praktischer Probleme sehr interessiert. Eine generell große
Computeraffinität und sehr gute Implementationskenntnisse sind daher
unerlässlich. Persönliches Engagement, Durchhaltevermögen, hohes
Verantwortungsbewusstsein, Kreativität und Team- und
Kommunikationsfähigkeiten sind Eigenschaften, die wir an Ihnen sehr
schätzen. Hervorragende Deutschkenntnisse sind unverzichtbar.

Bitte übersenden Sie mit Ihrer Bewerbung zusätzlich zu den üblichen
Unterlagen ein knappes Motivationsschreiben und eine PDF-Datei Ihrer
Abschlussarbeit, sofern diese schon vorliegt. Gerne beifügen können Sie
Empfehlungen oder weitere Unterlagen, die Ihre Bewerbung unterstützen.


Ihre Aufgaben

Die erfolgreiche Bewerberin/der erfolgreiche Bewerber ist verantwortlich
für den wissenschaftlichen und informationstechnischen Teil des "carpe
diem!" Projekts. Dazu gehört die Weiterentwicklung mathematischer
Optimierungsmodelle und -algorithmen, Pflege und Weiterentwicklung der
bestehenden Softwarelandschaft in Kooperation mit den bisherigen
Entwicklern und einem Team unterstützender Hiwis. Letzteres Team werden Sie
führen. Kommunikation und Kooperation mit weiteren Angehörigen der RWTH
machen Sie zu einem Knotenpunkt in diesem Projekt.

Das Anstreben einer Promotion wird erwartet; die Möglichkeit dazu wird
gegeben. Das Thema "Optimierung von Semester- und Prüfungsplänen" hat sehr
reizvolle Fragen auch aus z.B. spieltheoretischer Sicht und auch aus Sicht
der ganzzahligen und robusten Optimierung. Generell muss das
Promotionsthema aber nicht an das Projekt gebunden sein.


Unser Angebot

Die Einstellung erfolgt im Beschäftigtenverhältnis. Die persönlichen
Voraussetzungen müssen erfüllt sein.

Die Stelle ist zum nächstmöglichen Zeitpunkt zu besetzen und befristet auf
zunächst ein Jahr. Eine Verlängerung bis zum Ende des Jahres 2020 ist
möglich und erwünscht.

Es handelt sich um eine Vollzeitstelle.

Eine Promotionsmöglichkeit besteht. Die Eingruppierung richtet sich nach
TV-L E13.

Die RWTH ist als familiengerechte Hochschule zertifiziert.

Wir wollen an der RWTH Aachen besonders die Karrieren von Frauen fördern
und freuen uns daher über Bewerberinnen.

Frauen werden bei gleicher Eignung, Befähigung und fachlicher Leistung
bevorzugt berücksichtigt, sofern sie in der Organisationseinheit
unterrepräsentiert sind und sofern nicht in der Person eines Mitbewerbers
liegende Gründe überwiegen.

Bewerbungen geeigneter schwerbehinderter Menschen sind ausdrücklich
erwünscht.

Für Vorabinformationen steht Ihnen

Herr Prof. Dr. Marco Lübbecke
E-Mail: marco.luebbecke@rwth-aachen.de
zur Verfügung.

Ihre Bewerbung richten Sie bitte bis zum 11.08.2017 an

Prof. Dr. Marco Lübbecke
Lehrstuhl für Operations Research
Kackertstr. 7
D-52072 Aachen

Gerne können Sie Ihre Bewerbung auch per E-Mail an
marco.luebbecke@rwth-aachen.de senden (bevorzugt, bitte als einzelne
PDF-Datei). Bitte beachten Sie, dass Gefährdungen der Vertraulichkeit und
der unbefugte Zugriff Dritter bei einer Kommunikation per unverschlüsselter
E-Mail nicht ausgeschlossen werden können.

**********************************************************
*
* 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, July 20, 2017

[DMANET] Call for Papers - Discrete Applied Mathematics Special Volume CTW2017

*Call for Papers**
**
**Special Issue Discrete Applied Mathematics**
**
**15th Cologne-Twente Workshop on Graphs and Combinatorial Optimization
(CTW 2017)**
*
_______________________________________________________

The Cologne-Twente Workshops on Graphs and Combinatorial Optimization
have a long tradition of by now annual
events that are organized alternatingly by several academic research
groups at European universities.
The CTW 2017 took place at the University of Cologne (Cologne, Germany)
on June 6-8, 2017.


CTW Workshops usually publish a selection of fully refereed papers in a
special issue of the prestigious
journal ''Discrete Applied Mathematics'' (DAM). Topics either have been
presented at the conference or are
otherwise close to the workshop themes. Submissions of contributions are
welcome also from researchers who
have not personally attended the workshop.

The deadline for submission to this issue is September 29, 2017, in
order to publish the articles as quickly as
possible. If needed, however, extensions of the deadline may be obtained
upon request.

The submission of your contribution should be done via the Elsevier
Editorial System (accessible through the
DAM homepage [http://ees.elsevier.com/dam/ http://ees.elsevier.com/dam/]
). The special issue is referred to as
"Special Issue: CTW 2017" within the DAM submission system.

Instructions for authors can be found at: http://ees.elsevier.com/dam/
http://ees.elsevier.com/dam/

Please see Author Instructions on the site if you have not yet submitted
a paper through this web-based system.
Be sure to note that your work is intended for the Special Issue and to
select the article type
"Special Issue: CTW 2017" so that your paper is assigned to the guest
editors.

Papers will be subject to a strict review process managed by the guest
editors and accepted papers will be published
online individually, before print publication.

Guest Editors:

Bert Randerath (TH Cologne) hubert.randerath@th-koeln.de
Heiko Röglin (University of Bonn) roeglin@cs.uni-bonn.de
Britta Peis (RWTH Aachen) britta.peis@oms.rwth-aachen.de
Oliver Schaudt (RWTH Aachen) schaudt@mathc.rwth-aachen.de
Rainer Schrader (University of Cologne) schrader@zpr.uni-koeln.de
Frank Vallentin (University of Cologne) frank.vallentin@uni-koeln.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] Saint Petersburg Academic University is looking for a Lead Bioinformatics Scientist

We are looking for a full-time senior bioinformatics researcher for St.
Petersburg Academic University, the first and the only university in the
Russian Academy of Sciences, with one of the leading CS programs in Russia.

SPbAU was established in 1997 by the highly acclaimed physicist and Nobel
Prize laureate Zhores Alferov as a research and educational facility for
physics and IT. It is one of the very few state-accredited universities in
Russia to provide advanced BSc/MSc programs in cutting-edge computer
science fields, including bioinformatics or data science.

With a lack of bureaucracy in regards to the educational process, the
academic staff at SPbAU has exceptional flexibility in developing and
updating curriculum to keep up with the students' progress and recent
advancements in the rapidly changing world of computer science.

All students enrolled in the program stand out for their talent and great
potential, thanks to highly competitive entrance examinations. A third of
the freshmen had won prizes at the All-Russian Mathematical Olympiad for
high school students (the oldest and most reputable nationwide competition
in the country). In 2015, SPbAU had a highest average USE (Unified State
Exam) score among all Russian universities.

The Lead Bioinformatics Scientist will be responsible for:

-

setting up a computational research lab in the Academic University,
-

supervising PhD/MSc/BSc students on research projects,
-

teaching courses and supervise the curriculum.


You will get access to the brightest CS students of the Academic University
and Russia.

Desired Skills and Experience:


-

PhD or Postdoc in Bioinformatics or Computer Science.
-

Great track record in research (published tools & papers, collaborations
etc.).
-

Experience in graduate students supervision (MSc or PhD).
-

Experience in teaching.
-

Extreme self-sufficiency and self-direction – you will set your own
research goals and directions, and you will direct others.


Conditions:


-

Salary is about 150000 Russian rubles/month (can be discussed)
-

Funds to hire students.


Please send your CV, list of publications, references and any additional
information to uliana.egina@jetbrains.com.

--
Kind regards,
Uliana Egina
Recruiter in Incubator
LinkedIn <https://www.linkedin.com/in/ulianae/>
Telegram <https://t.me/uliana_e>
https://www.jetbrains.com/
The Drive to Develop

**********************************************************
*
* 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] Research Fellowship in Complex Networks - University of Melbourne

The School of Mathematics and Statistics at the University of Melbourne is currently looking to fill a two year Research Fellowship in Optimization and Machine Learning of Disrupted Flows in Complex Networks, aimed towards understanding, design and management of resilient networked systems.

You will work with a multidisciplinary team working on challenges at the interface of research fields such as graph theory, data analysis, computer science, operations research, and statistics.

Position description: https://careers.pageuppeople.com/422/ci/en/job/891176/research-fellow-in-optimization-machine-learning-of-flows-in-complex-networks
**********************************************************
*
* 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, July 19, 2017

[DMANET] Reminder: WINE 2017 deadline is on Aug 2nd.

Reminder: WINE 2017 Deadline is in roughly 2 weeks, on Aug 2nd. The
conference will be held during December 17-20, 2017, at the Indian
Institute of Science, Bangalore, India.

The CFP is here. http://lcm.csa.iisc.ernet.in/wine2017/papers.html

Submission server is here: https://easychair.org/conferences/?conf=wine2017

Some points to raise awareness.

1. A selection of papers accepted to the conference is invited to
GEB/TEAC.
2. WINE has had the best paper award for a couple of years now. In some
years the committee has chosen not to give the award to any paper, but the
option has been there.
3. WINE is seen as being narrower than EC, and some subset of the EC
community doesn't typically submit to WINE. We would like to broaden the
scope of WINE to include all those topics covered in EC. In particular, we
welcome and encourage papers from the AI, OR, and Econ communities.
4. We also welcome experimental papers, and in particular papers that
have both a theoretical and an experimental part are strongly encouraged.

**********************************************************
*
* 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] [CP / ICLP / SAT 2017] Call for Participation, early registration deadline July 24, 2017

==============================================================================
CP / ICLP / SAT 2017: Call for Participation
==============================================================================

This year CP, ICLP and SAT 2017 will be co-located in Melbourne, Australia
from August 28th to September 1st, 2017 (the week immediately following
IJCAI
2017). We invite researchers, practitioners and businesses in the areas of
Constraint Programming (CP), Logic Programming (LP), and Boolean
satisfiability (SAT) to register and attend this unique scientific trifecta.

In addition to the main technical tracks and the thematic tracks, CP, ICLP
and SAT 2017 will feature a series of co-located workshops, and a co-located
Doctoral Program with funding available to support a limited number of
students.

The early registration for all three conferences is July 24, 2017.

Below you'll find more information about the and the registration.

Venue & accommodation
=====================

CP, ICLP, and SAT 2017 will be held August 28 to September 1, 2017 at the
Melbourne Convention and Exhibition Centre (the X marks the spot).

`
`...--..` -.
`` `-------. `--`
.---...-------.` .----`
``.-----------------.` ------
.-------------------------------.
```.---------------------------------.``
`..-----------------------------------------`
`.----------------------------------------------``
--------------------------------------------------`
.---------------------------------------------------`
`----------------------------------------------------
`----------------------------------------------------`
`---------------------------------------------------`
---------------------------------------------------
`-----------------.....---------------------------.
`-----------.```` `----.------------------`
.-----.````` `-.`.-----------------`
```` ``.---------------.
` --------------
`-----X----..`
```` `.`

.``.`
.---`
..`

Venue and visa information http://cp2017.a4cp.org/venue.html

There are many accommodation options in the proximity of the venue, so that
you can comfortably reach the conference. Our accommodation page includes
some
special promotions for the attendants of CP, ICLP and SAT 2017

Accommodation information http://cp2017.a4cp.org/accommodation.html

The events
==========

CP 2017

The 23rd International Conference on Principles and Practice of Constraint
Programming (CP 2017) is the 23rd edition of the annual conference on all
aspects of computing with constraints, including: theory, algorithms,
environments, languages, models, systems, and applications such as decision
making, resource allocation, scheduling, configuration, and planning.

More information at http://cp2017.a4cp.org/
Registration at http://cp2017.a4cp.org/registration.html

ICLP 2017

Since the first conference held in Marseille in 1982, the International
Conference on Logic Programming (ICLP) has been the premier international
event for presenting research in logic programming. ICLP 2017 is the 33rd
edition of ICLP.

More information at http://iclp17.a4lp.org/
Registration at http://iclp17.a4lp.org/registration.html

SAT 2017

SAT 2017 is the 20th edition of the International Conference on Theory and
Applications of Satisfiability Testing (SAT), the premier annual meeting for
researchers focusing on the theory and applications of the propositional
satisfiability problem, broadly construed.

More information at http://sat2017.gitlab.io/
Registration at http://sat2017.gitlab.io/registration.html


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

CP, ICLP and SAT 2017 will host co-located plenary talks, by

- Agostino Dovier, University of Udine
- Holger Hoos, University of British Columbia and Universiteit Leiden
- Mark Wallace, Opturion and Monash University
- Nina Narodytska, VMWare Research
- Enrico Pontelli, New Mexico State University


Doctoral Program
================

CP, ICLP and SAT 2017 will also host a co-located doctoral program, a place
for
student researchers to discuss ongoing work in a relaxed atmosphere, as
well as
getting some mentoring from an experienced researcher in the field.

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

Sponsors
========

CP, ICLP and SAT 2017 are also made possible by our generous sponsors and
donors. Please take some time to check them out on our Sponsors & Donors
page
http://cp2017.a4cp.org/sponsors.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/
*
**********************************************************