Notice: Function _load_textdomain_just_in_time was called incorrectly. Translation loading for the koko-analytics domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /hum/web/sitestest.hum.uu.nl/htdocs/wp-includes/functions.php on line 6114

Notice: Function _load_textdomain_just_in_time was called incorrectly. Translation loading for the formidable domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /hum/web/sitestest.hum.uu.nl/htdocs/wp-includes/functions.php on line 6114
Progic 2023 | Universiteit Utrecht | Sample Page

Progic 2023

Sample Page

The Eleventh Workshop on Combining Probability and Logic

Special focus: Knowledge Representation and Reasoning

Utrecht, August 30^th – September 1^st 2023

Invited Speakers:

Didier Dubois (Toulouse)

Joe Halpern (Cornell)

Gabriele Kern-Isberner (Dortmund)

Aybüke Özgün (Amsterdam)

Jon Williamson (Kent)

Important Dates

Submission Deadline: April 15, 2023 (cf. Call for Papers and the Submissions Portal)

Notifications: May 15, 2023

Conference: August 30 – September 1, 2023

Special Issue

There will be a Special Issue related to Progic 2023 at the Journal of Logic and Computation.

Acknowledgment

Progic 2023 received generous financial support from the UU Strategic Theme Human-Centered Artificial Intelligence