ICPC 2023
International Conference on Program Comprehension
|
SOAP 2023
12th ACM SIGPLAN International Workshop on the State of the Art in Program Analysis
|
ATVA 2023
Automated Technology for Verification and Analysis
|
Incubator 2023
Population and Social Data Science Summer Incubator Program
|
PROLE 2023
XXII Jornadas sobre Programación y Lenguajes
|
GI @ ICSE 2023
12th International Workshop on Genetic Improvement
|
HCVS 2023
10th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Co-located with ETAPS 2023
|