[Newsletter PoDM ] Principles of Data Management, Newsletter 1, July 2016
newsletter at databasetheory.org
newsletter at databasetheory.org
Mon Jul 4 11:02:43 CEST 2016
PDM Newsletter 1, July 2016
The newsletter on Principles of Data Management from databasetheory.org
(Remark: there was a stupid typo in the previous e-mail. To subscribe
you should send mail to newsletter-subscribe at databasetheory.org (not: newsletter-unsubscribe))
TABLE OF CONTENTS
CONFERENCE ANNOUNCEMENTS
ICDT 2017 - 20th INTERNATIONAL CONFERENCE ON DATABASE THEORY
PODS 2017 - SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS
HIGHLIGHTS 2016 -- FOURTH CONFRENCE ON HIGHLIGHTS OF LOGIC, GAMES AND AUTOMATA
DBDBD 2016 - DUTCH-BELGIAN DATABASE DAY 2016
JOB ANNOUNCEMENTS
3-YEAR POSTDOC POSITION AT HASSELT UNIVERSITY
1-3-YEAR POSTDOC POSITIONS AT THE UNIVERITY OF EDINBURGH
1-3-YEAR PHD OR POSTDOC POSITION AT TU DORTMUND
1-2-YEAR POSTDOC POSITION AT UNIVERSITEE LIBRE DE BRUXELLES
BOOK ANOUNCEMENT:
Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation
by Michael Benedikt, Julien Leblay, Balder ten Cate, and Efthymia Tsamoura
CONFERENCE ANNOUNCEMENTS:
ICDT 2017 - 20th INTERNATIONAL CONFERENCE ON DATABASE THEORY
Call for Papers
March 21-24, 2017, Venice Italy
http://edbticdt2017.unive.it/
* The series of ICDT conferences (http://icdt.tu-dortmund.de/) provides
an international forum for the communication of research advances
on the theoretical foundations of database systems. Originally
biennial, the ICDT conference has been held annually and jointly with EDBT
(Extending Database Technology) since 2009.
* Examples of relevant topics are: concurrency and recovery, distributed and parallel
databases, cloud computing, connections between databases and knowledge representation,
graph databases and (semantic) Web data, data mining, information extraction, search,
data streams, data-centric (business) process management, workflows, web services,
incompleteness, inconsistency, uncertainty in databases,
data and knowledge integration and exchange, data provenance, views and data warehouses,
metadata management,domain-specific databases (multi-media, scientific, spatial,
temporal, text), deductive databases, data privacy and security, database aspects of
machine learning, model theory, logics, algebras, computational complexity
design, semantics, query languages, data models, data structures, algorithms for data
management
* Important dates: Abstract submission due: 11 Sept 2016;
Paper submission: 18 Sept 2016;
Notification: 27 November 2016
PODS 2017 - SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS
Call for Contributions
May 14 - 19, 2017, Rayleigh, North Carolina, US
http://www.sigmod2017.org
* The PODS symposium series, held in conjunction with the SIGMOD conference
series, provides a premier annual forum for the communication of new advances
in the theoretical foundations of data management, traditional or non-traditional.
* PODS continues to aim to broaden its scope, and calls for research papers providing
original, substantial contributions along one or more of the following aspects: deep
theoretical exploration of topical areas central to data management, new formal
frameworks that aim at providing the basis for deeper theoretical investigation of
important emerging issues in data management, and validation of theoretical
approaches from the lens of practical applicability in data management.
* Important Dates: abstract submission due: December 11, 2016,
paper submission: December 18, 2016
HIGHLIGHTS 2016 -- FOURTH CONFRENCE ON HIGHLIGHTS OF LOGIC, GAMES AND AUTOMATA
Call for Participation
September 6-9, 2016, Brussels, Belgium
http://highlights-conference.org
* HIGHLIGHTS 2016 is the fourth conference on Highlights of Logic, Games and Automata which aims at integrating the community working in these fields. Papers from these areas are dispersed across many conferences, which makes them difficult to follow. A visit to Highlights conference should offer a wide picture of the latest research in the field and a chance to meet everybody in the community, not just those who happen to publish in one particular proceedings volume. We encourage you to attend and present your best work, be it already published or not, at the Highlights conference.
* The program will offer 75 contributed talks, three keynotes by Meena Mahajan (Chennai), Andreas Maletti (Stuttgart), and Marc Zeitoun (Bordeaux), two invited sessions, organised by Sławomir Lasota (Warsaw) and Anca Muscholl (Bordeaux), and two tutorials by Benedikt Bollig (Cachan) and Antonín Kučera (Prague). Titles and abstracts can be found at http://highlights-conference.org. The full program will be online soon.
* Registration possible until August 7, 2016
DBDBD 2016 - DUTCH-BELGIAN DATABASE DAY 2016
Call for Contributions
October 28, 2016, Mons, Belgium
http://informatique.umons.ac.be/dbdbd2016/
* The Dutch-Belgian DataBase Day (DBDBD) is a yearly one-day
workshop organized in a Belgian or Dutch university, whose
general topic is database research. DBDBD invites
submissions (1 page abstract) on a broad range of database and
database-related topics, including but not limited to data
storage and management, theoretical database issues, database
performance, data mining, information retrieval, data
semantics, querying, ontologies etc. Based on the submissions,
the workshop will be organized in different sessions each
covering a particular topic.
* At DBDBD, junior researchers from the Netherlands and Belgium
can present their recent results, and meet senior researchers
in the field of databases. It is an excellent opportunity to
meet up with your Belgian/Dutch colleagues, and to get informed
about the (recent) database-related research performed in
Belgian/Dutch universities. The workshop is also open to
non-Belgian/Dutch participants (presentations are in
English). The workshop consists of oral presentations. There
are no printed proceedings. Abstracts of talks will be
published on the workshop's website.
* Important dates: Abstract submission due: September 30, 2016;
JOB ANOUNCEMENTS:
3-YEAR POSTDOC POSITION AT HASSELT UNIVERSITY
* We have a vacancy for a 3-year postdoc position at Hasselt
University. The salary is very good and it comes with social
security, health insurance, what have you. The topic is very
flexible as long as it has to do with finite model theory,
expressive power of database query languages, in particular
query languages for novel data models such as JSON or graph
data, tractable fragments of higher-order logic is also a theme
that fits.
* The position needs to be filled by 1 January 2017 at the latest.
* The research group on Databases and Theoretical Computer
Science at Hasselt University is a leading group in the
theoretical foundations of data management. Professors are
Marc Gyssens, Bart Kuijpers, Frank Neven, and Jan Van den
Bussche
* Please email Jan Van den Bussche
(jan.vandenbussche at uhasselt.be) if you are interested.
* http://alpha.uhasselt.be/jan.vandenbussche
1-3-YEAR POSTDOC POSITIONS AT THE UNIVERITY OF EDINBURGH
* Post-doc position (potentially two)
* Database Group
* School of Informatics, University of Edinburgh
* 1-3 years
* Link: http://homepages.inf.ed.ac.uk/libkin/
* The opening is in the database group, supported by a joint
Edinburgh/Oxford/Manchester programme grant VADA: Value Added Data
Systems (see vada.org.uk). Duties involve research in areas including
query languages, scalability, data integration, data cleaning, in
collaboration with other members of the group and with colleagues from
Oxford and Manchester.
* Contact: Leonid Libkin (see details at the above link)
1-3-YEAR PHD OR POSTDOC POSITION AT TU DORTMUND
* PhD or Post-doc position
* Database Theory or Logic and Complexity
* TU Dortmund, Germany, Dept. of Computer Science
* 1-3 years
* Link: https://ls1-www.cs.tu-dortmund.de/de/kontakt-thomas-schwentick
* The opening is in the LOGIDAC group, headed by Thomas
Schwentick. Duties involve teaching undergraduates in German.
* Contact: Thomas Schwentick
1-2-YEAR POSTDOC POSITION AT UNIVERSITEE LIBRE DE BRUXELLES
* Post-doc position
* Laboratory for Web & Information Systems
* Dept. of Computer Engineering, Université Libre de Bruxelles, Belgium
* 1-2 years
* Link: http://code.ulb.ac.be/code.people.php?id=992
* The opening is in the laboratory for Web & Information Systems
at ULB, funded by a joint ULB/Oxford project. Duties involve
research in areas including data analytics, query languages,
scalability in collaboration with other members of the group
and with colleagues from Oxford.
* Because the position at ULB is funded through a mobility grant,
candidates must not have worked in Belgium for more than 24 months
during the last three years and must have obtained their PhD no more
than 8 years before October 1, 2016.
* Contact: Stijn Vansummeren (see details at the above link)
BOOK ANOUNCEMENT:
Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation
by Michael Benedikt, Julien Leblay, Balder ten Cate, and Efthymia Tsamoura
Synthesis Lectures on Data Management Morgan Claypool, 2016, 205 Pages
ISBN: 9781627059541
* Query reformulation refers to a process of translating a source query —- a request for information in some high-level logic-based language — into a target plan that abides by certain interface restrictions. Many practical problems in data management can be seen as instances of the reformulation problem. For example, the problem of translating an SQL query written over a set of base tables into another query written over a set of views; the problem of implementing a query via translating to a program calling a set of database APIs; the problem of implementing a query using a collection of web services.
In this book we approach query reformulation in a very general setting that encompasses all the problems above, by relating it to a line of research within mathematical logic. For many decades logicians have looked at the problem of converting "implicit definitions" into "explicit definitions" using an approach known as interpolation. We will review the theory of interpolation, and explain its close connection with query reformulation. We will give a detailed look at how the interpolation-based approach is used to generate translations between logic-based queries over different vocabularies, and also how it can be used to go from logic-based queries to programs.
* Further information can be found at
http://www.morganclaypoolpublishers.com/catalog_Orig/product_info.php?products_id=920
More information about the newsletter
mailing list