[ecoop-info] Call for Contributions for ISSTA 2014 tracks and co-located events

[Corina Pasareanu]

Call for Contributions for ISSTA 2014 tracks and co-located events
=======================================

Please consider submitting to the  following tracks and events that are 
co-located with The International Symposium on Software Testing and 
Analysis (ISSTA 2014, http://www.issta2014.org).

* Doctoral Symposium: PhD students are invited to submit an extended 
abstract describing their research goals, methods, and preliminary results.

deadline: April 11, 2014.
web-site: http://issta2014.org/doctoral.html

* Tool Demonstrations: We invite innovative research tool demonstrations 
that show early implementations of research concepts as well as mature 
prototypes.

deadline:  April 11, 2014.
web-site: http://issta2014.org/demo.html

* SPIN 2014: International SPIN Symposium on Model Checking of Software.

deadline: April 19, 2014
web-site: http://spin2014.org/
new this year: Software Engineering Track, joint sessions with ISSTA

* JAMAICA 2014: The 2nd Workshop on Joining AcadeMiA and Industry 
Contributions to Test Automation and Model-based Testing.

deadline: April 25, 2014
web-site: http://www.model-based-testing.de/jamaica14)

* PERTEA: International Workshop on Software and System Performance 
Testing, Debugging, and Analytics.

deadline: April 10, 2014
web-site: http://pertea.ics.uci.edu/

* WODA: The 12th International Workshop on Dynamic Analysis.

deadline: April 25, 2014
web-site: http://woda14.cs.rutgers.edu/

Thank you!

-- 
Corina Pasareanu
CMU SV, NASA Ames
http://ti.arc.nasa.gov/profile/pcorina