Tuesday, September 13, 2016

dmanet Digest, Vol 103, Issue 9

Send dmanet mailing list submissions to
dmanet@zpr.uni-koeln.de

To subscribe or unsubscribe via the World Wide Web, visit
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet
or, via email, send a message with subject or body 'help' to
dmanet-request@zpr.uni-koeln.de

You can reach the person managing the list at
dmanet-owner@zpr.uni-koeln.de

When replying, please edit your Subject line so it is more specific
than "Re: Contents of dmanet digest..."


Today's Topics:

1. CPAIOR 2017, Call for Papers (Michele Lombardi)
2. Simons-Berkeley Research Fellowships 2017-18 (Alistair Sinclair)
3. PostDoc Position in Algorithms at CMU/Pitt (Anupam Gupta)
4. ACM/SPEC ICPE 2017 - 3rd Call for Papers (Andrea Rosa)


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

Message: 1
Date: Mon, 12 Sep 2016 16:33:19 +0200
From: Michele Lombardi <michele.lombardi2@unibo.it>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] CPAIOR 2017, Call for Papers
Message-ID: <etPan.57d6bcaf.51edbe5c.519a@unibo.it>
Content-Type: text/plain; charset="utf-8"


=============================================
CPAIOR 2017, Call for Papers

Padova, June 5-8 2017
http://cpaior2017.dei.unipd.it/
=============================================


General Information
-------------------

The Fourteenth International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming will be held in Padova, Italy, June 5 - 8, 2017, with a Master Class on "Computation Techniques for Combinatorial Optimization" on June 5, and the Main Conference on June 6 - 8, 2017.

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

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

Therefore papers that actively combine, integrate, or contrast approaches from more than one of the areas are especially solicited. High quality papers from a single area are also welcome, provided that they are of interest to other communities involved. Application papers showcasing CP/AI/OR techniques on novel and challenging applications or experience reports on such applications are strongly encouraged.

The program committee invites submissions that include but are not limited to the following topics:

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

More information is available on the conference web site: http://cpaior2017.dei.unipd.it/

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

* Abstract submission deadline: 14 Nov
* Paper submission deadline: 21 Nov
* Rebuttal period: 20-23
* Final notification: 16 Jan
* Camera-ready version: 31 Jan (provisional deadline)


Submission process and formats
------------------------------

Paper submissions are of two types:

* Long papers (15 pages, plus references)
* Short papers (8 pages, plus references)

The conference proceedings will be published on the LNCS series.

Additionally, outstanding submissions to the technical program will be offered the opportunity to be published exclusively through a "fast track" process in the "Constraint" Journal. Journal fast track paper will still be regularly presented at the conference.

All papers are to be submitted electronically in PDF format via easychair:

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

Authors should follow the submission instructions on the conference website. In the particular, they should comply with the required format (LNCS style) and page limits.

For any queries on the submission process, please contact the program chairs at dominiqs@gmail.com and michele.lombardi2@unibo.it

Organization
------------

* Program chairs:
  - Domenico Salvagnin (UNIPD), http://www.dei.unipd.it/~salvagni/
  - Michele Lombardi (UNIBO), http://ai.unibo.it/people/MicheleLombardi

* Conference chair:
  - Domenico Salvagnin (UNIPD), http://www.dei.unipd.it/~salvagni/

* Program Committee (confirmations received so far):
  - Chris Beck, University of Toronto
  - David Bergman, University of Connecticut
  - Timo Berthold, Fair Isaac Germany
  - Hadrien Cambazard, Grenoble INP
  - Andre A. Cire, University of Toronto
  - Matteo Fischetti, University of Padova
  - Bernard Gendron, Université de Montréal
  - Ambros Gleixner, Zuse Institute Berlin (ZIB)
  - Carla Gomes, Cornell University
  - Tias Guns, KU Leuven
  - John Hooker, Tepper School of Business, Carnegie Mellon University
  - Matti Järvisalo, University of Helsinki
  - Jeff Linderoth, University of Wisconsin-Madison
  - Andrea Lodi, École Polytechnique de Montréal
  - Ines Lynce, Instituto Superior Técnico, Lisboa
  - Laurent Michel, University of Connecticut
  - Michele Monaci, University of Bologna
  - Siegfried Nijssen, Leiden University
  - Barry O'Sullivan, University College Cork, Insight center
  - Claude-Guy Quimper, Université Laval
  - Jean-Charles Régin, Université de Nice-Sophia Antipolis
  - Louis-Martin Rousseau, École Polytechnique de Montréal
  - Ashish Sabharwal, Allen Institute for Artificial Intelligence
  - Scott Sanner, University of Toronto
  - Pierre Schaus, UC Louvain
  - Christian Schulte, KTH Royal Institute of Technology
  - Helmut Simonis, University College Cork
  - Christine Solnon, INSA Lyon
  - Peter-J. Stuckey, University of Melbourne
  - Michael Trick, Carnegie Mellon University
  - Pascal Van-Hentenryck, University of Michigan
  - Willem-Jan Van-Hoeve, Tepper School of Business, Carnegie Mellon University
  - Sicco Verwer, Delft University of Technology
  - Yingqian Zhang, TU Eindoven

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

Message: 2
Date: Mon, 12 Sep 2016 15:19:15 -0700
From: Alistair Sinclair <sinclair@berkeley.edu>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Simons-Berkeley Research Fellowships 2017-18
Message-ID: <BCB3FCF0-7BCB-4F71-ABA9-CB268673F0CA@berkeley.edu>
Content-Type: text/plain; charset=us-ascii

The Simons Institute for the Theory of Computing at UC Berkeley invites applications for Research Fellowships for academic year 2017-18.

Simons-Berkeley Research Fellowships are an opportunity for outstanding junior scientists (at most 6 years from PhD by Fall 2017) to spend one or both semesters at the Institute in connection with one or more of its programs. The programs for 2017-18 are as follows:

* Bridging Continuous and Discrete Optimization (Fall 2017)
* Real-Time Decision Making (Spring 2018)
* The Brain and Computation (Spring 2018)

Applicants who already hold junior faculty or postdoctoral positions are welcome to apply. In particular, applicants who hold, or expect to hold, postdoctoral appointments at other institutions are encouraged to apply to spend one semester as a Simons-Berkeley Fellow subject to the approval of the postdoctoral institution.

Further details and application instructions can be found at http://simons.berkeley.edu/fellows2017. Information about the Institute and the above programs can be found at http://simons.berkeley.edu.

Deadline for applications: 15 December, 2016.

Alistair Sinclair
Associate Director, Simons Institute for the Theory of Computing

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

Message: 3
Date: Mon, 12 Sep 2016 17:39:13 -0700
From: Anupam Gupta <anupamg@cs.cmu.edu>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] PostDoc Position in Algorithms at CMU/Pitt
Message-ID: <57D74AB1.9040601@cs.cmu.edu>
Content-Type: text/plain; charset=utf-8; format=flowed


Applications are invited for a postdoc position in algorithms within the
groups
headed by Anupam Gupta at Carnegie Mellon University (CMU) and Kirk Pruhs
at the University of Pittsburgh (Pitt). An ideal applicant would have
some background
in approximation algorithms, online algorithms, and/or algorithms for
resource
management. The postdoc would conduct research in these areas, with a
particular
emphasis on applications involving resource management in new
information technologies,
in close collaboration with professors Gupta and Pruhs, and students in
their groups.

The postdoc would have an appointment and a desk/office within both the
Computer
Science departments at CMU and Pitt. The postdoc would split his/her
time between
these two offices. The CMU and Pitt campuses abut, and it is about a 10
minute
walk between the computer science departmental buildings.

The duration of the position is between 10 to 12 months. The earliest
possible start date is
January 2017, and the latest possible start date is the start of the
2017 - 2018 academic year.
The salary will be $3956.33 per month. The position is not renewable.

Pittsburgh has won many awards as the most livable city in the USA
(see http://www.visitpittsburgh.com/media/press-kit/pittsburgh-rankings/)
and last year Zagats' ranked Pittsburgh as the top food city in the USA
(https://www.zagat.com/b/the-top-17-food-cities-of-2015#17)
Pittsburgh combines the advantages of a big city with a relatively low
cost of living
(see
http://www.numbeo.com/cost-of-living/city_result.jsp?country=United+States&city=Pittsburgh%2C+PA)
The universities are near the center of the city, and are (by US
standards) well connected to the rest
of the city by mass transit.


Questions and/or application materials should be emailed to
Anupam Gupta at <anupamg@cs.cmu.edu> and Kirk Pruhs at <kirk@cs.pitt.edu>
with a subject heading of "Postdoc Application".
The application material should include
(1) a short cover letter describing the applicant's interest in the
position,
(2) a CV that includes a list of publications,
(3) a short research summary, and
(4) the names and contact information of at least three references.
We will start evaluating applications some time soon after October 1,
and will continue accepting applications until the position is filled.


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

Message: 4
Date: Tue, 13 Sep 2016 13:13:30 +0000
From: Andrea Rosa <andrea.rosa@usi.ch>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] ACM/SPEC ICPE 2017 - 3rd Call for Papers
Message-ID: <4A097DB8-C27A-4491-B14E-EC2EDDDAC03F@usi.ch>
Content-Type: text/plain; charset="utf-8"

ICPE 2017
8th ACM/SPEC International Conference on Performance Engineering

Sponsored by ACM SIGMETRICS, SIGSOFT, and SPEC RG

L'Aquila, Italy
April 22-26, 2017

https://icpe2017.spec.org/

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

IMPORTANT DATES

Research and Industrial / Experience Abstracts:
Sep 23, 2016
Research and Industrial / Experience Papers:
Sep 30, 2016
Research and Industrial / Experience Paper Notification:
Nov 18, 2016

Work-in-Progress/Vision Papers:
Nov 25, 2016

Workshop Proposals:
Nov 05, 2016
Workshop Proposal Notification:
Nov 19, 2016

Dates for tutorials, posters and demos will be announced.

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

SCOPE AND TOPICS

The goal of the International Conference on Performance Engineering (ICPE) is to integrate theory and practice in the field of performance engineering by providing a forum for sharing ideas and experiences between industry and academia. Nowadays, complex systems of all types, like Web-based systems, data centers and cloud infrastructures, social networks, peer-to-peer, mobile and wireless systems, cyber-physical systems, the Internet of Things, real-time and embedded systems, have increasingly distributed and dynamic system architectures that provide high flexibility, however, also increase the complexity of managing end-to-end application performance.
ICPE brings together researchers and industry practitioners to share and present their experiences, discuss challenges, and report state-of-the-art and in-progress research on performance engineering of software and systems, including performance measurement, modeling, benchmark design, and run-time performance management. The focus is both on classical metrics such as response time, throughput, resource utilization, and (energy) efficiency, as well as on the relationship of such metrics to other system properties including but not limited to scalability, elasticity, availability, reliability, and security.

This year's main theme is cost-effective performance engineering, where cost has a wide interpretation including measures such as effort and energy in addition to traditional performance measures.

Topics of interest include, but are not limited to:

Performance modeling of software
* Languages and ontologies
* Methods and tools
* Relationship/integration/tradeoffs with other QoS attributes
* Analytical, simulation and statistical modeling methodologies
* Model validation and calibration techniques
* Automatic model extraction
* Performance modeling and analysis tools

Performance and software development processes/paradigms
* Software performance patterns and anti-patterns
* Software/performance tool interoperability (models and data interchange formats)
* Performance-oriented design, implementation and configuration management
* Software Performance Engineering and Model-Driven Development
* Gathering, interpreting and exploiting software performance annotations and data
* System sizing and capacity planning techniques
* (Model-driven) Performance requirements engineering
* Relationship between performance and architecture
* Collaboration of development and operation (DevOps) for performance
* Performance and agile methods
* Performance in Service-Oriented Architectures (SOA)
* Performance of micro-service architectures and containers

Performance measurement, monitoring and analysis
* Performance measurement and monitoring techniques
* Analysis of measured application performance data
* Application tracing and profiling
* Workload characterization techniques
* Experimental design
* Tools for performance testing, measurement, profiling and tuning

Benchmarking
* Performance metrics and benchmark suites
* Benchmarking methodologies
* Development of parameterizable, flexible benchmarks
* Benchmark workloads and scenarios
* Use of benchmarks in industry and academia

Run-time performance management
* Use of models at run-time
* Online performance prediction
* Autonomic resource management
* Utility-based optimization
* Capacity management

Power and performance, energy efficiency
* Power consumption models and management techniques
* Tradeoffs between performance and energy efficiency
* Performance-driven resource and power management

Performance modeling and evaluation in different environments and application domains
* Web-based systems, e-business, Web services
* Big data systems, data analytics systems, and other data analysis systems
* Internet of Things
* Social networks
* Cyber-physical systems
* Industrial Internet (Industry 4.0)
* Virtualization and cloud computing
* Autonomous/adaptive systems
* Transaction-oriented systems
* Communication networks
* Parallel and distributed systems
* Embedded systems
* Multi-core systems
* Cluster and grid computing environments
* High performance computing
* Event-based systems
* Real-time and multimedia systems
* Peer-to-peer, mobile and wireless systems


All other topics related to performance of software and systems.

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

SUBMISSION GUIDELINES

Authors are invited to submit original, unpublished papers that are not
being considered in another forum. A variety of contribution styles for
papers are solicited including: basic and applied research papers for
novel scientific insights, industrial and experience papers reporting on
applying performance engineering or benchmarks in practice, and
work-in-progress/vision papers for ongoing but yet interesting work.
Different acceptance criteria apply based on the expected content of the
individual contribution types.

Authors will be requested to self-classify their papers according to
topic and contribution style when submitting their papers.

Submissions to all tracks need to be uploaded to ICPE's submission system
and conform to the ACM submission format. For detailed submission
instructions, please visit: https://icpe2017.spec.org/submissions.html.

At least one author of each accepted paper is required to register at
the full rate, attend the conference and present the paper. Presented
papers will be published in the ICPE 2017 conference proceedings that
will be published by ACM and included in the ACM Digital Library. After
the conference, there will be a call for a special issue of a journal.

AUTHORS TAKE NOTE: The official publication date is the date the proceedings
are made available in the ACM Digital Library. This date may be up to two weeks
prior to the first day of your conference. The official publication date affects
the deadline for any patent filings related to published work.
(For those rare conferences whose proceedings are published in the ACM Digital
Library after the conference is over, the official publication date remains the
first day of the conference.)

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

PROGRAM COMMITTEE (RESEARCH PAPERS)

Amy Apon, Clemson University
Martin Arlitt, HP Labs and University of Calgary
Alberto Avritzer, Performance Engineering Consultant
Steffen Becker, University of Technology Chemnitz
Robert Birke, IBM Zurich Research Laboratory
Andre B. Bondi, Software Performance and Scalability Consulting LLC
Niklas Carlsson, Linkoping University
Lydia Y. Chen, IBM Zurich Research Laboratory
Lucy Cherkasova, HP Labs
Antinisca Di Marco, Università dell'Aquila
Wilhelm Hasselbring, Kiel University
Alexandru Iosup, Delft University of Technology
Evangelia Kalyvianaki, City University London
Samuel Kounev, University of Wuerzburg
Heiko Koziolek, ABB Corporate Research
Diwakar Krishnamurthy, University of Calgary
Patrick Lee, The Chinese University of Hong Kong
Catalina M. Lladó, Universitat Illes Balears
Lei Lu, VMware
Andrea Marin, University of Venice
Daniel Menasce, George Mason University
Daniel S. Menasché, Federal Univ. of Rio de Janeiro
José Merseguer, Universidad de Zaragoza
Ningfang Mi, Northeastern University
Raffaela Mirandola, Politecnico di Milano
Manoj Nambiar, Tata Consultancy Services
Dorina Petriu, Carleton University
Denys Poshyvanyk, College of William and Mary
Ralf Reussner, Karlsruhe Institute of Technology
Alma Riska, Network Appliances
Jerry Rolia, HP Labs
Rekha Singhal, Tata Consultancy Services
Mirco Tribastone, IMT Institute for Advanced Studies
Catia Trubiani, Gran Sasso Science Institute
Petr Tuma, Charles University
Ana Lucia Varbanescu, University of Amsterdam
Enrico Vicario, University of Florence
Katinka Wolter, Freie Universitaet zu Berlin
Murray Woodside, Carleton University
Feng Yan, University of Nevada-Reno
Xiaoyun Zhu, Futurewei Technologies Inc

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

ORGANIZING COMMITTEE

General Chairs
* Walter Binder, Università della Svizzera italiana (USI), Switzerland
* Vittorio Cortellessa, Università dell'Aquila, Italy
Research Program Chairs
* Anne Koziolek, Karlsruhe Institute of Technology, Germany
* Evgenia Smirni, College of William and Mary, USA
Industry Program Chairs
* Meikel Poess, Oracle, USA
Tutorials Chair
* Valeria Cardellini, Università di Roma Torvergata, Italy
Workshops Chairs
* Hanspeter Mössenböck, Johannes Kepler Universität Linz, Austria
* Catia Trubiani, Gran Sasso Science Institute, Italy
Posters and Demos Chair
* Lubomir Bulej, Charles University, Czech Republic
Awards Chairs
* Petr Tuma, Charles University, Czech Republic
* Murray Woodside, Carleton University, Canada
Local Organization Chair
* Antinisca Di Marco, Università dell'Aquila, Italy
Publicity Chairs
* Andrea Rosà, Università della Svizzera italiana (USI), Switzerland
* Diego Perez, Politecnico di Milano, Italy
Finance Chair
* André van Hoorn, University of Stuttgart
Publication and Registration Chair
* Davide Arcelli, Università dell'Aquila, Italy
Web Site Chair
* Cathy Sandifer, SPEC, USA

------------
Andrea Rosà
PhD student - Teaching assistant
Faculty of Informatics - 2nd floor
Università della Svizzera italiana (USI)
Via G. Buffi 13
CH-6904 Lugano
Switzerland
(e) andrea.rosa@usi.ch<mailto:andrea.rosa@usi.ch>
(p) +41 58 666 4455 ext. 2183
(w) http://www.inf.usi.ch/phd/rosaa/


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

Subject: Digest Footer

_______________________________________________
dmanet mailing list
dmanet@zpr.uni-koeln.de
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet


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

End of dmanet Digest, Vol 103, Issue 9
**************************************

No comments:

Post a Comment