Dominic OrchardApr 9, 2024
Jack Hughes presenting our work on Program Synthesis from Graded Types at ESOP 2024 https://link.springer.com/chapter/10.1007/978-3-031-57262-3_4 #etaps2024 well done Jack!
Program Synthesis from Graded Types

Graded type systems are a class of type system for fine-grained quantitative reasoning about data-flow in programs. Through the use of resource annotations (or grades), a programmer can express various program properties at the type level, reducing the number of...

SpringerLink
ETAPS ConferencesApr 6, 2024

VerifyThis workshop at ETAPS 2024 has started today and will continue tomorrow!

https://www.pm.inf.ethz.ch/research/verifythis.html

#etaps #etapsconf #etaps2024

VerifyThis Competition

2025 edition at ETAPS 2025 in Hamilton, Canada

Programming Methodology Group
ETAPS ConferencesApr 6, 2024

ETAPS 2024 in Luxembourg City has started today with a number of satellite events!

https://etaps.org/2024/sat-events/

#etaps #etapsconf #etaps2024

Satellite Events

Several satellite events are organized at the weekend 6–7 April before the main conferences. Please refer to the list of them below.

Andrzej Wąsowski (moved away)Apr 6, 2024

I made a simple slide.

**Probability in Computer Science**
_PICS: The best PhD School of the Century_
October 14-18, 2024, https://etaps.org/about/fopss-schools/2024/

#pics #PhDschool #sigplan #siglog #etaps2024 #etaps @ETAPSconf @ACM

Probability in Computer Science (PICS) 2024

5th Ph.D. school in the series of Foundations of Programming and Software Systems. Copenhagen, October 14–18, 2024.

RanaldCloustonSep 14, 2023
And a #CallForPapers for one of my favourite conferences: #FoSSaCS #FoSSaCS2024 (Foundations of Software Science and Computation Structures) "invites submissions on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems". https://etaps.org/2024/conferences/fossacs/ . FoSSaCS is part of the #ETAPS #ETAPS2024 collection of conferences #TCS #TheoreticalCS