From: Dmitry Zaitsev <zaitsev.dmitry@gmail.com>
To: Georgiana Caltais <gcaltais@gmail.com>
Cc: softtech@cs.uu.nl, events@fmeurope.org, asci@twi.tudelft.nl,
agents@cs.umbc.edu, gdr.gpl@imag.fr, ipa@tue.nl,
lics@research.bell-labs.com, dmanet@zpr.uni-koeln.de,
concurrency@listserver.tue.nl,
"CABERNET-EVENTS@jiscmail.ac.uk" <CABERNET-EVENTS@jiscmail.ac.uk>,
categories@mta.ca, cphc-conf@jiscmail.ac.uk,
mailing@edv-fervers.de, ast@cs.vu.nl, ipa@win.tue.nl,
theory-logic@cs.cmu.edu, zforum@comlab.ox.ac.uk,
georgiana Caltais UT-EEMCS <g.g.c.caltais@utwente.nl>,
linear@cs.stanford.edu, clp@comp.nus.edu.sg,
types-announce@lists.seas.upenn.edu,
petrinet@informatik.uni-hamburg.de, nwpt-info@lists.ioc.ee,
compulognet-parimp@dia.fi.upm.es, hol-info@lists.sourceforge.net,
ic.eatcs@di.unipi.it, maude-users@cs.uiuc.edu,
theory-a@listserv.nodak.edu, comm-theory@ieee.org,
prog-lang@cs.uiuc.edu, isabelle-users@cl.cam.ac.uk,
sensoria-core@di.unipi.it, complog@cs.nmsu.edu, theorem-prove
Subject: Re: (PN) 2nd CfP - Software Verification and Testing Track at SAC 2023
Date: Fri, 30 Sep 2022 09:18:13 +0200 [thread overview]
Message-ID: <CADsoptMi9v1H0fftb-162rh9NhDFbY8cy=5k87y_k4LTo7M0+g@mail.gmail.com> (raw)
In-Reply-To: <EC12FE0C-5D92-428B-A187-D49AEE31AA71@gmail.com>
[-- Attachment #1.1: Type: text/plain, Size: 6808 bytes --]
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 site
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=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>
On Thu, Sep 29, 2022 at 2:43 PM Georgiana Caltais <gcaltais@gmail.com>
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
>
>
> ==== Important dates ====
>
> 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
>
> ==== ACM Symposium on Applied Computing ====
>
> 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.
>
> ==== Software Verification and Testing Track (SVT) ====
>
> 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.
>
> ==== Topics ====
>
> 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
>
> ==== Submission Guidelines ====
>
> 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.
>
> ==== Track Chairs ====
>
> Georgiana Caltais, University of Twente, The Netherlands
> Pascale Le Gall, CentraleSupélec, Université Paris-Saclay, France
>
> 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: ]]
> [[ petrinet@informatik.uni-hamburg.de ]]
>
--
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=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>
[-- Attachment #1.2: Type: text/html, Size: 10553 bytes --]
[-- Attachment #2: Type: text/plain, Size: 0 bytes --]
[-- Attachment #3: Type: text/plain, Size: 155 bytes --]
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
prev parent reply other threads:[~2022-09-30 7:18 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-09-16 21:01 Georgiana Caltais
2022-09-30 7:18 ` Dmitry Zaitsev [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='CADsoptMi9v1H0fftb-162rh9NhDFbY8cy=5k87y_k4LTo7M0+g@mail.gmail.com' \
--to=zaitsev.dmitry@gmail.com \
--cc=CABERNET-EVENTS@jiscmail.ac.uk \
--cc=agents@cs.umbc.edu \
--cc=asci@twi.tudelft.nl \
--cc=ast@cs.vu.nl \
--cc=categories@mta.ca \
--cc=clp@comp.nus.edu.sg \
--cc=comm-theory@ieee.org \
--cc=complog@cs.nmsu.edu \
--cc=compulognet-parimp@dia.fi.upm.es \
--cc=concurrency@listserver.tue.nl \
--cc=cphc-conf@jiscmail.ac.uk \
--cc=dmanet@zpr.uni-koeln.de \
--cc=events@fmeurope.org \
--cc=g.g.c.caltais@utwente.nl \
--cc=gcaltais@gmail.com \
--cc=gdr.gpl@imag.fr \
--cc=hol-info@lists.sourceforge.net \
--cc=ic.eatcs@di.unipi.it \
--cc=ipa@tue.nl \
--cc=ipa@win.tue.nl \
--cc=isabelle-users@cl.cam.ac.uk \
--cc=lics@research.bell-labs.com \
--cc=linear@cs.stanford.edu \
--cc=mailing@edv-fervers.de \
--cc=maude-users@cs.uiuc.edu \
--cc=nwpt-info@lists.ioc.ee \
--cc=petrinet@informatik.uni-hamburg.de \
--cc=prog-lang@cs.uiuc.edu \
--cc=sensoria-core@di.unipi.it \
--cc=softtech@cs.uu.nl \
--cc=theory-a@listserv.nodak.edu \
--cc=theory-logic@cs.cmu.edu \
--cc=types-announce@lists.seas.upenn.edu \
--cc=zforum@comlab.ox.ac.uk \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).