All announcements

To filter on a specific category, select the category from the menu above.

TAPAS 2014 - Workshop on Tools for Automatic Program Analysis by Anders Møller on March 18, 2014
CFP: Workshop on Real-world Domain Specific Languages by Greg Michaelson on February 25, 2014
PhD positions at ETH Zurich in concurrency & verification (ERC advanced investigator project) by [Deactivated account] on January 15, 2014
postdoc and PhD positions in programming languages at Tokyo Tech by masuhara on January 2, 2014
HiPEAC 2014: Call for Participation - Early registration deadline Dec 23 by Eduard Mehofer on December 18, 2013
PLACES 2014: deadline extended until 3rd January 2014 by Vasco Vasconcelos on December 17, 2013
textbook on Distributed Algorithms by Wan Fokkink on December 17, 2013
HiPEAC 2014: Call for Participation by Eduard Mehofer on December 7, 2013
Call for papers: PLACES'14 - Programming Language Approaches to Concurrency and communication-cEntric Software by Vasco Vasconcelos on November 15, 2013
11th International Conference on Wireless Information Networks and Systems– WINSYS 2014 by Calendar_Sites_INSTICC on October 29, 2013
Postdoc position in verification at IMDEA, Madrid by Alexey Gotsman on October 28, 2013
11th International Conference on Signal Processing and Multimedia Applications– SIGMAP 2014 by Calendar_Sites_INSTICC on October 28, 2013
5th International Conference on Optical Communication Systems– OPTICS 2014 by Calendar_Sites_INSTICC on October 28, 2013
CFP - 11th International Conference on Security and Cryptography– SECRYPT 2014 by Calendar_Sites_INSTICC on October 25, 2013
11th International Joint Conference on E-Business and Telecommunications– ICETE 2014 by Calendar_Sites_INSTICC on October 25, 2013
CFP - 5th International Conference on Data Communication Networking – DCNET 2014 by Calendar_Sites_INSTICC on October 25, 2013
CFP - 11th International Conference on e-Business– ICE-B 2014 by Calendar_Sites_INSTICC on October 25, 2013
5th International Conference on Data Communication Networking – DCNET 2014 by Calendar_Sites_INSTICC on October 23, 2013
11th International Conference on e-Business– ICE-B 2014 by Calendar_Sites_INSTICC on October 23, 2013
11th International Joint Conference on E-Business and Telecommunications– ICETE 2014 by Calendar_Sites_INSTICC on October 18, 2013
postdoc position in Toulouse on formal approach to requirements engineering by Julien Brunel on September 26, 2013
PLDI 2014 call for papers by Manu Sridharan on September 17, 2013
WINSYS 2014 by Calendar_Sites_INSTICC on September 10, 2013
SIGMAP 2014 by Calendar_Sites_INSTICC on September 9, 2013
SECRYPT 2014 by Calendar_Sites_INSTICC on September 9, 2013