* CFP: SIGAda HILT 2016 Workshop at ESWEEK on Models + Contracts; due June 30
@ 2016-05-10 1:25 Tucker Taft
2016-06-27 20:11 ` Reminder: " Tucker Taft
0 siblings, 1 reply; 2+ messages in thread
From: Tucker Taft @ 2016-05-10 1:25 UTC (permalink / raw)
Subject: CFP: HILT 2016 Workshop at ESWEEK on Models + Contracts; due June 30
Call for papers and extended abstracts:
HILT 2016 Workshop on Model-Based Development and Contract-Based Programming
As part of ESWEEK, October 6 & 7, 2016, Pittsburgh, PA
Sponsored by ACM SIGAda
CFP: http://www.sigada.org/conf/hilt2016/HILT2016-CFP.pdf
Website: http://sigada.org/conf/hilt2016
ESWEEK: http://esweek.org
The High Integrity Language Technology (HILT) 2016 Workshop is focused on the synergy between Model-Based Development and Contract-Based Programming, producing a formal model-driven approach to the development of high-assurance software-intensive systems.
Important Dates:
June 30: Papers or Extended abstracts due
July 31: Notification of submissions accepted for presentation
Sep 15: Final submissions due
Oct 6&7: Workshop as part of ESWEEK
Keynote:
* Phil Koopman, CMU
We encourage papers and extended abstracts relating to:
* Architecture-level and requirements-oriented modeling with systems such as AADL, SysML, and ArgoSim
* Component-level modeling with systems such as UML/OCL, Simulink, and SCADE
* Automated analysis and code generation targeting verification-oriented tools and/or programming language subsets such as Coq, PVS, ACL2, Why, SPARK/Ada, Frama C/ACSL, MISRA C, JML, and CompCert C.
* Other contributions linking modeling and contracts to the topics associated with the co-located EMSOFT conference:
o Formal modeling and verification
o Testing, validation, and certification
o Model- and component-based software design and analysis
o Software technologies for safety-critical and mixed-critical systems
o Robust implementation of control systems
o Embedded software security
Workshop Co-Chairs
* Julien Delange, Software Engineering Institute
* Tucker Taft, AdaCore, Inc
^ permalink raw reply [flat|nested] 2+ messages in thread
* Reminder: SIGAda HILT 2016 Workshop at ESWEEK on Models + Contracts; due June 30
2016-05-10 1:25 CFP: SIGAda HILT 2016 Workshop at ESWEEK on Models + Contracts; due June 30 Tucker Taft
@ 2016-06-27 20:11 ` Tucker Taft
0 siblings, 0 replies; 2+ messages in thread
From: Tucker Taft @ 2016-06-27 20:11 UTC (permalink / raw)
Reminder: HILT 2016 Workshop at ESWEEK on Models + Contracts; due June 30 -- website: http://sigada.org/conf/hilt2016 -- deadline for HILT2016 is coming up the end of this week! If you want to contribute but are running out of time, please send an e-mail to mailto:hilt2016@easychair.org to let us know you have a contribution coming.
On Monday, May 9, 2016 at 9:25:51 PM UTC-4, Tucker Taft wrote:
> Subject: CFP: HILT 2016 Workshop at ESWEEK on Models + Contracts; due June 30
>
> Call for papers and extended abstracts:
>
> HILT 2016 Workshop on Model-Based Development and Contract-Based Programming
>
> As part of ESWEEK, October 6 & 7, 2016, Pittsburgh, PA
> Sponsored by ACM SIGAda
>
> CFP: http://www.sigada.org/conf/hilt2016/HILT2016-CFP.pdf
> Website: http://sigada.org/conf/hilt2016
> ESWEEK: http://esweek.org
>
> The High Integrity Language Technology (HILT) 2016 Workshop is focused on the synergy between Model-Based Development and Contract-Based Programming, producing a formal model-driven approach to the development of high-assurance software-intensive systems.
>
> Important Dates:
>
> June 30: Papers or Extended abstracts due
> July 31: Notification of submissions accepted for presentation
> Sep 15: Final submissions due
> Oct 6&7: Workshop as part of ESWEEK
>
> Keynote:
> * Phil Koopman, CMU
>
> We encourage papers and extended abstracts relating to:
> * Architecture-level and requirements-oriented modeling with systems such as AADL, SysML, and ArgoSim
> * Component-level modeling with systems such as UML/OCL, Simulink, and SCADE
> * Automated analysis and code generation targeting verification-oriented tools and/or programming language subsets such as Coq, PVS, ACL2, Why, SPARK/Ada, Frama C/ACSL, MISRA C, JML, and CompCert C.
> * Other contributions linking modeling and contracts to the topics associated with the co-located EMSOFT conference:
> o Formal modeling and verification
> o Testing, validation, and certification
> o Model- and component-based software design and analysis
> o Software technologies for safety-critical and mixed-critical systems
> o Robust implementation of control systems
> o Embedded software security
>
> Workshop Co-Chairs
> * Julien Delange, Software Engineering Institute
> * Tucker Taft, AdaCore, Inc
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2016-06-27 20:11 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2016-05-10 1:25 CFP: SIGAda HILT 2016 Workshop at ESWEEK on Models + Contracts; due June 30 Tucker Taft
2016-06-27 20:11 ` Reminder: " Tucker Taft
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox