List of conferences - page 26
- LOPSTR'13 Paper submission deadline extended to JUNE 24
The deadline for submitting papers to LOPSTR'13 (Logic Based Program Synthesis and Transformation) has been extended to June 24. More details at: http://www.utdallas.edu/~gupta/lopstr/
- MCC'2013 - Live Event, call for participation
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
CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS
POPL 201441st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
POPL: 22-24 January 2014
Events: 19-21, 25-26 January 2014
San Diego, CaliforniaDeadline for submission: *** 26 April 2013 ***
- DisCoTec 2013: Call for Participation (early registration deadline: May 6)
DisCoTec 2013
8th International Federated Conference on Distributed Computing Techniques
Firenze, Italy, June 3-6 2013
http://www.discotec.org/The early registration deadline of DisCoTec 2013 is May 6.
The registration page is available on the DisCoTec site:
http://www.discotec.org/registration/A preliminary program is available at:
http://www.discotec.org/program/- SPLST'13 Call for Papers
SPLST'13
13th Symposium on Programming Languages and Software Tools
http://www.inf.u-szeged.hu/splst13/August 26-27, 2013
Szeged, Hungary- TAIC PART 2013: Please distribute the call for papers
TAIC PART 2013
- ECSS 2012: Program Online / Registrations Open
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
Call for participation: CONCUR 2012
