PSSL111 - Second Announcement
Matteo Capucci <[email protected]> Sun, 17 Aug 2025 21:45:48 +0100
| Newsgroups | gmane.science.mathematics.categories,gmane.comp.science.types.announce,gmane.science.mathematics.logic.isabelle.user,gmane.science.mathematics.prooftheory,gmane.science.mathematics.logic.coq.club,gmane.comp.lang.caml.inria,gmane.comp.lang.agda |
|---|---|
| Message-ID | <CAEAMwBRiAhbkOoSPrwFeiZvp2FLc923ijPbMM01e2yKZhNde1Q@mail.gmail.com> |
--000000000000de1eb9063c95b5a2 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Dear all, We are happy to announce that the 111st Peripatetic Seminar on Sheaves and = Logic (PSSL111) is set to take place on Thursday and Friday September 4th= =E2=80=935th, 2025, in Bologna, Italy. This edition of the PSSL is being organized by Matteo Capucci (matteo.capuc= [email protected]<mailto:[email protected]>) and Vikraman Choudhury (vikr= [email protected]<mailto:[email protected]>). All the information (venue, schedule of talks) are already or will be poste= d on the event webpage: > https://progetto-itaca.github.io/pssl111/<https://url.au.m.mimecastprote= ct.com/s/MlkICNLJxki0XGN2xtmfGsypSXj?domain=3Dprogetto-itaca.github.io/> There are no registration fees, but we kindly ask that you complete the reg= istration form by August 28th at the latest. You may find the link in the a= forementioned webpage. When registering, you'll be given the option to submit a talk proposal. We = seek proposals for contributed talks on all aspects of category theory and = its applications. Talks about work in progress are also warmly welcomed. We= especially encourage PhD students and young researchers to submit their wo= rk. Contributions from the logic, type theory, and the programming languages co= mmunity would be most welcome. Apologies for multiple postings. We can't wait to see you in Bologna! Matteo and Vikraman ---------------------------------------------------------------------------= ---------- Matteo Capucci (he/him) University of Strathclyde / ARIA Creator website<https://url.au.m.mimecastprotect.com/s/PYO9COMK7Ycp4yA6XhvhMsGK2Rf?= domain=3Dmatteocapucci.wordpress.com/>, twitter<https://url.au.m.mimecastpr= otect.com/s/OnY1CP7L1NfKMk47mf1iQsxaxDe?domain=3Dtwitter.com> I sometimes email outside standard working hours as this is convenient for = me. Please don't feel the need to respond until you are at work. You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message. View group files<https://outlook.office365.com/owa/[email protected]/gro= upsubscription.ashx?source=3DEscalatedMessage&action=3Dfiles&GuestId=3D8767= f067-4f04-44e1-9450-e0b2f3fa5e7c> | Leave group<https://outlook.office3= 65.com/owa/[email protected]/groupsubscription.ashx?source=3DEscalatedMe= ssage&action=3Dleave&GuestId=3D8767f067-4f04-44e1-9450-e0b2f3fa5e7c> | = Learn more about Microsoft 365 Groups<https://aka.ms/o365g> --000000000000de1eb9063c95b5a2 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable <html> <head> <meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3Dutf-8"> </head> <body> <div dir=3D"auto"> <div>Dear all,</div> <div dir=3D"auto">We are happy to announce that the 111st <b>Peripatetic Se= minar on Sheaves and Logic</b> (PSSL111) is set to take place on Thursday a= nd Friday September 4th=E2=80=935th, 2025, in Bologna, Italy.</div> <div dir=3D"auto">This edition of the PSSL is being organized by Matteo Cap= ucci (<a href=3D"mailto:[email protected]" target=3D"_blank" rel=3D"= noreferrer">[email protected]</a>) and Vikraman Choudhury (<a href= =3D"mailto:[email protected]" target=3D"_blank" rel=3D"noreferrer= ">[email protected]</a>).</div> <div dir=3D"auto"><br> </div> <div dir=3D"auto">All the information (venue, schedule of talks) are alread= y or will be posted on the event webpage:</div> <div dir=3D"auto"><br> </div> <div dir=3D"auto"> > <a href=3D"https://url.au.m.mimecastprotect.co= m/s/MlkICNLJxki0XGN2xtmfGsypSXj?domain=3Dprogetto-itaca.github.io/" target= =3D"_blank" rel=3D"noreferrer"> https://progetto-itaca.github.io/pssl111/</a></div> <div dir=3D"auto"><br> </div> <div dir=3D"auto">There are no registration fees, but we kindly ask that yo= u complete the registration form by August 28th at the latest. You may find= the link in the aforementioned webpage.</div> <div dir=3D"auto"><br> </div> <div dir=3D"auto">When registering, you'll be given the option to submit a = talk proposal. We seek proposals for contributed talks on all aspects of ca= tegory theory and its applications. Talks about work in progress are also w= armly welcomed. We especially encourage PhD students and young researchers to submit their work.</div> <div dir=3D"auto"><br> </div> <div dir=3D"auto">Contributions from the logic, type theory, and the progra= mming languages community would be most welcome. Apologies for multiple pos= tings.</div> <div dir=3D"auto"><br> </div> <div dir=3D"auto">We can't wait to see you in Bologna!</div> <div dir=3D"auto">Matteo and Vikraman</div> <div><br> </div> <div data-smartmail=3D"gmail_signature"> <div dir=3D"ltr"> <div></div> <div>----------------------------------------------------------------------= ---------------<br> </div> <div><span style=3D"font-size:10pt"><b>Matteo Capucci</b></span><span style= =3D"font-size:10pt"> (he/him)<br> </span></div> <div><span style=3D"font-size:10pt">University of Strathclyde / ARIA Creato= r</span></div> <div style=3D"font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt= ;color:rgb(0,0,0)"> </div> <span style=3D"font-size:10pt"></span> <div><a href=3D"https://url.au.m.mimecastprotect.com/s/PYO9COMK7Ycp4yA6Xhvh= MsGK2Rf?domain=3Dmatteocapucci.wordpress.com/" title=3D"https://matteocapuc= ci.wordpress.com/" target=3D"_blank" rel=3D"noreferrer"><span style=3D"font= -size:10pt">website</span></a><span style=3D"font-size:10pt">, </span><a href=3D"https://url.au.m.mimecastprotect.com/s/OnY1CP7L1NfKMk47mf= 1iQsxaxDe?domain=3Dtwitter.com" title=3D"https://twitter.com/mattecapu" tar= get=3D"_blank" rel=3D"noreferrer"><span style=3D"font-size:10pt">twitter</s= pan></a><i><br> <br> </i><span style=3D"font-size:10pt"></span></div> <span style=3D"color:rgb(87,6,6);font-size:10pt"><i>I sometimes email outsi= de standard working hours as this is convenient for me.</i></span><i><br> </i><span style=3D"color:rgb(87,6,6);font-size:10pt"><i>Please don't feel t= he need to respond until you are at work.</i></span> <div style=3D"font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt= ;color:rgb(0,0,0)"> <span style=3D"font-size:10pt"></span><br> </div> </div> </div> </div> <div id=3D"a59ada49-a492-4f1d-ac57-74be3a4194fc" style=3D"display:inline-bl= ock;"> <table cellspacing=3D"0" style=3D"table-layout:fixed; width:50px; border:0 = none black;"> <tbody> <tr> <td style=3D"height:18px; padding:0; border-width:0 0 1px 0; border-style:n= one none solid none; border-color:#EAEAEA;"> </td> </tr> </tbody> </table> <table cellspacing=3D"0" style=3D"table-layout:fixed; width:90%; line-heigh= t: 17px; border:0 none black;"> <tbody> <tr> <td style=3D"height:17px; padding:0; border:0 none black;"> </td> </tr> <tr> <td style=3D"padding:0; border:0 none black; color:#666666; font-size:12px;= font-family:'Segoe UI','Segoe WP',sans-serif;"> You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message.</td> </tr> <tr> <td style=3D"height:17px; padding:0; border:0 none black;"> </td> </tr> <tr> <td style=3D"padding:0; border:0 none black; font-size:12px; font-family:'S= egoe UI','Segoe WP',sans-serif;"> <span style=3D"display:inline-block;"><a style=3D"color:#666666; text-decor= ation:none;font-size:12px; font-family:'Segoe UI','Segoe WP',sans-serif;" h= ref=3D"https://outlook.office365.com/owa/[email protected]/groupsubscrip= tion.ashx?source=3DEscalatedMessage&action=3Dfiles&GuestId=3D8767f0= 67-4f04-44e1-9450-e0b2f3fa5e7c">View group files</a></span><span = style=3D"color:#C8C8C8;"> | </span><span = style=3D"display:inline-block;"><a style=3D"color:#666666; text-decoration:= none; font-size:12px; font-family:'Segoe UI','Segoe WP',sans-serif;" id=3D"= BD5134C6-8D33-4ABA-A0C4-08581FDF89DB" href=3D"https://outlook.office365.com= /owa/[email protected]/groupsubscription.ashx?source=3DEscalatedMessage&= amp;action=3Dleave&GuestId=3D8767f067-4f04-44e1-9450-e0b2f3fa5e7c">Leav= e group</a></span><span style=3D"color:#C8C8C8;"> |&n= bsp; </span><span style=3D"display:inline-block;"><a style=3D"co= lor:#666666; text-decoration:none;font-size:12px; font-family:'Segoe UI','S= egoe WP',sans-serif;" href=3D"https://aka.ms/o365g">Learn more about Microsoft 365 Groups</a></span></td> </tr> <tr> <td style=3D"height:17px; padding:0; border:0 none black;"> </td> </tr> </tbody> </table> </div> </body> </html> --000000000000de1eb9063c95b5a2--