Re: (PN) 2nd CfP - Software Verification and Testing Track at SAC 2023
Dmitry Zaitsev <[email protected]> Fri, 30 Sep 2022 09:18:13 +0200
| Newsgroups | gmane.comp.mathematics.hol,gmane.science.mathematics.discrete,gmane.science.mathematics.categories,gmane.comp.science.types.announce,gmane.science.mathematics.petri-nets,gmane.comp.gnu.prolog.general |
|---|---|
| Message-ID | <CADsoptMi9v1H0fftb-162rh9NhDFbY8cy=5k87y_k4LTo7M0+g@mail.gmail.com> |
--===============8087523456746555623== Content-Type: multipart/alternative; boundary="000000000000cc26eb05e9e1799c" --000000000000cc26eb05e9e1799c Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear colleagues, Two Kalibr missiles flew over our house roofs and blasted a few hundreds meters away the first morning of the war, thus we moved from Ukraine We are in France where my wife receives a Pause grant and I look for a job, say a (senior) researcher because I speak very little French. Please help me to get a job in the EU (a professor teaching in English or a senior researcher). My CV, papers, software and models, videolectures etc are put on my web sit= e Jack Dongarra recommends me as well as other outstanding scientists. -- Yours truly, Dmitry Zaitsev Dr.Sci., Professor, Senior Member of ACM and IEEE http://daze.ho.ua https://youtu.be/Cy6xRTpP0d8 <https://l.facebook.com/l.php?u=3Dhttps%3A%2F%2Fyoutu.be%2FCy6xRTpP0d8%3Ffb= clid%3DIwAR190xifVopkYBgqdRVbb0Ey1OyzH-ZlO3AkCzqsLQswNpe-UH0Pqsmu3jU&h=3DAT= 3_54deSf0jS1vNHCTAzj4aJb_p9vfEM-JYHILicq5r9P04P0_YlNa7Ybas339LU0cAZEMqgeAFN= G9VnKJmVQZeABUqTVFI8oQnqi0bsTn2yDdPBj8gUfwSWaCv&__tn__=3D-UK-R&c[0]=3DAT2N6= IU-uHvB0_2o_s7Jl5vqW7lI5WraVAEJ8ZnbfRy2PKaOHb7MCEJPWBEJCwsxX2H2XX12Vy_o4BT3= aYwTRF_5s_p2KZj60hu3aZmPUkwSYPINOaxn7dODIhbYdMOzllpcDlmxnriUW6dMGvlGdEv4oA> On Thu, Sep 29, 2022 at 2:43 PM Georgiana Caltais <[email protected]> wrote: > 2nd CfP - Software Verification and Testing Track at SAC 2023 > > 38th Annual ACM/SIGAPP Symposium on Applied Computing > Software Verification and Testing Track > Tallinn, Estonia > March 27-31, 2023 > > SAC 2023 website: > https://www.sigapp.org/sac/sac2023/ > > SAC-SVT 2023 website: > http://logimics.mics.centralesupelec.fr/en/SAC-SVT-2023 > > > =3D=3D=3D=3D Important dates =3D=3D=3D=3D > > Oct. 1, 2022 - Submission of regular papers and SRC research abstracts > Nov. 19, 2022 - Notification > Dec. 6, 2022 - Camera-ready version > Dec. 6, 2022 - Author registration due date > > =3D=3D=3D=3D ACM Symposium on Applied Computing =3D=3D=3D=3D > > The ACM Symposium on Applied Computing (SAC) has gathered scientists > from different areas of computing over the last thirty years. The forum > represents an opportunity to interact with different communities sharing > an interest in applied computing. > > SAC 2023 is sponsored by the ACM Special Interest Group on Applied > Computing (SIGAPP), and will take place on March 27-31, 2023 in > Tallinn, Estonia. > > =3D=3D=3D=3D Software Verification and Testing Track (SVT) =3D=3D=3D=3D > > 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. We invite authors to submit > new results in formal verification and testing, as well as development > of technologies to improve the usability of formal methods in software > engineering. Also are welcome detailed descriptions of applications of > mechanical verification to large scale software. > > =3D=3D=3D=3D Topics =3D=3D=3D=3D > > Possible topics include, but are not limited to: > > * model checking > * theorem proving > * correct by construction development > * model-based testing > * software testing > * symbolic execution > * static and dynamic analysis > * abstract interpretation > * analysis methods for dependable systems > * software certification and proof carrying code > * fault diagnosis and debugging > * verification and validation of large scale software systems > * real world applications and case studies applying software testing > and verification > * benchmarks and data sets for software testing and verification > > =3D=3D=3D=3D Submission Guidelines =3D=3D=3D=3D > > Paper submissions must report on original, unpublished work. Submitted > papers will undergo a double-blind review process. Author(s) name(s) > and address(es) must not appear in the body of the paper, and self- > reference should be avoided and made in the third person. We welcome > research papers and posters. Research papers should have at most 8 > two-column pages in ACM format (further two pages, to a total of 10 > pages, may be available at a charge). The length of a poster is limited > to three pages (one extra page may be available at a charge). Please > comply to this page limitation already at submission time. > > Furthermore, in the context of the Student Research Competition (SRC) > Program to provide graduate students the opportunity to meet and > exchange ideas with researchers and practitioners in their areas of > interest, graduate students are invited to submit research abstracts > (maximum of 4 pages in ACM camera-ready format) following the > instructions published at the SAC 2023 website at > > https://www.sigapp.org/sac/sac2023/authorkit/ACM_SigConf-SRC2023.pdf > > Submission of the same abstract to multiple tracks is not allowed. > > Accepted papers will be published in the ACM SAC 2023 proceedings in the > ACM digital library. 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 digital library. No-show > of registered papers and posters will result in excluding them from the > ACM digital library. > > Detailed submission instructions are available on the SAC 2023 > website. > > =3D=3D=3D=3D Track Chairs =3D=3D=3D=3D > > Georgiana Caltais, University of Twente, The Netherlands > Pascale Le Gall, CentraleSup=C3=A9lec, Universit=C3=A9 Paris-Saclay, Fran= ce > > For further information we refer to the SAC-SVT 2023 website: > http://logimics.mics.centralesupelec.fr/en/SAC-SVT-2023 > ---- > [[ Petri Nets World: ]] > [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] > [[ Mailing list FAQ: ]] > [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] > [[ Post messages/summary of replies: ]] > [[ [email protected] ]] > --=20 Yours truly, Dmitry Zaitsev Dr.Sci., Professor, Senior Member of ACM and IEEE http://daze.ho.ua https://youtu.be/Cy6xRTpP0d8 <https://l.facebook.com/l.php?u=3Dhttps%3A%2F%2Fyoutu.be%2FCy6xRTpP0d8%3Ffb= clid%3DIwAR190xifVopkYBgqdRVbb0Ey1OyzH-ZlO3AkCzqsLQswNpe-UH0Pqsmu3jU&h=3DAT= 3_54deSf0jS1vNHCTAzj4aJb_p9vfEM-JYHILicq5r9P04P0_YlNa7Ybas339LU0cAZEMqgeAFN= G9VnKJmVQZeABUqTVFI8oQnqi0bsTn2yDdPBj8gUfwSWaCv&__tn__=3D-UK-R&c[0]=3DAT2N6= IU-uHvB0_2o_s7Jl5vqW7lI5WraVAEJ8ZnbfRy2PKaOHb7MCEJPWBEJCwsxX2H2XX12Vy_o4BT3= aYwTRF_5s_p2KZj60hu3aZmPUkwSYPINOaxn7dODIhbYdMOzllpcDlmxnriUW6dMGvlGdEv4oA> --000000000000cc26eb05e9e1799c Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable <div dir=3D"ltr"><div dir=3D"ltr" style=3D"color:rgb(80,0,80)"><div>Dear co= lleagues,</div><div><br></div><div>Two Kalibr missiles flew over our house = roofs and blasted a few hundreds meters away the first morning of the war, = thus we moved from Ukraine<br><br>We are in France where my wife receives a= Pause grant and I look for a job, say a (senior) researcher because I spea= k very little French.=C2=A0</div><div><br>Please help me to get a job in th= e EU (a professor teaching in English or a senior researcher).<br><br>My CV= , papers, software and models, videolectures etc are put on my web site<br>= <br>Jack Dongarra recommends me as well as other outstanding scientists.</d= iv></div><div><br></div>--<br><div dir=3D"ltr"><div dir=3D"ltr"><div dir=3D= "ltr">Yours truly,<br><br><div><div style=3D"color:rgb(29,34,40);font-famil= y:"Helvetica Neue",Helvetica,Arial,sans-serif">Dmitry Zaitsev<br>= </div><div style=3D"color:rgb(29,34,40);font-family:"Helvetica Neue&qu= ot;,Helvetica,Arial,sans-serif">Dr.Sci., Professor,</div><div style=3D"colo= r:rgb(29,34,40);font-family:"Helvetica Neue",Helvetica,Arial,sans= -serif">Senior Member of ACM and IEEE</div><div style=3D"color:rgb(29,34,40= );font-family:"Helvetica Neue",Helvetica,Arial,sans-serif"><a rel= =3D"nofollow" shape=3D"rect" href=3D"http://daze.ho.ua/" target=3D"_blank" = style=3D"color:rgb(25,106,212)">http://daze.ho.ua</a><br></div></div><div s= tyle=3D"color:rgb(29,34,40);font-family:"Helvetica Neue",Helvetic= a,Arial,sans-serif"><br></div><div style=3D"color:rgb(29,34,40);font-family= :"Helvetica Neue",Helvetica,Arial,sans-serif"><a rel=3D"nofollow = noopener noreferrer" shape=3D"rect" href=3D"https://l.facebook.com/l.php?u= =3Dhttps%3A%2F%2Fyoutu.be%2FCy6xRTpP0d8%3Ffbclid%3DIwAR190xifVopkYBgqdRVbb0= Ey1OyzH-ZlO3AkCzqsLQswNpe-UH0Pqsmu3jU&h=3DAT3_54deSf0jS1vNHCTAzj4aJb_p9= vfEM-JYHILicq5r9P04P0_YlNa7Ybas339LU0cAZEMqgeAFNG9VnKJmVQZeABUqTVFI8oQnqi0b= sTn2yDdPBj8gUfwSWaCv&__tn__=3D-UK-R&c[0]=3DAT2N6IU-uHvB0_2o_s7Jl5vq= W7lI5WraVAEJ8ZnbfRy2PKaOHb7MCEJPWBEJCwsxX2H2XX12Vy_o4BT3aYwTRF_5s_p2KZj60hu= 3aZmPUkwSYPINOaxn7dODIhbYdMOzllpcDlmxnriUW6dMGvlGdEv4oA" target=3D"_blank" = style=3D"color:rgb(51,143,233);outline:none;font-family:Helvetica,Arial,san= s-serif;list-style:none;border-width:0px;border-style:initial;border-color:= initial;padding:0px;margin:0px;display:inline;font-size:15px;white-space:pr= e-wrap">https://youtu.be/Cy6xRTpP0d8</a><br></div><div style=3D"color:rgb(2= 9,34,40);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif"= ><br></div></div></div></div></div><br><div class=3D"gmail_quote"><div dir= =3D"ltr" class=3D"gmail_attr">On Thu, Sep 29, 2022 at 2:43 PM Georgiana Cal= tais <<a href=3D"mailto:[email protected]" target=3D"_blank">gcaltais@g= mail.com</a>> wrote:<br></div><blockquote class=3D"gmail_quote" style=3D= "margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-le= ft:1ex"><div>2nd CfP - Software Verification and Testing Track at SAC 2023<= br><br>=C2=A0 38th Annual ACM/SIGAPP Symposium on Applied Computing<br>=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 Software Verification and Testing T= rack<br>=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 Tallinn, Estonia<br>=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0 March 27-31, 2023<br><br>SAC 2023 website:<br><a href=3D"https://www.si= gapp.org/sac/sac2023/" target=3D"_blank">https://www.sigapp.org/sac/sac2023= /</a><div><br>SAC-SVT 2023 website:=C2=A0<br><a href=3D"http://logimics.mic= s.centralesupelec.fr/en/SAC-SVT-2023" target=3D"_blank">http://logimics.mic= s.centralesupelec.fr/en/SAC-SVT-2023</a></div><div><br><br>=3D=3D=3D=3D Imp= ortant dates =3D=3D=3D=3D<br><br>Oct. 1, 2022 - Submission of regular paper= s and SRC research abstracts<br>Nov. 19, 2022 - Notification<br>Dec. 6, 202= 2 - Camera-ready version<br>Dec. 6, 2022 - Author registration due date<br>= <br>=3D=3D=3D=3D ACM Symposium on Applied Computing =3D=3D=3D=3D<br><br>The= ACM Symposium on Applied Computing (SAC) has gathered scientists<br>from d= ifferent areas of computing over the last thirty years. The forum<br>repres= ents an opportunity to interact with different communities sharing<br>an in= terest in applied computing.<br><br>SAC 2023 is sponsored by the ACM Specia= l Interest Group on Applied<br>Computing (SIGAPP), and will take place on M= arch 27-31, 2023 in<br>Tallinn, Estonia.<br><br>=3D=3D=3D=3D Software Verif= ication and Testing Track (SVT) =3D=3D=3D=3D<br><br>The Software Verificati= on and Testing track aims at contributing to the<br>challenge of improving = the usability of formal methods in software<br>engineering. The track cover= s areas such as formal methods for<br>verification and testing, based on th= eorem proving, model checking,<br>static analysis, and run-time verificatio= n. We invite authors to submit<br>new results in formal verification and te= sting, as well as development<br>of technologies to improve the usability o= f formal methods in software<br>engineering. Also are welcome detailed desc= riptions of applications of<br>mechanical verification to large scale softw= are.<br><br>=3D=3D=3D=3D Topics =3D=3D=3D=3D<br><br>Possible topics include= , but are not limited to:<br><br>* model checking<br>* theorem proving<br>*= correct by construction development<br>* model-based testing<br>* software= testing<br>* symbolic execution<br>* static and dynamic analysis<br>* abst= ract interpretation<br>* analysis methods for dependable systems<br>* softw= are certification and proof carrying code<br>* fault diagnosis and debuggin= g<br>* verification and validation of large scale software systems<br>* rea= l world applications and case studies applying software testing<br>=C2=A0= =C2=A0and verification<br>* benchmarks and data sets for software testing a= nd verification<br><br>=3D=3D=3D=3D Submission Guidelines =3D=3D=3D=3D<br><= br>Paper submissions must report on original, unpublished work. Submitted<b= r>papers will undergo a double-blind review process.=C2=A0 Author(s) name(s= )<br>and address(es) must not appear in the body of the paper, and self-<br= >reference should be avoided and made in the third person. We welcome<br>re= search papers and posters. Research papers should have at most 8<br>two-col= umn pages in ACM format (further two pages, to a total of 10<br>pages, may = be available at a charge). The length of a poster is limited<br>to three pa= ges (one extra page may be available at a charge). Please<br>comply to this= page limitation already at submission time.<br><br>Furthermore, in the con= text of the Student Research Competition (SRC)<br>Program to provide gradua= te students the opportunity to meet and<br>exchange ideas with researchers = and practitioners in their areas of<br>interest, graduate students are invi= ted to submit research abstracts<br>(maximum of 4 pages in ACM camera-ready= format) following the<br>instructions published at the SAC 2023 website at= <br><br><a href=3D"https://www.sigapp.org/sac/sac2023/authorkit/ACM_SigConf= -SRC2023.pdf" target=3D"_blank">https://www.sigapp.org/sac/sac2023/authorki= t/ACM_SigConf-SRC2023.pdf</a></div><div><br>Submission of the same abstract= to multiple tracks is not allowed.<br><br>Accepted papers will be publishe= d in the ACM SAC 2023 proceedings in the<br>ACM digital library. Paper regi= stration is required, allowing the<br>inclusion of the paper/poster in the = conference proceedings. An author<br>or a proxy attending SAC MUST present = the paper. This is a requirement<br>for the paper/poster to be included in = the ACM digital library. No-show<br>of registered papers and posters will r= esult in excluding them from the<br>ACM digital library.<br><br>Detailed su= bmission instructions are available on the SAC 2023<br>website.=C2=A0<br><b= r>=3D=3D=3D=3D Track Chairs =3D=3D=3D=3D<br><br>Georgiana Caltais, Universi= ty of Twente, The Netherlands<br>Pascale Le Gall, CentraleSup=C3=A9lec, Uni= versit=C3=A9 Paris-Saclay, France<br><br>For=C2=A0 further information we r= efer to the SAC-SVT 2023 website:<br><a href=3D"http://logimics.mics.centra= lesupelec.fr/en/SAC-SVT-2023" target=3D"_blank">http://logimics.mics.centra= lesupelec.fr/en/SAC-SVT-2023</a></div></div>----<br> [[ Petri Nets World:=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 ]]<br> [[=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 <a href=3D"http://www.in= formatik.uni-hamburg.de/TGI/PetriNets/" rel=3D"noreferrer" target=3D"_blank= ">http://www.informatik.uni-hamburg.de/TGI/PetriNets/</a> ]]<br> [[ Mailing list FAQ:=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 ]]<br> [[ <a href=3D"http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.h= tml" rel=3D"noreferrer" target=3D"_blank">http://www.informatik.uni-hamburg= .de/TGI/PetriNets/pnml/faq.html</a> ]]<br> [[ Post messages/summary of replies:=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 ]= ]<br> [[=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0<a href=3D"mailto:petrinet@informatik= .uni-hamburg.de" target=3D"_blank">[email protected]</a> ]= ]<br> </blockquote></div><br clear=3D"all"><div><br></div>-- <br><div dir=3D"ltr"= ><div dir=3D"ltr"><div dir=3D"ltr">Yours truly,<br><br><div><div style=3D"c= olor:rgb(29,34,40);font-family:"Helvetica Neue",Helvetica,Arial,s= ans-serif">Dmitry Zaitsev<br></div><div style=3D"color:rgb(29,34,40);font-f= amily:"Helvetica Neue",Helvetica,Arial,sans-serif">Dr.Sci., Profe= ssor,</div><div style=3D"color:rgb(29,34,40);font-family:"Helvetica Ne= ue",Helvetica,Arial,sans-serif">Senior Member of ACM and IEEE</div><di= v style=3D"color:rgb(29,34,40);font-family:"Helvetica Neue",Helve= tica,Arial,sans-serif"><a rel=3D"nofollow" shape=3D"rect" href=3D"http://da= ze.ho.ua/" style=3D"color:rgb(25,106,212)" target=3D"_blank">http://daze.ho= .ua</a><br></div></div><div style=3D"color:rgb(29,34,40);font-family:"= Helvetica Neue",Helvetica,Arial,sans-serif"><br></div><div style=3D"co= lor:rgb(29,34,40);font-family:"Helvetica Neue",Helvetica,Arial,sa= ns-serif"><a rel=3D"nofollow noopener noreferrer" shape=3D"rect" href=3D"ht= tps://l.facebook.com/l.php?u=3Dhttps%3A%2F%2Fyoutu.be%2FCy6xRTpP0d8%3Ffbcli= d%3DIwAR190xifVopkYBgqdRVbb0Ey1OyzH-ZlO3AkCzqsLQswNpe-UH0Pqsmu3jU&h=3DA= T3_54deSf0jS1vNHCTAzj4aJb_p9vfEM-JYHILicq5r9P04P0_YlNa7Ybas339LU0cAZEMqgeAF= NG9VnKJmVQZeABUqTVFI8oQnqi0bsTn2yDdPBj8gUfwSWaCv&__tn__=3D-UK-R&c[0= ]=3DAT2N6IU-uHvB0_2o_s7Jl5vqW7lI5WraVAEJ8ZnbfRy2PKaOHb7MCEJPWBEJCwsxX2H2XX1= 2Vy_o4BT3aYwTRF_5s_p2KZj60hu3aZmPUkwSYPINOaxn7dODIhbYdMOzllpcDlmxnriUW6dMGv= lGdEv4oA" style=3D"outline:none;color:rgb(51,143,233);font-family:Helvetica= ,Arial,sans-serif;list-style:none;border-width:0px;border-style:initial;bor= der-color:initial;padding:0px;margin:0px;display:inline;font-size:15px;whit= e-space:pre-wrap" target=3D"_blank">https://youtu.be/Cy6xRTpP0d8</a><br></d= iv><div style=3D"color:rgb(29,34,40);font-family:"Helvetica Neue"= ,Helvetica,Arial,sans-serif"><br></div></div></div></div> --000000000000cc26eb05e9e1799c-- --===============8087523456746555623== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline --===============8087523456746555623== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info --===============8087523456746555623==--