Final CfA: Proof Society School and Workshop [PS24] (extended deadline). 9-13 September, Birmingham, UK
Anupam das <[email protected]> Fri, 17 May 2024 17:14:42 +0000
| Newsgroups | gmane.science.mathematics.fom,gmane.comp.science.types.announce,gmane.science.mathematics.prooftheory,gmane.science.mathematics.categories |
|---|---|
| Message-ID | <CWXP265MB074348262C1BD4B8BF330B11D9EE2@CWXP265MB0743.GBRP265.PROD.OUTLOOK.COM> |
--_000_CWXP265MB074348262C1BD4B8BF330B11D9EE2CWXP265MB0743GBRP_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable ***Final Call for Abstracts*** --- Extended deadline: May 24 --- 6th PROOF SOCIETY INTERNATIONAL SCHOOL AND WORKSHOP 2024 [PS24] University of Birmingham, UK https://proofsociety2024.com<https://proofsociety2024.com/> Abstract deadline: May 24 (extended) Notification: June 7 Final version: June 14 School: 9-11 September Workshop: 11-13 September The 6th Proof Society International School and Workshop will be organised by the University of Birmingham. The event takes place under the auspices of The Proof Society, a recently formed society to support the notion of proof in its broadest sense. The Proof Society has organised an annual school and workshop since 2018 (except 2020 due to the COVID19 pandemic). The aim of the School is to cover basic and advanced topics in proof theory and related subjects. The School will be aimed at Master's and PhD students interested in proof theory, as well as more senior researchers from related areas in computer science, mathematics and philosophy. The workshop is aimed at all researchers, from students to professors, working around proof theory and its applications. It will consist of a mixture of invited and contributed talks. SCOPE The School and Workshop aim to promote proof theory and its related areas in the broadest sense. Topics include but are not limited to: * Applied proof theory * Formalised proofs * Structural proof theory * Linear logic * Computational interpretations of proofs * Computability and proofs, e.g. Reverse Mathematics * Philosophy of proof theory * Proof systems and proof search * Proof complexity * Automated theorem proving SUBMISSIONS For the Workshop, we solicit submissions of short abstracts of *up to 2 pages* (not including references), to be presented as a short talk. There are no formal published proceedings, but accepted abstracts will be made available for the workshop. Please submit your abstracts via easychair: https://easychair.org/conferences/?conf=3Dps24 IMPORTANT DATES Abstract deadline: 24 May 2024 (extended) Notification: 7 June 2024 Final versions: 14 June 2024 School: 9-11 September 2024 Workshop: 11-13 September 2024 BEST STUDENT PRESENTATION AWARD As is traditional for the Proof Society Workshop, there will be an award for the *Best Student Presentation* at the workshop. INVITED LECTURERS AND SPEAKERS The School will consist of courses by the following lecturers: * Silvia Ghilezan (University of Novi Sad) * Ulrich Kohlenbach (TU Darmstadt) * Hiroakira Ono (JAIST) * Paul Shafer (University of Leeds) The Workshop will include invited talks by the following speakers: * Liron Cohen (Ben-Gurion University) * Pierre-Marie P=E9drot (Inria Rennes) * C=E9cilia Pradic (Swansea University) * Lutz Strassburger (Inria Saclay) COLOCATION WITH BLC PS24 will be colocated with the British Logic Colloquium meeting of 2024, taking place *5-7 September*. PROGRAM COMMITTEE Juan Aguilera (Vienna University of Technology & Ghent University) Gianluca Curzi (University of Gothenburg & University of Birmingham) Anupam Das (University of Birmingham) [PC Chair] Anton Freund (University of W=FCrzburg) Marianna Girlando (University of Amsterdam) Raheleh Jalali (Czech Academy of Sciences) Leszek Kolodziejczyk (University of Warsaw) Stepan Kuznetsov (Steklov Mathematical Institute) Sonia Marin (University of Birmingham) Sara Negri (University of Genoa) Isabel Oitavem (CMA and DM, FCT, Universidade NOVA de Lisboa) Fedor Pakhomov (Ghent University) Frank Pfenning (Carnegie Mellon University) Thomas Powell (University of Bath) Revantha Ramanayake (University of Groningen) Alexis Saurin (CNRS) Keita Yokoyama (Tohoku University) --_000_CWXP265MB074348262C1BD4B8BF330B11D9EE2CWXP265MB0743GBRP_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable <html> <head> <meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3Diso-8859-= 1"> </head> <body> <div><span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 1= 4.6667px; font-style: normal; font-variant-ligatures: normal; font-variant-= caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-al= ign: start; text-indent: 0px; text-transform: none; widows: 2; word-spacing= : 0px; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration= -thickness: initial; text-decoration-style: initial; text-decoration-color:= initial; float: none; display: inline !important; color: rgb(33, 33, 33);"= >***Final Call for Abstracts***</span><br style=3D"font-family: -apple-system, Helve= ticaNeue; font-size: 14.6667px; font-style: normal; font-variant-ligatures:= normal; font-variant-caps: normal; font-weight: 400; letter-spacing: norma= l; orphans: 2; text-align: start; text-indent: 0px; text-transform: none; w= idows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; white-space: n= ormal; text-decoration-thickness: initial; text-decoration-style: initial; = text-decoration-color: initial; color: rgb(33, 33, 33);"> </div> <div dir=3D"auto"><span style=3D"font-family: -apple-system, HelveticaNeue;= font-size: 14.6667px; font-style: normal; font-variant-ligatures: normal; = font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphan= s: 2; text-align: start; text-indent: 0px; text-transform: none; widows: 2;= word-spacing: 0px; -webkit-text-stroke-width: 0px; white-space: normal; te= xt-decoration-thickness: initial; text-decoration-style: initial; text-deco= ration-color: initial; float: none; display: inline !important; color: rgb(= 33, 33, 33);">--- Extended deadline: May 24 ---</span></div> <br style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667p= x; font-style: normal; font-variant-ligatures: normal; font-variant-caps: n= ormal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: st= art; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; = -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickn= ess: initial; text-decoration-style: initial; text-decoration-color: initia= l; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">6th PROOF SOCIETY INTERNATIONAL SCHOOL AND WORKSHOP 2024 [PS24]</span><br styl= e=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667px; font-= style: normal; font-variant-ligatures: normal; font-variant-caps: normal; f= ont-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; tex= t-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-= text-stroke-width: 0px; white-space: normal; text-decoration-thickness: ini= tial; text-decoration-style: initial; text-decoration-color: initial; color= : rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">Univ= ersity of Birmingham, UK</span><br style=3D"font-family: -apple-system, Helvetica= Neue; font-size: 14.6667px; font-style: normal; font-variant-ligatures: nor= mal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; o= rphans: 2; text-align: start; text-indent: 0px; text-transform: none; widow= s: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; white-space: norma= l; text-decoration-thickness: initial; text-decoration-style: initial; text= -decoration-color: initial; color: rgb(33, 33, 33);"> <a href=3D"https://proofsociety2024.com/" data-outlook-id=3D"26690686-9657-= 4c66-8ce7-040a9542bd07" data-linkindex=3D"0" style=3D"font-family: -apple-s= ystem, HelveticaNeue; font-size: 14.6667px; font-style: normal; font-varian= t-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-sp= acing: normal; orphans: 2; text-align: start; text-indent: 0px; text-transf= orm: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; wh= ite-space: normal; color: rgb(0, 120, 212);" rel=3D"noreferrer noopener">ht= tps://proofsociety2024.com</a><br style=3D"font-family: -apple-system, Helv= eticaNeue; font-size: 14.6667px; font-style: normal; font-variant-ligatures= : normal; font-variant-caps: normal; font-weight: 400; letter-spacing: norm= al; orphans: 2; text-align: start; text-indent: 0px; text-transform: none; = widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; white-space: = normal; text-decoration-thickness: initial; text-decoration-style: initial;= text-decoration-color: initial; color: rgb(33, 33, 33);"> <br style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667p= x; font-style: normal; font-variant-ligatures: normal; font-variant-caps: n= ormal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: st= art; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; = -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickn= ess: initial; text-decoration-style: initial; text-decoration-color: initia= l; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">Abst= ract deadline: May 24 (extended)</span><br style=3D"font-family: -apple-system,= HelveticaNeue; font-size: 14.6667px; font-style: normal; font-variant-liga= tures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing:= normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: n= one; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; white-sp= ace: normal; text-decoration-thickness: initial; text-decoration-style: ini= tial; text-decoration-color: initial; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">Noti= fication: June 7</span><br style=3D"font-family: -apple-system, HelveticaNeue; font-= size: 14.6667px; font-style: normal; font-variant-ligatures: normal; font-v= ariant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; = text-align: start; text-indent: 0px; text-transform: none; widows: 2; word-= spacing: 0px; -webkit-text-stroke-width: 0px; white-space: normal; text-dec= oration-thickness: initial; text-decoration-style: initial; text-decoration= -color: initial; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">Fina= l version: June 14</span><br style=3D"font-family: -apple-system, HelveticaN= eue; font-size: 14.6667px; font-style: normal; font-variant-ligatures: norm= al; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; or= phans: 2; text-align: start; text-indent: 0px; text-transform: none; widows= : 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; white-space: normal= ; text-decoration-thickness: initial; text-decoration-style: initial; text-= decoration-color: initial; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">Scho= ol: 9-11 September</span><br style=3D"font-family: -apple-system, HelveticaNeu= e; font-size: 14.6667px; font-style: normal; font-variant-ligatures: normal= ; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orph= ans: 2; text-align: start; text-indent: 0px; text-transform: none; widows: = 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; white-space: normal; = text-decoration-thickness: initial; text-decoration-style: initial; text-de= coration-color: initial; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">Work= shop: 11-13 September</span><br style=3D"font-family: -apple-system, HelveticaNe= ue; font-size: 14.6667px; font-style: normal; font-variant-ligatures: norma= l; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orp= hans: 2; text-align: start; text-indent: 0px; text-transform: none; widows:= 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; white-space: normal;= text-decoration-thickness: initial; text-decoration-style: initial; text-d= ecoration-color: initial; color: rgb(33, 33, 33);"> <br style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667p= x; font-style: normal; font-variant-ligatures: normal; font-variant-caps: n= ormal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: st= art; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; = -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickn= ess: initial; text-decoration-style: initial; text-decoration-color: initia= l; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">The 6th Proof Society International School and Workshop will be</span><br styl= e=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667px; font-= style: normal; font-variant-ligatures: normal; font-variant-caps: normal; f= ont-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; tex= t-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-= text-stroke-width: 0px; white-space: normal; text-decoration-thickness: ini= tial; text-decoration-style: initial; text-decoration-color: initial; color= : rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">orga= nised by the University of Birmingham. The event takes place under</span><br sty= le=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667px; font= -style: normal; font-variant-ligatures: normal; font-variant-caps: normal; = font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; te= xt-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit= -text-stroke-width: 0px; white-space: normal; text-decoration-thickness: in= itial; text-decoration-style: initial; text-decoration-color: initial; colo= r: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">the auspices of The Proof Society, a recently formed society to support</span>= <br style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667p= x; font-style: normal; font-variant-ligatures: normal; font-variant-caps: n= ormal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: st= art; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; = -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickn= ess: initial; text-decoration-style: initial; text-decoration-color: initia= l; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">the notion of proof in its broadest sense. The Proof Society has</span><br sty= le=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667px; font= -style: normal; font-variant-ligatures: normal; font-variant-caps: normal; = font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; te= xt-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit= -text-stroke-width: 0px; white-space: normal; text-decoration-thickness: in= itial; text-decoration-style: initial; text-decoration-color: initial; colo= r: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">orga= nised an annual school and workshop since 2018 (except 2020 due to</span><br sty= le=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667px; font= -style: normal; font-variant-ligatures: normal; font-variant-caps: normal; = font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; te= xt-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit= -text-stroke-width: 0px; white-space: normal; text-decoration-thickness: in= itial; text-decoration-style: initial; text-decoration-color: initial; colo= r: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">the COVID19 pandemic).</span><br style=3D"font-family: -apple-system, Helvetic= aNeue; font-size: 14.6667px; font-style: normal; font-variant-ligatures: no= rmal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; = orphans: 2; text-align: start; text-indent: 0px; text-transform: none; wido= ws: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; white-space: norm= al; text-decoration-thickness: initial; text-decoration-style: initial; tex= t-decoration-color: initial; color: rgb(33, 33, 33);"> <br style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667p= x; font-style: normal; font-variant-ligatures: normal; font-variant-caps: n= ormal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: st= art; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; = -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickn= ess: initial; text-decoration-style: initial; text-decoration-color: initia= l; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">The aim of the School is to cover basic and advanced topics in proof</span><br= style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667px; = font-style: normal; font-variant-ligatures: normal; font-variant-caps: norm= al; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start= ; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -we= bkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickness= : initial; text-decoration-style: initial; text-decoration-color: initial; = color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">theo= ry and related subjects. The School will be aimed at Master's and</span><br s= tyle=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667px; fo= nt-style: normal; font-variant-ligatures: normal; font-variant-caps: normal= ; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; = text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webk= it-text-stroke-width: 0px; white-space: normal; text-decoration-thickness: = initial; text-decoration-style: initial; text-decoration-color: initial; co= lor: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">PhD students interested in proof theory, as well as more senior</span><br styl= e=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667px; font-= style: normal; font-variant-ligatures: normal; font-variant-caps: normal; f= ont-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; tex= t-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-= text-stroke-width: 0px; white-space: normal; text-decoration-thickness: ini= tial; text-decoration-style: initial; text-decoration-color: initial; color= : rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">rese= archers from related areas in computer science, mathematics and</span><br style=3D= "font-family: -apple-system, HelveticaNeue; font-size: 14.6667px; font-styl= e: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-= weight: 400; letter-spacing: normal; orphans: 2; text-align: start; text-in= dent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-text= -stroke-width: 0px; white-space: normal; text-decoration-thickness: initial= ; text-decoration-style: initial; text-decoration-color: initial; color: rg= b(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">phil= osophy. The workshop is aimed at all researchers, from students to</span><br style= =3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667px; font-s= tyle: normal; font-variant-ligatures: normal; font-variant-caps: normal; fo= nt-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; text= -indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-t= ext-stroke-width: 0px; white-space: normal; text-decoration-thickness: init= ial; text-decoration-style: initial; text-decoration-color: initial; color:= rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">prof= essors, working around proof theory and its applications. It will</span><br style= =3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667px; font-s= tyle: normal; font-variant-ligatures: normal; font-variant-caps: normal; fo= nt-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; text= -indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-t= ext-stroke-width: 0px; white-space: normal; text-decoration-thickness: init= ial; text-decoration-style: initial; text-decoration-color: initial; color:= rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">cons= ist of a mixture of invited and contributed talks.</span><br style=3D"font-fam= ily: -apple-system, HelveticaNeue; font-size: 14.6667px; font-style: normal= ; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 4= 00; letter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px= ; text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-w= idth: 0px; white-space: normal; text-decoration-thickness: initial; text-de= coration-style: initial; text-decoration-color: initial; color: rgb(33, 33,= 33);"> <br style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667p= x; font-style: normal; font-variant-ligatures: normal; font-variant-caps: n= ormal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: st= art; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; = -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickn= ess: initial; text-decoration-style: initial; text-decoration-color: initia= l; color: rgb(33, 33, 33);"> <br style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667p= x; font-style: normal; font-variant-ligatures: normal; font-variant-caps: n= ormal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: st= art; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; = -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickn= ess: initial; text-decoration-style: initial; text-decoration-color: initia= l; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">SCOP= E</span><br style=3D"font-family: -apple-system, HelveticaNeue; font-size: = 14.6667px; font-style: normal; font-variant-ligatures: normal; font-variant= -caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-a= lign: start; text-indent: 0px; text-transform: none; widows: 2; word-spacin= g: 0px; -webkit-text-stroke-width: 0px; white-space: normal; text-decoratio= n-thickness: initial; text-decoration-style: initial; text-decoration-color= : initial; color: rgb(33, 33, 33);"> <br style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667p= x; font-style: normal; font-variant-ligatures: normal; font-variant-caps: n= ormal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: st= art; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; = -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickn= ess: initial; text-decoration-style: initial; text-decoration-color: initia= l; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">The School and Workshop aim to promote proof theory and its related</span><br = style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667px; f= ont-style: normal; font-variant-ligatures: normal; font-variant-caps: norma= l; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start;= text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -web= kit-text-stroke-width: 0px; white-space: normal; text-decoration-thickness:= initial; text-decoration-style: initial; text-decoration-color: initial; c= olor: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">area= s in the broadest sense. Topics include but are not limited to:</span><br st= yle=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667px; fon= t-style: normal; font-variant-ligatures: normal; font-variant-caps: normal;= font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; t= ext-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webki= t-text-stroke-width: 0px; white-space: normal; text-decoration-thickness: i= nitial; text-decoration-style: initial; text-decoration-color: initial; col= or: rgb(33, 33, 33);"> <br style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667p= x; font-style: normal; font-variant-ligatures: normal; font-variant-caps: n= ormal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: st= art; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; = -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickn= ess: initial; text-decoration-style: initial; text-decoration-color: initia= l; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">* Applied proof theory</span><br style=3D"font-family: -apple-system, Helvet= icaNeue; font-size: 14.6667px; font-style: normal; font-variant-ligatures: = normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal= ; orphans: 2; text-align: start; text-indent: 0px; text-transform: none; wi= dows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; white-space: no= rmal; text-decoration-thickness: initial; text-decoration-style: initial; t= ext-decoration-color: initial; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">* Formalised proofs</span><br style=3D"font-family: -apple-system, Helvetica= Neue; font-size: 14.6667px; font-style: normal; font-variant-ligatures: nor= mal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; o= rphans: 2; text-align: start; text-indent: 0px; text-transform: none; widow= s: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; white-space: norma= l; text-decoration-thickness: initial; text-decoration-style: initial; text= -decoration-color: initial; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">* Structural proof theory</span><br style=3D"font-family: -apple-system, Hel= veticaNeue; font-size: 14.6667px; font-style: normal; font-variant-ligature= s: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: nor= mal; orphans: 2; text-align: start; text-indent: 0px; text-transform: none;= widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; white-space:= normal; text-decoration-thickness: initial; text-decoration-style: initial= ; text-decoration-color: initial; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">* Linear logic</span><br style=3D"font-family: -apple-system, HelveticaNeue;= font-size: 14.6667px; font-style: normal; font-variant-ligatures: normal; = font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphan= s: 2; text-align: start; text-indent: 0px; text-transform: none; widows: 2;= word-spacing: 0px; -webkit-text-stroke-width: 0px; white-space: normal; te= xt-decoration-thickness: initial; text-decoration-style: initial; text-deco= ration-color: initial; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">* Computational interpretations of proofs</span><br style=3D"font-family: -a= pple-system, HelveticaNeue; font-size: 14.6667px; font-style: normal; font-= variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; let= ter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-= transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0= px; white-space: normal; text-decoration-thickness: initial; text-decoratio= n-style: initial; text-decoration-color: initial; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">* Computability and proofs, e.g. Reverse Mathematics</span><br style=3D"font= -family: -apple-system, HelveticaNeue; font-size: 14.6667px; font-style: no= rmal; font-variant-ligatures: normal; font-variant-caps: normal; font-weigh= t: 400; letter-spacing: normal; orphans: 2; text-align: start; text-indent:= 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stro= ke-width: 0px; white-space: normal; text-decoration-thickness: initial; tex= t-decoration-style: initial; text-decoration-color: initial; color: rgb(33,= 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">* Philosophy of proof theory</span><br style=3D"font-family: -apple-system, = HelveticaNeue; font-size: 14.6667px; font-style: normal; font-variant-ligat= ures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: = normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: no= ne; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; white-spa= ce: normal; text-decoration-thickness: initial; text-decoration-style: init= ial; text-decoration-color: initial; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">* Proof systems and proof search</span><br style=3D"font-family: -apple-syst= em, HelveticaNeue; font-size: 14.6667px; font-style: normal; font-variant-l= igatures: normal; font-variant-caps: normal; font-weight: 400; letter-spaci= ng: normal; orphans: 2; text-align: start; text-indent: 0px; text-transform= : none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; white= -space: normal; text-decoration-thickness: initial; text-decoration-style: = initial; text-decoration-color: initial; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">* Proof complexity</span><br style=3D"font-family: -apple-system, HelveticaN= eue; font-size: 14.6667px; font-style: normal; font-variant-ligatures: norm= al; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; or= phans: 2; text-align: start; text-indent: 0px; text-transform: none; widows= : 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; white-space: normal= ; text-decoration-thickness: initial; text-decoration-style: initial; text-= decoration-color: initial; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">* Automated theorem proving</span><br style=3D"font-family: -apple-system, H= elveticaNeue; font-size: 14.6667px; font-style: normal; font-variant-ligatu= res: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: n= ormal; orphans: 2; text-align: start; text-indent: 0px; text-transform: non= e; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; white-spac= e: normal; text-decoration-thickness: initial; text-decoration-style: initi= al; text-decoration-color: initial; color: rgb(33, 33, 33);"> <br style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667p= x; font-style: normal; font-variant-ligatures: normal; font-variant-caps: n= ormal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: st= art; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; = -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickn= ess: initial; text-decoration-style: initial; text-decoration-color: initia= l; color: rgb(33, 33, 33);"> <br style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667p= x; font-style: normal; font-variant-ligatures: normal; font-variant-caps: n= ormal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: st= art; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; = -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickn= ess: initial; text-decoration-style: initial; text-decoration-color: initia= l; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">SUBM= ISSIONS</span><br style=3D"font-family: -apple-system, HelveticaNeue; font-= size: 14.6667px; font-style: normal; font-variant-ligatures: normal; font-v= ariant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; = text-align: start; text-indent: 0px; text-transform: none; widows: 2; word-= spacing: 0px; -webkit-text-stroke-width: 0px; white-space: normal; text-dec= oration-thickness: initial; text-decoration-style: initial; text-decoration= -color: initial; color: rgb(33, 33, 33);"> <br style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667p= x; font-style: normal; font-variant-ligatures: normal; font-variant-caps: n= ormal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: st= art; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; = -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickn= ess: initial; text-decoration-style: initial; text-decoration-color: initia= l; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">For the Workshop, we solicit submissions of short abstracts of *up to 2</span>= <br style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667p= x; font-style: normal; font-variant-ligatures: normal; font-variant-caps: n= ormal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: st= art; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; = -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickn= ess: initial; text-decoration-style: initial; text-decoration-color: initia= l; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">page= s* (not including references), to be presented as a short talk.</span><br sty= le=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667px; font= -style: normal; font-variant-ligatures: normal; font-variant-caps: normal; = font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; te= xt-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit= -text-stroke-width: 0px; white-space: normal; text-decoration-thickness: in= itial; text-decoration-style: initial; text-decoration-color: initial; colo= r: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">Ther= e are no formal published proceedings, but accepted abstracts will</span><br= style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667px; = font-style: normal; font-variant-ligatures: normal; font-variant-caps: norm= al; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start= ; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -we= bkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickness= : initial; text-decoration-style: initial; text-decoration-color: initial; = color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">be made available for the workshop. Please submit your abstracts via</span><b= r style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667px;= font-style: normal; font-variant-ligatures: normal; font-variant-caps: nor= mal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: star= t; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -w= ebkit-text-stroke-width: 0px; white-space: normal; text-decoration-thicknes= s: initial; text-decoration-style: initial; text-decoration-color: initial;= color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">easy= chair:</span><br style=3D"font-family: -apple-system, HelveticaNeue; font-s= ize: 14.6667px; font-style: normal; font-variant-ligatures: normal; font-va= riant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; t= ext-align: start; text-indent: 0px; text-transform: none; widows: 2; word-s= pacing: 0px; -webkit-text-stroke-width: 0px; white-space: normal; text-deco= ration-thickness: initial; text-decoration-style: initial; text-decoration-= color: initial; color: rgb(33, 33, 33);"> <br style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667p= x; font-style: normal; font-variant-ligatures: normal; font-variant-caps: n= ormal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: st= art; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; = -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickn= ess: initial; text-decoration-style: initial; text-decoration-color: initia= l; color: rgb(33, 33, 33);"> <a href=3D"https://easychair.org/conferences/?conf=3Dps24" data-outlook-id= =3D"eeae3e62-e6b0-4824-ae32-8eb079b17387" data-linkindex=3D"1" style=3D"fon= t-family: -apple-system, HelveticaNeue; font-size: 14.6667px; font-style: n= ormal; font-variant-ligatures: normal; font-variant-caps: normal; font-weig= ht: 400; letter-spacing: normal; orphans: 2; text-align: start; text-indent= : 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-str= oke-width: 0px; white-space: normal; color: rgb(0, 120, 212);" rel=3D"noref= errer noopener">https://easychair.org/conferences/?conf=3Dps24</a><br style= =3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667px; font-s= tyle: normal; font-variant-ligatures: normal; font-variant-caps: normal; fo= nt-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; text= -indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-t= ext-stroke-width: 0px; white-space: normal; text-decoration-thickness: init= ial; text-decoration-style: initial; text-decoration-color: initial; color:= rgb(33, 33, 33);"> <br style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667p= x; font-style: normal; font-variant-ligatures: normal; font-variant-caps: n= ormal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: st= art; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; = -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickn= ess: initial; text-decoration-style: initial; text-decoration-color: initia= l; color: rgb(33, 33, 33);"> <br style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667p= x; font-style: normal; font-variant-ligatures: normal; font-variant-caps: n= ormal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: st= art; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; = -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickn= ess: initial; text-decoration-style: initial; text-decoration-color: initia= l; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">IMPO= RTANT DATES</span><br style=3D"font-family: -apple-system, HelveticaNeue; font-s= ize: 14.6667px; font-style: normal; font-variant-ligatures: normal; font-va= riant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; t= ext-align: start; text-indent: 0px; text-transform: none; widows: 2; word-s= pacing: 0px; -webkit-text-stroke-width: 0px; white-space: normal; text-deco= ration-thickness: initial; text-decoration-style: initial; text-decoration-= color: initial; color: rgb(33, 33, 33);"> <br style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667p= x; font-style: normal; font-variant-ligatures: normal; font-variant-caps: n= ormal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: st= art; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; = -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickn= ess: initial; text-decoration-style: initial; text-decoration-color: initia= l; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">Abst= ract deadline: 24 May 2024 (extended)</span><br style=3D"font-family: -apple-sy= stem, HelveticaNeue; font-size: 14.6667px; font-style: normal; font-variant= -ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spa= cing: normal; orphans: 2; text-align: start; text-indent: 0px; text-transfo= rm: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; whi= te-space: normal; text-decoration-thickness: initial; text-decoration-style= : initial; text-decoration-color: initial; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">Noti= fication: 7 June 2024</span><br style=3D"font-family: -apple-system, HelveticaNeue; = font-size: 14.6667px; font-style: normal; font-variant-ligatures: normal; f= ont-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans= : 2; text-align: start; text-indent: 0px; text-transform: none; widows: 2; = word-spacing: 0px; -webkit-text-stroke-width: 0px; white-space: normal; tex= t-decoration-thickness: initial; text-decoration-style: initial; text-decor= ation-color: initial; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">Fina= l versions: 14 June 2024</span><br style=3D"font-family: -apple-system, Helv= eticaNeue; font-size: 14.6667px; font-style: normal; font-variant-ligatures= : normal; font-variant-caps: normal; font-weight: 400; letter-spacing: norm= al; orphans: 2; text-align: start; text-indent: 0px; text-transform: none; = widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; white-space: = normal; text-decoration-thickness: initial; text-decoration-style: initial;= text-decoration-color: initial; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">Scho= ol: 9-11 September 2024</span><br style=3D"font-family: -apple-system, Helveti= caNeue; font-size: 14.6667px; font-style: normal; font-variant-ligatures: n= ormal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal;= orphans: 2; text-align: start; text-indent: 0px; text-transform: none; wid= ows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; white-space: nor= mal; text-decoration-thickness: initial; text-decoration-style: initial; te= xt-decoration-color: initial; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">Work= shop: 11-13 September 2024</span><br style=3D"font-family: -apple-system, Helvet= icaNeue; font-size: 14.6667px; font-style: normal; font-variant-ligatures: = normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal= ; orphans: 2; text-align: start; text-indent: 0px; text-transform: none; wi= dows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; white-space: no= rmal; text-decoration-thickness: initial; text-decoration-style: initial; t= ext-decoration-color: initial; color: rgb(33, 33, 33);"> <br style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667p= x; font-style: normal; font-variant-ligatures: normal; font-variant-caps: n= ormal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: st= art; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; = -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickn= ess: initial; text-decoration-style: initial; text-decoration-color: initia= l; color: rgb(33, 33, 33);"> <br style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667p= x; font-style: normal; font-variant-ligatures: normal; font-variant-caps: n= ormal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: st= art; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; = -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickn= ess: initial; text-decoration-style: initial; text-decoration-color: initia= l; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">BEST STUDENT PRESENTATION AWARD</span><br style=3D"font-family: -apple-system, = HelveticaNeue; font-size: 14.6667px; font-style: normal; font-variant-ligat= ures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: = normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: no= ne; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; white-spa= ce: normal; text-decoration-thickness: initial; text-decoration-style: init= ial; text-decoration-color: initial; color: rgb(33, 33, 33);"> <br style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667p= x; font-style: normal; font-variant-ligatures: normal; font-variant-caps: n= ormal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: st= art; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; = -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickn= ess: initial; text-decoration-style: initial; text-decoration-color: initia= l; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">As is traditional for the Proof Society Workshop, there will be an award</spa= n><br style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">for the *Best Student Presentation* at the workshop.</span><br style=3D"font-f= amily: -apple-system, HelveticaNeue; font-size: 14.6667px; font-style: norm= al; font-variant-ligatures: normal; font-variant-caps: normal; font-weight:= 400; letter-spacing: normal; orphans: 2; text-align: start; text-indent: 0= px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke= -width: 0px; white-space: normal; text-decoration-thickness: initial; text-= decoration-style: initial; text-decoration-color: initial; color: rgb(33, 3= 3, 33);"> <br style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667p= x; font-style: normal; font-variant-ligatures: normal; font-variant-caps: n= ormal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: st= art; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; = -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickn= ess: initial; text-decoration-style: initial; text-decoration-color: initia= l; color: rgb(33, 33, 33);"> <br style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667p= x; font-style: normal; font-variant-ligatures: normal; font-variant-caps: n= ormal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: st= art; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; = -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickn= ess: initial; text-decoration-style: initial; text-decoration-color: initia= l; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">INVI= TED LECTURERS AND SPEAKERS</span><br style=3D"font-family: -apple-system, Helv= eticaNeue; font-size: 14.6667px; font-style: normal; font-variant-ligatures= : normal; font-variant-caps: normal; font-weight: 400; letter-spacing: norm= al; orphans: 2; text-align: start; text-indent: 0px; text-transform: none; = widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; white-space: = normal; text-decoration-thickness: initial; text-decoration-style: initial;= text-decoration-color: initial; color: rgb(33, 33, 33);"> <br style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667p= x; font-style: normal; font-variant-ligatures: normal; font-variant-caps: n= ormal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: st= art; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; = -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickn= ess: initial; text-decoration-style: initial; text-decoration-color: initia= l; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">The School will consist of courses by the following lecturers:</span><br style= =3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667px; font-s= tyle: normal; font-variant-ligatures: normal; font-variant-caps: normal; fo= nt-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; text= -indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-t= ext-stroke-width: 0px; white-space: normal; text-decoration-thickness: init= ial; text-decoration-style: initial; text-decoration-color: initial; color:= rgb(33, 33, 33);"> <br style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667p= x; font-style: normal; font-variant-ligatures: normal; font-variant-caps: n= ormal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: st= art; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; = -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickn= ess: initial; text-decoration-style: initial; text-decoration-color: initia= l; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">* Silvia Ghilezan (University of Novi Sad)</span><br style=3D"font-family: -= apple-system, HelveticaNeue; font-size: 14.6667px; font-style: normal; font= -variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; le= tter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text= -transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: = 0px; white-space: normal; text-decoration-thickness: initial; text-decorati= on-style: initial; text-decoration-color: initial; color: rgb(33, 33, 33);"= > <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">* Ulrich Kohlenbach (TU Darmstadt)</span><br style=3D"font-family: -apple-sy= stem, HelveticaNeue; font-size: 14.6667px; font-style: normal; font-variant= -ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spa= cing: normal; orphans: 2; text-align: start; text-indent: 0px; text-transfo= rm: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; whi= te-space: normal; text-decoration-thickness: initial; text-decoration-style= : initial; text-decoration-color: initial; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">* Hiroakira Ono (JAIST)</span><br style=3D"font-family: -apple-system, Helve= ticaNeue; font-size: 14.6667px; font-style: normal; font-variant-ligatures:= normal; font-variant-caps: normal; font-weight: 400; letter-spacing: norma= l; orphans: 2; text-align: start; text-indent: 0px; text-transform: none; w= idows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; white-space: n= ormal; text-decoration-thickness: initial; text-decoration-style: initial; = text-decoration-color: initial; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">* Paul Shafer (University of Leeds)</span><br style=3D"font-family: -apple-s= ystem, HelveticaNeue; font-size: 14.6667px; font-style: normal; font-varian= t-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-sp= acing: normal; orphans: 2; text-align: start; text-indent: 0px; text-transf= orm: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; wh= ite-space: normal; text-decoration-thickness: initial; text-decoration-styl= e: initial; text-decoration-color: initial; color: rgb(33, 33, 33);"> <br style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667p= x; font-style: normal; font-variant-ligatures: normal; font-variant-caps: n= ormal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: st= art; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; = -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickn= ess: initial; text-decoration-style: initial; text-decoration-color: initia= l; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">The Workshop will include invited talks by the following speakers:</span><br s= tyle=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667px; fo= nt-style: normal; font-variant-ligatures: normal; font-variant-caps: normal= ; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; = text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webk= it-text-stroke-width: 0px; white-space: normal; text-decoration-thickness: = initial; text-decoration-style: initial; text-decoration-color: initial; co= lor: rgb(33, 33, 33);"> <br style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667p= x; font-style: normal; font-variant-ligatures: normal; font-variant-caps: n= ormal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: st= art; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; = -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickn= ess: initial; text-decoration-style: initial; text-decoration-color: initia= l; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">* Liron Cohen (Ben-Gurion University)</span><br style=3D"font-family: -apple= -system, HelveticaNeue; font-size: 14.6667px; font-style: normal; font-vari= ant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-= spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-tran= sform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; = white-space: normal; text-decoration-thickness: initial; text-decoration-st= yle: initial; text-decoration-color: initial; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">* Pierre-Marie P=E9drot (Inria Rennes)</span><br style=3D"font-family: -appl= e-system, HelveticaNeue; font-size: 14.6667px; font-style: normal; font-var= iant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter= -spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-tra= nsform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px;= white-space: normal; text-decoration-thickness: initial; text-decoration-s= tyle: initial; text-decoration-color: initial; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">* C=E9cilia Pradic (Swansea University)</span><br style=3D"font-family: -app= le-system, HelveticaNeue; font-size: 14.6667px; font-style: normal; font-va= riant-ligatures: normal; font-variant-caps: normal; font-weight: 400; lette= r-spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-tr= ansform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px= ; white-space: normal; text-decoration-thickness: initial; text-decoration-= style: initial; text-decoration-color: initial; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">* Lutz Strassburger (Inria Saclay)</span><br style=3D"font-family: -apple-sy= stem, HelveticaNeue; font-size: 14.6667px; font-style: normal; font-variant= -ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spa= cing: normal; orphans: 2; text-align: start; text-indent: 0px; text-transfo= rm: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; whi= te-space: normal; text-decoration-thickness: initial; text-decoration-style= : initial; text-decoration-color: initial; color: rgb(33, 33, 33);"> <br style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667p= x; font-style: normal; font-variant-ligatures: normal; font-variant-caps: n= ormal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: st= art; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; = -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickn= ess: initial; text-decoration-style: initial; text-decoration-color: initia= l; color: rgb(33, 33, 33);"> <br style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667p= x; font-style: normal; font-variant-ligatures: normal; font-variant-caps: n= ormal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: st= art; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; = -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickn= ess: initial; text-decoration-style: initial; text-decoration-color: initia= l; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">COLO= CATION WITH BLC</span><br style=3D"font-family: -apple-system, HelveticaNeue; fon= t-size: 14.6667px; font-style: normal; font-variant-ligatures: normal; font= -variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2= ; text-align: start; text-indent: 0px; text-transform: none; widows: 2; wor= d-spacing: 0px; -webkit-text-stroke-width: 0px; white-space: normal; text-d= ecoration-thickness: initial; text-decoration-style: initial; text-decorati= on-color: initial; color: rgb(33, 33, 33);"> <br style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667p= x; font-style: normal; font-variant-ligatures: normal; font-variant-caps: n= ormal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: st= art; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; = -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickn= ess: initial; text-decoration-style: initial; text-decoration-color: initia= l; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">PS24 will be colocated with the British Logic Colloquium meeting of</span><br s= tyle=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667px; fo= nt-style: normal; font-variant-ligatures: normal; font-variant-caps: normal= ; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; = text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webk= it-text-stroke-width: 0px; white-space: normal; text-decoration-thickness: = initial; text-decoration-style: initial; text-decoration-color: initial; co= lor: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">2024= , taking place *5-7 September*.</span><br style=3D"font-family: -apple-syste= m, HelveticaNeue; font-size: 14.6667px; font-style: normal; font-variant-li= gatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacin= g: normal; orphans: 2; text-align: start; text-indent: 0px; text-transform:= none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; white-= space: normal; text-decoration-thickness: initial; text-decoration-style: i= nitial; text-decoration-color: initial; color: rgb(33, 33, 33);"> <br style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667p= x; font-style: normal; font-variant-ligatures: normal; font-variant-caps: n= ormal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: st= art; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; = -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickn= ess: initial; text-decoration-style: initial; text-decoration-color: initia= l; color: rgb(33, 33, 33);"> <br style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667p= x; font-style: normal; font-variant-ligatures: normal; font-variant-caps: n= ormal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: st= art; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; = -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickn= ess: initial; text-decoration-style: initial; text-decoration-color: initia= l; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">PROG= RAM COMMITTEE</span><br style=3D"font-family: -apple-system, HelveticaNeue; fo= nt-size: 14.6667px; font-style: normal; font-variant-ligatures: normal; fon= t-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: = 2; text-align: start; text-indent: 0px; text-transform: none; widows: 2; wo= rd-spacing: 0px; -webkit-text-stroke-width: 0px; white-space: normal; text-= decoration-thickness: initial; text-decoration-style: initial; text-decorat= ion-color: initial; color: rgb(33, 33, 33);"> <br style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667p= x; font-style: normal; font-variant-ligatures: normal; font-variant-caps: n= ormal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: st= art; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; = -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickn= ess: initial; text-decoration-style: initial; text-decoration-color: initia= l; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">Juan Aguilera (Vienna University of Technology & Ghent University)</span><b= r style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667px;= font-style: normal; font-variant-ligatures: normal; font-variant-caps: nor= mal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: star= t; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -w= ebkit-text-stroke-width: 0px; white-space: normal; text-decoration-thicknes= s: initial; text-decoration-style: initial; text-decoration-color: initial;= color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">Gian= luca Curzi (University of Gothenburg & University of Birmingham)</span><br = style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.6667px; f= ont-style: normal; font-variant-ligatures: normal; font-variant-caps: norma= l; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start;= text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -web= kit-text-stroke-width: 0px; white-space: normal; text-decoration-thickness:= initial; text-decoration-style: initial; text-decoration-color: initial; c= olor: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">Anup= am Das (University of Birmingham) [PC Chair]</span><br style=3D"font-family: = -apple-system, HelveticaNeue; font-size: 14.6667px; font-style: normal; fon= t-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; l= etter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px; tex= t-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width:= 0px; white-space: normal; text-decoration-thickness: initial; text-decorat= ion-style: initial; text-decoration-color: initial; color: rgb(33, 33, 33);= "> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">Anto= n Freund (University of W=FCrzburg)</span><br style=3D"font-family: -apple-s= ystem, HelveticaNeue; font-size: 14.6667px; font-style: normal; font-varian= t-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-sp= acing: normal; orphans: 2; text-align: start; text-indent: 0px; text-transf= orm: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; wh= ite-space: normal; text-decoration-thickness: initial; text-decoration-styl= e: initial; text-decoration-color: initial; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">Mari= anna Girlando (University of Amsterdam)</span><br style=3D"font-family: -apple-= system, HelveticaNeue; font-size: 14.6667px; font-style: normal; font-varia= nt-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-s= pacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-trans= form: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; w= hite-space: normal; text-decoration-thickness: initial; text-decoration-sty= le: initial; text-decoration-color: initial; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">Rahe= leh Jalali (Czech Academy of Sciences)</span><br style=3D"font-family: -apple-= system, HelveticaNeue; font-size: 14.6667px; font-style: normal; font-varia= nt-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-s= pacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-trans= form: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; w= hite-space: normal; text-decoration-thickness: initial; text-decoration-sty= le: initial; text-decoration-color: initial; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">Lesz= ek Kolodziejczyk (University of Warsaw)</span><br style=3D"font-family: -appl= e-system, HelveticaNeue; font-size: 14.6667px; font-style: normal; font-var= iant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter= -spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-tra= nsform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px;= white-space: normal; text-decoration-thickness: initial; text-decoration-s= tyle: initial; text-decoration-color: initial; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">Step= an Kuznetsov (Steklov Mathematical Institute)</span><br style=3D"font-family:= -apple-system, HelveticaNeue; font-size: 14.6667px; font-style: normal; fo= nt-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; = letter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px; te= xt-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width= : 0px; white-space: normal; text-decoration-thickness: initial; text-decora= tion-style: initial; text-decoration-color: initial; color: rgb(33, 33, 33)= ;"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">Soni= a Marin (University of Birmingham)</span><br style=3D"font-family: -apple-sy= stem, HelveticaNeue; font-size: 14.6667px; font-style: normal; font-variant= -ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spa= cing: normal; orphans: 2; text-align: start; text-indent: 0px; text-transfo= rm: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; whi= te-space: normal; text-decoration-thickness: initial; text-decoration-style= : initial; text-decoration-color: initial; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">Sara Negri (University of Genoa)</span><br style=3D"font-family: -apple-system,= HelveticaNeue; font-size: 14.6667px; font-style: normal; font-variant-liga= tures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing:= normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: n= one; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; white-sp= ace: normal; text-decoration-thickness: initial; text-decoration-style: ini= tial; text-decoration-color: initial; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">Isab= el Oitavem (CMA and DM, FCT, Universidade NOVA de Lisboa)</span><br style=3D"= font-family: -apple-system, HelveticaNeue; font-size: 14.6667px; font-style= : normal; font-variant-ligatures: normal; font-variant-caps: normal; font-w= eight: 400; letter-spacing: normal; orphans: 2; text-align: start; text-ind= ent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-= stroke-width: 0px; white-space: normal; text-decoration-thickness: initial;= text-decoration-style: initial; text-decoration-color: initial; color: rgb= (33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">Fedo= r Pakhomov (Ghent University)</span><br style=3D"font-family: -apple-system,= HelveticaNeue; font-size: 14.6667px; font-style: normal; font-variant-liga= tures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing:= normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: n= one; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; white-sp= ace: normal; text-decoration-thickness: initial; text-decoration-style: ini= tial; text-decoration-color: initial; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">Fran= k Pfenning (Carnegie Mellon University)</span><br style=3D"font-family: -app= le-system, HelveticaNeue; font-size: 14.6667px; font-style: normal; font-va= riant-ligatures: normal; font-variant-caps: normal; font-weight: 400; lette= r-spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-tr= ansform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px= ; white-space: normal; text-decoration-thickness: initial; text-decoration-= style: initial; text-decoration-color: initial; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">Thom= as Powell (University of Bath)</span><br style=3D"font-family: -apple-system,= HelveticaNeue; font-size: 14.6667px; font-style: normal; font-variant-liga= tures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing:= normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: n= one; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; white-sp= ace: normal; text-decoration-thickness: initial; text-decoration-style: ini= tial; text-decoration-color: initial; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">Reva= ntha Ramanayake (University of Groningen)</span><br style=3D"font-family: -appl= e-system, HelveticaNeue; font-size: 14.6667px; font-style: normal; font-var= iant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter= -spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-tra= nsform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px;= white-space: normal; text-decoration-thickness: initial; text-decoration-s= tyle: initial; text-decoration-color: initial; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">Alex= is Saurin (CNRS)</span><br style=3D"font-family: -apple-system, HelveticaNeue= ; font-size: 14.6667px; font-style: normal; font-variant-ligatures: normal;= font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orpha= ns: 2; text-align: start; text-indent: 0px; text-transform: none; widows: 2= ; word-spacing: 0px; -webkit-text-stroke-width: 0px; white-space: normal; t= ext-decoration-thickness: initial; text-decoration-style: initial; text-dec= oration-color: initial; color: rgb(33, 33, 33);"> <span style=3D"font-family: -apple-system, HelveticaNeue; font-size: 14.666= 7px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:= normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: = start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px= ; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thic= kness: initial; text-decoration-style: initial; text-decoration-color: init= ial; float: none; display: inline !important; color: rgb(33, 33, 33);">Keit= a Yokoyama (Tohoku University)</span><br> </body> </html> --_000_CWXP265MB074348262C1BD4B8BF330B11D9EE2CWXP265MB0743GBRP_--