[Newsletter PoDM ] Principles of Data Management, Newsletter 15, January 2019

Thu Jan 3 10:55:33 UTC 2019

PoDM Newsletter 15, January 2019
The newsletter on Principles of Data Management from databasetheory.org

HAPPY NEW YEAR!

TABLE OF CONTENTS

CONFERENCE ANNOUNCEMENTS

ICDT 2020 - 23nd INTERNATIONAL CONFERENCE ON DATABASE THEORY
 Call for Papers (First submission cycle)
EDBT/ICDT'19 EVENT: HAPPY BIRTHDAY ALICE!
 Call for Participation
EPIT 2019 - SPRING SCHOOL ON DATABASES, LOGIC AND AUTOMATA
 Announcement
28TH EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC (CSL 2020)
 First Call for Papers

JOB ANOUNCEMENT

TWO POSTDOC POSITIONS
 Database Integration, Query Optimization, and/or Computational Logic,
 Oxford University, UK

OTHER ANOUNCEMENTS

ICDT TEST OF TIME AWARD 2018
  Announcement of the winner

---------------------------------------------------------------------
CONFERENCE ANNOUNCEMENTS

ICDT 2020 - 23nd INTERNATIONAL CONFERENCE ON DATABASE THEORY
Call for Papers (First submission cycle)
 March 30 - April 2, 2020, Copenhagen, Denmark
https://databasetheory.org/node/97
* ICDT is an international conferences series that addresses the
  principles and theory of data management. Since 2009, it is annually
  and jointly held with EDBT, the international conference on extending
  database technology. See https://databasetheory.org/icdt-pages.
* As ICDT strives to broaden its scope, ICDT 2020 will have a Reach Out
  Track that calls for
- novel formal frameworks or directions for database theory and/or
- connections between principles of data management and other
  communities.
* Every topic related to the principles of data management is relevant to ICDT.
  Examples of relevant topics include
- Data mining, information extraction, information retrieval, and
  database aspects of machine learning
- Data models, design, structures, semantics, query languages,
  and algorithms for data management
- Distributed and parallel databases, cloud computing
- Databases and knowledge representation
- Graph databases, (semantic) Web data, and Web services
- Data streams and sketching
- Data-centric (business) process management and workflows
- Data and knowledge integration and exchange, data provenance, views,
  and data warehouses
- Domain-specific databases (multimedia, scientific, spatial, etc)
- Data privacy and security, concurrency, and recovery
* Important dates (First submission cycle):
Abstract submission deadline: March 27, 2019
Full paper submission deadline: April 3, 2019
Notification: May 29, 2019
Submissions via https://easychair.org/conferences/?conf=icdt2020

EDBT/ICDT'19 EVENT: HAPPY BIRTHDAY ALICE!
   Since its publication, Foundations of Databases has been the
   reference book for database theory. This ICDT/EDBT, we will be
   celebrating the (approximately) 25th birthday of Alice, the book’s
   heroine, and at the same time the (approximately) 65th birthday of
   the esteemed authors - the pillars of database theory.
   For full details and registration see: https://alice.imfd.cl/2018/
* When and where:
   Monday, March 25th, 2019, 18:00 - 19:15. EDBT/ICDT'19
* Program:
  18:00 - 18:45: All About Alice. Serge Abiteboul, Rich Hull, Victor Vianu
  18:45 - 19:15 The Voice of the Future. Wim Martens, Liat Peterfreund
* Organizers:
  Pablo Barcelo (DCC, University of Chile & IMFD Chile)
  Tova Milo (School of Computer Science, Tel Aviv University)
* Local arrangements:
  Helena Galhardas (IST, University of Lisbon)

EPIT 2019 - SPRING SCHOOL ON DATABASES, LOGIC AND AUTOMATA
 Announcement
 April 7-12, 2019, CIRM, Marseille Luminy, France
 Webpage of the event : https://conferences.cirm-math.fr/1934.html
* NEWS : Pre-registration is open (until January 13, 2019). Registration will be finalised
 only after receiving confirmation from us, and paying registration fees (no more than 50
 Euros per participant).
* EPIT (École de Printemps d'Informatique Théorique, https://epit.irif.fr/)
 is a French recurrent spring school in theoretical computer science,
 initiated by Maurice Nivat in 1973.
 It has since then spanned many exciting topics in foundational computer science,
 and  has become a major event for the research community in France and beyond.
 The 2019 edition of the EPIT will cover the foundations of data management.
 It will in particular focus on the fruitful interaction between database theory,
 logic and automata.
 A detailed program can be found here
 https://www.cirm-math.fr/ProgWeebly/2019/Renc1934/Prog1934.pdf. In addition, poster
 sessions will be organised, so that participants who are willing to, will be able to
 present their work.
* Lectures are intended to be accessible to a wide audience. No prior knowledge of
 database theory will be assumed, but some familiarity with basic automata theory
 and logic is recommended.
 The EPIT 2019 Spring School is primarily addressed to PhD students and young researchers,
 but more senior participants are also encouraged to join.
 All courses will be given in English.
* The school will take place at CIRM, the International Center for Mathematical Meetings
 (https://www.cirm-math.fr/) in Luminy, Marseille. Directions for reaching CIRM are available
 here https://www.cirm-math.com/getting-to-cirm.html.
* Organisers : Amélie Gheerbrant  <amelie at irif.fr>, Leonid Libkin <libkin at inf.ed.ac.uk>
 Luc Segoufin  <luc.segoufin at inria.fr>, Pierre Senellart  <pierre at senellart.com>
 Cristina Sirangelo  <cristina at irif.fr>

28TH EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC (CSL 2020)
 First Call for Papers
January 13-16, 2020, Barcelona, spain
https://easychair.org/cfp/CSL2020
Paper submission: July 4, 2020
* AIM AND SCOPE
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science.
* IMPORTANT DATES
Paper submission: 4 July 2019
Notifications: 14 October 2019
* PC Chairs
Maribel Fernandez, King's College London, UK
Anca Muscholl, University of Bordeaux, France
* Organizing committee
Albert Atserias, Technical University of Catalonia, Spain
Juan Carlos Martínez, University of Barcelona, Spain
* Publication
CSL 2020 proceedings will be published by Leibniz International Proceedings in Informatics
* Venue
The conference will be held in the University of Barcelona, Spain.
* Contact
All questions about submissions should be emailed to the PC co-chairs:
Maribel Fernandez Maribel.Fernandez at kcl.ac.uk
Anca Muscholl anca at labri.fr
--------------------------------------------------------------------------
JOB ANOUNCEMENTS

TWO POSTDOC POSITIONS
* Database Integration, Query Optimization, and/or Computational Logic
* Oxford University, UK
* Until December 31 2020
* Link:  http://www.cs.ox.ac.uk/projects/pdq/home.html for info,
http://www.cs.ox.ac.uk/news/1602-full.html to apply
* Two postdoctoral positions in Oxford's information systems
group in the project Proof-driven Querying.  Candidates working on data
integration from an applied perspective as well as those working in
computational logic (e.g. proof theory, automata theory) are welcome
to apply.  The position has no teaching or administration duties.
* Contact: michael.benedikt at cs.ox.ac.uk

--------------------------------------------------------------------------
OTHER  ANOUNCEMENTS

ICDT TEST OF TIME AWARD 2018
  Announcement of the winner
* In 2013, the International Conference on Database Theory (ICDT) began
awarding the ICDT test-of-time (ToT) award, with the goal of
recognizing one paper, or a small number of papers, presented at ICDT
a decade earlier that have best met the "test of time". In 2019, the
award recognizes a paper from the ICDT 2009 proceedings that has
had the most impact in terms of research, methodology, conceptual
contribution, or transfer to practice over the past decade.
* The 2019 ToT Committee consists of Wenfei Fan (chair), Magdalena Ortiz,
and Ke Yi.
* After careful consideration and soliciting external
assessments, the committee has chosen the following recipient of the
2019 ICDT Test of Time Award:
** Automatic verification of data-centric business processes
Alin Deutsch, Richard Hull, Fabio Patrizi, Victor Vianu
 The paper has been a cornerstone in the research on artifact-centric
and data-aware processes. It opens up the possibility of verifying
data-aware processes not only in niche cases but also in quite broad
classes. It provides a formalization of IBM's artifact-based approach
to business processes, and models arbitrary inputs from external users
with infinite domains. This gives rise to processes that have infinite
states and hence are impossible to verify through standard model checking
techniques. In addition to this formalization, it investigates
verification of properties in an extension of LTL over artifacts,
which is challenging since it deals with infinite alphabets.

The paper has generated impact not only on database and business
process communities, but also influenced artificial intelligence,
verification and Web services. It has received over 250 citations
coming from these diverse communities. In addition, its techniques
have influenced theoretical work on fundamental aspects of languages
over infinite alphabets.
*The award
will be presented during the EDBT/ICDT 2019 Joint Conference, March
26-29, 2019, in Lisbon, Portugal.
* The ICDT Test-of-Time Award Committee for 2019
 Wenfei Fan, University of Edinburgh (chair)
 Magdalena Ortiz, TU Vienna
 Ke Yi, Hong Kong University of Science and Technology

-----------------------------------------------------------
The next issue of this newsletter is scheduled for early March 2019. Please
submit your announcements to newsletter-owner at databasetheory.org
until February 28. Please follow the formatting instructions at
databasetheory.org/newsletter.

Past issues of the newsletter can be found at databasetheory.org/newsletter.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: Message signed with OpenPGP
URL: <http://databasetheory.org/pipermail/newsletter/attachments/20190103/fed0c8ee/attachment.sig>