The workshop will discuss semantics of logic programs over general semirings: constraints over semirings, query complexity with semiring semantics, termination conditions of logic programs over semirings. The connection between semirings and logic is a relatively new development in database theory (since 2007), and this area has high potential for major innovation. Some of the problems discussed at the workshop will be inspired by systems, others will be purely theoretical in nature, such as the quest for finding appropriate extensions of Pebble Games to semiring semantics.

Dan Suciu (University of Washington; co-chair)
Invited Participants

Michael Benedikt (University of Oxford), Stefano Bistarelli (University of Perugia), Peter Buneman (Edinburgh), Nofar Cameli (Inria Montpellier), Daniel Deutch (Tel Aviv University), Javier Esparza (Technische Universität München), Anna Fariha (U. Utah), Cibele Freire (Bowdoin College), Amir Gilad (Hebrew University of Jerusalem), Boris Glavic (Illinois Institute of Technology), Erich Graedel (RWTH Aachen), Joseph Hellerstein (UC Berkeley), Benny Kimelfeld (Technion), Christoph Koch (EPFL), Kuldeep Singh Meel (National University of Singapore), Wang-Chiew Tan (Meta), Zach Tatlock (University of Washington), Max Willsey (UC Berkeley), Brit Youngmann (MIT)


Registration is required to attend this workshop in person. Space may be limited, and you are advised to register early. To submit your name for consideration, please register and await confirmation of your acceptance before booking your travel. 

For additional information please visit: https://simons.berkeley.edu/participating-workshop.

Please note: the Simons Institute regularly captures photos and video of activity around the Institute for use in videos, publications, and promotional materials. 

Register Now