List of conferences - page 21

LOPSTR'13 Paper submission deadline extended to JUNE 24
by Gopal Gupta, June 8, 2013

The deadline for submitting papers to LOPSTR'13 (Logic Based Program Synthesis and Transformation) has been extended to June 24. More details at:

MCC'2013 - Live Event, call for participation
by Fabrice Kordon, May 23, 2013

This is a call for participation at the Model Checking Contest "live Event" during Petri Net 2013

POPL 2014: Final call for workshops and co-located events
by Viktor Vafeiadis, April 23, 2013

POPL 2014

41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
POPL: 22-24 January 2014
Events: 19-21, 25-26 January 2014
San Diego, California

Deadline for submission: *** 26 April 2013 ***

DisCoTec 2013: Call for Participation (early registration deadline: May 6)
by Francesco Tiezzi, April 17, 2013

DisCoTec 2013
8th International Federated Conference on Distributed Computing Techniques
Firenze, Italy, June 3-6 2013

The early registration deadline of DisCoTec 2013 is May 6.

The registration page is available on the DisCoTec site:

A preliminary program is available at:

SPLST'13 Call for Papers
by Akos Kiss, March 7, 2013

13th Symposium on Programming Languages and Software Tools

August 26-27, 2013
Szeged, Hungary

TAIC PART 2013: Please distribute the call for papers
by Sari, Oct. 30, 2012


ECSS 2012: Program Online / Registrations Open
by Cristina Pereira, July 20, 2012

8th European Computer Science Summit - ECSS 2012
What makes a good PhD in Informatics?
20–21 November 2012, Barcelona, Spain
Pre-Summit Workshops on 19 November 2012

Call for participation: CONCUR 2012 - 23th International Conference on Concurrency Theory
by MaciejKoutny, July 6, 2012

Call for participation: CONCUR 2012