From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 80BCA7FEE8; Fri, 4 Aug 2017 09:41:07 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=ylies.falcone@univ-grenoble-alpes.fr; spf=Pass smtp.mailfrom=ylies.falcone@univ-grenoble-alpes.fr; spf=None smtp.helo=postmaster@zm-mta-out-1.u-ga.fr Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of ylies.falcone@univ-grenoble-alpes.fr) identity=pra; client-ip=152.77.200.56; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ylies.falcone@univ-grenoble-alpes.fr"; x-sender="ylies.falcone@univ-grenoble-alpes.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of ylies.falcone@univ-grenoble-alpes.fr designates 152.77.200.56 as permitted sender) identity=mailfrom; client-ip=152.77.200.56; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ylies.falcone@univ-grenoble-alpes.fr"; x-sender="ylies.falcone@univ-grenoble-alpes.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@zm-mta-out-1.u-ga.fr) identity=helo; client-ip=152.77.200.56; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ylies.falcone@univ-grenoble-alpes.fr"; x-sender="postmaster@zm-mta-out-1.u-ga.fr"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AAthxGxUgup3GbFWQZ27XWOT1u2LV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYZRWCuqdThVPEFb/W9+hDw7KP9fuxCSpYud6oizMrSNR0TRgLiM?= =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVr?= =?us-ascii?q?O+/7BpDdj9it1+C15pbffxhEiCCzbL52Lxi6txndutULioZ+N6g9zQfErGFVcO?= =?us-ascii?q?pM32NoIlyTnxf45siu+ZNo7jpdtfE8+cNeSKv2Z6s3Q6BWAzQgKGA1+dbktQLf?= =?us-ascii?q?QguV53sTSXsZnxxVCAXY9h76X5Pxsizntuph3SSRIMP7QawoVTmk8qxmUwHjhj?= =?us-ascii?q?sZODEl8WHXks1wg7xdoBK9vBx03orYbJiIOPZiYq/ReNUXTndDUMlMTSxMGoOy?= =?us-ascii?q?YJcVD+UOM+hWspfzqVgJoxalHwagGObvxyVIhnPq36A31fkqHwHc3AwnGtIDqH?= =?us-ascii?q?bbrNH0NKALSuC61KnGwi/Hb/xK3jf97pbHeQ0mrPCMWbJwcNTeyVI1GwPLlFqQ?= =?us-ascii?q?rZDqPzST1usTqGWb8uxgVeOxi2I+pAFxuCagxsEriobSgoIa1EnI+j99wIYtO9?= =?us-ascii?q?K4U1R3YdC+EJZJsSyRKoV4QsQnQ25yuSY6zKULuZ++fCcQx5Qr3RDfa+aff4iT?= =?us-ascii?q?4xLjW/yeIS9ghH5/f7K/nRmy/E69weP/Tsm5yEtGoypbntXWtH0A1Qbf5tabRv?= =?us-ascii?q?dh5Eus2TeC2xjO5uxALk04j7fXJpolz7IqiJYesV7PEjH2lUjwkaSYbF8r+vKy?= =?us-ascii?q?5OTierjmpoGTN4tzigzmM6Uun9WzAeEkMgcURmSb/vm81KH68UHkWrlKk+Q6kq?= =?us-ascii?q?bDv5zAK8QbvLa1Aw5T0ok99xayFyqq3dQGkXUdLl9IegiLg5b1N13SOvz1Dfay?= =?us-ascii?q?j0ypkDhxxvDGOrPhAo/KLnjGiLrgfbJ9609Cxwoo19xf6YhbCrUdL/L0XE/+qs?= =?us-ascii?q?fVDgI/Mwy13ebrEdp91pkAVmKJBa+WK6fSvkGR6u01J+mMfJEauC3nJ/gr/f7i?= =?us-ascii?q?lWU5lkMFfam1wZsXb2i1Eeh8LEWcZXrgm9MBEWYRvgoiV+Hqk12DUTtLZ3moRa?= =?us-ascii?q?485zc7CJinDYjZXIytjqaB1j+hHpJKfmBGFkyMEXDweoWfW/YMbTqSIsh6kjwF?= =?us-ascii?q?T7etUpUh2g+3tA/n1bVnNfbU9zYDtZPj0dh1//fcmQsz9TxyFcSd0nuCQ3t6nm?= =?us-ascii?q?MSFHcK2/VOpU390WCt2KxzhPpVXYhC4/JESUE0PJrXyOp3I830WxyEcc2ETlGs?= =?us-ascii?q?RtjjCDUpQ8l3zcVYJw5ZFtKkhwrP2GKPCqUUnrqKTMgx+7jd1n7wD8p80H3Bkr?= =?us-ascii?q?QnjlwnSI1OKTv1vKNn8xnvANv4l0QZjJGEfKAX2yjAvDOSyWuDpwdWWQp7VqPI?= =?us-ascii?q?dW0ZZ1WTos704ETIS7LrALA/PxAHx9TUbuNuZ9rvhE9KQ7/GMc7famSw0zO1DA?= =?us-ascii?q?yJz7WNRIbrYG4amjjbCU0FmUYS4SDVGxI5A3KQp2NeFwtAHFbkZEXhub1vrHK2?= =?us-ascii?q?VQk6xgWBaEts/6ez+wBQiuaRTfQZ2r9BsSM5pi4yEkzrjIGeMMaJuwc0JPYUWt?= =?us-ascii?q?g6+loSkDuB7wE=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D7AQAOJIRZhzjITZhdHQEFAQsBGAEFA?= =?us-ascii?q?QsBgkSBT20niBuVe4FMgRmBeZU3KIFkh35DFAEBAQEBAQEBAQEBEgEBAQgNCQg?= =?us-ascii?q?oL4IzJAGCZAZFZAoCXwEbiiYEDKYOiBqCJoRvhlABAQEHAQEBAQEBIoMoggKDL?= =?us-ascii?q?ysLgj0EgWyDEIJ9DDEwgjEFgVuPFo8UeYZajmuFWIpikS2EBVAPJ4ErUyhsAYE?= =?us-ascii?q?dgVSCHwSBdXSHKQIkB4IUAQEB?= X-IPAS-Result: =?us-ascii?q?A0D7AQAOJIRZhzjITZhdHQEFAQsBGAEFAQsBgkSBT20niBu?= =?us-ascii?q?Ve4FMgRmBeZU3KIFkh35DFAEBAQEBAQEBAQEBEgEBAQgNCQgoL4IzJAGCZAZFZ?= =?us-ascii?q?AoCXwEbiiYEDKYOiBqCJoRvhlABAQEHAQEBAQEBIoMoggKDLysLgj0EgWyDEIJ?= =?us-ascii?q?9DDEwgjEFgVuPFo8UeYZajmuFWIpikS2EBVAPJ4ErUyhsAYEdgVSCHwSBdXSHK?= =?us-ascii?q?QIkB4IUAQEB?= X-IronPort-AV: E=Sophos;i="5.41,319,1498514400"; d="scan'208,217";a="286033593" Received: from zm-mta-out-1.u-ga.fr ([152.77.200.56]) by mail2-smtp-roc.national.inria.fr with ESMTP; 04 Aug 2017 09:41:06 +0200 Received: from zm-mta-out.u-ga.fr (zm-mta-out.u-ga.fr [152.77.200.58]) by zm-mta-out-1.u-ga.fr (Postfix) with ESMTP id EAB33A02F6; Fri, 4 Aug 2017 09:41:05 +0200 (CEST) Received: from smtps.univ-grenoble-alpes.fr (smtps.univ-grenoble-alpes.fr [152.77.1.30]) by zm-mta-out.u-ga.fr (Postfix) with ESMTP id F288AE0095; Fri, 4 Aug 2017 09:41:05 +0200 (CEST) Received: from falcone-macbookpro.inrialpes.fr (falcone-macbookpro.inrialpes.fr [194.199.25.25]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) (Authenticated sender: falconey@univ-grenoble-alpes.fr) by smtps.univ-grenoble-alpes.fr (Postfix) with ESMTPSA id 025BF125EB9; Fri, 4 Aug 2017 09:41:05 +0200 (CEST) From: =?utf-8?Q?Yli=C3=A8s_Falcone?= Content-Type: multipart/alternative; boundary="Apple-Mail=_562A88DE-7055-4A6A-99DF-0D806996A730" Reply-To: =?utf-8?Q?Yli=C3=A8s_Falcone?= , Leonardo Mariani Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) Date: Fri, 4 Aug 2017 09:41:04 +0200 To: =?utf-8?Q?Yli=C3=A8s_Falcone?= , Leonardo Mariani Message-Id: X-Mailer: Apple Mail (2.3273) X-Greylist: Whitelist-UJF SMTP Authentifie (falconey@univ-grenoble-alpes.fr) via submission-587 ACL (111) X-Validation-by: ylies.falcone@univ-grenoble-alpes.fr Subject: [Caml-list] SAC-SVT 2018: Call for Papers --Apple-Mail=_562A88DE-7055-4A6A-99DF-0D806996A730 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 [Please accept our apologies for duplicates] 33rd Annual ACM Symposium on Applied Computing Software Verification and Testing Track Pau, France April 9 - 13, 2018 More information: http://sac-svt-2018.imag.fr and https://www.sigapp.org/sac/sac2018/ Important dates Sept 15, 2017: Submission of regular papers and SRC research abstracts Sept 25, 2017: Submission of Tutorial Proposals Oct 25, 2017: Notification of Tutorials Acceptance Nov 10, 2017: Notification of paper and SRC acceptance/rejection Nov 25, 2017: Camera-ready copies of accepted papers/SRC Dec 10, 2017: Author registration due date ACM Symposium on Applied Computing The ACM Symposium on Applied Computing (SAC) has gathered scientists from d= ifferent areas of computing over the last thirty years. The forum represent= s an opportunity to interact with different communities sharing an interest= in applied computing. SAC 2018 is sponsored by the ACM Special Interest Group on Applied Computin= g (SIGAPP), and will be hosted by the Universit=C3=A9 de Pau et des Pays de= l'Adour (UPPA), Bayonne, France. Software Verification and Testing Track The Software Verification and Testing track aims at contributing to the cha= llenge of improving the usability of formal methods in software engineering= . The track covers areas such as formal methods for verification and testin= g, based on theorem proving, model checking, static analysis, and run-time = verification. We invite authors to submit new results in formal verificatio= n and testing, as well as development of technologies to improve the usabil= ity of formal methods in software engineering. Also are welcome detailed de= scriptions of applications of mechanical verification to large scale softwa= re. Possible topics include, but are not limited to: =E2=80=93 model checking =E2=80=93 theorem proving =E2=80=93 correct by construction development =E2=80=93 model-based testing =E2=80=93 software testing =E2=80=93 symbolic execution =E2=80=93 static and dynamic analysis =E2=80=93 abstract interpretation =E2=80=93 analysis methods for dependable systems =E2=80=93 software certification and proof carrying code =E2=80=93 fault diagnosis and debugging =E2=80=93 verification and validation of large scale software systems =E2=80=93 real world applications and case studies applying software testin= g and verification =E2=80=93 benchmarks and data sets for software testing and verification Submissions Guidelines Paper submissions must be original, unpublished work. Author(s) name(s) and= address(es) must not appear in the body of the paper, and self-reference s= hould be avoided and made in the third person. Submitted paper will undergo= a blind review process. Authors of accepted papers should submit an editor= ial revision of their papers that fits within six two-column pages (an extr= a two pages, to a total of eight pages, may be available at a charge). Plea= se comply to this page limitation already at submission time. Accepted pape= rs will be published in the ACM SAC 2018 proceedings. Paper registration is required, allowing the inclusion of papers, posters, = or SRC abstracts in the conference proceedings. An author or a proxy attend= ing SAC MUST present the work. This is a requirement for the presented work= to be included in the ACM/IEEE digital library. No-show of registered pape= rs, posters, and SRC abstracts will result in excluding them from the ACM/I= EEE digital library. Student Research Competition As previous editions, SAC 2018 organises a Student Research Competition (SR= C) Program to provide graduate students the opportunity to meet and exchang= e ideas with researchers and practitioners in their areas of interest. Guid= elines and information about the SRC program can be found at http://www.sig= app.org/sac/sac2018/. Program Committee Chairs Yli=C3=A8s Falcone, Universit=C3=A9 Grenoble Alpes, Inria, France Leonardo Mariani, University of Milano Bicocca, Italy Program Committee See http://sac-svt-2018.imag.fr. --Apple-Mail=_562A88DE-7055-4A6A-99DF-0D806996A730 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8
[= Please accept our apologies for duplicates]

33rd Annual ACM Symposium on Applied Computing
Software Verification and Testing Track
Pau, = France
April 9 - 13, 2018

More information:
http://sac-svt-2018.imag.fr and<= /div>
https://www.sigapp.org/sac/sac2018/

Important dates

Sept 15, 2017:= Submission of regular papers and SRC research abstracts
Sept 25, 2017: Submission of Tutorial Proposals
Oct 25, 2017: Notification of Tutorials Acceptance
Nov 10, 2017: Notification of paper and SRC acceptance/rejection<= /div>
Nov 25, 2017: Camera-ready copies of accepted papers/SRC
Dec 10, 2017: Author registration due date

ACM Symposium on Applied Compu= ting

The ACM Symposium on Applied Co= mputing (SAC) has gathered scientists from different areas of computing ove= r the last thirty years. The forum represents an opportunity to interact wi= th different communities sharing an interest in applied computing.
SAC 2018 is sponsored by the ACM Special Int= erest Group on Applied Computing (SIGAPP), and will be hosted by the Univer= sit=C3=A9 de Pau et des Pays de l'Adour (UPPA), Bayonne, France.
Software Verification and Testing Track=

The Software Verification and Testing trac= k aims at contributing to the challenge of improving the usability of forma= l methods in software engineering. The track covers areas such as formal me= thods for verification and testing, based on theorem proving, model checkin= g, static analysis, and run-time verification. We invite authors to submit = new results in formal verification and testing, as well as development of t= echnologies to improve the usability of formal methods in software engineer= ing. Also are welcome detailed descriptions of applications of mechanical v= erification to large scale software. Possible topics include, but are not l= imited to:

=E2=80=93 model checking<= /span>
=E2=80=93 theorem proving
= =E2=80=93 correct by construction development
=E2= =80=93 model-based testing
=E2=80=93 software testi= ng
=E2=80=93 symbolic execution
=E2=80=93 static and dynamic analysis
=E2=80= =93 abstract interpretation
=E2=80=93 analysis meth= ods for dependable systems
=E2=80=93 software certi= fication and proof carrying code
=E2=80=93 fault di= agnosis and debugging
=E2=80=93 verification and = validation of large scale software systems
=E2=80= =93 real world applications and case studies applying software testing and = verification
=E2=80=93 benchmarks and data sets for= software testing and verification

S= ubmissions Guidelines

Paper submissi= ons must be original, unpublished work. Author(s) name(s) and address(es) m= ust not appear in the body of the paper, and self-reference should be avoid= ed and made in the third person. Submitted paper will undergo a blind revie= w process. Authors of accepted papers should submit an editorial revision o= f their papers that fits within six two-column pages (an extra two pages, t= o a total of eight pages, may be available at a charge). Please comply to t= his page limitation already at submission time. Accepted papers will be pub= lished in the ACM SAC 2018 proceedings.

Paper registration is required, allowing the inclusion of papers, pos= ters, or SRC abstracts in the conference proceedings. An author or a proxy = attending SAC MUST present the work. This is a requirement for the presente= d work to be included in the ACM/IEEE digital library. No-show of registere= d papers, posters, and SRC abstracts will result in excluding them from the= ACM/IEEE digital library.

Student R= esearch Competition

= As previous edit= ions, SAC 2018 organises a Student Research Competition (SRC) Program to pr= ovide graduate students the opportunity to meet and exchange ideas with res= earchers and practitioners in their areas of interest. Guidelines and infor= mation about the SRC program can be found at http://www.sigapp.org/sac/sac2018/.<= /div>
Program Committee Chairs

Yli=C3=A8s Falcone, Universit=C3=A9 Grenoble Alpes, In= ria, France
Leonardo Mariani, University of Milano = Bicocca, Italy

Program Committee

See http://sac-svt-2018.imag.fr.

= --Apple-Mail=_562A88DE-7055-4A6A-99DF-0D806996A730--