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. RP'2016 - EXTENDED deadline: Workshop on Reachability
Problems (Potapov, Igor)
2. EXCILL III: Extremal Combinatorics at Illinois August 8-10,
2016 (Yu, Gexin)
3. AUTOMATA 2016 program and early registration deadline
(Turlough Neary)
4. 1st CFP 11th International Symposium on Parameterized and
Exact Computation, Aarhus, Denmark, Aug. 23-26 2016 (Jiong Guo)
5. Postdoc position (1yr) in Theoretical Computer Science (Ah Bee)
6. CFP: IEEE/ACM Conference on Big Data Science, Engineering,
and Applications (BDSEA 2016), Shanghai, China. (Ashiq Anjum)
----------------------------------------------------------------------
Message: 1
Date: Sat, 14 May 2016 08:00:24 +0000
From: "Potapov, Igor" <potapov@liverpool.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] RP'2016 - EXTENDED deadline: Workshop on
Reachability Problems
Message-ID:
<7ECE8E01AEB79A459E3F30C54E56CF7CDDA5AD84@CHEXMBX1.livad.liv.ac.uk>
Content-Type: text/plain; charset="windows-1250"
REACHABILITY PROBLEMS 2016
----------------------------------------------------------------
The 10th International Workshop on Reachability Problems (RP'16)
19 - 21 September 2016, Aalborg, Denmark
EXTENDED deadline for submissions: 22 May, 2016
http://rp16.cs.aau.dk/
----------------------------------------------------------------
The 10th Workshop on Reachability Problems will be hosted by
Aalborg University, Denmark. This event will take place in Nordkraft,
a recently reconstructed coal power station located at the harbour
front of Aalborg city centre that serves these days as a cultural
and sport centre of Aalborg.
The Reachability Workshop is specifically aimed at gathering
together scholars from diverse disciplines interested in reachability
problems that appear in algebraic structures, computational models,
hybrid systems, logic and verification.
Invited Speakers:
- Alain Finkel, ENS de Cachan, France
- Axel Legay, INRIA, Rennes Cedex, France
- Jaco van de Pol, University of Twente, Netherlands
Submissions:
Authors are invited to submit a draft of a full paper with at most 12 pages
(in LaTeX, formatted according to LNCS guidelines) via the conference web page.
Proofs omitted due to space constraints must be put into an appendix to be read
by the program committee members at their discretion. Submissions deviating
from these guidelines risk rejection. Electronic submissions should be
formatted in pdf. Simultaneous submission to other conferences or workshops
with published proceedings is not allowed.
Submission link: https://easychair.org/conferences/?conf=rp2016
Topics of interest include (but are not limited to): reachability problems
in infinite state systems, rewriting systems, dynamical and hybrid systems;
reachability problems in logic and verification; reachability analysis in
different computational models, counter timed/cellular/communicating
automata; Petri nets; computational aspects of algebraic structures
(semigroups, groups and rings); frontiers between decidable and undecidable
reachability problems; predictability in iterative maps and new computational
paradigms.
Important Dates
- Submission deadline: 22 May 2016 (EXTENDED)
- Notification to authors: 30 June 2016
- Final version: 11 July 2016
- Workshop: 19 - 21 September 2016
Presentation-Only Track
In addition to regular papers that will appear in our LNCS proceedings, we
invite researchers to apply to give a presentation at RP'16 without an
accompanying paper. Such presentations can be based on work that has appeared
(or which is going to appear) in the proceedings of another conference, or
which has not yet been submitted. These contributions will be judged solely on
the basis of their attractiveness to the workshop.
To apply to give such a presentation please submit a PDF file containing a
short abstract (up to two pages) by e-mail [ rp2016@easychair.org ] by
August 1st 2016, with subject "RP2016 Informal Presentations". This abstract
will not be published in the conference proceedings.
Notification for the presentation-only track will be August 8th 2016.
Proceedings
The Conference Proceedings will be published as the volume of the Springer
Verlag LNCS (Lecture Notes in Computer Science) series and distributed at the
Conference. We plan also to publish selected papers in a special issue of a
high quality journal following the regular referee procedure.
RP'16 Program Committee:
Filippo Bonchi, ENS de Lyon
Tomas Brazdil, Masaryk University Brno
Thomas Brihaye, Université de Mons
Gilles Geeraerts, Université Libre de Bruxelles
Krishnendu Chatterjee, IST Austria
Javier Esparza, Technische Universität München
Kousha Etessami, University of Edinburgh
Stefan Göller, ENS Cachan
Tero Harju, University of Turku
Petr Jancar, Technical University of Ostrava
Sławomir Lasota, University of Warsaw
Kim G. Larsen (co-chair), Aalborg University
Oded Maler, CNRS-VERIMAG
Richard Mayr, University of Edinburgh
Nicolas Markey, ENS Cachan
Pierre McKenzie, Université de Montréal
Igor Potapov (proceedings chair), University of Liverpool
Alexander Rabinovich, Tel Aviv University
Jiri Srba (co-chair), Aalborg University
Igor Walukiewicz, LaBRI Bordeaux
James Worrell, University of Oxford
Lijun Zhang, Chinese Academy of Science
Previous Workshops:
2015: RP'15 in Warsaw, Poland
LNCS proceedings, Volume 9328/2015, Springer Verlag
2014: RP'14 in Oxford, UK
LNCS proceedings, Volume 8762/2014, Springer Verlag
2013: RP'13 in Uppsala, Sweden
LNCS proceedings, Volume 8169/2013, Springer Verlag
2012: RP'12 in Bordeaux, France
LNCS proceedings, Volume 7550/2012, Springer Verlag
2011: RP'11 in Genova, Italy
LNCS proceedings, Volume 6945/2011, Springer Verlag
2010: RP'10 in Brno, Czech Republic
LNCS proceedings, Volume 6227/2010, Springer Verlag
2009: RP'09 in Palaiseau, France
LNCS proceedings, Volume 5797/2009, Springer Verlag
2008: RP'08 in Liverpool, UK
ENTCS proceedings, Volume 223, Elsevier
2007: RP'07 in Turku, Finland
TUCS General Publication Series, Volume 45,
Turku Centre for Computer Science
------------------------------
Message: 2
Date: Sat, 14 May 2016 13:12:33 +0000
From: "Yu, Gexin" <gyu@wm.edu>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] EXCILL III: Extremal Combinatorics at Illinois
August 8-10, 2016
Message-ID: <5A377BD3-7CDE-4EFC-B700-D92855F66C06@wm.edu>
Content-Type: text/plain; charset="utf-8"
Dear colleagues,
We are pleased to announce that the conference
EXCILL III: Extremal Combinatorics at Illinois
will be held August 8th to 10th, 2016<x-apple-data-detectors://2>,
at Illinois Institute of Technology in Chicago.
This conference is the third in a series started in Urbana, Illinois in 2006.
The conference features invited talks by leading researchers in extremal
combinatorics from around the world, a poster session for students, and a
conference dinner.
The list of confirmed speakers is available at
http://mypages.iit.edu/~excill3/
Registration is now open. The $25 registration fee is waived for all students.
Graduate students are encouraged to submit an abstract for the poster session.
Through the generous support of NSF, NSA, and the College of Science at IIT,
some financial support for travel and lodging is available for students
and early-career faculty. The support decision is made on a rolling basis, and applications must be submitted before July 1. There is still plenty of support available. Please apply soon!
Additional information and the registration form are available at the
conference website:
http://mypages.iit.edu/~excill3/
Registration must be completed online; on-site registration will NOT be available.
In case of questions, please contact the organizers at excill3@iit.edu<mailto:excill3@iit.edu>
Sorry if you received multiple messages on this.
Best wishes,
The organizing committee:
Jozsef Balogh (Univ. of Illinois at Urbana-Champaign)
Tao Jiang (Miami University)
Hemanshu Kaul (Illinois Institute of Technology)
Dhruv Mubayi (Univ. of Illinois at Chicago)
Douglas B. West (Univ. of Illinois and Zhejiang Normal U.)
and Gexin Yu (College of William and Mary)
------------------------------
Message: 3
Date: Sun, 15 May 2016 12:33:18 +0200
From: Turlough Neary <tneary@ini.phys.ethz.ch>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] AUTOMATA 2016 program and early registration
deadline
Message-ID: <1463308398.9879.2.camel@ini.phys.ethz.ch>
Content-Type: text/plain; charset="UTF-8"
The AUTOMATA 2016 program can be found at
http://automata2016.ini.uzh.ch/program.html
The deadline for early registration is 22/05/2016. Details on how to
register can be found at
http://automata2016.ini.uzh.ch/registration.php
______________________________________________________
The 22nd International Workshop on Cellular Automata and Discrete
Complex Systems (AUTOMATA 2016) will be hosted at the University of
Zurich, Switzerland, June 15-17, 2016.
Scope
AUTOMATA explores all fundamental aspects of cellular automata and
related discrete complex systems. Topics of interest include (but are
not limited to): dynamics, topological, ergodic and algebraic aspects,
algorithmic and complexity issues, emergent properties, formal language
processing, symbolic dynamics, models of parallelism and distributed
systems, timing schemes, phenomenological descriptions, scientific
modeling and practical applications.
Important dates
Early bird registration deadline: May 22, 2016
Online registration deadline: June 6, 2016
AUTOMATA 2016: June 15-17
Invited speakers
Klaus Sutner (Carnegie Mellon University, USA)
Guillaume Theyssier (CNRS and Aix Marseille Université, France)
Tommaso Toffoli (Boston University, USA)
Andrew Winslow (Université libre de Bruxelles, Belgium)
------------------------------
Message: 4
Date: Mon, 16 May 2016 19:30:54 +0800
From: Jiong Guo <jguo@mmci.uni-saarland.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] 1st CFP 11th International Symposium on
Parameterized and Exact Computation, Aarhus, Denmark, Aug. 23-26 2016
Message-ID:
<6FDCAC6A-DD38-41C5-AFF9-1D3DDE8D298F@mmci.uni-saarland.de>
Content-Type: text/plain; charset=utf-8
Dear Colleague,
you are kindly invited to submit a contribution to the 11th International Symposium on Parameterized and Exact Computation, August 23 - 26, 2016, Aarhus, Denmark.
The symposium covers research in all aspects of parameterized and exact exponential-time algorithms and complexity. In particular, studies on parameterized and exact computations for real-world applications and algorithmic engineering are especially encouraged.
*Important Dates
Abstract submission deadline: June 12, 2016
Paper submission deadline: June 15, 2016
Notification date: July 25, 2016
Symposium: August 23-26, 2016
Final version due: September 30, 2016
*Topics
Papers presenting original research in the area are sought, including but not limited to:
New techniques for the design and analysis of parameterized and exact exponential-time algorithms
Fixed-parameter tractability results
Parameterized complexity theory
Relation between parameterized complexity and traditional complexity classifications
Applications of parameterized and exact exponential-time computation
Implementation issues of parameterized and exact exponential-time algorithms
*Submission guidelines
Authors are invited to submit an extended abstract in English not exceeding 12 pages, including references. Additional material may be included in an appendix section. Authors must submit their papers electronically via https://easychair.org/conferences/?conf=ipec2016 <https://easychair.org/conferences/?conf=ipec2016>.
The usage of the LIPIcs style file is mandatory; no changes to font size, page margins, etc., are permitted. Submissions not in the correct format will not be considered. Program committee members, except the chairs, are allowed to submit papers. The LIPIcs style files are available at:
· LIPIcs homepage: http://www.dagstuhl.de/en/publications/lipics <http://www.dagstuhl.de/en/publications/lipics>
· tar ball: http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz <http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz>
The paper should describe original unpublished research. It should contain a summary of the main results, their motivation and importance, and evidence of their correctness. Additional details and proofs may be included in a clearly marked appendix that will be read at the discretion of the program committee. Simultaneous submission to other conferences with published proceedings is not permitted.
*Excellent Student-Paper Award
The program committee may award an Excellent Student Paper Award to one or more papers accepted to the symposium. A paper is eligible for the award if at most one of its authors has received a PhD degree before the paper submission deadline. If there is a non-student author, the students' contributions must be substantial, and a student must give the presentation at the conference.
*Accepted Papers
Accepted papers will be published in the symposium proceedings. Authors of accepted papers must present their work at the symposium. Authors are expected to incorporate the comments from the referees into the final version of their paper. The proceedings will appear in the Leibniz International Proceedings in Informatics (LIPIcs) series, based at Schloss Dagstuhl. This guarantees perennial, free and easy electronic access, while the authors retain the rights over their work. In addition, the proceedings will also be available as archives in the open access electronic repository HAL. With their submission, authors consent to sign a license authorizing the program committee chairs to organize the electronic publication of their paper, provided the paper is accepted.
*Journal Special Issue
A special issue of the journal Algorithmica <http://www.springer.com/computer/theoretical+computer+science/journal/453> is tentatively planned for selected papers presented at the IPEC 2016 symposium.
Best regards,
Dr. Jiong Guo
Shandong University, China
Dr. Danny Hermelin
Ben-Gurion University of the Begev, Israel
------------------------------
Message: 5
Date: Mon, 16 May 2016 14:48:05 +0300
From: Ah Bee <dotjimdot@gmail.com>
To: dmanet <DMANET@zpr.uni-koeln.de>
Subject: [DMANET] Postdoc position (1yr) in Theoretical Computer
Science
Message-ID:
<CAMRWt13ka+EpjpzPUNNW5s=Pjrqbg=jKe42O2ijoC0RYic5KMA@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
The Computer Science Institute of the University of Tartu, Estonia, is
seeking for applicants for the position of a
Research Fellow of Theoretical Computer Science
DEADLINE: 02.06.2016
Duties and responsibilities
Conducting research in a sub-field of Theoretical Computer Science
(including, but not limited to, randomized algorithms, sublinear
algorithms, distributed algorithms, communication complexity, lower
bounds); publishing internationally, including in peer-reviewed
journals; implementing R&D projects; supervising MSc and PhD students.
Required qualifications and experience
PhD degree in Theoretical Computer Science; strong international
publication record; ability to perform independent research;
EXCELLENT COMMAND OF THE ENGLISH LANGUAGE.
Starting at 15.09.2016, temporary contract to 14.09.2017
Additional information:
http://www.ut.ee/en/welcome/job-offer/research-fellow-theoretical-computer-science
Informal inquiries:
Assoc Prof Dirk Oliver Theis, dotheis@ut.ee
------------------------------
Message: 6
Date: Mon, 16 May 2016 18:54:04 +0000
From: Ashiq Anjum <Ashiq.Anjum@cern.ch>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] CFP: IEEE/ACM Conference on Big Data Science,
Engineering, and Applications (BDSEA 2016), Shanghai, China.
Message-ID:
<38B80DE7DF51A943BD4434E10300831491C91BE6@CERNXCHG72.cern.ch>
Content-Type: text/plain; charset="iso-8859-1"
The IEEE/ACM International Conference on Big Data Science, Engineering, and Applications (BDSEA) is an annual international conference series. 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 application and renamed as BDSEA 2016. The conference series aims to provide a platform for researchers to present their new discoveries, developments, results, as well as the latest trends in big data computing and applications. BDSEA 2016 (http://computing.derby.ac.uk/bdsea2016/) will be held in conjunction with the 9th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2016) at Tongji University, Shanghai, China.
Authors are invited to submit original unpublished manuscripts on a broad range of topics related to big data science, computing paradigms, platforms and applications.
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 infrastructure
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
Important Dates
Paper submissions due: 30 July, 2016
Notification of acceptance: 21 August, 2016
Camera ready papers due: 21 September, 2016
Early registration deadline: 21 September, 2016
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 BDSEA 2016 paper submission system (https://easychair.org/conferences/?conf=bdsea2016).
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 BDSEA 2016 will be invited to extend and submit to the Special Issue on Big Data Computing in the IEEE Transaction on Cloud Computing and other leading journals.
------------------------------
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 99, Issue 15
**************************************
No comments:
Post a Comment