[Newsletter PoDM ] PoDM Newsletter 13, September 2018

Tue Sep 4 21:12:20 UTC 2018

PoDM Newsletter 13, September 2018
The newsletter on Principles of Data Management from databasetheory.org

TABLE OF CONTENTS

CONFERENCE ANNOUNCEMENTS

ICDT 2019 - 22nd INTERNATIONAL CONFERENCE ON DATABASE THEORY
  Final Call for papers (Second submission cycle)

HIGHLIGHTS 2018: 6th annual conference on Highlights of LOGIC, GAMES, and AUTOMATA

JOB ANOUNCEMENT

POSTDOC POSITION
* Database Integration, Query Optimization, and/or Computational Logic
* Oxford University, UK

---------------------------------------------------------------------

CONFERENCE ANNOUNCEMENTS

ICDT 2019 - 22nd INTERNATIONAL CONFERENCE ON DATABASE THEORY
 Final Call for papers (Second submission cycle)
 March 26-29, 2019, Lisbon, Portugal
** Abstract deadline: September 16th
** Submissions deadline: September 23, 2018
** Notification: December 5, 2018

HIGHLIGHTS 2018: 6th annual conference on Highlights of LOGIC, GAMES, and AUTOMATA
18-21 September 2018, TU Berlin
http://highlights-conference.org
* SATELLITE EVENTS:
+ ErichFest: Symposium to Celebrate Erich Grädel’s 60th Birthday, 17 September
+ Workshop on the Theory of Regular Cost Functions and Beyond, 21 September (afternoon)

* HIGHLIGHTS 2018 is the 6th conference on Highlights of Logic, Games, and Automata that aims to integrate the diverse research community working in the areas of Logic and Finite Model Theory, Automata Theory, and Games for Logic and Verification. Individual papers are dispersed across many conferences, which makes them challenging to follow. A visit to the annual Highlights conference offers a wide picture of the latest research in the field and a chance to meet and interact with most of the members of the research community. The speakers are encouraged to present their best recent work at Highlights, whether already published elsewhere or not.
* The conference is short (from 19 September to the mid-day on 21 September) and it is preceded by the Highlights Tutorial Day (18 September). The participation costs are modest and Berlin is easy to reach.
* The Contributed Presentations will be around ten minutes long. All speakers will be also invited to contribute to a Poster Session, which will open new ways of interaction at the conference for the whole Highlights community.
* KEYNOTE PRESENTATIONS
+ Andrei Bulatov, The Complexity of Constraints: Dichotomies and Beyond
+ Nicole Schweikardt, Constant Delay Enumeration of Query Results
+ James Worrell, Algebraic Invariants for Affine Programs
* TUTORIALS
+ Amir Abboud, Fine-Grained Complexity and Hardness in P
+ Christoph Berkholz, Interactions Between Proof Complexity and Finite Model Theory
+ Joost-Pieter Katoen, Principles of Probabilistic Programming
* INVITED SESSIONS
+ Chair: Christel Baier, Multi-Objective Reasoning in Probabilistic Models (Speakers: Stefan Kiefer, David Parker)
+ Chair: Martin Grohe, Logic and Learning (Speakers: Kristian Kersting, Daniel Neider, Dan Olteanu)
* SPOTLIGHT TALKS
+ Stéphane Gaubert, Nonarchimedean Convex Programming and Its Relation to Mean-Payoff Games
+ Laura Kovács, Symbol Elimination for Program Analysis
+ Jan Křetínský, A Journey from LTL to Your Favourite Automaton
+ Amaury Pouly, Continuous Models of Computation: Computability, Complexity, Universality
+ Jeffrey Shallit, Finite Automata and Additive Number Theory

--------------------------------------------------------------------------

JOB ANOUNCEMENTS

* POSTDOC POSITION
* Database Integration, Query Optimization, and/or Computational Logic
* Oxford University, UK
* Until June 2020, with the possibility of extension
* Link:  http://www.cs.ox.ac.uk/projects/pdq/home.html for info,
http://www.cs.ox.ac.uk/news/1563-full.html to apply
* A postdoctoral position 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

-----------------------------------------------------------
 The next issue of this newsletter is scheduled for early November 2018. Please
submit your announcements to newsletter-owner at databasetheory.org
until October 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/20180904/ac0409ca/attachment.sig>