All announcements

SMT 2017 workshop : 2nd CFP, Deadline 1st/8th May by Christoph M. Wintersteiger on April 29, 2017

ECOOP 2017 - CALL FOR PARTICIPATION by crafa on April 24, 2017

ECOOP17 Doctoral Symposium CFP: Extended Submission Deadline by Lisa Nguyen Quang Do on April 22, 2017

ECOOP17 Doctoral Symposium - Call for Papers by Lisa Nguyen Quang Do on April 13, 2017

SAS 2017 CFP: Extended Submission Deadline by Caterina Urban on April 12, 2017

CFP: ALP4IoT - 1st workshop on Architectures, Languages and Paradigms for IoT by Guido Salvaneschi on April 12, 2017

24th Static Analysis Symposium (2017) by Caterina Urban on March 31, 2017

Call for PhD candidates in the Software Composition Group, U Bern by Oscar Nierstrasz on March 29, 2017

PhD studentship: High level programming of data and pipelined parallel image processing on heterogeneous platforms by Greg Michaelson on March 21, 2017

Maria Christakis wins the EAPLS Best PhD Dissertation Award 2015 by Arend Rensink on February 27, 2017

CfP: 4th International Workshop on Software Engineering Methods in Spreadsheets (SEMS'17) by Jácome Cunha on February 14, 2017

10th Interaction and Concurrency Experience by Massimo Bartoletti on January 17, 2017 (edited on April 5, 2017)

SPLASH’17 Call for Contributions: Workshops by Ronald Garcia on January 16, 2017

Next 40 Years of Abstract Interpretation Workshop by Caterina Urban on December 16, 2016

ECOOP 2017 - Second Call for Papers by crafa on December 5, 2016

[iFM 2017] Final Call for Workshops Proposals by ChristophSeidl on December 2, 2016

Postdoc positions - Center for Advanced Software Analysis, Aarhus University by Anders Møller on November 15, 2016

Call for Workshops - 14th Conference on Quantitative Evaluation of SysTems (QEST) by Ezio Ezio Bartocci on November 11, 2016

Assistant/Associate/Professor, Tenure-track, Multiple positions at NAU - SICCS by Frederic Loulergue on November 8, 2016

ECOOP 2017 - Call for Workshop Proposals by crafa on October 31, 2016

[iFM'17] Call for Workshops at International Conference on integrated Formal Methods 2017 by ChristophSeidl on October 28, 2016

Final CfP: VaMoS 2017 - 11th International Workshop on Variability Modelling of Software-intensive Systems by Önder Babur on October 22, 2016

Call for Scholarship Applications: Programming Languages Mentoring Workshop - a POPL workshop (Deadline: October 23!) by [Deactivated account] on September 21, 2016

ECOOP 2017: The 31st European Conference on Object-Oriented Programming by crafa on September 19, 2016

PhD and Postdoc positions at IMDEA, Madrid by Alexey Gotsman on September 9, 2016