****************************
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_8KWhOo6MrzzpMniHJ4V5y_6D5g/viewform

(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 
Thomas Zeume 
--------------------