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. Call for Papers: The 5th International Workshop on Parallel
and Distributed Computing for Large Scale Machine Learning and
Big Data Analytics (Arindam Pal)
2. Final CFP: Diagrams 2016 (9th Int'l Conference on the Theory
and Application of Diagrams) (Stephanie Schwartz)
3. Full Professorship in Algorithms & Complexity at U. of
Edinburgh (Kousha Etessami)
4. SPIN 2016 - Second Call for Papers (Wijs, A.J.)
5. WG 2016: submission server is open (Pinar Heggernes)
----------------------------------------------------------------------
Message: 1
Date: Fri, 1 Jan 2016 10:48:20 +0530
From: Arindam Pal <arindamp@gmail.com>
To: DMANET <DMANET@zpr.uni-koeln.de>
Subject: [DMANET] Call for Papers: The 5th International Workshop on
Parallel and Distributed Computing for Large Scale Machine Learning
and Big Data Analytics
Message-ID:
<CAK4LEK=QUSXT+C6RunB2JNZxWeCbMpKYaAbE7DkGXr6NV1-5tg@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
**********************************************************************************************
ParLearning 2016 - The 5th International Workshop on Parallel and
Distributed
Computing for Large Scale Machine Learning and Big Data Analytics
http://parlearning.ecs.fullerton.edu/
May 27, 2016
Chicago, USA
in conjunction with
The 30th IEEE International Parallel & Distributed Processing Symposium
(IPDPS 2016)
http://www.ipdps.org/
May 23-27, 2016
Chicago Hyatt Regency
Chicago, Illinois, USA
**********************************************************************************************
Call for Papers
Scaling up machine-learning (ML), data mining (DM) and reasoning algorithms
from Artificial Intelligence (AI) for massive datasets is a major technical
challenge in the times of "Big Data". The past ten years has seen the rise
of multi-core and GPU based computing. In distributed computing, several
frameworks such as Mahout, GraphLab and Spark continue to appear to
facilitate scaling up ML/DM/AI algorithms using higher levels of
abstraction. We invite novel works that advance the trio-fields of ML/DM/AI
through development of scalable algorithms or computing frameworks. Ideal
submissions would be characterized as scaling up X on Y, where potential
choices for X and Y are provided below.
Scaling up
recommender systems
gradient descent algorithms
deep learning
sampling/sketching techniques
clustering (agglomerative techniques, graph clustering, clustering
heterogeneous data)
classification (SVM and other classifiers)
SVD
probabilistic inference (bayesian networks)
logical reasoning
graph algorithms and graph mining
On
Parallel architectures/frameworks (OpenMP, OpenCL, Intel TBB)
Distributed systems/frameworks (GraphLab, Hadoop, MPI, Spark etc.)
Keynote talk
Dr. Peter Kogge, University of Notre Dame
Organization
Charalampos Chelmis, University of Southern California, USA
Sutanay Choudhury, Pacific Northwest National Laboratory, USA
Arindam Pal, TCS Innovation Labs, India
Anand Panangadan, California State University, Fullerton, USA
Weiqin Tong, Shanghai University, China
Yinglong Xia, IBM T.J. Watson Research Center, USA
Program Committee
Jaume Bacardit, Newcastle University, UK
Danny Bickson, GraphLab Inc., USA
Zhihui Du, Tsinghua University, China
Ahmed Eldawy, University of Minnesota, USA
Dinesh Garg, IBM India Research Laboratory, India
Renato Porfirio Ishii, Federal University of Mato Grosso do Sul (UFMS),
Brazil
Ananth Kalyanaraman, Washington State University, USA
Joo-Young Kim, Microsoft Research, USA
Gwo Giun (Chris) Lee, National Cheng Kung University, Taiwan
Carson Leung, University of Manitoba, Canada
Arijit Mukherjee, TCS Innovation Labs, India
Debnath Mukherjee, TCS Innovation Labs, India
Francesco Parisi, University of Calabria, Italy
Himadri Sekhar Paul, TCS Innovation Labs, India
Chandan Reddy, Wayne State University, USA
Gautam Shroff, TCS Innovation Labs, India
Aniruddha Sinha, TCS Innovation Labs, India
Zhuang Wang, Facebook, USA
Naixue Xiong, Colorado Technical University, USA
Jianting Zhang, City College of New York, USA
Important Dates
Paper submission: January 15, 2016 AoE
Notification: February 12, 2016
Camera Ready: February 26, 2016
Paper Guidelines
Submitted manuscripts should be 6-10 single-spaced double-column pages
using 10-point size font on 8.5x11 inch pages (IEEE conference style),
including figures, tables, and references. Format requirements are posted
on the IEEE IPDPS web page.
All submissions must be uploaded electronically at
http://edas.info/newPaper.php?c=21782
Regards,
Dr. Arindam Pal
Research Scientist
Innovation Labs Kolkata
TCS Research
http://www.cse.iitd.ac.in/~arindamp/
------------------------------
Message: 2
Date: Fri, 1 Jan 2016 19:28:26 +0000
From: Stephanie Schwartz <Stephanie.Schwartz@millersville.edu>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Final CFP: Diagrams 2016 (9th Int'l Conference on
the Theory and Application of Diagrams)
Message-ID:
<E2745232464C1E41979557B4330D9B50A4D43427@FSMB2.muad.local>
Content-Type: text/plain; charset="iso-8859-1"
Call for Papers: Diagrams 2016
Ninth International Conference on the Theory and Application of Diagrams
http://www.diagrams-conference.org/2016
diagrams2016@diagrams-conference.org<mailto:diagrams2016@diagrams-conference.org>
7th to 10th August, 2016
Philadelphia, Pennsylvania, USA
* CALL FOR PAPERS *
Diagrams is an international interdisciplinary conference series, covering all aspects of research on the theory and application of diagrams. In 2016 it will be held near Philadelphia at the ACE Conference Center in Lafayette Hill, Pennsylvania, USA. Diagrams 2016 will run from 7th of August 2016 to the 10th of August 2016. It will be co-located with Spatial Cognition 2016<http://sites.temple.edu/sc16/> (2-5 August) and Cognitive Science 2016<http://cognitivesciencesociety.org/conference_future.html> (10-13 August).
Diagrams is the only conference series that provides a united forum for all areas that are concerned with the study of diagrams, including architecture, artificial intelligence, biology, cartography, cognitive science, computer science, education, graphic design, history of science, human-computer interaction, linguistics, logic, mathematics, philosophy, psychology, and software modelling. The conference attracts a large number of researchers from almost all these related fields, positioning Diagrams as the major international event in the area. Diagrams 2016 is the ninth conference in the bi-annual series that started in 2000.
Diagrams 2016 will include presentations of refereed papers, posters, tutorials, workshop sessions, and a graduate symposium. We invite submissions that focus on any aspect of diagrams research, as follows:
- long research papers (15 pages)
- short research papers (7 pages)
- posters (3 pages)
- tutorial proposals (2 pages; see the conference web page for full details)
- workshop proposals (2 pages; see the conference web page for full details)
- graduate symposium submissions (3 pages; see the conference web page for full details)
All submissions will be fully peer reviewed. The proceedings, which will include accepted long and short papers and posters, will be published by Springer in their Lecture Notes in Computer Science series, http://www.springer.com/lncs. Submissions will be administered via Easychair with details following on the conference web site. Full details on the preparation of submissions can be found on the conference web site.
Conference topics include, but are not limited to:
- applications of diagrams
- computational models of reasoning with, and interpretation of, diagrams
- design of diagrammatic notations
- diagram understanding by humans or machines
- diagram aesthetics and layout
- educational uses of diagrams
- evaluation of diagrammatic notations
- graphical communication and literacy
- heterogeneous notations involving diagrams
- history of diagrammatic notations
- information visualization using diagrams
- nature of diagrams and diagramming
- novel technologies for diagram use
- psychological issues pertaining to perception, comprehension or production of diagrams
- software to support the use of diagrams
- usability and human-computer interaction issues concerning diagrams
* Submission Dates *
Abstract submissions: 4 January 2016
Paper and poster submissions: 11 January 2016
Workshop proposal submissions: 18 January 2016
Tutorial proposal submissions: 18 January 2016
Initial Paper Notification (for rebuttal): 19 February 2016
Final Paper Notification: 14 March 2016
Graduate symposium submissions: 21 March 2016
Conference dates: 7 to 10 August 2016
* Organising Committee *
General Chair: Stephanie Schwartz (Millersville University, USA)
Program Chairs: Mateja Jamnik (The University of Cambridge, UK),
Yuri Uesaka (The University of Tokyo, Japan)
Local Chair: Richard Burns (West Chester University, USA)
Workshops and Tutorials Chair: Aidan Delaney (The University of Brighton, UK)
Graduate Symposium Chair: Luana Micallef (Helsinki Institute for Information Technology, Finland)
------------------------------
Message: 3
Date: Sun, 3 Jan 2016 19:46:11 +0000 (GMT)
From: Kousha Etessami <kousha@staffmail.ed.ac.uk>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Full Professorship in Algorithms & Complexity at U.
of Edinburgh
Message-ID: <alpine.LRH.2.10.1601031937030.1131@schiff.inf.ed.ac.uk>
Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed
The School of Informatics at the University of Edinburgh invites
applications for a Full Professorship (established Chair) in Algorithms
and Complexity, broadly defined.
For more information, see the official advert and application link below
(the application deadline is February 29th, 2016):
https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobspec?p_id=035129
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
------------------------------
Message: 4
Date: Mon, 4 Jan 2016 09:43:36 +0000
From: "Wijs, A.J." <A.J.Wijs@tue.nl>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] SPIN 2016 - Second Call for Papers
Message-ID: <89ED103E-63D5-4B71-B110-F71C2371EA4E@tue.nl>
Content-Type: text/plain; charset="us-ascii"
======================================================================
SPIN 2016
23rd International SPIN Symposium on Model Checking of Software
7--8 April 2016, Eindhoven, The Netherlands
http://www.spin2016.info
(colocated with ETAPS 2016)
======================================================================
---- Important Dates ----
Submission of papers: 8 January 2016 (Anywhere on Earth)
Notification of acceptance/rejection: 12 February 2016
Final version due: 24 February 2016
Symposium: 7--8 April 2016
---- Aims and Scope ----
The 23rd edition of the SPIN symposium aims at bringing together
practitioners and researchers interested in symbolic and state
space-based techniques for the validation and analysis of software
systems. Techniques and empirical evaluations based
on explicit representations of state spaces, as implemented in
the SPIN model checker or other tools, or techniques based on the
combination of explicit representations with other representations,
are the focus of this symposium.
We particularly welcome papers describing the development and
application of state space exploration techniques in testing and
verifying embedded software, safety-critical software, enterprise
and web applications, and other interesting software platforms. The
symposium aims to encourage interactions and exchanges of ideas with
all related areas in software engineering.
Topics of interest include, but are not limited to:
- Formal verification techniques for automated analysis of software
- Algorithms and storage methods for explicit-state model checking
- Theoretical and algorithmic foundations of model checking
- Model checking for programming languages and code analysis
- Directed model checking using heuristics
- Parallel or distributed model checking
- Verification of timed and probabilistic systems
- Model checking techniques for biological systems
- Formal verification techniques for concurrent software
- Formal verification techniques for embedded software
- Abstraction and symbolic execution techniques in relation to
software verification
- Static analysis for state space reduction
- Combinations of enumerative and symbolic techniques
- Analysis for modelling languages, such as UML/state charts
- Property specification languages, including temporal logics
- Automated testing using state space and/or path exploration
- Derivation of specifications, test cases, or other useful material
from state spaces
- Combination of model checking techniques with other analyses
- Modular and compositional verification techniques
- Case studies of interesting systems or with interesting results
- Engineering and implementation of software verification tools
- Benchmark and comparative studies for formal verification tools
- Insightful surveys or historical accounts on topics of relevance to
the symposium
SPIN 2016 will be colocated with the 19th European Joint Conferences on
Theory and Practice of Software (ETAPS 2016). An overview of the previous
SPIN symposia can be found at http://spinroot.com/spin/Workshops.
---- Paper Submission and Publication ----
The proceedings of SPIN will be published in Springer's Lecture Notes in
Computer Science series. A selection of papers will be invited to a special
issue of the International Journal on Software Tools for Technology Transfer
(STTT).
With the exception of survey and history papers, the papers should contain
original work which has not been submitted or accepted for publication
elsewhere. Submissions should adhere to the LNCS format:
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0
We solicit three kinds of papers:
- Technical Research Papers:
At most 18 pages in LNCS format. All accepted technical papers will be
included in the proceedings.
- Idea Papers:
At most 6 pages in LNCS format that describe novel
research directions in software model checking. New idea
submissions are intended to describe well-defined research ideas
that are at an early stage of investigation and may not be fully
validated.
- Tool Presentations:
This kind of submission should consist of two parts: the first part
is at most a 6-page description of the tool. If accepted, this part
will be published in the symposium proceedings. The second part
should describe an informal plan for an oral presentation of the
tool. This part will not be included in the proceedings and may
also be in the form of a five minute video. Tools must be
available online for reviewers to inspect.
All papers that conform to submission guidelines will be
peer-reviewed by members of the program committee. Submissions will
be evaluated on the basis of originality, importance of contribution,
soundness, evaluation, quality of presentation, and appropriate
comparison to related work.
At least one author of each accepted paper must attend the symposium
and present the paper.
---- Organisation ----
Program Chairs
- Dragan Bosnacki (Eindhoven University of Technology)
- Anton Wijs (Eindhoven University of Technology)
Program Committee
Erika Abraham (RWTH Aachen University, GER)
Jiri Barnat (Masaryk University, CZE)
Aleksandar Dimovski (IT University of Copenhagen, DEN)
Stefan Edelkamp (University of Bremen, GER)
Bernd Fischer (Stellenbosch University, RSA)
Jaco Geldenhuys (Stellenbosch University, RSA)
Alex Groce (Oregon State University, USA)
Jan Friso Groote (Eindhoven University of Technology, NED)
Gerard Holzmann (NASA / Jet Propulsion Laboratory, USA)
Franjo Ivancic (Google, USA)
Alfons Laarman (Vienna University of Technology, AUT)
Stefan Leue (University of Konstanz, GER)
Alberto Lluch Lafuente (Technical University of Denmark, DEN)
Radu Mateescu (INRIA Rhone-Alpes, FRA)
Eric Mercer (Brigham Young University, USA)
Pedro Merino (University of Malaga, ESP)
Alice Miller (University of Glasgow, UK)
Jun Pang (University of Luxembourg, LUX)
Corina Pasareanu (NASA Ames / Carnegy Mellon University, USA)
Theo Ruys (RUwise, NED)
Jun Sun (Singapore University of Technology and Design, SIN)
Michael Tautschnig (Queen Mary University, UK)
Mohammad Torabi Dashti (ETH Zuerich, SUI)
Martin Wehrle (University of Basel, SUI)
------------------------------
Message: 5
Date: Mon, 4 Jan 2016 13:11:43 +0100
From: Pinar Heggernes <Pinar.Heggernes@uib.no>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] WG 2016: submission server is open
Message-ID: <568A617F.4090703@uib.no>
Content-Type: text/plain; charset=utf-8; format=flowed
WG 2016 paper submission server is now open.
Papers can be submitted through the following link:
https://easychair.org/conferences/?conf=wg2016
The submission deadline is February 27, 2016.
Please prepare your pdf submission in Springer LNCS format to be at most
12 pages, including title, abstract and references. You may add an
appendix containing the proofs that are omitted in the first 12 pages,
to be read at the discretion of the program committee.
Simultaneous submission to any other conference with proceedings
published or made publicly available, or submitting papers previously
accepted for journal publication is not allowed.
When submitting your paper, tick the appropriate box if your paper is a
candidate for the Best Student Paper Award. The main work in a paper
that is a candidate for this award must be done by co-authors that were
students at the time of submission, and the award can be received only
by such co-authors. By ticking the box you confirm the correctness of
this information.
Please read the complete information in the Call for Papers before
submitting your paper:
WG 2016: CALL FOR PAPERS
42nd International Workshop on Graph-Theoretic Concepts in Computer Science
June 22-24, Istanbul, Turkey
Submission Deadline: Feb 27, 2016
http://www.ie.boun.edu.tr/~wg2016/
LOCATION
The WG 2016 conference is the 42nd edition of the WG series. It will
take place on the campus of Bogazici University in Istanbul, Turkey. The
conference will be from Wednesday June 22 to Friday June 24, 2016.
Participants expected to arrive in Istanbul on Tuesday June 21, where we
will have a welcome reception in the evening. Cheap student
accommodation will be available close to campus, and we will otherwise
suggest hotels in the popular Taksim area, with a metro connection to
the campus.
AIMS AND SCOPE
WG conferences aim to connect theory and applications by demonstrating
how graph-theoretic concepts can be applied in various areas of computer
science. The goal is to present recent results and to identify and
explore directions for future research. Submitted papers should describe
original results in any aspects of graph theory related to computer
science, including but not restricted to:
- design and analysis of sequential, parallel, randomized,
parameterized, and distributed graph and network algorithms,
- structural graph theory with algorithmic or complexity applications,
- computational complexity of graph and network problems,
- graph grammars, graph rewriting systems and graph modeling,
- graph drawing and layouts,
- computational geometry,
- random graphs and models of the web and scale-free networks, and
- support of these concepts by suitable implementations and applications.
SUBMISSIONS AND PROCEEDINGS
Contributors are invited to submit an extended abstract of at most 12
pages Springer LNCS format(www.springer.com/lncs) including title,
abstract and references. Proofs omitted due to space restrictions must
be placed in an appendix, to be read by program committee members at
their discretion. Simultaneous submission of papers to any other
conference with proceedings published or made publicly available, or
submitting papers previously accepted for journal publication is not
allowed. Invited papers and accepted contributions will be published in
the conference post-proceedings in the Lecture Notes in Computer Science
(ARCoSS/LNCS) series of Springer-Verlag.
BEST PAPER AWARD
Thanks to a generous donation by Springer Verlag, WG 2016 is able to
offer an EUR 1000 best paper award, to be decided by the program committee.
BEST STUDENT PAPER AWARD
WG 2016 offers also an award for the best student paper. The main work
in a paper that is a candidate for this award must be done by co-authors
that were students at the time of submission, and the award can be
received only by such co-authors. It must be indicated at the time of
submission whether a paper is candidate for this award.
IMPORTANT DATES (Tentative)
Submission of papers: February 27, 2016
Acceptance notification: April 24, 2016
Conference: June 22-24, 2016
Final version: July 31, 2016
INVITED SPEAKERS
Saket Saurabh (Bergen, Norway)
Kavitha Telikepalli (Mumbai, India)
Dominique de Werra (Lausanne, Switzerland)
PROGRAM COMMITTEE
Isolde Adler, Goethe University, Frankfurt, Germany
Manu Basavaraju, National Institute of Technology, Karnataka, India
Cristina Bazgan, Université Paris Dauphine, France
Hans Bodlaender, Utrecht University, The Netherlands
Christophe Crespelle, Université Claude Bernard, Lyon, France
Tinaz Ekim, Bogazici University, Istanbul, Turkey
Celina de Figueiredo, Federal University of Rio de Janeiro, Brasil
Petr Golovach, University of Bergen, Norway
Gregory Gutin, Royal Holloway, London, UK
Pinar Heggernes (Chair), University of Bergen, Norway
Mamadou Kanté, Université Blaise Pascal, Aubiere, France
Jan Kratochvil, Charles University, Prague, Czech Republic
Erik Jan van Leeuwen, MPI, Saarbrücken, Germany
Martin Milanic, University of Primorska, Koper, Slovenia
Rolf Niedermeier, Technical University of Berlin, Germany
Naomi Nishimura, University of Waterloo, Canada
Yota Otachi, Japan Advanced Institute of Science and Technology
Daniel Paulusma, Durham University, UK
Michał Pilipczuk, University of Warsaw, Poland
Hadas Shachnai, Technion, Haifa, Israel
ORGANIZING COMMITTEE
Arman Boyaci, Bogazici University, Istanbul, Turkey
Cemil Dibek, Bogazici University, Istanbul, Turkey
Tinaz Ekim, Bogazici University, Istanbul, Turkey
Pinar Heggernes, University of Bergen, Norway
Caner Taskin, Bogazici University, Istanbul, Turkey
CONTACT INFORMATION
wg2016@easychair.org
------------------------------
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 95, Issue 1
*************************************
No comments:
Post a Comment