From newsletter at databasetheory.org Thu Apr 4 13:43:39 2024 From: newsletter at databasetheory.org (newsletter at databasetheory.org) Date: Thu, 4 Apr 2024 13:43:39 +0000 Subject: [Newsletter PoDM ] Principles of Data Management, Newsletter 46, April 2024 In-Reply-To: References: Message-ID: Principles of Data Management, Newsletter 46, April 2024 The newsletter on Principles of Data Management from databasetheory.org TABLE OF CONTENTS JOB ANOUNCEMENT: Hasselt University, Belgium PODS 2024: Message from the PC Chair PODS 2025: Call for Research Papers KR 2024: Conference Announcement RuleML+RR 2024: Call for Papers AMW 2024: Call for Papers --------------------------------------------------------------------- JOB ANOUNCEMENT: * Three PhD student positions * AI and Data Management * Hasselt University, Belgium * 4 years * The Data Science Institute at Hasselt University, Belgium has three 4-year positions for doing a PhD in Computer Science. The research is funded by the Flanders AI Research Programme and is related to data management for AI. Topics include automated data wrangling (advised by Frank Neven); neuro-symbolic AI (advised by Stijn Vansummeren); and reasoning about machine-learning models (advised by Jan Van den Bussche). Each position gives the opportunity to work in a leading research group in the foundational aspects of data management at an international level; as well as being involved in practical use cases where research ideas are applied to real-life problems. Candidates with a strong computer science background and an interest in the interplay between systems and theory are encouraged to contact one of the advisors! Include a brief cv. * Contact: advisor_first_name.advisor_last_name at uhasselt.be --------------------------------------------------------------------- PODS 2024 Message from the PC Chair Accepted papers and first experiences with PACMMOD PODS 2024 received 110 submissions, 39 of which were selected for presentation at the conference in Santiago, Chile this June (see below). Average review scores were very high this year, which has several reasons. First, I believe that the quality of submissions was very high this year. This means that PODS will have a very exciting research program, which will be complemented by * a PODS keynote by Marcelo Arenas * tutorials by Thomas Neumann and David Woodruff * a Gems of PODS talk by Dan Olteanu and much more, such as exciting opportunities to get in touch with our friends from SIGMOD. Second, the ongoing change of the review system, which now incorporates several modes of revisions. The opportunity to revise was a requirement for PODS to join PACMMOD. I believe that revisions improve the average quality of papers and, as such, also the average scores. The design of our review cycles is still changing, since for PODS 2024 we still had the "old" conference proceedings in mind when all deadlines and dates needed to be fixed. I'm in touch with Benny, the 2025 PC chair to pass on what we've learned from 2024. The take-away of this message is that PODS 2024 will really be worth attending. The intellectual stimulation will blow your mind! All the best, -Wim * Join Size Bounds using Lp Norms on Degree Sequences Mahmoud Abo Khamis, Vasileios Nakos, Dan Olteanu and Dan Suciu * TypeQL: A Type-Theoretic & Polymorphic Query Language Christoph Dorn and Haikal Pribadi * Conjunctive Queries with Negation and Aggregation: A Linear Time Characterization Hangdong Zhao, Austen Z. Fan, Xiating Ouyang and Paraschos Koutris * Consistency of Relations over Monoids Albert Atserias and Phokion Kolaitis * Topology-aware Parallel Joins Xiao Hu and Paraschos Koutris * Bag Semantics Conjunctive Query Containment. Four Small Steps Towards Undecidability. Jerzy Marcinkowski and Mateusz Orda * Simple & Optimal Quantile Sketch: Combining Greenwald-Khanna with Khanna-Greenwald Elena Gribelyuk, Pachara Sawettamalya, Hongxun Wu and Huacheng Yu * Distinct Shortest Walk Enumeration for RPQs Claire David, Nadime Francis and Victor Marsault * The Weisfeiler-Leman Dimension of Existential Conjunctive Queries Andreas G?bel, Leslie Ann Goldberg and Marc Roth * Containment of Graph Queries Modulo Schema Victor Gutierrez-Basulto, Albert Gutowski, Yazmin A. Ibanez-Garcia and Filip Murlak * A Dichotomy in the Complexity of Consistent Query Answering for Two Atom Queries With Self-Join Anantha Padmanabha, Luc Segoufin and Cristina Sirangelo * Tight Bounds of Circuits for Sum-Product Queries Austen Z. Fan, Paraschos Koutris and Hangdong Zhao * On Density-based Local Community Search Miao Qiao, Yizhou Dai and Ronghua Li * Verification of Unary Communicating Datalog Programs C. Aiswarya, Diego Calvanese, Francesco Di Cosmo and Marco Montali * Evaluating Datalog over Semirings: A Grounding-based Approach Hangdong Zhao, Shaleen Deep, Paraschos Koutris, Sudeepa Roy and Val Tannen * When View- and Conflict-Robustness Coincide for Multiversion Concurrency Control Brecht Vandevoort, Bas Ketsman and Frank Neven * Expected Shapley-Like Scores of Boolean functions: Complexity and Applications to Probabilistic Databases Pratik Karmakar, Mikael Monet, Pierre Senellart and Stephane Bressan * On Reporting Durable Patterns in Temporal Proximity Graphs Pankaj Agarwal, Xiao Hu, Stavros Sintos and Jun Yang * Streaming Algorithms with Few State Changes Rajesh Jayaram, David P. Woodruff and Samson Zhou * Chase Termination Beyond Polynomial Time Philipp Hanisch and Markus Kr?tzsch * Continual Release of Differentially Private Synthetic Data from Longitudinal Data Collections Mark Bun, Marco Gaboardi, Marcel Neunhoeffer and Wanrong Zhang * Provenance postulates: Instance-based provenance for first-order logic Bart Bogaerts, Maxime Jakubowski and Jan Van den Bussche * Generalized Core Spanner Inexpressibility via Ehrenfeucht-Fra?ss? Games for FC Sam M. Thompson and Dominik D. Freydenberger * Enumeration for MSO-Queries on Compressed Trees Markus Lohrey and Markus L. Schmid * From Shapley Value to Model Counting and Back Ahmet Kara, Dan Olteanu and Dan Suciu * Fast Matrix Multiplication for Query Processing Xiao Hu * Combined Approximations for Uniform Operational Consistent Query Answering Marco Calautti, Ester Livshits, Andreas Pieris and Markus Schneider * Consistent Query Answering for Primary Keys on Rooted Tree Queries Paraschos Koutris, Xiating Ouyang and Jef Wijsen * Layered List Labeling Michael A. Bender, Alex Conway, Martin Farach-Colton, Hanna Komlos and William Kuszmaul * Tight Lower Bounds for Directed Cut Sparsification and Distributed Min-Cut Yu Cheng, Max Li, Honghao Lin, Zi-Yi Tai, David Woodruff and Jason Zhang * On the Feasibility of Forgetting in Data Streams Sourav Chakraborty, Kuldeep Meel, A Pavan and N. V. Vinodchandran * When is Shapley Value Computation a Matter of Counting? Meghyn Bienvenu, Diego Figueira and Pierre Lafourcade * Minimally Factorizing the Provenance of Self-join Free Conjunctive Queries Neha Makhija and Wolfgang Gatterbauer * The Moments Method for Approximate Data Cube Queries Peter Lindner, Dan Suciu, Christoph Koch and Sachin Basil John * Query Optimization by Quantifier Elimination Christoph Koch and Peter Lindner * History-Independent Dynamic Partitioning: Operation-Order Privacy in Ordered Data Structures Michael A. Bender, Martin Farach-Colton, Michael T. Goodrich and Hanna Komlos * The Complexity of Why-Provenance for Datalog Queries Marco Calautti, Ester Livshits, Andreas Pieris and Markus Schneider * A faster FPRAS for #NFA Sourav Chakraborty, Umang Mathur and Kuldeep Meel * Counting Answers to Unions of Conjunctive Queries: Natural Tractability Criteria and Meta-Complexity Jacob Focke, Leslie Ann Goldberg, Marc Roth and Stanislav Zivny --------------------------------------------------------------------- PODS 2025 - BERLIN, GERMANY ACM SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS CALL FOR RESEARCH PAPERS https://2025.sigmod.org/calls_papers_pods_research.shtml * The Principles of Database Systems (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 nontraditional (see https://databasetheory.org/PODS). * LOCATION: The 2025 conference will be held in Berlin, Germany. * FORMATTING: Page limit is 8 pages, not including references. Space for references is not limited. Additional details may be included in an appendix. We encourage to include line numbers to facilitate the reviewers' work. * PODS 2025 will use a lightweight double-anonymous reviewing process. This means that submissions must adhere to the following: ** Author names and institutions must be omitted. ** References to the authors? own related work should be in the third person. ** Acknowledgements, grant numbers, and links to submitted papers in public repositories will not be allowed. However, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas. * SCOPE: PODS seeks scientific articles that present principled contributions to modeling, application and system building in the context of data management. Such articles might be based, among others, on establishing theoretical results, developing new concepts and frameworks that deserve further exploration, providing experimental work that sheds light on the scientific foundations of the discipline, or a rigorous analysis of important industry artefacts. At a time when computer science is increasingly data-centric, it is essential to promote an active exchange of tools and techniques between PODS and other communities focused on data management. PODS thus pays special attention to those papers that help in the urgent process of integrating data management techniques within broader computer science. * SUBMISSION: https://easychair.org/conferences/?conf=pods2025 * IMPORTANT DATES for the first submission cycle (All deadlines end at 5 PM Pacific Time): ** Abstract: May 31, 2024 ** Submission: June 7, 2024 ** Rebuttal: July 29 - August 1, 2024 ** Initial notification: August 12, 2024 ** Revision submission: August 26, 2024 ** Final notification: September 2, 2024 * IMPORTANT DATES for the second submission cycle (All deadlines end at 5 PM Pacific Time.): ** Abstract: December 2, 2024 ** Submission: December 9, 2024 ** Rebuttal: February 3-7, 2025 ** Initial notification: February 14, 2025 ** Revision submission: February 28, 2025 ** Final notification: March 7, 2025 --------------------------------------------------------------------- KR 2024 - 21ST INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING November 2 - 8, 2024 Hanoi, Vietnam https://kr.org/KR2024/ * Knowledge Representation and Reasoning (KR) is a well-established and lively field of research within AI, that aims to explicitly represent knowledge in declarative form, suitable for processing by dedicated symbolic reasoning engines. KR has contributed to the theory and practice of various areas of AI, and benefited of the mutual exchange with fields beyond AI, including data management. * We solicit papers for the 21st edition. There are different papers types, and dedicated tracks that address the synergies with neighbouring fields, applications, and practical systems. Please visit the website for details. * Important dates: Main track - Abstract Submission: April 24, 2024; Main track - Paper Submission: May 1, 2024. * Special Tracks - Reasoning, Learning, Decision Making / KR in the Wild: Abstract submission: May 8, 2024, Paper Submission: May 15, 2024 --------------------------------------------------------------------- ** Call for Papers: The 8th International Joint Conference on Rules and Reasoning (RuleML+RR 2024) ** * RuleML+RR 2024 * * 16-18 September 2024 * * Bucharest, Romania * Homepage: https://2024.declarativeai.net/events/ruleml-rr RuleML+RR 2024 is a leading international joint conference in the field of rule-based reasoning. One of the main goals of RuleML+RR is to build bridges between academia and industry in the area of semantic reasoning. RuleML+RR 2024 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning. It provides a forum for stimulating cooperation and cross-fertilization between different communities focused on the research, development, and applications of rule-based systems. We are looking for high-quality papers related to theoretical advances, novel technologies, and Artificial Intelligence applications that involve rule-based representation and reasoning. The RuleML+RR 2024 conference is part of the event ?Declarative AI: Rules, Reasoning, Decisions, and Explanations? (https://2024.declarativeai.net) and is co-located with DecisionCAMP 2024 and the Reasoning Web Summer School. Apart from the main track, it features: * Rule Challenge (https://2024.declarativeai.net/events/ruleml-rr/rule-challenge), * Doctoral Consortium (https://2024.declarativeai.net/events/ruleml-rr/doctoral-consortium), * Industry Track (https://2024.declarativeai.net/events/ruleml-rr/industry-track), * Project Networking Session (https://2024.declarativeai.net/events/ruleml-rr/networking-session) ** Important Dates (Main Track) ** June 1st, 2024: Title and abstract submission June 7th, 2024: Paper submission deadline July 19th, 2024: Notification of acceptance September 16th-18th, 2024: Conference ** Topics ** RuleML+RR welcomes research from all areas of Rules and Reasoning. The topics of the conference include, but are not limited to: * Ontologies / Semantic Web / Description Logics / Existential Rules * Rules and Databases * Rules for AI and AI for Rules / Explainable AI based on Rules * Rules and Reasoning / Logics * Technical Aspects of Rule Systems / Rule Technology * Rules and Interoperability * System Descriptions, Applications and Experiences of Ontologies and Rules See the conference homepage for more details on the topics: https://2024.declarativeai.net/events/ruleml-rr --------------------------------------------------------------------- ======================================================================================================================= 16th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2024) September 30 - October 4th, 2024 Mexico City, Mexico https://amw2024.github.io https://twitter.com/amw2024news ======================================================================================================================= The Alberto Mendelzon International Workshop on Foundations of Data Management (AMW) brings together top researchers from all over the world, creating the opportunity to discuss and spread research results relating to data management. AMW is a way to honour the memory of Alberto Mendelzon and emphasises promoting international research ties with Latin America in these areas. We solicit research papers on the relevant topics, which we list below. The co-located AMW Summer School allows students (graduate and undergraduate), researchers, and practitioners to attend tutorials from internationally renowned speakers and interact with the research community. Students from Latin America are particularly encouraged to attend. (Please check the homepage for news of travel grants.) The 16th edition of AMW will take place in Mexico City, Mexico, from September 30th - October 4th 2024. We kindly ask you to consider distributing this Call for Papers to others who are interested. Important Dates: - Abstracts due: June 9th, 2024 (Sunday) - Papers due: June 16th, 2024 (Sunday) - Notifications due: July 30th, 2024 (Tuesday) - Camera-ready due: August 28th, 2024 (Wednesday) School: September 30th - October 1st, 2024 Workshop: October 2nd-4th, 2024 All deadlines are 23:59 on that date anywhere on Earth. We will accept submissions without an abstract. However, we would appreciate the submission of the abstract so we can know in advance about your upcoming submission. Topics: We solicit submissions in the following areas of data management (and other related areas): * Approximate and probabilistic query answering * Data analytics * Data exchange and integration * Data exploration * Data mining * Data modelling * Data privacy, security, and blockchain * Data provenance * Data streams * Data visualization * Data warehousing * Database benchmarking * Database concurrency and transactions * Database storage and indexing * Distributed and parallel databases * Domain-specific databases * Ethics of data science * Graph data management * Incompleteness, inconsistency, and uncertainty in databases * Information extraction * Information retrieval * Knowledge representation * Logic and databases * Machine learning and databases * Model theory and databases * Physical design * Query languages * Query processing and optimization * Semantic Web * Social networks * Spatial/temporal data Papers addressing foundational aspects are particularly welcome. However, we also encourage submitting papers (especially short papers; see submission instructions below) that illustrate applications of foundational results in real-world contexts. Submission: We invite two types of submissions: * Short papers of up to 4 pages may contain original ongoing research or recently published results. * Extended abstracts of up to 10 pages, presenting original research. Both extended abstracts and short papers will be published in the CEUR Workshop Proceedings (http://ceur-ws.org). The authors can opt-out if they wish. Papers should be written in English and formatted according to the LNCS Springer style for Lecture Notes in Computer Science. They must also be submitted electronically via EasyChair (https://easychair.org/conferences/?conf=amw2024) in PDF format. The Program Committee will judge the submissions for scientific quality and relevance. At least one author of each accepted paper must attend the workshop to present the work. Organisation: contact amw2024news at groups.google.com *General Chair: Genoveva Vargas-Solar < genoveva.vargas-solar at cnrs.fr > *Program Committee Chairs: Emanuel Sallinger < sallinger at dbai.tuwien.ac.at > Gabriela Montoya < gmontoya at cs.aau.dk > * Organisation Committee Chair: Roc?o Aldeco < raldeco at unam.mx > --------------------------------------------------------------------- The next issue of this newsletter is scheduled for early June 2024. Please submit your announcements to newsletter-owner at databasetheory.org until May 31, 2024. Please follow the formatting instructions at databasetheory.org/newsletter. Past issues of the newsletter can be found at databasetheory.org/newsletter.