All announcements

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

CFP NFM 2017: 9th NASA Formal Methods Symposium by [Deactivated account] on September 9, 2016

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

CFP: 4PAD special track @ PDP 2017 by Simon Bliudze on July 25, 2016

CFP- CloudBpm 2016 in conjunction with IEEE CloudCom -Luxembourg by [Deactivated account] on July 14, 2016

CFP: REBLS 2016, 3rd International Workshop on Reactive and Event-Based Languages & Systems by Guido Salvaneschi on July 5, 2016

Postdoc position in verification at IMDEA, Madrid by Alexey Gotsman on June 29, 2016

SOAP@SAC 2017 by Massimo Bartoletti on June 16, 2016 (edited on September 30, 2016)

TAPAS 2016 - Workshop on Tools for Automatic Program Analysis by Manu Sridharan on June 7, 2016

Final call for participation: PLDI 2016 co-located events by Manu Sridharan on June 1, 2016

3 PhD positions at INRIA Grenoble, France by fradet on May 25, 2016

Call-for-papers - David A. Turner Festschrift on his 70th Birthday by Greg Michaelson on May 2, 2016

LOPSTR 2016 Call for Papers by Manuel Hermenegildo on May 1, 2016

2 PhD positions in software engineering at Eindhoven University of Technology (The Netherlands) by Alexander Serebrenik on April 11, 2016

The EAPLS Best Paper Award for ETAPS 2016 by Jurriaan Hage on April 11, 2016

3rd International Workshop on Software Engineering Methods in Spreadsheets (SEMS'16) by Jácome Cunha on April 5, 2016

Workshop on Context-oriented Programming (COP) 2016 at ECOOP | Call for Papers by Guido Salvaneschi on April 4, 2016

s(ASP): A Query Driven Predicate Answer Set Programming System by Gopal Gupta on April 1, 2016