SAC-SVT 2017: Call for Participation

--===============0734997522==
Content-Type: multipart/alternative;
 boundary="Apple-Mail=_41AF7CBD-73B9-4CE9-A8A9-60749E1284B2"


--Apple-Mail=_41AF7CBD-73B9-4CE9-A8A9-60749E1284B2
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain;
	charset=utf-8

Call for Participation

SAC SVT 2017 - Software Verification and Testing 2017
A Track of the ACM Symposium on Applied Computing

Marrakech, Morocco, April 3 - 7, 2017

http://antares.sip.ucm.es/svt2017/ <http://antares.sip.ucm.es/svt2017/>

=3D=3D=3D=3D=3D
Scope
=3D=3D=3D=3D=3D

For the past thirsty years, the ACM Symposium on Applied Computing has =
been a primary gathering forum for applied computer scientists, computer =
engineers, software engineers, and application developers from around =
the world. SAC 2017 is sponsored by the ACM Special Interest Group on =
Applied Computing (SIGAPP), and will be hosted by the University of =
Quebec (Montreal, Canada), University Cadi Ayyad (Marrakech, Morocco), =
Mohamed V University of Rabat - Mohammadia School Of Engineers (Rabat, =
Morocco) and National School of Applied Sciences (Kenitra, Morocco). =
Symposium on Applied Computing been a primary gathering forum for =
applied computer scientists, computer engineers, software engineers, and =
application developers from around the world over the past thirty years.

The Software Verification and Testing track aims at contributing to the =
challenge of improving the usability of formal methods in software =
engineering. The track covers areas such as formal methods for =
verification and testing, based on theorem proving, model checking, =
static analysis, and run-time verification. These areas include a broad =
range of topics, but are not limited to:

- Model checking
- Theorem proving
- Correct by construction development
- Model-based testing
- Verification-based testing
- Symbolic execution
- Real world applications and case studies applying software =
verification
- Static and run-time analysis
- Abstract interpretation
- Analysis methods for dependable systems
- Software certification and proof carrying code
- Fault diagnosis and debugging
- Verification of large scale software systems

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Registration Information
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Please note the following important dates regarding registration.

- Author Registration: Friday, December 16, 2016
- Early Registration: Friday, February 3, 2017
- SAC-SVT day: 1 day during April 3 - 7, 2017

For authors. Paper registration is required, allowing the inclusion of =
the paper/poster in the conference proceedings. An author or a proxy =
attending SAC MUST present the paper: This is a requirement for the =
paper/poster to be included in the ACM/IEEE digital library. No-show of =
scheduled papers and posters will result in excluding them from the =
ACM/IEEE digital library.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Accepted Papers
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

The following papers were accepted by the SAC-SVT 2017 Programme =
Committee.

	=E2=80=A2 Mohamed Amine Aouadhi, Beno=C3=AEt Delahaye and Arnaud =
Lanoix.
	Moving from Event-B to Probabilistic Event-B
	=E2=80=A2 Huu-Vu Nguyen and Tayssir Touili.
	CARET Model Checking For Pushdown Systems
	=E2=80=A2 Rudolf Ramler, Thomas Wetzlmaier and Claus Klammer.
	An Empirical Study on the Application of Mutation Testing for a =
Safety-Critical Industrial Software System=20
	=E2=80=A2 Thibaud Antignac, Mukelabai Mukelabai and Gerardo =
Schneider.
	Specification, Design and Verification of an =
Accountability-Aware Surveillance Protocol
	=E2=80=A2 Davide Basile, Felicita Di Giandomenico and Stefania =
Gnesi.
	Statistical Model Checking of an Energy-Saving Cyber-Physical =
System in the Railway Domain
	=E2=80=A2 Jeongho Kim and Eunseok Lee.
	History-based Test Case Prioritization for Failure Information
	=E2=80=A2 Yunus Kili=C3=A7 and Hasan S=C3=B6zer.
	Generating Runtime Verification Specifications based on Static =
Code Analysis Alerts
	=E2=80=A2 Pedro Delgado-P=C3=A9rez, Inmaculada Medina-Bulo, =
Sergio Segura, Antonio Garc=C3=ADa-Dom=C3=ADnguez and Juan Jos=C3=A9 =
Dom=C3=ADnguez-Jim=C3=A9nez.
	GiGAn: Evolutionary Mutation Testing for C++ Object-Oriented =
Systems
	=E2=80=A2 Andr=C3=A1s M=C3=A1rki and Birgitta Lindstr=C3=B6m.
	Mutation Tools for Java

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Venue and Travel Information
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Information about the venue and how to travel to Marrakesh is available =
on SAC 2017 Website at:

                           http://www.sigapp.org/sac/sac2017/ =
<http://www.sigapp.org/sac/sac2017/>


--Apple-Mail=_41AF7CBD-73B9-4CE9-A8A9-60749E1284B2
Content-Transfer-Encoding: quoted-printable
Content-Type: text/html;
	charset=utf-8

<html><head><meta http-equiv=3D"Content-Type" content=3D"text/html =
charset=3Dutf-8"></head><body style=3D"word-wrap: break-word; =
-webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" =
class=3D""><div class=3D"" style=3D"margin: 0px; font-size: 14px; =
line-height: normal;">Call for Participation</div><div class=3D"" =
style=3D"margin: 0px; font-size: 14px; line-height: normal; min-height: =
17px;"><br class=3D""></div><div class=3D"" style=3D"margin: 0px; =
font-size: 14px; line-height: normal;">SAC SVT 2017 - Software =
Verification and Testing 2017</div><div class=3D"" style=3D"margin: 0px; =
font-size: 14px; line-height: normal;"><i class=3D"">A Track of the ACM =
Symposium on Applied Computing</i></div><div class=3D"" style=3D"margin: =
0px; line-height: normal; min-height: 14px;"><br class=3D""></div><div =
class=3D"" style=3D"margin: 0px; font-size: 14px; line-height: =
normal;">Marrakech, Morocco, April 3 - 7, 2017</div><div class=3D"" =
style=3D"margin: 0px; font-size: 14px; line-height: normal; min-height: =
17px;"><br class=3D""></div><div class=3D"" style=3D"margin: 0px; =
font-size: 14px; line-height: normal;"><a =
href=3D"http://antares.sip.ucm.es/svt2017/" =
class=3D"">http://antares.sip.ucm.es/svt2017/</a></div><div class=3D"" =
style=3D"margin: 0px; line-height: normal; min-height: 14px;"><br =
class=3D""></div><div class=3D"" style=3D"margin: 0px; line-height: =
normal;">=3D=3D=3D=3D=3D</div><div class=3D"" style=3D"margin: 0px; =
line-height: normal;">Scope</div><div class=3D"" style=3D"margin: 0px; =
line-height: normal;">=3D=3D=3D=3D=3D</div><div class=3D"" =
style=3D"margin: 0px; line-height: normal; min-height: 14px;"><br =
class=3D""></div><div class=3D"" style=3D"margin: 0px; line-height: =
normal;">For the past thirsty years, the ACM Symposium on Applied =
Computing has been a primary gathering forum for applied computer =
scientists, computer engineers, software engineers, and application =
developers from around the world. SAC 2017 is sponsored by the ACM =
Special Interest Group on Applied Computing (SIGAPP), and will be hosted =
by the University of Quebec (Montreal, Canada), University Cadi Ayyad =
(Marrakech, Morocco), Mohamed V University of Rabat - Mohammadia School =
Of Engineers (Rabat, Morocco) and National School of Applied Sciences =
(Kenitra, Morocco). Symposium on Applied Computing been a primary =
gathering forum for applied computer scientists, computer engineers, =
software engineers, and application developers from around the world =
over the past thirty years.</div><div class=3D"" style=3D"margin: 0px; =
line-height: normal; min-height: 14px;"><br class=3D""></div><div =
class=3D"" style=3D"margin: 0px; line-height: normal;">The Software =
Verification and Testing track aims at contributing to the challenge of =
improving the usability of formal methods in software engineering. The =
track covers areas such as formal methods for verification and testing, =
based on theorem proving, model checking, static analysis, and run-time =
verification. These areas include a broad range of topics, but are not =
limited to:</div><div class=3D"" style=3D"margin: 0px; line-height: =
normal; min-height: 14px;"><br class=3D""></div><div class=3D"" =
style=3D"margin: 0px; line-height: normal;">- Model checking</div><div =
class=3D"" style=3D"margin: 0px; line-height: normal;">- Theorem =
proving</div><div class=3D"" style=3D"margin: 0px; line-height: =
normal;">- Correct by construction development</div><div class=3D"" =
style=3D"margin: 0px; line-height: normal;">- Model-based =
testing</div><div class=3D"" style=3D"margin: 0px; line-height: =
normal;">- Verification-based testing</div><div class=3D"" =
style=3D"margin: 0px; line-height: normal;">- Symbolic =
execution</div><div class=3D"" style=3D"margin: 0px; line-height: =
normal;">- Real world applications and case studies applying software =
verification</div><div class=3D"" style=3D"margin: 0px; line-height: =
normal;">- Static and run-time analysis</div><div class=3D"" =
style=3D"margin: 0px; line-height: normal;">- Abstract =
interpretation</div><div class=3D"" style=3D"margin: 0px; line-height: =
normal;">- Analysis methods for dependable systems</div><div class=3D"" =
style=3D"margin: 0px; line-height: normal;">- Software certification and =
proof carrying code</div><div class=3D"" style=3D"margin: 0px; =
line-height: normal;">- Fault diagnosis and debugging</div><div class=3D""=
 style=3D"margin: 0px; line-height: normal;">- Verification of large =
scale software systems</div><div class=3D"" style=3D"margin: 0px; =
line-height: normal; min-height: 14px;"><br class=3D""></div><div =
class=3D"" style=3D"margin: 0px; line-height: =
normal;">=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D</div><div =
class=3D"" style=3D"margin: 0px; line-height: normal;">Registration =
Information</div><div class=3D"" style=3D"margin: 0px; line-height: =
normal;">=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D</div><div =
class=3D"" style=3D"margin: 0px; line-height: normal; min-height: =
14px;"><br class=3D""></div><div class=3D"" style=3D"margin: 0px; =
line-height: normal;">Please note the following important dates =
regarding registration.</div><div class=3D"" style=3D"margin: 0px; =
line-height: normal; min-height: 14px;"><br class=3D""></div><div =
class=3D"" style=3D"margin: 0px; line-height: normal;">- Author =
Registration: Friday, December 16, 2016</div><div class=3D"" =
style=3D"margin: 0px; line-height: normal;">- Early Registration: =
Friday, February 3, 2017</div><div class=3D"" style=3D"margin: 0px; =
line-height: normal;">- SAC-SVT day: 1 day during April 3 - 7, =
2017</div><div class=3D"" style=3D"margin: 0px; line-height: normal; =
min-height: 14px;"><br class=3D""></div><div class=3D"" style=3D"margin: =
0px; line-height: normal;">For authors. Paper registration is required, =
allowing the inclusion of the paper/poster in the conference =
proceedings. An author or a proxy attending SAC MUST present the paper: =
This is a requirement for the paper/poster to be included in the =
ACM/IEEE digital library. No-show of scheduled papers and posters will =
result in excluding them from the ACM/IEEE digital library.</div><div =
class=3D"" style=3D"margin: 0px; line-height: normal; min-height: =
14px;"><br class=3D""></div><div class=3D"" style=3D"margin: 0px; =
line-height: normal;">=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D</div><div=
 class=3D"" style=3D"margin: 0px; line-height: normal;">Accepted =
Papers</div><div class=3D"" style=3D"margin: 0px; line-height: =
normal;">=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D</div><div class=3D"" =
style=3D"margin: 0px; line-height: normal;"><br class=3D""></div><div =
class=3D"" style=3D"margin: 0px; line-height: normal;">The following =
papers were accepted by the SAC-SVT 2017 Programme Committee.</div><div =
class=3D"" style=3D"margin: 0px; line-height: normal;"><br =
class=3D""></div><div class=3D"" style=3D"margin: 0px; line-height: =
normal;"><div class=3D""><span class=3D"Apple-tab-span" =
style=3D"white-space: pre;">	</span>=E2=80=A2 Mohamed Amine Aouadhi, =
Beno=C3=AEt Delahaye and Arnaud Lanoix.<br class=3D""></div><div =
class=3D""><span class=3D"Apple-tab-span" style=3D"white-space: pre;">	=
</span><i class=3D"">Moving from Event-B to Probabilistic Event-B</i><br =
class=3D""></div><div class=3D""><span class=3D"Apple-tab-span" =
style=3D"white-space: pre;">	</span>=E2=80=A2 Huu-Vu Nguyen and =
Tayssir Touili.<br class=3D""></div><div class=3D""><span =
class=3D"Apple-tab-span" style=3D"white-space: pre;">	</span><i =
class=3D"">CARET Model Checking For Pushdown Systems</i><br =
class=3D""></div><div class=3D""><span class=3D"Apple-tab-span" =
style=3D"white-space: pre;">	</span>=E2=80=A2&nbsp;Rudolf Ramler, =
Thomas Wetzlmaier and Claus Klammer.<br class=3D""></div><div =
class=3D""><span class=3D"Apple-tab-span" style=3D"white-space: pre;">	=
</span><i class=3D"">An Empirical Study on the Application of Mutation =
Testing for a Safety-Critical Industrial Software System&nbsp;</i><br =
class=3D""></div><div class=3D""><span class=3D"Apple-tab-span" =
style=3D"white-space: pre;">	</span>=E2=80=A2&nbsp;Thibaud Antignac, =
Mukelabai Mukelabai and Gerardo Schneider.<br class=3D""></div><div =
class=3D""><span class=3D"Apple-tab-span" style=3D"white-space: pre;">	=
</span><i class=3D"">Specification, Design and Verification of an =
Accountability-Aware Surveillance Protocol</i><br class=3D""></div><div =
class=3D""><span class=3D"Apple-tab-span" style=3D"white-space: pre;">	=
</span>=E2=80=A2 Davide Basile, Felicita Di Giandomenico and Stefania =
Gnesi.<br class=3D""></div><div class=3D""><span class=3D"Apple-tab-span" =
style=3D"white-space: pre;">	</span><i class=3D"">Statistical Model =
Checking of an Energy-Saving Cyber-Physical System in the Railway =
Domain</i><br class=3D""></div><div class=3D""><span =
class=3D"Apple-tab-span" style=3D"white-space: pre;">	</span>=E2=80=A2 =
Jeongho Kim and Eunseok Lee.<br class=3D""></div><div class=3D""><span =
class=3D"Apple-tab-span" style=3D"white-space: pre;">	</span><i =
class=3D"">History-based Test Case Prioritization for Failure =
Information</i><br class=3D""></div><div class=3D""><span =
class=3D"Apple-tab-span" style=3D"white-space: pre;">	</span>=E2=80=A2 =
Yunus Kili=C3=A7 and Hasan S=C3=B6zer.<br class=3D""></div><div =
class=3D""><span class=3D"Apple-tab-span" style=3D"white-space: pre;">	=
</span><i class=3D"">Generating Runtime Verification Specifications =
based on Static Code Analysis Alerts</i><br class=3D""></div><div =
class=3D""><span class=3D"Apple-tab-span" style=3D"white-space: pre;">	=
</span>=E2=80=A2 Pedro Delgado-P=C3=A9rez, Inmaculada Medina-Bulo, =
Sergio Segura, Antonio Garc=C3=ADa-Dom=C3=ADnguez and Juan Jos=C3=A9 =
Dom=C3=ADnguez-Jim=C3=A9nez.<br class=3D""></div><div class=3D""><span =
class=3D"Apple-tab-span" style=3D"white-space: pre;">	</span><i =
class=3D"">GiGAn: Evolutionary Mutation Testing for C++ Object-Oriented =
Systems</i><br class=3D""></div><div class=3D""><span =
class=3D"Apple-tab-span" style=3D"white-space: pre;">	</span>=E2=80=A2 =
Andr=C3=A1s M=C3=A1rki and Birgitta Lindstr=C3=B6m.<br =
class=3D""></div><div class=3D""><span class=3D"Apple-tab-span" =
style=3D"white-space: pre;">	</span><i class=3D"">Mutation Tools for =
Java</i></div></div><div class=3D"" style=3D"margin: 0px; line-height: =
normal;"><div class=3D""><br class=3D""></div></div><div class=3D"" =
style=3D"margin: 0px; line-height: =
normal;">=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D</div><div class=3D"" style=3D"margin: 0px; line-height: =
normal;">Venue and Travel Information</div><div class=3D"" =
style=3D"margin: 0px; line-height: =
normal;">=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D</div><div class=3D"" style=3D"margin: 0px; line-height: normal; =
min-height: 14px;"><br class=3D""></div><div class=3D"" style=3D"margin: =
0px; line-height: normal;">Information about the venue and how to travel =
to Marrakesh is available on SAC 2017 Website at:</div><div class=3D"" =
style=3D"margin: 0px; line-height: normal; min-height: 14px;"><br =
class=3D""></div><div class=3D"" style=3D"margin: 0px; line-height: =
normal;">&nbsp;&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; =
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;&nbsp;<a =
href=3D"http://www.sigapp.org/sac/sac2017/" =
class=3D"">http://www.sigapp.org/sac/sac2017/</a></div><div class=3D""><br=
 class=3D""></div></body></html>=

--Apple-Mail=_41AF7CBD-73B9-4CE9-A8A9-60749E1284B2--

--===============0734997522==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
Lprolog mailing list
[email protected]
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog
--===============0734997522==--