List of workshops - page 12
- 3rd International Workshop on Software Engineering Methods in Spreadsheets (SEMS'16) - Call for Papers
Call for Papers: 3rd International Workshop on Software Engineering Methods in Spreadsheets (SEMS'16)
http://spreadsheetlab.org/sems-16/
A STAF workshop
July, 2016, Vienna, Austria* Important Dates *
Deadline for abstracts: April 11, 2016
Deadline for submissions: April 18, 2016
Notification of acceptance: May 25, 2016
Camera-ready: June 17, 2016
Workshop date: July 4, 2016- Call for papers - BigMDE workshop @ STAF'16
Call for Papers: 4th International Workshop on Scalable Model Driven Engineering (BigMDE 2016)
A STAF workshop
July, 2016, Vienna, Austria
http://www.big-mde.euImportant Dates
------------------------------
Deadline for abstracts: April 11, 2016
Deadline for submissions: April 18, 2016
Notification of authors: May 25, 2016
Camera-ready: June 26, 2016
Workshop date: July, 2016- ICE 2016 : 9th Interaction and Concurrency Experience
ICE 2016 : 9th Interaction and Concurrency Experience
June 8-9, 2016, Heraklion, Greece
http://2016.discotec.org/ice2016Satellite workshop of DisCoTec 2016
http://2016.discotec.org* Abstract submission: March 25, 2016
* Full paper submission: April 1, 2016
* Notification to authors: May 2, 2016- Last CFP: 1st ETAPS Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies (CREST)
CREST: 1st Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies
April 8, 2016
Satellite event of ETAPS 2016, Eindhoven, The Netherlands
http://crest2016.inria.fr/
- CREST: 1st Workshop on Causal-based Reasoning for Embedded and safety-critical Systems Technologies
Satellite event of ETAPS 2016, Eindhoven, The Netherlands
April 8, 2016
http://crest2016.inria.fr/- WODA 2015: Deadline Extension
** DEADLINE EXTENSION **
*Paper submission: Aug. 14, 2015
*Author notification: Sep. 14, 2015- AVoCS 2015: Final Call for Research Idea Papers & Participation
======================================================================
The 15th International Workshop on
Automated Verification of Critical Systems
1-4 September 2015, Edinburgh, UKhttps://sites.google.com/site/avocs15/
[email protected]
-----------------------|*** HIGHLIGHTS ***|----------------------------
+ Registration is now open !
+ Special research ideas session: short papers due 10th August
+ Several student grants available: application due 10th August
+ Invited talks by
Colin O'Halloran (D-RisQ/Oxford)
Don Sannella (Contemplate/Edinburgh)
+ AI4FM workshop including invited talk by
J Strother Moore (Univerity of Texas at Austin)
+ Proceedings to be published by EASST
+ Special issues of Science of Computer Programming
=======================================================================- AVoCS 2015: Joint Call for Research Idea Papers & Participation
=======================================================================
The 15th International Workshop on
Automated Verification of Critical Systems
1-4 September 2015, Edinburgh, UKhttps://sites.google.com/site/avocs15/
[email protected]
-----------------------|*** HIGHLIGHTS ***|----------------------------
+ *NEW* Registration is now open!
+ *NEW* Special research ideas session: short papers due 10th August
+ *NEW* Several student grants available: application due 10th August
+ Invited talks by
Colin O'Halloran (D-RisQ/Oxford)
Don Sannella (Contemplate/Edinburgh)
+ AI4FM workshop including invited talk by
J Strother Moore (Univerity of Texas at Austin)
+ Proceedings to be published by EASST
+ Special issues of Science of Computer Programming
=======================================================================
