From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10808 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Dmitry Zaitsev 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 Subject: Re: (PN) 2nd CfP - Software Verification and Testing Track at SAC 2023 Date: Fri, 30 Sep 2022 09:18:13 +0200 Message-ID: References: Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============8087523456746555623==" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="8141"; mail-complaints-to="usenet@ciao.gmane.io" 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" , 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 , 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 To: Georgiana Caltais Original-X-From: hol-info-bounces@lists.sourceforge.net Tue Oct 04 04:43:33 2022 Return-path: Envelope-to: gcmh-hol-info@m.gmane-mx.org Original-Received: from lists.sourceforge.net ([216.105.38.7]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1ofXu7-0001vj-Pk for gcmh-hol-info@m.gmane-mx.org; Tue, 04 Oct 2022 04:43:32 +0200 Original-Received: from [127.0.0.1] (helo=sfs-ml-4.v29.lw.sourceforge.com) by sfs-ml-4.v29.lw.sourceforge.com with esmtp (Exim 4.95) (envelope-from ) id 1ofXtL-0002ug-Li; Tue, 04 Oct 2022 02:42:56 +0000 Original-Received: from [172.30.20.202] (helo=mx.sourceforge.net) by sfs-ml-4.v29.lw.sourceforge.com with esmtps (TLS1.2) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.95) (envelope-from ) id 1oeCA0-0005xg-E7 for hol-info@lists.sourceforge.net; Fri, 30 Sep 2022 09:18:33 +0000 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=sourceforge.net; s=x; h=Content-Type:Cc:To:Subject:Message-ID:Date:From: In-Reply-To:References:MIME-Version:Sender:Reply-To:Content-Transfer-Encoding :Content-ID:Content-Description:Resent-Date:Resent-From:Resent-Sender: Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=yhxEV07THlcb7vbA3NoqGQ0+8MDFrZHoXUQCxUZRhnw=; b=azPAhZcXsKQVroO65NVQ1eEnzy klov1aHkhOYbTMz7UYTOmGmRjmOS0kizFVXEXMq4z9rT11yoUnI6WZRqzbJpPeSPjV2HQZPHOhD6o qIZaVgwXo9cIWs6lxkx6u3dH+SBFKNMdHFOG7GiFVi3baUEDPNVVheMXmgsmlgbd/syM=; DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=sf.net; s=x ; h=Content-Type:Cc:To:Subject:Message-ID:Date:From:In-Reply-To:References: MIME-Version:Sender:Reply-To:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:List-Id:List-Help:List-Unsubscribe:List-Subscribe: List-Post:List-Owner:List-Archive; bh=yhxEV07THlcb7vbA3NoqGQ0+8MDFrZHoXUQCxUZRhnw=; b=axKaaE4PVsM9NqAAp09Kup0gs9 uMJg+ewY4t9jF/mMgFEnZvhXKo1rQotrG9GOAubvNFjYVvs8j+VPn5PLVoPC4/1k/z5BdrZgnFQrc 3csn5dRTXaFj2NNb6pJ6qx1Q8GD+ux8c/mz+VcuKKH95MY4hORtiIPtvk4c8Y0pc/e8g=; Original-Received: from mail-vk1-f170.google.com ([209.85.221.170]) by sfi-mx-2.v28.lw.sourceforge.com with esmtps (TLS1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (Exim 4.95) id 1oeCAB-0007Wi-G8 for hol-info@lists.sourceforge.net; Fri, 30 Sep 2022 09:18:32 +0000 Original-Received: by mail-vk1-f170.google.com with SMTP id h5so1948073vkc.5 for ; Fri, 30 Sep 2022 02:18:31 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date; bh=yhxEV07THlcb7vbA3NoqGQ0+8MDFrZHoXUQCxUZRhnw=; b=mRZqZ1AacCD1BabrgTolhXRWBwhCavyeOo5PgBG/ptzfJ8VZt5VH3LTS6AhNe2U1vX V/i+8FC0qOk9/qmXWCfLz5Y1ioHM3IkIMX+n5fHTI8voZ3yCSnKOi5BZaLWXWVQuGXbN aIk1Xr8bALfrLUMATWTyDBVAYpXAaIfYcvZfdIJMyL9SSVuRNYrdgTtj1soY8anQD/qy aS736E8D1pL2zIOu1Cs18dGzvKKF4eQJTnikB82Hdrw1JDcogJ8LJ0CU7m0jWUyPtbNG X8Q2w9kv/ZcVu+P8uFEplAkzt8911LEzdAMsIhoG8AmctrhS407SfcVDzXxClyJ64Db3 PRXQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date; bh=yhxEV07THlcb7vbA3NoqGQ0+8MDFrZHoXUQCxUZRhnw=; b=fbOXUzTvfO6mAv9svopRE6bxKc1gvJicC+WuaDJsIBN6oqaOKEDyUw5RUxoWhEd3e+ +a3R6gZyJ9WdE3jzFh3F/M0TOh2Aeq6y5efikY5WodOLnsTxC8hQHajrUCca6IR2L7Dm sNR4mJg2ZoM/TJXQCZPtDS8O1hmPnP252IT1h+Qp2BePU4KYDcpf52Oo31p0aCmfpYpB ee5NcOKitd0VrYvQjQL5zpDCIzmQb4DKFJd7h6gTwLsvxqj7n+RG3D7umUCyndMvDtEF Jy9e0Y0JuYXPyXKGDj/thyfxBZgxPuxbMf0gdYR0n0FIdUA4SnUV9b2rTVZ537xrnj5d lW1A== X-Gm-Message-State: ACrzQf1GOysfgvUnNCyW9m4vSY82rKVs4aNhZ5XzCb3VInqk8TmKy8hc Y4TGaXXPWtkDdhR6bIAZGN49lYjFTCAQrcSxGk4= X-Google-Smtp-Source: AMsMyM7e1NG59/oDgY8OZOaEpgtZd2+xVbEnzFSqhCQCIXe1+yrpw8oe7y0dsXgRi6cgpaGxYYFSZBWYdDkendcFnIo= X-Received: by 2002:a1f:b254:0:b0:345:87e4:17fb with SMTP id b81-20020a1fb254000000b0034587e417fbmr3852725vkf.25.1664529503887; Fri, 30 Sep 2022 02:18:23 -0700 (PDT) In-Reply-To: X-Headers-End: 1oeCAB-0007Wi-G8 X-Mailman-Approved-At: Tue, 04 Oct 2022 02:42:54 +0000 X-BeenThere: hol-info@lists.sourceforge.net X-Mailman-Version: 2.1.21 Precedence: list List-Id: Information and Discussion about HOL List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: hol-info-bounces@lists.sourceforge.net Xref: news.gmane.io gmane.comp.mathematics.hol:6468 gmane.science.mathematics.discrete:17060 gmane.science.mathematics.categories:10808 gmane.comp.science.types.announce:10497 gmane.science.mathematics.petri-nets:5992 gmane.comp.gnu.prolog.general:1976 Archived-At: --===============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 On Thu, Sep 29, 2022 at 2:43 PM Georgiana Caltais 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: ]] > [[ petrinet@informatik.uni-hamburg.de ]] > --=20 Yours truly, Dmitry Zaitsev Dr.Sci., Professor, Senior Member of ACM and IEEE http://daze.ho.ua https://youtu.be/Cy6xRTpP0d8 --000000000000cc26eb05e9e1799c Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear co= lleagues,

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 spea= k very little French.=C2=A0

Please help me to get a job in th= e 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



On Thu, Sep 29, 2022 at 2:43 PM Georgiana Cal= tais <gcaltais@g= mail.com> wrote:
2nd CfP - Software Verification and Testing Track at SAC 2023<= br>
=C2=A0 38th Annual ACM/SIGAPP Symposium on Applied Computing
=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 Software Verification and Testing T= rack
=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
=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

SAC 2023 website:
https://www.sigapp.org/sac/sac2023= /


=3D=3D=3D=3D Imp= ortant dates =3D=3D=3D=3D

Oct. 1, 2022 - Submission of regular paper= s and SRC research abstracts
Nov. 19, 2022 - Notification
Dec. 6, 202= 2 - 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 d= ifferent areas of computing over the last thirty years. The forum
repres= ents an opportunity to interact with different communities sharing
an in= terest in applied computing.

SAC 2023 is sponsored by the ACM Specia= l Interest Group on Applied
Computing (SIGAPP), and will take place on M= arch 27-31, 2023 in
Tallinn, Estonia.

=3D=3D=3D=3D Software Verif= ication and Testing Track (SVT) =3D=3D=3D=3D

The Software Verificati= on and Testing track aims at contributing to the
challenge of improving = the usability of formal methods in software
engineering. The track cover= s areas such as formal methods for
verification and testing, based on th= eorem proving, model checking,
static analysis, and run-time verificatio= n. We invite authors to submit
new results in formal verification and te= sting, as well as development
of technologies to improve the usability o= f formal methods in software
engineering. Also are welcome detailed desc= riptions of applications of
mechanical verification to large scale softw= are.

=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
* abst= ract interpretation
* analysis methods for dependable systems
* softw= are certification and proof carrying code
* fault diagnosis and debuggin= g
* verification and validation of large scale software systems
* rea= l world applications and case studies applying software testing
=C2=A0= =C2=A0and verification
* benchmarks and data sets for software testing a= nd verification

=3D=3D=3D=3D Submission Guidelines =3D=3D=3D=3D
<= br>Paper submissions must report on original, unpublished work. Submittedpapers will undergo a double-blind review process.=C2=A0 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
re= search papers and posters. Research papers should have at most 8
two-col= umn 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 pa= ges (one extra page may be available at a charge). Please
comply to this= page limitation already at submission time.

Furthermore, in the con= text of the Student Research Competition (SRC)
Program to provide gradua= te students the opportunity to meet and
exchange ideas with researchers = and practitioners in their areas of
interest, graduate students are invi= ted 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/authorki= t/ACM_SigConf-SRC2023.pdf

Submission of the same abstract= to multiple tracks is not allowed.

Accepted papers will be publishe= d in the ACM SAC 2023 proceedings in the
ACM digital library. Paper regi= stration 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 r= esult in excluding them from the
ACM digital library.

Detailed su= bmission instructions are available on the SAC 2023
website.=C2=A0
=3D=3D=3D=3D Track Chairs =3D=3D=3D=3D

Georgiana Caltais, Universi= ty of Twente, The Netherlands
Pascale Le Gall, CentraleSup=C3=A9lec, Uni= versit=C3=A9 Paris-Saclay, France

For=C2=A0 further information we r= efer to the SAC-SVT 2023 website:
http://logimics.mics.centra= lesupelec.fr/en/SAC-SVT-2023
----
[[ 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 ]]
[[=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ 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 ]]
[[ http://www.informatik.uni-hamburg= .de/TGI/PetriNets/pnml/faq.html ]]
[[ 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 ]= ]
[[=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=A0petrinet@informatik.uni-hamburg.de ]= ]


--
Yours truly,

Dmitry Zaitsev
Dr.Sci., Profe= ssor,
Senior Member of ACM and IEEE
http://daze.ho= .ua

--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 hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info --===============8087523456746555623==--