**************************** Call for participation **************************** -------------------- CALL FOR PARTICIPATION AND REGISTRATION Spotlight on Logic & Databases Workshop 6-7 May, online Registration is open, free and required: https://docs.google.com/forms/d/e/1FAIpQLSe9EpojNv1zbKnDVz-9DJy_8KWhOo6Mrzzp... (Deadline for registration: 4 May, AoE) Spotlight on Logic & Databases is the third in a series of online workshops on Logic, Games and Automata. The aim of this workshop series is to bring together the community throughout the year, around four topics: + Games: 25-26 November 2020 (past) + Transducers: 17-18 March 2021(past) + Logic and databases: this workshop, 6-7 May 2021 + Automata and category PLATFORM Talks will be live on Zoom, discussions in gather.town. More instructions will be available soon on http://highlights-conference.org/logic-in-databases-workshop-2021/ PROGRAM Thursday, May 6: Matrix query languages 14.30-15.00: Get-together on gather.town 15.00-15.45: Floris Geerts: What if Codd would have been a linear algebraist? 15.45-16.15: Break on gather.town 16.15-16.45: Erich Grädel: Logics with Linear-Algebraic Operators, Approximations of Isomorphism, and the Problem of Capturing Polynomial Time 16.45-17.15: Jorje Perez: The Expressiveness of Matrix and Tensor Query Languages in Terms of Machine-Learning Operators 17.15-18.00 (open-ended): Get-together in gather.town Friday, May 7: Updates for query languages 14.30-15.00: Get-together in gather.town 15.00-15.45: Ahmet Kara and Dan Olteanu: Trade-Offs in Incremental Maintenance for Conjunctive Queries 15.45-16.15: Break in gather.town 16.15-16.45: Jens Keppeler: Answering Conjunctive Queries Under Updates 16.45-17.15: Nils Vortmeier: Dynamic query maintenance via first-order logic 17.15-18.00 (open-ended): Get-together in gather.town CONTACT (ORGANIZERS) Nils Vortmeier <nils.vortmeier@uzh.ch> Thomas Zeume <thomas.zeume@rub.de> --------------------