FoPPS Summer School 2026, co-located with FLOC 2026 — First announcement
Bernardo Toninho <[email protected]> Mon, 2 Mar 2026 14:51:47 +0000
| Newsgroups | gmane.comp.lang.caml.inria,gmane.comp.lang.agda |
|---|---|
| Message-ID | <79b96093-8427-492a-adb6-8ddddd86877a@Spark> |
--69a5a413_1190cde7_c3d Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Dear all, We are announcing the 6th edition of the Summer School on =46oundations o= f Programming and Software Systems (=46oPSS 2026), co-located with =46LOC= 2026 and taking place July 13-17. The 2026 =46oundations of Programming and Software Systems (=46oPSS) Summ= er School brings together students and researchers to explore =22Emerging= Approaches for Reasoning about Programs and Proofs.=22 This week-long sc= hool provides a broad and immersive introduction to the latest developmen= ts on reasoning about programming. This year=E2=80=99s edition is dedicat= ed to recent methodologies, spanning advanced type systems, proof assista= nts and logic, and neurosymbolic approaches, that are actively shaping th= e frontier of software verification and program semantics. Our program features a distinguished series of lectures designed to equip= participants with both a solid grounding in established foundations and = a forward-looking perspective on the field's future. By diving into highl= y active research areas, attendees will gain the theoretical tools necess= ary to reason rigorously about complex, modern programs. Through engaging= instruction and collaborative discussions, the school aims to inspire th= e next generation of researchers to push the boundaries of what is possib= le in formal reasoning and program verification. (Early) Registration is open via =46LOC: https://www.floc26.org/registrat= ion Registration includes lunches, coffee breaks and the summer school dinner= . More information about the summer school can be found in the school websi= te:=C2=A0https://lcaires.github.io/fopps2026/ On behalf of the organizing committee, Lu=C3=ADs Caires, Jos=C3=A9 =46ragoso Santos, Andreia Mordido and Bernard= o Toninho --69a5a413_1190cde7_c3d Content-Type: text/html; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline <html xmlns=3D=22http://www.w3.org/1999/xhtml=22> <head> <title></title> </head> <body> <div name=3D=22messageBodySection=22> <div dir=3D=22auto=22>Dear all,<br /> <br /> We are announcing the 6th edition of the Summer School on =46oundations o= f Programming and Software Systems (=46oPSS 2026), co-located with =46LOC= 2026 and taking place July 13-17.<br /> <br /> The 2026 =46oundations of Programming and Software Systems (=46oPSS) Summ= er School brings together students and researchers to explore =22Emerging= Approaches for Reasoning about Programs and Proofs.=22 This week-long sc= hool provides a broad and immersive introduction to the latest developmen= ts on reasoning about programming. This year=E2=80=99s edition is dedicat= ed to recent methodologies, spanning advanced type systems, proof assista= nts and logic, and neurosymbolic approaches, that are actively shaping th= e frontier of software verification and program semantics.<br /> <br /> Our program features a distinguished series of lectures designed to equip= participants with both a solid grounding in established foundations and = a forward-looking perspective on the field's future. By diving into highl= y active research areas, attendees will gain the theoretical tools necess= ary to reason rigorously about complex, modern programs. Through engaging= instruction and collaborative discussions, the school aims to inspire th= e next generation of researchers to push the boundaries of what is possib= le in formal reasoning and program verification.<br /> <br /> (Early) Registration is open via =46LOC: https://www.floc26.org/registrat= ion<br /> Registration includes lunches, coffee breaks and the summer school dinner= .<br /> <br /> More information about the summer school can be found in the school websi= te:&=23160;https://lcaires.github.io/fopps2026/<br /> <br /> <br /> On behalf of the organizing committee,<br /> Lu=C3=ADs Caires, Jos=C3=A9 =46ragoso Santos, Andreia Mordido and Bernard= o Toninho</div> </div> </body> </html> --69a5a413_1190cde7_c3d--