All announcements

Postdoctoral Research Fellow in Formal Methods by Violet Ka I Pun on May 30, 2024

The EAPLS Best Paper Award 2024 by Anton Wijs on May 24, 2024

PhD positions: Verification of AI/ AI Safety by Ekaterina Komendantskaya on May 20, 2024

CfP: The Art, Science, and Engineering of Programming Journal volume 9 by jonathanmedwards on May 9, 2024

SASSUR 2024 - Deadline extended by jldelavara on May 3, 2024

SASSUR 2024 - Deadline approaching by jldelavara on April 25, 2024

IFL 2024 first Call for Papers by Mart Lubbers on April 24, 2024

IJCAR 2024: Call for Participation by Peter Lammich on April 18, 2024

Aurèle Barrière wins the EAPLS Best Dissertation Award 2023 by Andreas Wortmann on April 16, 2024

IJCAR 2024: Woody Bledsoe Awards by Peter Lammich on April 8, 2024

CIbSE 2024 Call for Participation by Andrea Delgado on April 6, 2024

PLDI 2024 - Call for Participation (Early registration: May 15) by Yao Li on April 3, 2024

Volunteers for ICFP 2024 Artifact Evaluation Committee (AEC) by Benoît Montagu on March 26, 2024

PLMW@PLDI 2024: Call for Scholarship Applications by Anitha Gollamudi on March 24, 2024

SASSUR 2024 - Call for papers by jldelavara on March 20, 2024

New board members by Anton Wijs on March 19, 2024

APLAS 2024: Call for Papers by Mirai Ikebuchi on February 28, 2024

Fully funded PhD position - Programming Group, Univ. of St.Gallen, Switzerland by Guido Salvaneschi on February 5, 2024

CFP-CIbSE 2024: Deadline Submission Extension by Andrea Delgado on January 29, 2024

CFP-CIbSE 2024: Abstract Submission Extension by Andrea Delgado on January 16, 2024

FORTE 2024 - Second call for papers by Valentina Castiglioni on January 16, 2024

MARS 2024 - Call for papers (deadline extension January 25) - Luxembourg City (Luxembourg) by Matthias Volk on January 15, 2024

IJCAR 2024: Final CfP by Peter Lammich on January 12, 2024

MARS 2024 - 2nd Call for Papers - Luxembourg City (Luxembourg) - April 6th, 2024 by Matthias Volk on January 9, 2024

CFP - 27th Ibero-American Conference on Software Engineering (CIbSE 2024) - CURITIBA - MAY 6-10 by Andrea Delgado on December 20, 2023