Dear all, The next Proof Society Seminar will take place on Monday 09 March 2026 at 14:00 CET. Our speaker will be Raheleh Jalali from the Univeristy of Bath. Details can be found below.
*9 March 2026, 13:00 UTC – Proof Society Seminar* *Raheleh Jalali (University of Bath)* *The Power of Structural Rules: Proof-Size Lower Bounds for Linear Logic* A longstanding challenge in proof complexity is to prove lower bounds on proof size in the classical sequent calculus. This talk sheds new light on this problem by isolating the contribution of individual structural rules. We show that the combined strength of contraction and weakening rules far exceeds that of any one of them in isolation. By restricting these rules one at a time, we obtain exponential or sub-exponential proof-size lower bounds for formulas that nevertheless admit short classical proofs. The results demonstrate that classical proof efficiency arises from the combination of structural rules. ------------------------------ The Proof Society Seminar <https://www.proofsociety.org/proof-society-seminar/> features leading researchers in proof theory and related areas of logic. Talks are held online via Zoom, usually on Mondays, approximately once per month. They begin at 13:00 UTC and last up to 75 minutes, followed by questions. To attend, please join via Zoom: https://bham-ac-uk.zoom.us/j/84261727269 You can also subscribe to our mailing list to receive announcements of the upcoming talks: http://groups.google.com/forum/#!forum/proof-society-seminar Recordings of the seminars are available at this YouTube channel <https://www.youtube.com/@TheProofSociety> -- Elaine. ----------------------------------- Elaine Pimentel Schools Outreach Lead Professor of Logic and Computation Deputy Director of the Computer Science and Philosophy programme Programming Principles, Logic, and Verification Department of Computer Science, Office: Room 3.11, 66-72 Gower Street University College London URL: https://sites.google.com/site/elainepimentel/ UCL Computer Science is an *Athena Swan Gold award winner for gender equality <https://www.ucl.ac.uk/computer-science/about/equity-diversity-and-inclusion/gender-equality-athena-swan>* UCL is ranked among the *top ten in the QS World University Rankings 2024 <https://www.ucl.ac.uk/news/2023/jun/ucl-ranked-top-10-universities-world-12-years-running>* and is winner of *The Times and Sunday Times University of the Year 2024 <https://www.ucl.ac.uk/news/2023/sep/ucl-named-university-year>* ----------------------------------- -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BUsmRtu%2B%2BaRvGA3E-GS_sQf4Ya-BmuO-a9rV1ZMwahL6Q%40mail.gmail.com.
