Skip to main content
Search
Utility navigation
Calendar
Contact
Login
MAKE A GIFT
Main navigation
Home
Programs & Events
Research Programs
Workshops & Symposia
Public Lectures
Research Pods
Internal Program Activities
People
Scientific Leadership
Staff
Current Long-Term Visitors
Research Fellows
Postdoctoral Researchers
Scientific Advisory Board
Governance Board
Industry Advisory Council
Affiliated Faculty
Science Communicators in Residence
Law and Society Fellows
Participate
Apply to Participate
Plan Your Visit
Location & Directions
Postdoctoral Research Fellowships
Law and Society Fellowships
Science Communicator in Residence Program
Circles
Breakthroughs Workshops and Goldwasser Exploratory Workshops
Support
Annual Fund
Funders
Industrial Partnerships
Academic Partnerships
News & Videos
News
Videos
About
Logic and Algebra for Query Evaluation
Program
Logic and Algorithms in Database Theory and AI
Location
Calvin Lab Auditorium
Date
Monday, Nov. 13
–
Friday, Nov. 17, 2023
Back to calendar
Breadcrumb
Home
Workshop & Symposia
Logic and Algebra for Query Evaluation
Secondary tabs
The Workshop
Schedule
Videos
(active tab)
Remote video URL
Semiring Semantics
Visit talk page
Remote video URL
Algorithmic Aspects of Semiring Provenance for Stratified Datalog
Visit talk page
Remote video URL
Constrained Optimization Over Semirings
Visit talk page
Remote video URL
Semiring-Based Soft Constraint Solving and Argumentation
Visit talk page
Remote video URL
Consistency, Acyclicity, and Positive Semirings
Visit talk page
Remote video URL
An Introduction to Newton’s Method on Semirings
Visit talk page
Remote video URL
Understanding Queries by Conditional Instances
Visit talk page
Remote video URL
Approximating Certain and Possible Answers Beyond Sets
Visit talk page
Remote video URL
Any-k: Ranked enumeration for Dynamic Programming
Visit talk page
Remote video URL
Direct Access for Conjunctive Queries with Aggregation
Visit talk page
Pagination
Current page
1
Page
2
Page
3
Next page
Next
link to homepage
Close
Main navigation
Home
Programs & Events
Research Programs
Workshops & Symposia
Public Lectures
Research Pods
Internal Program Activities
People
Scientific Leadership
Staff
Current Long-Term Visitors
Research Fellows
Postdoctoral Researchers
Scientific Advisory Board
Governance Board
Industry Advisory Council
Affiliated Faculty
Science Communicators in Residence
Law and Society Fellows
Participate
Apply to Participate
Plan Your Visit
Location & Directions
Postdoctoral Research Fellowships
Law and Society Fellowships
Science Communicator in Residence Program
Circles
Breakthroughs Workshops and Goldwasser Exploratory Workshops
Support
Annual Fund
Funders
Industrial Partnerships
Academic Partnerships
News & Videos
News
Videos
About
Utility navigation
Calendar
Contact
Login
MAKE A GIFT
link to homepage
Close
Search