Friday, August 26, 2016

[DMANET] PhD Position at RWTH Aachen

Applications are invited for a PhD position in theoretical computer science at the RWTH Aachen University. The successful applicant is expected to carry out research related to graph isomorphism and similar problems (interpreted in a wide sense). The position is one of several funded in the project "Logic, Structure, and the Graph Isomorphism Problem" lead by Martin Grohe and Pascal Schweitzer (funded by the DFG).

The ideal candidate should have a strong interest in the theory of computation and a solid background in computer science and mathematics, especially algorithms and complexity theory. All applicants should have an excellent master's degree in computer science, mathematics, or a related discipline. Applications should include a detailed CV, a copy of master thesis, a brief statement of research interests, and a list of publications (if applicable). Please also mention names and contact details of one or two references, preferably one from the thesis advisor.

The position is fulltime and can be started as soon as possible for the applicant. The position is funded for two years, with a possible extension of at least another year.

Please send your application materials per email to Martin Grohe (; the closing date is

20 September 2016.

If you have further questions, please do not hesitate to contact Martin Grohe ( or Pascal Schweitzer (

* Contributions to be spread via DMANET are submitted to
* 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.

Thursday, August 25, 2016

[DMANET] EvoMusArt 2017 - CfP


The 6th International Conference on Computational Intelligence in Music,
Sound, Art and Design (EvoMusArt) will be held in Amsterdam in 19-21 April
2017, as part of the evo* event. The main goal of EvoMusArt is to bring
together researchers who are using Computational Intelligence techniques
for artistic tasks such as visual art, music, architecture, video, digital
games, poetry, or design. The conference gives researchers in the field the
opportunity to promote, present and discuss ongoing work in the area.

Important dates:
Submission: 1 November 2016
Notification to authors: 9 January 2017
Camera-ready deadline: 25 January 2017
Evo*: 19-21 April 2017

We welcome submissions which use Computational Intelligence techniques
(e.g. Evolutionary Computation, Artificial Life, Machine Learning, Swarm
Intelligence) in the generation, analysis and interpretation of art, music,
design, architecture and other artistic fields. Submissions must be at most
16 pages long, in Springer LNCS format (instructions downloadable from Each
submission must be anonymised for a double-blind review process and
submitted to . The deadline for
submission is 1 November 2016, and acceptance notification on 9 January
2017. Accepted papers will be presented orally or as posters at the event
and included in the EvoMusArt proceedings published by Springer Verlag in a
dedicated volume of the Lecture Notes in Computer Science series.

Indicative topics include but are not limited to:
* Systems that create drawings, images, animations, sculptures, poetry,
text, designs, webpages, buildings, etc.;
* Systems that create musical pieces, sounds, instruments, voices, sound
effects, sound analysis, etc...;
* Systems that create artifacts such as game content, architecture,
furniture, based on aesthetic and functional criteria;
* Systems that resort to computational intelligence to perform the analysis
of image, music, sound, sculpture, or some other types of artistic object;
* Systems in which computational intelligence is used to promote the
creativity of a human user;
* Theories or models of computational aesthetics;
* Computational models of emotional response, surprise, novelty;
* Representation techniques for images, videos, music, etc;
* Surveys of the current state-of-the-art in the area;
* New ways of integrating the user in the process (e.g. improvisation,
co-creation, participation).

More information on the submission process and the topics of EvoMusArt 2017
can be found at

We look forward to seeing you in Amsterdam in 2017!

The EvoMusArt 2017 organisers

* Contributions to be spread via DMANET are submitted to
* 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.

Wednesday, August 24, 2016

[DMANET] IPDPS 2017 - Call for papers

IPDPS 2017 Call For Papers
August 22, 2016 release

31st IEEE International Parallel & Distributed Processing Symposium
May 29 – June 2, 2017
Orlando, Florida USA

... Abstracts due October 18, 2016 AOE
... Submissions due October 23, 2016 AOE

*** SCOPE: ***
Authors are invited to submit manuscripts that present original
unpublished research in all areas of parallel and distributed
processing, including the development of experimental or commercial
systems. Work focusing on emerging technologies and interdisciplinary
work covering multiple IPDPS areas are especially welcome. Topics of
interest include, but are not limited to:

* Parallel and distributed algorithms, focusing on topics such as:
numerical and combinatorial parallel algorithms for analysis, machine
learning and simulation; parallel algorithms for accelerators,
neuromorphic architectures, and other non-traditional systems;
algorithms for cloud computing; power-aware parallel algorithms;
streaming algorithms; domain-specific parallel and distributed
algorithms; performance modeling and analysis of parallel and
distributed algorithms; run-time algorithms and protocols for resource
management, communication and synchronization on parallel and
distributed systems.

* Applications of parallel and distributed computing, including
computational and data-enabled science and engineering, big data
applications, parallel crowd sourcing, large-scale social network
analysis, management of big data, cloud and grid computing, scientific,
biological and medical applications, and mobile computing. Papers
focusing on applications using novel commercial or research
architectures, big data approaches, or discussing scalability toward the
exascale level are encouraged.

* Parallel and distributed architectures, including architectures for
instruction-level and thread-level parallelism; memory technologies and
memory hierarchy architectures; exascale systems designs; data center
architectures; novel big data architectures; special purpose
architectures, including graphics processors, signal processors, network
processors, media accelerators, neuromorphic systems, and other special
purpose processors and accelerators; impact of technology on
architecture; network and interconnect architectures; parallel I/O and
storage systems; power-efficient and green computing systems; resilience
and dependable architectures; and performance modeling and evaluation.

* Parallel and distributed software, including parallel and multicore
programming languages and compilers, runtime systems, operating systems,
resource management including, middleware for supercomputers, grids,
clouds, and data centers, libraries, performance modeling and
evaluation, parallel programming paradigms, and programming environments
and tools. Papers focusing on novel software systems for big data and
exascale systems are encouraged.

Papers that cross the boundaries of the four traditional tracks of IPDPS
(Algorithms, Applications, Architecture and Software) are encouraged and
will receive special attention. During submission, authors can indicate
up to three subject areas that can come from any track.

The program committee will nominate papers for recognition in several
categories including the four conference topic areas as well as best
multidisciplinary paper and will consider other paper attributes that
merit recognition from the conference. The five top best papers will be
selected for presentation and the others will receive honorable mention
in the conference program.

Submitted manuscripts may not exceed ten (10) single-spaced
double-column pages using 10-point size font on 8.5x11 inch pages (IEEE
conference style), including figures, tables, and references. See the
IPDPS website for LaTex/Word templates.

IPDPS will again require submission of abstracts and registration of
papers one week before the paper submission deadline without any late
exceptions. Files should be submitted by following the instructions
available at the EDAS portal. Authors must ensure that electronically
submitted files are formatted in PDF format for 8.5 x 11 inch paper.
The submission portal will be available by September. Return to this
site to submit your abstract and upload your submission.

All submitted manuscripts will be reviewed. Submissions will be judged
on correctness, originality, technical strength, significance, potential
impact, quality of presentation, and interest and relevance to the
conference scope. Submitted papers should NOT have appeared in or be
under consideration for another conference, workshop or journal.

Questions may be sent to Abstracts are due October 18,
2016 and fullmanuscripts must be received by October 23, 2016. This is a
final, hard deadline; to ensure fairness, no extensions will be given.
There will be a one week review feedback and author response period from
November 28th to December 5th. Notification of final decisions will be
mailed by January 8, 2017, and camera-ready papers will be due February
15, 2017.


- October 18, 2016: Registration of papers with abstracts will be
accepted up to end of day ANYWHERE ON EARTH.

- October 23, 2016: Submission of registered papers will be accepted up
to end of day ANYWHERE ON EARTH.

- Review feedback to authors….…November 28, 2016

- Author response to feedback…..December 5, 2016

- Author notification.......January 8, 2017

- Camera-ready due.....February 15, 2017


Michela Taufer (University of Delaware, USA)

Marc Snir (University of Illinois at Urbana Champaign, USA)

Pierre Fraigniaud (CNRS & Paris Diderot University, France)
Robert D. Moser (University of Texas Austin, USA)
Hillery Hunter (IBM Research, USA) &
Robert Senger (IBM Research, USA)
Pavan Balaji (Argonne National Laboratory, USA)
Torsten Hoefler (ETH Zurich, Switzerland)

Anu Bourgeois (Georgia State University, USA)

Bora Uçar (CNRS and ENS Lyon, France)

Erik Saule (University of North Carolina Charlotte, USA)

Ramachandran Vaidyanathan (Louisiana State University, USA)

Kyle Chard (University of Chicago, USA)

Olivier Beaumont (Inria Bordeaux Sud-Ouest, France)
Sunita Chandrasekaran (University of Delaware, USA)
Ananth Kalyanaraman (Washington State University, USA)
Chris (CJ) Newburn (Intel, USA)
Cynthia A. Philips (Sandia National Laboratories, USA)
Sivasankaran Rajamanickam (Sandia National Laboratories, USA)
Min Si (Argonne National Laboratory, USA)
Alan Sussman (University of Maryland, USA)
Jesper Larsson Traff (Vienna University of Technology, Austria)

Trilce Estrada (University of New Mexico, USA)

Jay Lofstead (Sandia National Laboratories, USA)

Francesco Silvestri (IT University of Copenhagen, Denmark)

USA: Lena Oder (Argonne National Laboratory, USA)
EUROPE: Ana Varbanescu (University of Amsterdam, NL)
CHINA & PACIFIC ASIA: Hongzi Zhu (Shanghai Jiao Tong University, China)

Jun Wang (University of Central Florida, USA)

Bill Pitts (Retired, IEEE Volunteer & Computer Society BOG-2012, USA)

Sally Jelinek Westrom (Electronic Design Associates, Inc., USA)

Ümit V. Çatalyürek (Ohio State University, USA)

To be announced; visit the website for updates.

...Follow us on Facebook at
...Follow us on Twitter at
Sponsored by IEEE Computer Society Technical Committee on Parallel
In cooperation with
IEEE Computer Society Technical Committee on Computer Architecture, and
IEEE Computer Society Technical Committee on Distributed Processing

* Contributions to be spread via DMANET are submitted to
* 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.

[DMANET] GD 2016: Call for Participation


Call for Participation

GD 2016

24th International Symposium on
Graph Drawing and Network Visualization

Early registration deadline: August 30

September 19-21, 2016 – Athens, Greece


Graph Drawing is concerned with the geometric representation of graphs and constitutes the algorithmic core of Network Visualization. Graph Drawing and Network Visualization are motivated by applications where it is crucial to visually analyze and interact with relational datasets. Examples of such application areas include data science, social sciences, Web computing, information systems, biology, geography, business intelligence, information security and software engineering.

GD has been the main annual event in this area for more than 20 years. Its focus is on combinatorial and algorithmic aspects of graph drawing as well as the design of network visualization systems and interfaces. GD 2016 will be hosted by the Institute of Communications and Computer Systems, an affiliate of the National Technical University of Athens from September 19 to 21, 2016 in Athens, Greece. Researchers and practitioners working on any aspect of graph drawing and network visualization are invited to participate in the symposium.

Daniel Keim, University of Konstanz, Germany
Roger Wattenhofer, ETH Zurich, Switzerland

The list of accepted papers is available at:

Registration for GD 2016 is open. Early registration **until August 30, 2016** (regular 270 EUR, student 180 EUR), late registration **after August 30, 2016** (regular 310 EUR, student 220 EUR). Registration can be done at:

The 24th International Symposium on Graph Drawing and Network Visualization (GD 2016) will take place at the Ionic Centre in Athens. Further information about the venue and getting there can be found at:

Suggestions for accommodations can be found at:

The 23rd Graph Drawing Contest will be held in conjunction with GD 2016. Submission deadline for contributions to the Creative Topics Category is September 11, 2016. The Live Challenge will take place during the conference. Further information about the GD Contest can be found at:

Immediately after the conference, the "PhD School on Visualization Software" with speakers from yWorks and Tom Sawyer Software will be held on September 22-23 2016 in Athens. The same early registration deadline of August 30, 2016 applies. Early registration fee **until August 30, 2016**: 30 EUR, late registration fee **after August 30, 2016**: 100 EUR. Further information about the PhD School can be found at:


* Early registration deadline (conference and PhD school): August 30, 2016
* GD Contest submission deadline: September 11, 2016
* Symposium on Graph Drawing and Network Visualization: September 19-21, 2016
* PhD School on Visualization Software: September 22-23, 2016

* Contributions to be spread via DMANET are submitted to
* 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.

[DMANET] Last Call for Participation -- 10th Heinz Nixdorf Symposium -- Registration ends on September 1, 2016


10th Heinz Nixdorf Symposium
"On-The-Fly Computing"

Paderborn, Germany, September 12 - 13, 2016
Registration Deadline: September 1, 2016

The 10th International Heinz Nixdorf Symposium is aimed at researchers
who conduct Computer Science and/or Economics research on topics of
the SFB 901 "On-The-Fly Computing" (
in a broad sense, and is devoted to the scientific exchange.
It will take place in the Heinz Nixdorf MuseumsForum
( in Paderborn, Germany.
The event format is a mixture of keynote talks and workshops
with invited talks in the following four research fields:

* Software Engineering and Machine Learning
* Dynamic Communication Networks
* Security and Cryptography
* Quality Assurance and Economic Design

For more information, please see the corresponding program:
The Heinz Nixdorf Symposium is an established biennial event of the
Heinz Nixdorf Institute during which researchers and practitioners
come together to present challenges from industry, discuss contributions
from research institutions and develop novel solutions.
The Heinz Nixdorf Institute ( is a
research center within the Paderborn University, founded in 1987.
Its research is aligned with the program "Dynamics, Mobility, Integration:
En-route to the technical systems of tomorrow."

Invited Speakers
Michael Backes, Saarland University & Max Planck Institute for Software Systems
Roger Wattenhofer, ETH Zurich
Matthias Seeger, Amazon
Nora Szech, Karlsruhe Institute of Technology (KIT)

Program committee / Symposium Organizers
Johannes Blömer (co-chair)
Eric Bodden
Gregor Engels
Rene Fahr (co-chair)
Bernd Frick
Burkhard Hehenkamp
Eyke Hüllermeier (co-chair)
Holger Karl
Friedhelm Meyer auf der Heide (chair)
Christian Scheideler (co-chair)
Heike Wehrheim

* Contributions to be spread via DMANET are submitted to
* 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.

Tuesday, August 23, 2016

[DMANET] Tenure Track Faculty in Business Analytics-California State University San Marcos

California State University San Marcos
College of Business Administration
Operations and Supply Chain Management Department

POSITION: Tenure Track Faculty in Business Analytics


Minimum qualifications: Ph.D. or equivalent in Business Analytics, Data Sciences, Operations Research, Management Sciences, Operations Management or a related discipline. Candidates must demonstrate teaching excellence, a record of published research commensurate with years of experience, and the ability to develop and sustain a research program that will lead to original, peer-reviewed publications. Candidates must be able to communicate effectively and work cooperatively with departmental colleagues and an ethnically and culturally diverse campus community.

Desired/preferred qualifications: Preference will be given to applicants with business and or teaching experience in Business Analytics and Big Data Analytics, the ability to deliver applied learning experiences, and the competence to teach current topics and technologies for developing and implementing business intelligence program. Preference will be given to applicants with demonstrated intercultural competence with diverse groups in teaching, research and/or service.

Duties: The new faculty member is expected to teach one or more core undergraduate courses (Business Statistics, Data Analysis, Introduction to Data Analytics, Introduction to Business Analytics) and one or more MBA courses (Business Intelligence and Statistics for Management). Integration of business Analytics into the curriculum is a priority goal of the Operations and Supply Chain Management department and the successful candidate will support and contribute to this goal by developing and teaching new courses in the area of Business Analytics and Supply Chain Management such as Data and Text Mining, Big Data and Business Intelligence, Big Data Analytics in Supply Chain Management. The new faculty member will also be expected to sustain quality research, publish in peer-reviewed journals, and actively engage in activities serving the department, college, university and community.

Application: Review of applications will commence immediately; however, the position will remain open until filled. All applications must include a completed Faculty Application<>, cover letter that includes statements of teaching philosophy and how the applicant meets the above minimum and desired/preferred qualifications, curriculum vitae, reprints of representative publications, and copies of all transcripts that include relevant course work. Three current letters of recommendation must be provided. If available, please provide copies of recent teaching evaluations.
Submit your application electronically to:<>. The position is open until filled. First consideration will be given to completed applications received no later than November 1, 2016. Early response is encouraged.
This position is subject to employment verification, education verification, reference checks and criminal record checks. A background check (including the criminal records check) must be completed satisfactorily before any candidate can be offered a position with the CSU. Failure to satisfactorily complete the background check may affect the application status of applicants or continued employment of current CSU employees who apply for the position.
Requests for information should be addressed to:

Soheila Jorjani
Search Committee Chair
Operations and Supply Chain Management Department

The university is particularly interested in applicants who have experience working with students from diverse backgrounds and a demonstrated commitment to improving access to higher education for under-represented groups.

CSUSM has been designated as a Hispanic Serving Institution (HSI) and an Asian American Native American Pacific Islander Serving Institution (AANAPISI) and was recently named one of the top 32 Colleges most friendly to junior faculty by the Collaborative on Academic Careers in Higher Education. Visit for more information.

California State University San Marcos is an Affirmative Action/Equal Opportunity Employer strongly committed to equity and diversity and seeks a broad spectrum of candidates in terms of race, color, religion, ancestry, national origin, sex, sexual orientation, gender identity, gender expression, age, disability and veteran status.

California State University San Marcos, founded in 1989, is a growing university with over 14000 students. Located in San Marcos, California, a city of 83,700 approximately 35 miles north of downtown San Diego, California State University San Marcos serves northern San Diego County and southern Riverside and Orange Counties, one of the fastest growing regions in Southern California. While convenient to the urban amenities of San Diego and Los Angeles, the campus enjoys a high quality of life enhanced by nearby ocean beaches, mountains and deserts, and a deservedly famous climate. Our student population reflects the rich ethnic and racial diversity of the region. The College of Business Administration, which resides in a state-of-the-art building, currently has approximately 2400 undergraduate and growing MBA programs.

Nima Zaerpour, Ph.D.
Assistant Professor of Operations and Supply Chain Management
College of Business Administration
California State University San Marcos<> | 760 750-4272 |<>

* Contributions to be spread via DMANET are submitted to
* 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.

Monday, August 22, 2016

[DMANET] IEEE Communication Magazine Feature Topic – Network Slicing (CfP)

We apologize if you receive multiple copies of this CfP. Please disseminate it to your colleagues.


IEEE Communication Magazine Feature Topic – Network Slicing (CfP)
Network slicing has evolved from a simple network overlay concept to a fundamental feature of the emerging 5G systems enabling dynamic multi-service support, multi-tenancy and the integration means for vertical market players. Network slicing can drastically transform the networking perspective by abstracting, isolating and separating logical network behaviors from the underlying physical network resources. Network operators, can exploit network slicing for reducing capital and operations expenditures, allowing also programmability and innovation, necessary to enrich the offered services from simple communications services to a wider range of business services. The separation of different functions by abstractions (e.g. radio resources from packet processing) simplifies the integration challenges especially for applications supporting vertical industries beyond telecommunications.
Network slicing in 5G systems may be performed by abstracting different physical infrastructures into a logical network that contains shared resources, such as radio spectrum or dedicated core network equipment, and virtual network functions obtained by breaking down single physical equipment into multiple instances, which are isolated from each other. Virtualization of network functions allow to decouple network node functions from proprietary hardware appliances in order to create distinct building blocks that can be flexibly chained to create communication services.
The notion of resources in 5G network slicing includes network, compute and storage capacity resources; virtualized network functions; shared physical resources; and radio resources. Service designers can select the optimal control/user plane split, as well as compose and allocate virtualized network functions at particular locations inside the core or radio access network depending on the service requirements. The creation and management of network slicing is a challenging process that poses new problems in service instantiation and orchestration, resource allocation/sharing and assignment procedures as well as network virtualization technologies.
Existing open source, industry and standards developments have given shape to the initial perception of a 5G network slice, while further research activities aim to enhance such new evolving concept by exploring its full potential. The so-called 5G network slice fully supports a particular communication service exploiting the principles of software-defined networks and network function virtualization in order to fulfill the business and regulatory requirements. The achieved networking and service flexibility enables a radical change, beyond network sharing, enabling different mobile operators to offer tailored services and means for network programmability to OTT providers and or vertical market players.
Scope of Submissions
Original contributions are invited on the latest advancements on network slicing for 5G systems considering architecture, network management, orchestration and mechanisms that enable virtualization and multi-tenancy. The topics of interest within the scope of this issue include (but are not limited to) the following:

* Network Slicing architectures and deployment practices
* Network slicing and multi-tenancy support in service overlay networks
* Network function (de)composition and allocation considering "atomic" functions
* QoE support management mechanisms in network slices
* Multi-service and multi-connectivity network slicing
* Next generation of orchestration architectures combining SDN and NFV
* Network resource programmability and developments on the Northbound-APIs
* Mobile Edge Computing and service optimization
* Network slicing and backhaul /fronthaul mechanisms
* Network slicing for converged fixed-wireless 5G networks


Articles should be tutorial in nature and written in a style comprehensible and accessible to readers outside the specialty of the article. Complete guidelines for prospective authors can be found at The guest editors reserve the right to reject papers they unanimously deem to be either out of scope of this Feature Topic or otherwise extremely unlikely to be accepted after a peer review process.

It is important to note that IEEE Communications Magazine strongly limits mathematical content, and the number of figures and tables. Mathematical equations should not be used (in justified cases up to three simple equations are allowed). Article length (introduction through conclusions, excluding figures, tables and their captions) should not exceed 4,500 words. Figures and tables should be limited to a combined total of six (6). The number of archival references is limited to fifteen (15). Non-archival references (website URLs, web-posted papers and reports, unpublished/to be published/pending papers) should not be included in the "References" section. All articles must be submitted through the IEEE Manuscript Central site ( to the "May 2017 / 5G Network Slicing" category by the submission deadline according to the following schedule:


* Manuscript Submission Deadline: September 15, 2016
* Decision Notification: December 15, 2016
* Final Manuscript Due Date: February 15, 2017
* Publication Date: May 2017


Konstantinos Samdanis
NEC Europe, Germany<>

Steven Wright
AT&T Services, US<>

Albert Banchs
UC3M, Spain<>

Antonio Capone
Politecnico di Milano, Italy<>

Mehmet Ulema
Manhattan College, US<>

Kazuaki Obana
NTT Docomo, Japan<>

* Contributions to be spread via DMANET are submitted to
* 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.

[DMANET] ETAPS 2017 2nd joint call for papers



20th European Joint Conferences on Theory And Practice of Software
ETAPS 2017

Uppsala, Sweden, 22-29 April 2017



ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of five main annual
conferences, accompanied by satellite workshops. ETAPS 2017 is the
twentieth event in the series.

-- MAIN CONFERENCES (24-28 April) --

* ESOP: European Symposium on Programming
(PC chair Hongseok Yang, University of Oxford, UK)
* FASE: Fundamental Approaches to Software Engineering
(PC chairs Marieke Huisman, Universiteit Twente, The
Netherlands, and Julia Rubin, University of British Columbia,
* FoSSaCS: Foundations of Software Science
and Computation Structures
(PC chairs Javier Esparza, Technische Universität München,
Germany, Andrzej Murawski, University of Warwick, UK)
* POST: Principles of Security and Trust
(PC chairs Matteo Maffei, Universität des Saarlandes, Germany,
Mark D. Ryan, University of Birmingham, UK)
* TACAS: Tools and Algorithms for
the Construction and Analysis of Systems
(PC chairs Axel Legay, INRIA Rennes, France,
and Tiziana Margaria, LERO, Ireland)

TACAS '17 hosts the 6th Competition on Software Verification


* Unifying speakers:
Michael Ernst (University of Washington, USA)
Kim G. Larsen (Aalborg University, DK)

* FoSSaCS invited speaker:
Joel Ouaknine (University of Oxford, UK)
* TACAS invited speaker:
Dino Distefano (Facebook and Queen Mary University of London, UK)


* Abstracts due (ESOP, FASE, FoSSaCS, TACAS): 14 October 2016
* Papers due: 21 October 2016
* Rebuttal (ESOP and FoSSaCS only): 7-9 December 2016
* Notification: 22 December 2016
* Camera-ready versions due: 20 January 2017


ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the
proceedings and have presentations during the conference.

ESOP and FoSSaCS accept only research papers.

A condition of submission is that, if the submission is accepted, one
of the authors attends the conference to give the presentation.

Submitted papers must be in English presenting original research. They
must be unpublished and not submitted for publication elsewhere (this
does not apply to abstracts). In particular, simultaneous submission
of the same contribution to multiple ETAPS conferences is
forbidden. The proceedings will be published in the Advanced Research
in Computing and Software Science (ARCoSS) subline of Springer's
Lecture Notes in Computer Science series.

Papers must follow the formatting guidelines specified by Springer at
the URL

and be submitted electronically in pdf through the EasyChair author
interface of the respective conference.

Submissions not adhering to the specified format and length may be
rejected immediately.

FASE will use a light-weight double-blind review process (see

- Research papers

FASE, FoSSaCS and TACAS have a page limit of 15 pp (excluding
bibliography of max 2 pp) for research papers, whereas POST allows at
most 20 pp (excluding bibliography of max 2 pp) and ESOP 25 pp
(excluding bibliography of max 2 pp).

Additional material intended for the referees but not for publication
in the final version - for example, details of proofs - may be placed
in a clearly marked appendix that is not included in the page
limit. ETAPS referees are at liberty to ignore appendices and papers
must be understandable without them.

In addition to regular research papers, TACAS solicits also case study
papers (at most 15 pp, excluding bibliography of max 2 pp).

Both TACAS and FASE solicit also regular tool papers (at most 15 pp,
excluding bibliography of max 2 pp).

The rationale of a separate page limit for the bibliography is to
remove the possibility to win space for the body of a
paper by cutting the bibliography, a practise that has a negative
effect on our competitiveness as a community.

- Tool demonstration papers

Submissions should consist of two parts:

* The first part, at most 4 pages, should describe the tool
presented. Please include the URL of the tool (if available) and
provide information that illustrates the maturity and robustness of
the tool. (This part will be included in the proceedings.)

* The second part, at most 6 pages, should explain how the
demonstration will be carried out and what it will show, including
screen dumps and examples. (This part will be not be included in the
proceedings, but will be evaluated.

ESOP and FoSSaCS do not accept tool demonstration papers.

TACAS has a page limit of 6 pages for tool demonstrations.

-- SATELLITE EVENTS (22-23 April, 29 April) --

Around 20 satellite workshops will take place before and after the
main conferences: BX, CREST, DICE-FOPARA, FESCA, GALOP, GaM, HotSpot,
LiVe, MARS, MBT, QAPL, SNR, SynCoP, VerifyThis, VPT.


Uppsala city holds a rich history, having for long periods
been the political, religious and academic centre of Sweden.
Uppsala University is over 500 years old and ranked among
the top 100 in the World and has hosted many great
scientists over the years, for instance Carl von Linné, Anders
Celsius and Anders Jonas Ångström. The proximity to the
capital of Sweden, Stockholm, provides additional benefits
as a potential site for arranging both pre- and post congress
tours, as well as for excursions or tourism.


ETAPS 2017 is hosted by the Department of Information Technology,
Uppsala University.


Parosh Abdulla (General chair), Mohamed Faouzi Atig,
Andreina Francisco, Kaj Lampka, Philipp Rümmer, Konstantinos Sagonas,
Björn Victor, Wang Yi, Tjark Weber, Yunyun Zhu


Please do not hesitate to contact the organizers at,

* Contributions to be spread via DMANET are submitted to
* 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.

[DMANET] PhD scholarship in optimization of local production chains at Brandenburg University of Technology Cottbus-Senftenberg, Germany

We are looking for a strong, motivated PhD candidate with a background
in mathematics and/or computer science for a PhD scholarships in the
field of optimization of local production chains.


In October 2016 the Brandenburg University of Technology (BTU)
Cottbus-Senftenberg will launch the new thematic cluster "Local
Production by Smart Value Chains" as part of the BTU Graduate Research
School (GRS). Successful applicants are expected to begin their
research in October 2016 with a scholarship for 36 months. Cottbus is a
city offering various benefits such as inexpensive housing and cost of
living as well as close vicinity to Berlin, Dresden and the recreation
and lake district area "Spreewald". The basic scholarship is 1400
Euros per month. The GRS will also offer additional support for
doctoral students with children. Scholarship holders will have access
to additional funding of the GRS for their doctoral research
(e.g. mobility grants etc.).

*The Project*

The GRS Cluster "Local Production by Smart Value Chains" is funded by
the BTU and involves the Helmholtz Zentrum Geesthacht. Within this
project cluster five scholars work together on current topics in the
field of production and materials engineering, one of them with
special focus on mathematical questions. From a technological point
of view, the cluster focuses on combining classic production processes
of mass production with locally acting manufacturing processes. This
combination opens the possibility for individualizing components and
for localizing production near the end customers, but also for
repairing and maintaining components with minimal cost.

The mathematical research of the cluster aims at the design of
algorithms for the distribution of production steps among the existing
local production facilities. To produce a particular product,
numerous combinations of different individual steps of manufacturing
with many different tools are possible. The task here is the
algorithmic planning of this process design. Based on the properties
of the product and the characteristics of the tools, appropriate
models and algorithms should be designed which are capable of finding
feasible production chains and that are optimized with respect to
processing time, usage of materials, and production costs. In
particular productivity should be increased by utilizing the provided
machinery by parallel production in different process chains.


You have obtained a university degree (Master's or equivalent) in
mathematics, techno-mathematics or computer science (with strong
background in mathematics or operations research) with very good
success. You have strong basic knowledge in the mathematical work
areas mentioned above and strive to further develop your expertise
towards a PhD degree. You are communicative and a team player. You are
fluent in English, both written and spoken, and preferably have at
least basic knowledge of the German language.

Working language: German or English

Required documents:
− CV
− Certificates and transcripts
− Letter of motivation

How to apply?

Please note that the cluster only accepts complete applications.
Please send your application to the coordinator of the cluster
(preferably via email in a single PDF document):

Prof. Dr.-Ing. habil. Markus Bambach
Lehrstuhl Konstruktion und Fertigung
BTU Cottbus - Senftenberg
Konrad-Wachsmann-Allee 17
03046 Cottbus
Tel.: +49 355 69 3108
Fax.: +49 355 69 3110

* Contributions to be spread via DMANET are submitted to
* 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.

[DMANET] [job] Post-doc position on Collective Response in Self-Organizing Systems available at UTC (Compiegne - France)

A fully-funded 1 year (renewable for at least another year, contingent
on performance) postdoc position in self-organizing systems is
available at the Laboratory of Excellence (LABEX) at the Université de
Technologie de Compiègne (UTC) in France (

The successful candidate will work with Dr. Eliseo Ferrante on
exciting topics at the interface between self-organized artificial
life, robotics systems and statistical physics. The Postdoc position
is expected to start in Fall 2016 or later (flexible) and is open
until filled.

Project description:

Our lab considers self-organizing systems from a unique
interdisciplinary point of view that combines artificial life,
engineering, statistical physics, and biology. We study how various
biological and technological components can collectively achieve
complex dynamics using only simple rules and no centralized control.
Examples include bird flocks, insect and robot swarms, and bacteria
colonies coordinating to achieve collective motion.

One of the fundamental challenges of self-organizing systems is the
integration of local and global dynamics. While individual components
are mainly linked to local sensing and actuation, coherent global
responses are required for the organism or group to perform and
survive collectively. In order to achieve this collective response,
those systems need to have correlations in at least some of their
individual state variables that scale up with the system's size.
Various processes may provide mechanisms for this coherent collective
response. For example, the addition of few long-range interactions is
enough to produce integrated dynamics in small-world networks.
Furthermore, in absence of long-range interactions, systems in a
critical state (between order and disorder) naturally display
long-range correlations that can achieve coherent system-level
dynamics. Finally, there could also be other types of interaction
modes responsible for reaching coherent collective response.

The project undertaken by the candidate will be focused on
understanding self-organizing system that must simultaneously manage
local and organism-level dynamics. The candidate will study systems in
which a collective response is generated at the collective scale, as a
function of stimuli that are exerted at the local scale. The candidate
will explore whether this property is already present in existing
self-organization mechanisms, and potentially develop novel models in
which collective response is generated by the interplay between three
different mechanisms: small-world topologies, criticality, and
self-organization. Potential applications include collective
exploration and surveillance with technological devices such as
drones, which will take advantage of this collective response in order
to have a fast reaction to a discovered resource.

The candidate will be using tools such as multi-agent simulations and
mathematical models to study collective systems with different types
of interaction patterns. She or he will focus on scenarios where
global and local dynamics needs to be integrated in a group of agents,
in order to achieve specific collective goals involving collective
response, such as: mapping an unknown environment, achieving
collective response to the discovery of a feature in the environment,
performing dynamic agent re-allocation in the environment, etc … In
order to do so, the candidate will focus on analyzing the interplay
between the different mechanisms able to achieve collective response,
in order to find which configuration is best for each scenario.

Candidate's profile:

The candidate must have earned a Doctorate degree in computer science,
statistical physics, complex systems, or relevant disciplines, and
must be self-motivated and able to work autonomously.

The candidate is expected to be proficient in programming languages
such as Python, Java, C++ and to have solid knowledge of scientific
software packages such as Matlab, R, Mathematica. The candidates must
have experience with large-scale multi-agent simulations, and
familiarity with mathematical modeling of collective systems using
several techniques (ODEs, mean field approximations, chemical reaction
networks, Fokker-Planck equations, Langevin equations, etc …) will
definitely be a plus.

Candidates with an interdisciplinary background that are interested in
questions at the interface between science and engineering will be
highly preferred.

Fluent English (written and spoken) is required, and only applications
in English will be accepted. Above all, the applicants must be
motivated, autonomous, and able to learn quickly and work effectively
on challenging research problems.

Documents required to apply:

To apply, you can send the following documents to

- Curriculum vitae
- At least two references and/or recommendation letters
- A statement of research experience and interests
- Publication record stating impact factor (if present) and number of citations

For any informal enquiry about the eligibility conditions, as well as
for more details about the position, please contact Eliseo Ferrante

Eliseo Ferrante, PhD
Labex MS2T Junior Research Chair
Joint Laboratory HEUDIASYC
Labex MS2T
Université de Technologie de Compiègne (France)

* Contributions to be spread via DMANET are submitted to
* 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.

Sunday, August 21, 2016

[DMANET] Final CFP: Big Data Computing, Applications and Technologies (BDCAT 2016), Shanghai, China

Final Call for Papers

The 3rd IEEE/ACM International Conference on Big Data Computing, Applications and Technologies (BDCAT)

Date: December 6-9, 2016
Location: Shanghai, China

Important Dates:
- Paper Submission Due : 31 August, 2016
- Author Notification : 25 September, 2016
- Final Manuscript Due : 30 September, 2016

The IEEE/ACM International Conference on Big Data Computing, Applications and Technologies (BDCAT) is an annual international conference. The first two events were held in London (BDC 2014) and Cyprus (BDC 2015) respectively. In 2016, the conference has been expanded to explicitly include applications and renamed as BDCAT 2016. The conference aims to provide a platform for researchers to present their new discoveries, developments, results, as well as the latest trends in big data computing, technologies and applications.

BDCAT 2016 will be held in conjunction with the 9th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2016) at Tongji University, Shanghai, China.

Topics of interest include, but are not limited to:

I. Big Data Science
Big Data Analytics
Innovative Data Science Models and Approaches
Data Science Practice and Experience
Algorithms for Big Data
Novel Big Data Search Techniques
Innovative data and Knowledge Engineering approaches
Data Mining and Knowledge Discovery Approaches for Big Data
Big Data Acquisition, Integration, Cleaning, and Best Practices
Experience reports in Solving Large Scale Data Science Problems

II. Big Data Infrastructures and Platforms
Scalable computing models, theories, and algorithms
In-Memory Systems and platforms for Big Data Analytics
Programming Systems for Big Data
Cyber-Infrastructures for Big Data
Performance evaluation reports for Big Data Systems
Fault tolerance and reliability of Big Data Systems
I/O and Data management Approaches for Big Data
Energy-efficient Algorithms
Storage Systems (including file systems, NoSQL, and RDBMS)
Resource management Approaches for Big Data Systems
Many-Task Computing
Many-core computing and accelerators

III. Big Data Security and Policy
Big Data Archival and Preservation
Big Data Management Policies
Data Privacy
Data Security
Big Data Provenance
Ethical and Anonymization Issues for Big Data
Big Data Compliance and Governance Models

IV. Big Data Applications
Experience Papers with Big Data Application Deployments
Big Data Applications for Internet of things
Scientific application cases studies on Cloud infrastructures
Big Data Applications at Scale
Data streaming applications
Mobile Applications of Big Data
Big Data in Social Networks
Healthcare Applications such as Genome processing and analytics
Enterprise Applications

V. Visualization of Big Data
Visual Analytics Algorithms and Foundations
Graph and Context Models for Visualization
Analytical Reasoning and Sense-making on Big Data
Visual Representation and Interaction
Big Data Transformation, and Presentation

Honorary Chairs
Geoffrey Fox, Indiana University, USA
Rajkumar Buyya, University of Melbourne, Australia
Beng Chin OOI, National University of Singapore, Singapore

Programme Committee Chairs
Ashiq Anjum, University of Derby, UK (Email:
Zhao Xinghui, Washington State University, Vancouver, WA, USA

Programme Committee Vice Chairs
Ilkay Altintas, University of California, San Diego, USA
Lei Shu, Guangdong University of Petrochemical Technology, China
Guangjie Han, Hohai University, China
Zhangbing Zhou, China University of Geosciences, Beijing, China

Local Organizing Chair
Cheng Wong, Tongji University, China

Publicity Chair
Yaser Jararweh, Jordan University of Science and Technology, Jordan
Shruti Kohli, University of Birmingham, UK

Programme Committee Members
Ioan Raicu, Illinois Institute of Technology, USA
Lizhe Wang, Chinese Academy of Sciences, China
Ilkay Altintas, University of California, San Diego, USA
Ee-Chien Chang, National University of Singapore, Singapore
Jong Hoon Ahnn, University of California, Los Angeles, USA
Adel Taweel, Kings College London, UK
Varun Soundararajan, Google, USA
Guangjie Han, Hohai University, China
Daniel S. Katz, University of Chicago & Argonne National Laboratory, USA
Robert Hsu Chung Hua University, Taiwan
Dongfang Zhao, Pacific Northwest National Laboratory, USA
Rui Zhang, University of Melbourne, Australia
Yin Zhang, Zhongnan University of Economics and Law, China
Scott Klasky, Oak Ridge National Laboratory, USA
Ljiljana Trajkovic, Simon Fraser University, Canada
Thomas Bohnert, Zurich University of Applied Sciences, Switzerland
Lei Shu, Guangdong University of Petrochemical Technology, China
Ke Wang, Illinois Institute of Technology (IIT), USA
Robert Hsu, Chung Hua University, Taiwan
Kesheng Wu, Berkeley Lab, USA
Rami Bahsoon, University of Birmingham, UK
Marco Netto, IBM Research
Zhangbing Zhou, University of Science and Technology Beijing, China
Omer Rana, Cardiff University, UK
Yong Chen, Texas Tech University, USA
Xiao Chen, Jiangsu University, China
Justin Wozniak, Argonne National Laboratory, USA
Andre Luckow, BMW
Dan Chen, Wuhan University, China
Rafael Tolosana-Calasanz, University of Zaragoza, Spain
Lee Gillam, University of Surrey, UK
Been-Chian Chen,National University of Tainan,Taiwan
Josef Spillner, Zurich University of Applied Sciences, Switzerland
Samee U. Khan, North Dakota State University, USA
Rajkumar Kettimuthu, Argonne National Lab and The University of Chicago, USA
Manish Parashar, Rutgers University, USA
Paul Townend, University of Leeds, UK
Guanjun Liu, Tongji University, Shanghai, China
Yan Tang, University of Texas at Dallas, USA
Mustafa Rafique, IBM Research, Ireland
Nik Bessis, Edge Hill University, UK
Tonglin Li, Illinois Institute of Technology, USA
Jie Cui, Anhui University, China
Weidong Shi, University of Houston, USA
Jose Brito, Universidade de Brasilia, Brazil
Abhishek Chandra, University of Minnesota, USA
Alan Sill, Texas Tech University, USA
Jemal Abawajy, Deakin University, Australia
Ali R Butt, Virginia Tech,USA
Rajkumar Buyya, The University of Melbourne, Australia
Bo Li, Beihang University, China
Mohsin Farid, University of Derby, UK
Samer Al-Kiswany, The University of British Columbia, Canada
Jie Cui, Anhui University, Hefei, China
Sajjad A Madani,COMSATS Institute of Information Technology, Pakistan
David Chiu, University of Puget Sound, USA
Manzur Murshed, Federation University, Australia
Silvio Pardi,Unviersity of Naples Federico II, Italy
Yong Zhao, University of Electronic Science and Technology of China, China
Richard Hill, University of Derby, UK
Benjamin Rubinstein, University of Melbourne, Australia
Kune Raghavendra, ADRIN,DOS, India
Sangmi Pallickara, Colorado State University, USA
Said Jai Andaloussi, Casablanca Hassan II University, Morocco
Blesson Varghese, Queen's University Belfast, UK
Khaled Salah, Khalifa University of Science, Technology, and Research, UAE
Hemant Sharma, Argonne National Laboratory, USA
Ioannis Anagnostopoulos, University of Central Greece, Greece
Khalid Elgazzar, Carnegie Mellon University, USA
George Papadopoulos, University of Cyprus, Cyprus
Joarder Kamal, Monash University, Australia
Jianwu Wang, University of Maryland, USA
Ljiljana Trajkovic, Simon Fraser University, Canada
Xiaolin Andy Li, University of Florida, USA
Kyle Chard, University of Chicago, USA
Renyu Yang Beihang University, China
Xiangjun Shen, Jiangsu University, China

Paper Submission
Authors are invited to submit papers electronically. Submitted manuscripts should be structured as technical papers and may not exceed 10 letter size (8.5 x 11) pages including figures, tables and references using the following templates (latex, pdf, doc). Authors should submit the manuscript in PDF format and make sure that the file will print on a printer that uses letter size (8.5 x 11) paper. The official language of the meeting is English. All manuscripts will be reviewed and will be judged on correctness, originality, technical strength, significance, quality of presentation, and interest and relevance to the conference attendees. Papers conforming to the above guidelines can be submitted through the BDCAT 2016 paper submission system (

Submitted papers must represent original unpublished research that is not currently under review for any other conference or journal. Papers not following these guidelines will be rejected without review and further action may be taken, including (but not limited to) notifications sent to the heads of the institutions of the authors and sponsors of the conference. Submissions received after the due date, exceeding length limit, or not appropriately structured may also not be considered. Authors may contact the conference PC Chair for more information.

Selected papers from BDCAT 2016 will be invited to extend and submit to the Special Issue on Big Data Computing in the IEEE Transaction on Cloud Computing, IEEE Transaction on Big Data and other leading journals.

* Contributions to be spread via DMANET are submitted to
* 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.

Saturday, August 20, 2016



The 35th IEEE International Performance, Computing, and Communication Conference (IPCCC) 2016

December 9 - 11, 2016

Las Vegas, USA

The International Performance, Computing, and Communications Conference (IPCCC) is a premier IEEE conference presenting research in the field of performance of computer and communication systems. For more than three decades, IPCCC has been a key research forum for academic, industrial, and government researchers. We encourage submission of high-quality papers reporting original work in both theoretical and experimental research areas. Topics of interest include, but are not limited to, the following:

**** Hot Topics for IPCCC 2016 ****

Big Data Processing and Analytics

Cache, Memory, and Disk Storage Systems

Cloud Computing

Crowdsourcing Systems

Cyber Physical Systems

Data Centers

Embedded Systems

Fundamental Theory and Algorithms

Internet of Things

Internet Services and Network Management

Mobile Ad Hoc, Sensor and Mesh Networks

Multimedia Networking

Many-Core and Heterogeneous Computing

Network Data Mining

Network Information Assurance and Security

Network Protocols

Online Social Network Analysis

Parallel and Distributed Systems

Performance Evaluation and Modeling

Security and Privacy

Smart Grid and Intelligent Mission Critical Operations

Smart Health Systems, Wearable, and Implantable Systems

Smartphone and mobile applications

Software Defined Networking

Ubiquitous Computing

Wireless Communication and Networks

Workload Characterization and its Impacts on Architecture Design

FULL PAPERS : Submissions should not exceed 8 pages in general. However, if authors are willing to pay an over-length fee of $100/page, 2 additional pages are allowed for their submission. This over-length fee will be charged once the paper is accepted.

All papers will be reviewed by the Technical Program Committee and judged with respect to their quality, originality, and relevance. Accepted papers will be published in the conference proceedings, conditional upon the author's advance registration and attendance at the conference. Awards will be given for the best paper

Submissions must be received by the deadline of Friday, August 26, 2016 23:59, through the EDAS system ( Paper abstracts are due one week earlier by August 19, 2016. Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference or workshop. Simultaneous submission of the same work is not allowed. Submissions should use the IEEE conference template. Please refer to the IEEE formatting instruction for details:

POSTERS: We welcome submissions of poster applications in the form of a two-page extended abstract in PDF formatted with the same template for full papers. A subset of full paper submissions will also be invited to the IEEE IPCCC Poster Session. Students are also encouraged to submit their complete or in-progress undergraduate research projects, master's theses and dissertations. Accepted posters will be included in the conference proceedings as extended abstracts. Authors of accepted posters are expected to prepare and present their posters at the conference. Format of posters for display will be available after notification of acceptance. To submit extended abstracts, please contact the Poster Chair.


Paper Abstract Due: September 02, 2016

Full Paper Due: September 09, 2016

Poster Paper Due: October 7, 2016

Acceptance Notification: October 31, 2016

Camera Ready Due: November 7, 2016

* Contributions to be spread via DMANET are submitted to
* 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.

[DMANET] SSBSE2016 - NSF Travel Support for Students

Dear Colleague,

I would like to announce that NSF Travel Support for Students is available to students who are interested in attending the 8th International Symposium on Search Based Software Engineering (SSBSE 2016) in North Carolina October 8th-10th, 2016.

Please, find below more details on how to apply.

Best regards,
Federica Sarro
Dr. Federica Sarro
Senior Research Associate
CREST, Department of Computer Science
University College London
Malet Place, London, WC1E 6BT, UK

SSBSE2016 - NSF Travel Support for Students

We are happy to announce that the NSF travel support program is available to students who are interested in attending SSBSE 2016 this year (
Priority will be given to students who are authors and present a paper at the conference. All students, including non‐U.S. citizens, are eligible to apply, though priority will be given to U.S. citizens and permanent residents. We particularly encourage students from underrepresented groups to apply. The funds can be used to pay partially or in full (depending on qualifying conditions) for travel expenses. The grants are sponsored by the National Science Foundation (NSF).

At the end of the conference, the students who have been selected to receive travel supplements from this NSF grant are requested to provide a brief report on their opinions of SSBSE 2016 and complete a brief survey.

To apply the student must submit the following to<> with the subject: "SSBSE 2016 NSF Student Travel Support":
1. A resume (CV). Please mention in your resume if you have a paper accepted at SSBSE2016.
2. A brief note from the student's advisor supporting the application.
Important Dates
August 23, 2016, AoE
August 25, 2016, AoE

Contact: For any questions please contact Marouane Kessentini (marouane at umich dot edu).

* Contributions to be spread via DMANET are submitted to
* 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.