News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

30 August - 1 September 2023, The Eleventh Workshop on Combining Probability and Logic (Progic 2023), Utrecht, the Netherlands

Date: 30 August - 1 September 2023
Location: Utrecht, the Netherlands
Target audience: Anybody interested in combining probabilistic and logical tools (including philosophers, computer scientists, economists, mathematicians..)
Deadline: Saturday 15 April 2023

The special focus of PROGIC2023 is Knowledge representation and reasoning. Classically, logic and probability offer competing representations of partial or incomplete information, with the former assuming a qualitative perspective on uncertainty and the latter focusing on a quantitative account. Both provide their own policies for updating on new information, combining evidence from different sources, and acting under partial information.

Invited Speakers: Joe Halpern (Cornell University), Gabriele Kern-Isberner (TU Dortmund), Aybüke Özgün (University of Amsterdam) and Jon Williamson (University of Kent).

We solicit submissions that bridge these two perspectives. These could, for instance, apply probabilistic or other quantitative tools to the study of logical systems or use logical frameworks, classical or substructural, for understanding probabilistic approaches. They may also apply to specific sub-areas, such as game theory, network theory, causal modelling or machine learning. We especially invite submissions that combine probability and logic for knowledge representation and reasoning broadly construed.

Submissions should consist of a short abstract (~200 words) and an *extended abstract* (~1000 words, pdf format). The submission portal is at https://progic23.sciencesconf.org/. Submission deadline: April 15, 2023. Notification of acceptance: May 15, 2023.

For more information, see https://progic2023.sites.uu.nl/ or contact Dominik Klein at , or Dragan Doder at .

Please note that this newsitem has been archived, and may contain outdated information or links.