All announcements

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

PLDI 2016 Call for Participation by Manu Sridharan on March 29, 2016

15 vacancies at Eindhoven University of Technology M&CS department by Erik Scheffers on March 24, 2016

GPCE’16 Call for Papers by ChristophSeidl on March 11, 2016

CFP: COP @ ECOOP'16 - 8th International Workshop on Context-oriented Programming by Guido Salvaneschi on March 10, 2016

3rd International Workshop on Software Engineering Methods in Spreadsheets (SEMS'16) - Call for Papers by Jácome Cunha on February 19, 2016

Intern/PhD/Postdoc Positions @ Max Planck Institute for Software Systems (MPI-SWS) by [Deactivated account] on February 19, 2016

Call for papers - BigMDE workshop @ STAF'16 by [Deactivated account] on February 3, 2016

ICE 2016 : 9th Interaction and Concurrency Experience by Massimo Bartoletti on January 19, 2016