**************************** 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 --------------------
Zeige Antworten nach Diskussionsstrang
finite-model-theory@lists.rwth-aachen.de