<div dir="ltr"><div dir="ltr" style="color:rgb(80,0,80)"><div>Dear colleagues,</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 speak very little French. </div><div><br>Please help me to get a job in the 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.</div></div><div><br></div>--<br><div dir="ltr"><div dir="ltr"><div dir="ltr">Yours truly,<br><br><div><div style="color:rgb(29,34,40);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif">Dmitry Zaitsev<br></div><div style="color:rgb(29,34,40);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif">Dr.Sci., Professor,</div><div style="color:rgb(29,34,40);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif">Senior Member of ACM and IEEE</div><div style="color:rgb(29,34,40);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif"><a rel="nofollow" shape="rect" href="http://daze.ho.ua/" target="_blank" style="color:rgb(25,106,212)">http://daze.ho.ua</a><br></div></div><div style="color:rgb(29,34,40);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif"><br></div><div style="color:rgb(29,34,40);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif"><a rel="nofollow noopener noreferrer" shape="rect" href="https://l.facebook.com/l.php?u=https%3A%2F%2Fyoutu.be%2FCy6xRTpP0d8%3Ffbclid%3DIwAR190xifVopkYBgqdRVbb0Ey1OyzH-ZlO3AkCzqsLQswNpe-UH0Pqsmu3jU&h=AT3_54deSf0jS1vNHCTAzj4aJb_p9vfEM-JYHILicq5r9P04P0_YlNa7Ybas339LU0cAZEMqgeAFNG9VnKJmVQZeABUqTVFI8oQnqi0bsTn2yDdPBj8gUfwSWaCv&__tn__=-UK-R&c[0]=AT2N6IU-uHvB0_2o_s7Jl5vqW7lI5WraVAEJ8ZnbfRy2PKaOHb7MCEJPWBEJCwsxX2H2XX12Vy_o4BT3aYwTRF_5s_p2KZj60hu3aZmPUkwSYPINOaxn7dODIhbYdMOzllpcDlmxnriUW6dMGvlGdEv4oA" target="_blank" style="color:rgb(51,143,233);outline:none;font-family:Helvetica,Arial,sans-serif;list-style:none;border-width:0px;border-style:initial;border-color:initial;padding:0px;margin:0px;display:inline;font-size:15px;white-space:pre-wrap">https://youtu.be/Cy6xRTpP0d8</a><br></div><div style="color:rgb(29,34,40);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif"><br></div></div></div></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Sep 29, 2022 at 2:43 PM Georgiana Caltais <<a href="mailto:gcaltais@gmail.com" target="_blank">gcaltais@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div>2nd CfP - Software Verification and Testing Track at SAC 2023<br><br> 38th Annual ACM/SIGAPP Symposium on Applied Computing<br> Software Verification and Testing Track<br> Tallinn, Estonia<br> March 27-31, 2023<br><br>SAC 2023 website:<br><a href="https://www.sigapp.org/sac/sac2023/" target="_blank">https://www.sigapp.org/sac/sac2023/</a><div><br>SAC-SVT 2023 website: <br><a href="http://logimics.mics.centralesupelec.fr/en/SAC-SVT-2023" target="_blank">http://logimics.mics.centralesupelec.fr/en/SAC-SVT-2023</a></div><div><br><br>==== Important dates ====<br><br>Oct. 1, 2022 - Submission of regular papers and SRC research abstracts<br>Nov. 19, 2022 - Notification<br>Dec. 6, 2022 - Camera-ready version<br>Dec. 6, 2022 - Author registration due date<br><br>==== ACM Symposium on Applied Computing ====<br><br>The ACM Symposium on Applied Computing (SAC) has gathered scientists<br>from different areas of computing over the last thirty years. The forum<br>represents an opportunity to interact with different communities sharing<br>an interest in applied computing.<br><br>SAC 2023 is sponsored by the ACM Special Interest Group on Applied<br>Computing (SIGAPP), and will take place on March 27-31, 2023 in<br>Tallinn, Estonia.<br><br>==== Software Verification and Testing Track (SVT) ====<br><br>The Software Verification and Testing track aims at contributing to the<br>challenge of improving the usability of formal methods in software<br>engineering. The track covers areas such as formal methods for<br>verification and testing, based on theorem proving, model checking,<br>static analysis, and run-time verification. We invite authors to submit<br>new results in formal verification and testing, as well as development<br>of technologies to improve the usability of formal methods in software<br>engineering. Also are welcome detailed descriptions of applications of<br>mechanical verification to large scale software.<br><br>==== Topics ====<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>* abstract interpretation<br>* analysis methods for dependable systems<br>* software certification and proof carrying code<br>* fault diagnosis and debugging<br>* verification and validation of large scale software systems<br>* real world applications and case studies applying software testing<br> and verification<br>* benchmarks and data sets for software testing and verification<br><br>==== Submission Guidelines ====<br><br>Paper submissions must report on original, unpublished work. Submitted<br>papers will undergo a double-blind review process. 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>research papers and posters. Research papers should have at most 8<br>two-column 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 pages (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 context of the Student Research Competition (SRC)<br>Program to provide graduate students the opportunity to meet and<br>exchange ideas with researchers and practitioners in their areas of<br>interest, graduate students are invited 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="https://www.sigapp.org/sac/sac2023/authorkit/ACM_SigConf-SRC2023.pdf" target="_blank">https://www.sigapp.org/sac/sac2023/authorkit/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 published in the ACM SAC 2023 proceedings in the<br>ACM digital library. Paper registration 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 result in excluding them from the<br>ACM digital library.<br><br>Detailed submission instructions are available on the SAC 2023<br>website. <br><br>==== Track Chairs ====<br><br>Georgiana Caltais, University of Twente, The Netherlands<br>Pascale Le Gall, CentraleSupélec, Université Paris-Saclay, France<br><br>For further information we refer to the SAC-SVT 2023 website:<br><a href="http://logimics.mics.centralesupelec.fr/en/SAC-SVT-2023" target="_blank">http://logimics.mics.centralesupelec.fr/en/SAC-SVT-2023</a></div></div>----<br>
[[ Petri Nets World: ]]<br>
[[ <a href="http://www.informatik.uni-hamburg.de/TGI/PetriNets/" rel="noreferrer" target="_blank">http://www.informatik.uni-hamburg.de/TGI/PetriNets/</a> ]]<br>
[[ Mailing list FAQ: ]]<br>
[[ <a href="http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html" rel="noreferrer" target="_blank">http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html</a> ]]<br>
[[ Post messages/summary of replies: ]]<br>
[[ <a href="mailto:petrinet@informatik.uni-hamburg.de" target="_blank">petrinet@informatik.uni-hamburg.de</a> ]]<br>
</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr"><div dir="ltr"><div dir="ltr">Yours truly,<br><br><div><div style="color:rgb(29,34,40);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif">Dmitry Zaitsev<br></div><div style="color:rgb(29,34,40);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif">Dr.Sci., Professor,</div><div style="color:rgb(29,34,40);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif">Senior Member of ACM and IEEE</div><div style="color:rgb(29,34,40);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif"><a rel="nofollow" shape="rect" href="http://daze.ho.ua/" style="color:rgb(25,106,212)" target="_blank">http://daze.ho.ua</a><br></div></div><div style="color:rgb(29,34,40);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif"><br></div><div style="color:rgb(29,34,40);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif"><a rel="nofollow noopener noreferrer" shape="rect" href="https://l.facebook.com/l.php?u=https%3A%2F%2Fyoutu.be%2FCy6xRTpP0d8%3Ffbclid%3DIwAR190xifVopkYBgqdRVbb0Ey1OyzH-ZlO3AkCzqsLQswNpe-UH0Pqsmu3jU&h=AT3_54deSf0jS1vNHCTAzj4aJb_p9vfEM-JYHILicq5r9P04P0_YlNa7Ybas339LU0cAZEMqgeAFNG9VnKJmVQZeABUqTVFI8oQnqi0bsTn2yDdPBj8gUfwSWaCv&__tn__=-UK-R&c[0]=AT2N6IU-uHvB0_2o_s7Jl5vqW7lI5WraVAEJ8ZnbfRy2PKaOHb7MCEJPWBEJCwsxX2H2XX12Vy_o4BT3aYwTRF_5s_p2KZj60hu3aZmPUkwSYPINOaxn7dODIhbYdMOzllpcDlmxnriUW6dMGvlGdEv4oA" style="outline:none;color:rgb(51,143,233);font-family:Helvetica,Arial,sans-serif;list-style:none;border-width:0px;border-style:initial;border-color:initial;padding:0px;margin:0px;display:inline;font-size:15px;white-space:pre-wrap" target="_blank">https://youtu.be/Cy6xRTpP0d8</a><br></div><div style="color:rgb(29,34,40);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif"><br></div></div></div></div>