List of conferences - page 26
- CFP: ICST'14
Call for Papers
Seventh IEEE International Conference on Software Testing, Verification, and Validation (ICST’14)
Cleveland, Ohio, U.S.A., March 31 - April 4, 2014
https://sites.google.com/site/icst2014/homeSubmission of abstracts: September 23, 2013
Paper submission: September 30, 2013- CFP: HiPEAC 2014 - International Conference on High-Performance and Embedded Architectures and Compilers (late version)
The 9th HiPEAC conference will take place in Vienna, Austria, from Monday 20 to Wednesday 22 January 2014.
- 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
