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. IEEE International Workshop on Foundations of Big Data
Computing (BigDF) 2016 (Arindam Pal)
2. Last CfP: JSC Special Issue on Symbolic Computation in
Software Science (Temur Kutsia)
3. WAAC 2016 Call for Papers (Akitoshi Kawamura)
4. Postdoctoral Position in Combinatorial Optimization at ETH
Zurich (Rico Zenklusen)
5. Assistant Professor positions in Computer Science (University
of Warwick) (Czumaj, Artur)
----------------------------------------------------------------------
Message: 1
Date: Sat, 25 Jun 2016 13:07:36 +0530
From: Arindam Pal <arindamp@gmail.com>
To: DMANET <DMANET@zpr.uni-koeln.de>
Subject: [DMANET] IEEE International Workshop on Foundations of Big
Data Computing (BigDF) 2016
Message-ID:
<CAK4LEK=e1Maz2XfH0mbdjf4SOOXKV_ADiSUP4Z5qj36bKv1nBQ@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
*******************************************************************************
CALL FOR PAPERS
IEEE International Workshop on Foundations of Big Data Computing (BigDF)
(To be held in conjunction with HiPC 2016)
December 19, 2016, Hyderabad, India
Workshop Webpage: https://sites.google.com/site/hipcbigdf/
*********************************************************************************
What constitutes a Big Data problem? What application domains are best
suited to
benefit from Big Data analytics and computing? What are the traits and
characteristics of an application that make it suited to exploit Big Data
analytics? How can Big Data systems and frameworks be designed to allow the
integration and analysis of complex data sets? How can research in Big Data
Analytics benefit from the latest advances in supercomputing and High
Performance
Computing (HPC) architectures? The goal of this workshop is to address
questions
like these that are fundamental to the advancement of Big Data computing,
and in
the process, build a diverse research community that has a shared vision to
advance the state of knowledge and discovery through Big Data computing.
Topics of interest include research contributions and innovative methods in
the following areas (but not limited to):
* Scalable tools, techniques and technologies for Big Data analytics
* Algorithms and Programming Models for Big Data
* Big Data applications - Challenges and Solutions
* Scalable Big Data systems, platforms, services, and management
* Big Data toolkits, workflows, metrics, and provenance.
We invite paper submissions that describe original research contributions
in
the area of Big Data computing, and position papers that highlight the
potential challenges and opportunities that arise in Big Data computing.
We also invite short papers that describe work-in-progress original
research.
Regular papers can be up to 8 pages long and short papers can be up to
4 pages long. All submissions will undergo rigorous peer-review by the
technical program committee, and accepted manuscripts will appear in the
workshop proceedings and will be indexed by IEEE digital library. Authors
of the accepted manuscripts will be required to present their work
at the workshop proceedings.
Paper submission link:
https://www.easychair.org/conferences/?conf=hipcbigdf2016
Please visit the workshop webpage for instructions on paper submission and
other details/updates related to the workshop.
Important Dates:
Abstract due: July 24, 2016
Paper submission deadline: August 1, 2016
Notification of acceptance/rejection: September 15, 2016
Camera-ready paper due: October 3, 2016
Author registration deadline: October 16, 2016
Workshop organization:
General Chairs: Madhu Govindaraju (SUNY Binghamton), Saumyadipta Pyne
(CRRao AIMSCS, Hyderabad)
Program Chairs: Dinkar Sitaram (PESIT), Ananth Kalyanaraman (Washington
State University)
Publicity Chairs: Arindam Pal (TCS Research)
Proceedings Chair: Ren Chen, USC (HiPC proceedings chair)
Industry Liaison: Avinash Sabharwal (Accenture, Bangalore)
Technical Program Committee:
Rekha Singhal, TCS Research
Arindam Pal, TCS Research
Mahantesh Halappanavar, Pacific Northwest National Laboratory
Abhinav Vishnu, Pacific Northwest National Laboratory
Yinglong Xia, Huawei Research
Jaroslaw Zola, SUNY Buffalo
Nabanita Das, Indian Statistical Institute
Hui Huang, Google
Sharma Thankachan, Georgia Institute of Technology/University of Central
Florida
Regards,
Dr. Arindam Pal
Research Scientist
Innovation Labs Kolkata
TCS Research
http://www.cse.iitd.ac.in/~arindamp/
------------------------------
Message: 2
Date: Sat, 25 Jun 2016 12:58:20 +0200
From: Temur Kutsia <kutsia@risc.jku.at>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Last CfP: JSC Special Issue on Symbolic Computation
in Software Science
Message-ID: <576E63CC.3080109@risc.jku.at>
Content-Type: text/plain; charset=utf-8
Last Call for Papers
----------------------------------------
Special issue of the
JOURNAL OF SYMBOLIC COMPUTATION
on
SYMBOLIC COMPUTATION IN SOFTWARE SCIENCE
----------------------------------------
http://www.risc.jku.at/~tkutsia/organization/jsc-scss-2016.html
IMPORTANT DATES
---------
Abstract submission: June 27, 2016
Paper submission: July 11, 2016
Notification: October 17, 2016
Publication: 2017
SCOPE
--------
Symbolic Computation is the science of computing with symbolic objects
(terms, formulae, programs, representations of algebraic objects etc.).
Powerful symbolic algorithms and methods have been developed during the
past decades like computer algebra, theorem proving, automated
reasoning, software verification, model checking, rewriting,
formalization of mathematics, Groebner bases, characteristic sets,
telescoping for recurrence relations, cylindric algebraic decomposition
and other quantifier elimination techniques, etc.
The purpose of this special issue is to promote research on theoretical
and practical aspects of symbolic computation in software science. The
special issue is related to the topics of the International Symposium on
Symbolic Computation in Software Science: SCSS 2014 and SCSS 2016. It
will be published by Elsevier within the Journal of Symbolic Computation.
Participants of the SCSS 2014 and SCSS 2016 symposia, as well as other
authors are invited to submit contributions.
EXAMPLES of TOPICS
-------------------
This special issue solicits papers on all aspects of symbolic
computation and their applications in software sciences. The topics
include, but are not limited to the following:
- automated reasoning
- algorithm (program) synthesis and/or verification
- formal methods for the analysis of network and system security
- termination analysis and complexity analysis of algorithms (programs)
- extraction of specifications from algorithms (programs)
- related theorem proving methods and techniques
- proof carrying code
- generation of inductive assertion for algorithm (programs)
- algorithm (program) transformations
- formalization and computerization of knowledge (maths, medicine,
economy, etc.)
- component-based programming
- computational origami
- query languages (in particular for XML documents)
- semantic web and cloud computing
SUBMISSION GUIDELINES
---------------------
This special issue welcomes original high-quality contributions that
have been neither published in nor simultaneously submitted to any
journals or refereed conferences. Submissions will be peer-reviewed
using the standard refereeing procedure of the Journal of Symbolic
Computation.
Authors of papers presented at the SCSS 2014 and SCSS 2016 symposia are
welcome and encouraged to submit extended and revised versions of their
papers. Furthermore, submissions of papers that are in the scope of
SCSS, but did not appear in SCSS 2014 and SCSS 2016 are welcome as well.
Submitted papers must be in English and include a well written
introduction explicitly addressing the following questions in succinct
and informal manner:
- What is the problem?
- Why is the problem important?
- What has been done so far on the problem?
- What is the main contribution of the paper on the problem?
- Why is the contribution original? (Clarification: The results,
already appeared in the conference paper, will be still counted as an
original result for JSC refereeing process.)
- Why is the contribution non-trivial?
- How is the journal paper different from the conference paper? (For
submissions originated from the papers presented at the symposium.)
The submissions should be complete (since there is no rigid page limit):
- All the related works and issues must be completely and carefully
discussed.
- All the previous relevant JSC papers must be properly cited and
discussed.
- All the theorem must be rigorously proved (no sketch allowed).
- All the important definitions/theorems/algorithms must be illustrated
by well chosen examples.
Submissions originated from the papers presented at the symposium should
address all the feedback from the symposium's referee process and Q/A.
SUBMISSION
--------------------
Please prepare your submission in LaTeX using the JSC document format
from http://www4.ncsu.edu/~hong/jsc.htm
(link to the submission template:
http://www4.ncsu.edu/~hong/jsc/JSC_LaTex_2007_Mar_12.zip.)
Submission is via the EasyChair submission site at
https://easychair.org/conferences/?conf=jscscss2016.
GUEST EDITORS
--------------------
James H. Davenport (University of Bath, UK)
Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)
------------------------------
Message: 3
Date: Sun, 26 Jun 2016 00:06:28 +0900
From: Akitoshi Kawamura <kawamura@graco.c.u-tokyo.ac.jp>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] WAAC 2016 Call for Papers
Message-ID:
<8aa5e52b-191c-4cb8-36a5-5986c8af4056@graco.c.u-tokyo.ac.jp>
Content-Type: text/plain; charset=utf-8
*** Submission deadline extended to July 1 ***
--------------------------------------
Final Call for Papers
The 19th Japan-Korea Joint Workshop on
Algorithms and Computation (WAAC 2016)
August 30–31, 2016
Hakodate, Japan
http://dopal.cs.uec.ac.jp/waac16/
--------------------------------------
The aim of this workshop is to provide a forum for researchers working
on algorithms and the theory of computation, to promote the exchange
of recent results, to foster new collaborations among researchers.
Historically, the workshop has been established for the purpose of
collaboration of researchers of Korea and Japan; however,
participation from any country is welcome.
Topics
* Automata, languages and computability
* Algorithms (combinatorial/graph/geometric/randomized)
* VLSI and parallel algorithms
* Networks and distributed algorithms
* Learning theory and data mining
* Number theory and cryptography
* Graph drawing and visualization
* Computational logic
* Combinatorics and optimization
Invited Speaker
* Heejin Park (Hanyang University)
Important Dates
* Paper submission deadline (extended): July 1, 2016
* Notification of acceptance: July 11, 2016
* Final version submission: July 22, 2016
* Conference: August 30–31, 2016
Authors are invited to submit papers up to 8 pages in English via the
EasyChair submission system no later than July 1, 2016.
https://easychair.org/conferences/?conf=waac2016
The proceedings will be available at the conference site. Since the
proceeding is only distributed at the workshop, the submission of
preliminary material that is to be submitted to or extended material
to appear in other international conferences or journals is allowed
and encouraged.
Page Style and Limit
The paper must be written in English. The camera-ready version must be
printed to fit A4 size sheet. It cannot exceed 8 pages including the
title page. The first page must be in single column style although the
following pages could be in double columns. The first page should
contain the title, authors, affiliations, addresses (including
authors' e-mail addresses), and abstract.
Program Committee
* Takashi Horiyama, co-chair (Saitama University)
* Jun Kawahara (Nara Institute of Science and Technology)
* Akitoshi Kawamura (University of Tokyo)
* Sung-Ryul Kim, co-chair (Konkuk University)
* Inbok Lee (Korea Aerospace University)
* Mun-Kyu Lee (Inha University)
* Yoshio Okamoto (University of Electro-Communications)
* Heejin Park (Hanyang University)
Contact Address and Web Page
waac2016@easychair.org
http://dopal.cs.uec.ac.jp/waac16/
------------------------------
Message: 4
Date: Sun, 26 Jun 2016 21:20:25 +0200
From: Rico Zenklusen <ricoz@math.ethz.ch>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Postdoctoral Position in Combinatorial Optimization
at ETH Zurich
Message-ID:
<CABZNhuLMQpRwbHU5W_5wQRmD8=Ho6B45iM=cH2BfYS6se8+7fw@mail.gmail.com>
Content-Type: text/plain; charset="UTF-8"
The Combinatorial Optimization group at ETH Zurich, headed by Prof. Rico
Zenklusen, has an opening for a Postdoctoral Researcher. The position is
initially for one year with the possibility of extension for a second year.
The starting date is flexible between fall 2016 and spring 2017.
Interests of our research group include exact and approximation algorithms,
polyhedral approaches, and matroid and submodular function optimization. We
are looking for a highly motivated candidate with excellent academic
qualifications and strong communication skills. The candidate should hold
or obtain a PhD in Mathematical Optimization or Theoretical Computer
Science before the start of the appointment.
The Combinatorial Optimization group is part of the Institute for
Operations Research within the Mathematics Department of ETH Zurich. We are
a well-connected research group with strong international visibility. We
offer a very stimulating working environment with a highly competitive
salary and benefits, excellent working conditions in the center of Zurich,
and a low teaching load.
To ensure full consideration, the application should be sent before July
31. Late applications may be considered on a case-by-case basis.
To apply, please upload your application documents online, including a CV,
list of publications, cover letter, and names and contact information of 3
references.
For further information, and to apply online, please visit
https://www.math.ethz.ch/ifor/the-institute/open-positions.html .
------------------------------
Message: 5
Date: Mon, 27 Jun 2016 00:22:04 +0000
From: "Czumaj, Artur" <A.Czumaj@warwick.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Assistant Professor positions in Computer Science
(University of Warwick)
Message-ID:
<HE1PR0101MB166074E892287DD10BE240C5D1210@HE1PR0101MB1660.eurprd01.prod.exchangelabs.com>
Content-Type: text/plain; charset="iso-8859-1"
================================================================
Assistant Professor positions in Computer Science at the University of Warwick
================================================================
Two enthusiastic individuals are sought to make a major contribution to the Department of Computer Science at the University of Warwick (http://www2.warwick.ac.uk/dcs/) activities in research and teaching.
This is an opportunity to join one of the UK's most prominent Computer Science departments and to be part of an exciting time of growth in the Department.
The applicants are expected to hold a PhD or equivalent in Computer Science or a related discipline. They should have an outstanding academic record, and show clear promise of developing a career in academia. They should have a strong commitment to undergraduate and postgraduate education.
Informal inquires can be addressed to:
Professor Stephen Jarvis <S.A.Jarvis@warwick.ac.uk>, Computer Science, or to any senior member of the Computer Science Department (e.g., Prof Graham Cormode <G.Cormode@warwick.ac.uk> or Prof Artur Czumaj <A.Czumaj@warwick.ac.uk>).
Closing date: July 8, 2016.
It is expected that interviews will take place in the week commencing July 25, 2016.
Please would all applicants ensure that their referees send a letter of reference by email to Ruth.Cooper@warwick.ac.uk by the closing date.
More details and links to the application forms: http://www.jobs.ac.uk/job/ANW630/assistant-professor-78135-066/
------------------------------
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 100, Issue 24
***************************************
No comments:
Post a Comment