<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class="elementToProof">
<div class="ContentPasted0">*Apologies for cross postings*</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">*******************************************************************************</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Call For Participation: Online Workshop Series "Proofs, Computation and Meaning"</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Third online event: December 7, 2022, 4 pm CET</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Website: <a href="https://urldefense.com/v3/__http://ls.informatik.uni-tuebingen.de/pcm-online/__;!!IBzWLUs!TZ5MJofKHnh2rJGwKYZzxRgbV2HzR6hIxiSk5ZyKvzzLvPBa85fp38ywh7dcFCGx46WyEK3WIl42ayEc0Pskv9VlmpDyGrfqytKYGj0AuA$" id="LPlnk515744">
http://ls.informatik.uni-tuebingen.de/pcm-online/</a></div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">*******************************************************************************</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">This online workshop series was originally planned as an in person meeting which was canceled due to the outbreak of the Coronavirus pandemic in early March 2020.
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">The event was planned to bring researchers whose work focuses on the notion of formal proof from either a philosophical, computational or mathematical perspective. With the obvious limitations of an online format, we wish to keep
this original motivation, which looks even more timely in a time in which interdisciplinary interactions are made more difficult by the pandemic.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">The goal is that of creating an opportunity for members of different communities to interact and exchange their views on proofs, their identity conditions, and the more convenient ways of representing them formally.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">*******************************************************************************</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">SCOPE:</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Around thirty years after the fall of Hilbert's program, the proofs-as-programs paradigm established the view that a proof should not be identified, as in Hilbert's metamathematics, with a string of symbols in some formal system.
Rather, proofs should consist in computational or epistemic objects conveying evidence to mathematical propositions. The relationship between formal derivations and proofs should then be analogous to the one between words and their meanings.</div>
<div class="ContentPasted0"> </div>
<div class="ContentPasted0">This view naturally gives rise to questions such as “which conditions should a formal arrangement of symbols satisfy to represent a proof?” or “when do two formal derivations represent the same proof?". These questions underlie past
and current research in proof theory both in the theoretical computer science community (e.g. categorical logic, domain theory, linear logic) and in the philosophy community (e.g. proof-theoretic semantics).</div>
<div class="ContentPasted0"> </div>
<div class="ContentPasted0">In spite of these common motivations and historical roots, it seems that today proof theorists in philosophy and in computer science are losing sight of each other. This workshop aims at contributing to a renaissance of the interaction
between researchers with different backgrounds by establishing a constructive environment for exchanging views, problems and results.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">*******************************************************************************</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">ORGANIZATION:</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">The workshop series includes three events, each focusing on one specific aspect of proofs and their representation. To foster interaction and discussion, each event will consists in short talks followed by a 15 minutes slot during
which participants can engage in discussion or just take a short break.</div>
<div><br>
</div>
<div class="ContentPasted0">Event 3. On the nature of proofs </div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">December 7, 4-7 pm (CET)</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">The developments of logic, and of proof theory in particular, have lead us to look at proofs primarily through the lens of various formal systems, such as natural deduction, sequent calculus, tableaux, proof nets etc. Yet, is it
possible to investigate the nature of proofs, their identity conditions, their relations with computation and with meaning in a direct way, i.e. independently of the choice of a particular formal system?</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Speakers:</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">- Bahareh Afshari (University of Amsterdam/University of Gothenburg)</div>
<div class="ContentPasted0">- Sonia Marin (University of Birmingham)</div>
<div class="ContentPasted0"><span class="ContentPasted0 ContentPasted1" style="margin:0px">- Alberto Naibo (Paris 1 Panthéon-Sorbonne University)</span><br>
</div>
<div class="ContentPasted0"><span class="ContentPasted0 ContentPasted1" style="margin:0px"><span class="ContentPasted0 ContentPasted2" style="margin:0px">- Antonio Piccolomini d'Aragona (Czech Academy of Science)</span><br>
</span></div>
<div class="ContentPasted0">- Noam Zeilberger (École Polytechnique Paris-Saclay)</div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">*******************************************************************************</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">CALL FOR PARTICIPATION:</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">If you attended previous workshops, you will receive a Zoom link soon. Otherwise, please send an e-mail to luca.tranchini@gmail.com or paolo.pistone@uniroma3.it.</div>
</div>
<div dir="ltr">
<div dir="ltr">
<div dir="ltr">
<div>
<div id="x_x_x_Signature">
<div>
<div name="x_x_x_divtagdefaultwrapper" style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:; margin:0">
<div id="x_x_x_:190" class="x_x_x_ii x_x_x_gt x_x_x_m1472035bdc6ec7bf x_x_x_adP x_x_x_adO" style="direction:ltr; margin:5px 15px 0px 0px; padding-bottom:5px; z-index:0; background-color:rgb(255,255,255)">
<div>
<div><font face="Calibri,Arial,Helvetica,sans-serif">
<div id="x_x_x_:190" style="margin:5px 15px 0px 0px; padding-bottom:5px"><font>
<div style="color:rgb(0,0,0); font-size:13px; font-family:Calibri,Arial,Helvetica,sans-serif">
</div>
</font></div>
</font></div>
</div>
<div class="x_x_x_yj6qo" style="color:rgb(34,34,34); font-size:13px; font-family:arial,sans-serif">
</div>
</div>
<div class="x_x_x_hq x_x_x_gt x_x_x_a10" style="margin:15px 0px; clear:both; font-size:13px; color:rgb(34,34,34); font-family:arial,sans-serif; background-color:rgb(255,255,255)">
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</body>
</html>