{"id":21419,"date":"2025-05-12T10:56:55","date_gmt":"2025-05-12T08:56:55","guid":{"rendered":"https:\/\/www.ilc.cnr.it\/events\/pacm%e2%88%a7n-2025-proof-argumentation-computation-modalities-and-negation\/"},"modified":"2025-05-12T12:08:59","modified_gmt":"2025-05-12T10:08:59","slug":"pacm%e2%88%a7n-2025-proof-argumentation-computation-modalities-and-negation","status":"publish","type":"events","link":"https:\/\/www.ilc.cnr.it\/en\/events\/pacm%e2%88%a7n-2025-proof-argumentation-computation-modalities-and-negation\/","title":{"rendered":"PACM\u2227N 2025\u00a0&#8211; Proof, Argumentation, Computation, Modalities And Negation\u00a0"},"content":{"rendered":"\n<p><strong>PACM\u2227N 2025<\/strong>, a workshop on <strong>Proof, Argumentation, Computation, Modalities And Negation<\/strong>, will be held from the 14th to the 16th of May 2025 in Rome, Italy. Participants will investigate sound proof construction, principles of persuasive argumentation, and the role of computation in formalising logical structures. <\/p>\n\n\n\n<p>The structured program offers a formal venue for participants to advance their understanding of foundational concepts in the interdisciplinary domains of logic, mathematics, computer science, philosophy, and linguistics.<\/p>\n\n\n\n<p>On Wednesday 14th of May <a href=\"https:\/\/www.ilc.cnr.it\/en\/people\/carlo-proietti\/\">Carlo Proietti<\/a> of the <strong>Cnr-Istituto di Linguistica Computazionale \u201cAntonio Zampolli\u201d <\/strong>(<strong>CNR-ILC<\/strong>),  in the framework of the <a href=\"https:\/\/www.ilc.cnr.it\/en\/progetti\/epica\/\">EPICA<\/a> project, will give a talk entitled &#8220;<strong>Argument and Belief<\/strong>&#8220;.<\/p>\n\n\n\n<div style=\"height:10px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<h4 class=\"wp-block-heading\">More info and full programme: <a href=\"https:\/\/sites.google.com\/view\/pacman2025-rome\/home\" target=\"_blank\" rel=\"noreferrer noopener\">PACM\u2227N 2025<\/a><\/h4>\n","protected":false},"excerpt":{"rendered":"<p>PACM\u2227N 2025, a workshop on Proof, Argumentation, Computation, Modalities And Negation, will be held from the 14th to the 16th&hellip;<\/p>\n","protected":false},"author":3,"featured_media":21412,"template":"","events_category":[40],"acf":{"venue":"Rome, Italy","venue_link":{"title":"","url":"https:\/\/sites.google.com\/view\/pacman2025-rome\/home","target":""},"start_date":"20250514","end_date":"20250516","time":""},"jetpack_sharing_enabled":true,"publishpress_future_workflow_manual_trigger":{"enabledWorkflows":[]},"_links":{"self":[{"href":"https:\/\/www.ilc.cnr.it\/en\/wp-json\/wp\/v2\/events\/21419"}],"collection":[{"href":"https:\/\/www.ilc.cnr.it\/en\/wp-json\/wp\/v2\/events"}],"about":[{"href":"https:\/\/www.ilc.cnr.it\/en\/wp-json\/wp\/v2\/types\/events"}],"author":[{"embeddable":true,"href":"https:\/\/www.ilc.cnr.it\/en\/wp-json\/wp\/v2\/users\/3"}],"version-history":[{"count":2,"href":"https:\/\/www.ilc.cnr.it\/en\/wp-json\/wp\/v2\/events\/21419\/revisions"}],"predecessor-version":[{"id":21421,"href":"https:\/\/www.ilc.cnr.it\/en\/wp-json\/wp\/v2\/events\/21419\/revisions\/21421"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.ilc.cnr.it\/en\/wp-json\/wp\/v2\/media\/21412"}],"wp:attachment":[{"href":"https:\/\/www.ilc.cnr.it\/en\/wp-json\/wp\/v2\/media?parent=21419"}],"wp:term":[{"taxonomy":"events_category","embeddable":true,"href":"https:\/\/www.ilc.cnr.it\/en\/wp-json\/wp\/v2\/events_category?post=21419"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}