From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id 1B7D95D4 for ; Fri, 13 Mar 2020 01:06:17 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.70,546,1574118000"; d="scan'208,217";a="440110381" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 13 Mar 2020 02:06:12 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id D67A47F44B; Fri, 13 Mar 2020 02:06:12 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id E22F77EEA4; Fri, 13 Mar 2020 01:27:59 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=Neutral smtp.pra=legunse2@illinois.edu; spf=Pass smtp.mailfrom=legunse2@illinois.edu; spf=Pass smtp.helo=postmaster@illinois.edu IronPort-PHdr: =?us-ascii?q?9a23=3AbD7DIxYDszT7v4tr68xBSuH/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZpsS5bnLW6fgltlLVR4KTs6sC0LWG9f24EUU7or+/81k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i76vnYuHUC1Dw1u?= =?us-ascii?q?O6C9NZTTgMOt2qr6r5LJZB5VrDu5ZbJ0KxSt6wjdq59Fr5FlL/N77hbGv31Tdu?= =?us-ascii?q?ISjUR3IlaalRe2rpO08ZF+9T9d4dog88pBV6L7ZOI1QaEOX2duCHw8+MC+7UqL?= =?us-ascii?q?dgCI/HZJCjxKwCoNOBDM6VTBZrm0qjHz77Yv2S2ePMvxTKtyVDi/vf0yFU3YzR?= =?us-ascii?q?wfPjt8y1n5z8x9iKUC/ECgoxh+xYnVe8eYOOcsJ/qML+NffnJIW4NqbwIEB4q9?= =?us-ascii?q?a4UVCO9YYbRZq438oVwPtl2zCRT+Xe4=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DtAgAE02peh0lSEcBmDoNYLySBHXUDB?= =?us-ascii?q?AsWFAqHUAOFOpIGkHYDVAEIAQMBCgEBJQcBAgQBAYFPgnQCgjMGAQM1EwIQAQE?= =?us-ascii?q?FAQEBAgECAwQBEwEBAQoLCQgphV0MgjsigwkWBgUjAQEmEQERAYEAJwQKBAUID?= =?us-ascii?q?gYGgwQBgX1NAwklAQ6hIQKBOYhhAQGCJoJ/AQEFhRkYQAEJgUIJgTiOSYERR4M?= =?us-ascii?q?LgQSBRw4LBBqBIAEqg0GCLIFDAYw5iGaZVgMDBII8BIdSjzSDS5dzhE2TNJJZA?= =?us-ascii?q?gQCBAUCDgEBBYFpgXpygWyBTglHGA2ON4NZaoQqhQQ9dAKBAgEkilEBASYHgQQ?= =?us-ascii?q?BgQ8BAQ?= X-IPAS-Result: =?us-ascii?q?A0DtAgAE02peh0lSEcBmDoNYLySBHXUDBAsWFAqHUAOFOpI?= =?us-ascii?q?GkHYDVAEIAQMBCgEBJQcBAgQBAYFPgnQCgjMGAQM1EwIQAQEFAQEBAgECAwQBE?= =?us-ascii?q?wEBAQoLCQgphV0MgjsigwkWBgUjAQEmEQERAYEAJwQKBAUIDgYGgwQBgX1NAwk?= =?us-ascii?q?lAQ6hIQKBOYhhAQGCJoJ/AQEFhRkYQAEJgUIJgTiOSYERR4MLgQSBRw4LBBqBI?= =?us-ascii?q?AEqg0GCLIFDAYw5iGaZVgMDBII8BIdSjzSDS5dzhE2TNJJZAgQCBAUCDgEBBYF?= =?us-ascii?q?pgXpygWyBTglHGA2ON4NZaoQqhQQ9dAKBAgEkilEBASYHgQQBgQ8BAQ?= X-IronPort-AV: E=Sophos;i="5.70,546,1574118000"; d="scan'208,217";a="342203773" X-MGA-submission: =?us-ascii?q?MDGUOXwgxhuCXcLOLfugimFJCh9431J7MDkmb5?= =?us-ascii?q?qDB945GP/5YT59h3LizMgiUZYpZlX26Pjxkkdstoqti0xJg/LiwFpDnp?= =?us-ascii?q?jhcv6B2uNSqhfQ4oZQZnAQD/+LVurH08me/T9D0wSObGjaT2aUDBuJEv?= =?us-ascii?q?2rvbARggyNWap4Hw1tAH8E4Q=3D=3D?= Received: from relays-agent07.techservices.illinois.edu (HELO illinois.edu) ([192.17.82.73]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 13 Mar 2020 01:27:56 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=illinois.edu; h=from : to : cc : subject : date : message-id : content-type : mime-version; s=campusrelays; bh=Z0hvZ8bK4oCvLYys49ihizLlspBG1IWzLCG0qf1W4xo=; b=gUyjU46yxNlz9m1dhQ0fhkbjOn8R4u9KgJrSyLSWYLEw4apRkxpZ9/FNv1CD1cXAPnYt FVruj7omG2UG9+04YLl7csRU0870f4GDZSwMwCnjqGOvMs9rhUYKTZz3aK/FiR7HbPm8 KMLixLQ40lEpRRLd8aZQ1dlMhoDd8TknhWA6xvHo9h3JLb+lWP5CnDnUfZjPYAwZtMIW 1f8V2e3QVhn/MGBPsXtpKcY8Xb9zVbP+y536HgqSCkTGv3fztq0i7kkHr3d5qr/5AnLk x4H22ERqSm7iQELNICwyHjYm+eKIiLGU95EPpDmmmog/3R7sX8/OhZycjYygMrRLkcJb tg== Received: from pps.reinject (relays-agent07.techservices.illinois.edu [127.0.0.1]) by relays-agent07.techservices.illinois.edu (8.16.0.27/8.16.0.27) with ESMTPS id 02D0PsKQ070846 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Thu, 12 Mar 2020 19:25:54 -0500 Received: from relays-agent07.techservices.illinois.edu (relays-agent07.techservices.illinois.edu [127.0.0.1]) by pps.reinject (8.16.0.26/8.16.0.26) with SMTP id 02D0MDJK067952; Thu, 12 Mar 2020 19:25:54 -0500 Received: from nam04-co1-obe.outbound.protection.outlook.com (mail-co1nam04lp2053.outbound.protection.outlook.com [104.47.45.53]) by relays-agent07.techservices.illinois.edu with ESMTP id 02D0PrYk070828 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Thu, 12 Mar 2020 19:25:54 -0500 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Z2nso+Zp8TgHABCKgtbATJasx8Rr5f1Bdtu7WRu8sWVxF7TA5siheSdfD+8O8SFkIOQb02oDm1jcXNWWeBwMLoAieXj8XufEPwKFXEo/A2ZUs8OX5AQeq1UWKHDdxjRZ1mJrSG24JnthhE/c0VBJR48KMB9QZBm3r29vuu8/DyI1D1woRBtSgLh5u/3dyZpKk0Er3V8rIeaiA1yzjT21322Fn1vh6MzHdTIWu+NHvEnMNKp7efNvm5bV+fd/NsM06WgoOB0GQCXP3VuzsiBEasIe4KikjgyYM91A2V0Wl0EucCp1QdYrwIv1nSZ5OaPvHle4j+vSPxsM2pBDSauR/Q== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=Z0hvZ8bK4oCvLYys49ihizLlspBG1IWzLCG0qf1W4xo=; b=ML+QCKZU4gZImlRnzyZTFB5RBW+sSm8XQ8QYnOaoQnm4yomaLBKNzm+vNSXP/Ua5RxIVBnc3+mjUQSr6tc+oqWqd1pECBSUBfC90hFEfqH2zWgbYECCPWFCRfQjxWGYZ+JvLEyRs48BFWxBUSJ/IODIA58ewKdM+XG4imFDSDoZiiigYYCYTCb7jXezFiYxslmVmwZkeeYUMfzs3g5irInw38P1aWdFhghOSK9/OgSoj9jBhI9V+z5L82Xxl67XZqWW42qkFk2gY65Ur8Dv2WM8eaOHCLU+SZiPoAuDub4vgXUf907UjkqgsGuNURME5+NswZodXFFjtr2flP5tAYA== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=illinois.edu; dmarc=pass action=none header.from=illinois.edu; dkim=pass header.d=illinois.edu; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=uillinoisedu.onmicrosoft.com; s=selector2-uillinoisedu-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=Z0hvZ8bK4oCvLYys49ihizLlspBG1IWzLCG0qf1W4xo=; b=WEPwfsPDK2Ap1aOlhJdQa2e87Vu7/K5LpPq2mNYjvXfnGSFJCTUn95p49kEIoaavpjGn+qrVCYMWOh6+Fox/U2zKOI2MfqzQAdjlZS1noJr64x2Lfjhy3IApUghlshF6zo/MsVkUIKxdZfR70BykNmup0gLghVdM+BeKGd5n+4s= Received: from DM6PR11MB2555.namprd11.prod.outlook.com (2603:10b6:5:c5::33) by DM6PR11MB2812.namprd11.prod.outlook.com (2603:10b6:5:c4::24) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2793.16; Fri, 13 Mar 2020 00:25:52 +0000 Received: from DM6PR11MB2555.namprd11.prod.outlook.com ([fe80::c4b3:eda1:b58c:9f87]) by DM6PR11MB2555.namprd11.prod.outlook.com ([fe80::c4b3:eda1:b58c:9f87%7]) with mapi id 15.20.2793.021; Fri, 13 Mar 2020 00:25:52 +0000 From: "Legunsen, Owolabi" To: "Rosu, Grigore" CC: "Legunsen, Owolabi" Thread-Topic: Call for Papers: SPIN 2020 - Model Checking of Software Thread-Index: AQHV+M2KKmIfkdoqVkiBCQRmYim+vw== Date: Fri, 13 Mar 2020 00:25:52 +0000 Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [73.211.151.84] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 6ba54ba8-79f9-46a2-3e2e-08d7c6e516b4 x-ms-traffictypediagnostic: DM6PR11MB2812: x-ms-exchange-transport-forked: True x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:10000; x-forefront-prvs: 034119E4F6 x-forefront-antispam-report: SFV:NSPM;SFS:(10009020)(39860400002)(136003)(376002)(366004)(396003)(346002)(199004)(8936002)(7696005)(2906002)(5660300002)(76116006)(186003)(81166006)(478600001)(316002)(66556008)(66446008)(8676002)(75432002)(966005)(26005)(33656002)(786003)(64756008)(6506007)(66476007)(55016002)(7336002)(6636002)(71200400001)(81156014)(7366002)(7416002)(4326008)(66946007)(86362001)(7276002)(6862004)(7406005)(52536014)(9686003)(225293001);DIR:OUT;SFP:1101;SCL:1;SRVR:DM6PR11MB2812;H:DM6PR11MB2555.namprd11.prod.outlook.com;FPR:;SPF:None;LANG:en;PTR:InfoNoRecords;A:1; x-ms-exchange-senderadcheck: 1 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: a3KHdzdc/svj/mBznrq4nZT662Jk5+ZY0nDJQicmq3XQm/BEfWce7YjMPKxf+THDuhPiKgFvPmRdvV4U0F4ZTLgROpwmtIvg3I78m0rFaYNP2IuoV6ODaChqc+zLkuQVPQa5WoT+4FFtK0Zgt1zlptOSGvkA3s9jdXKVUzrn+H1mt9auNOpu+eD+/7Md21fy8yLSabFG0+3xHYCKxnSLyUw4XYWoyvAXNawv3ko5mGPwjQ+AWgCRoZjTmu5R5Oq/LVU+6rgGpC4dYYspo+/0TYYy4YH3Zxx5WX6KXbPNmq1uqjoQ7jTl75fInNCEWL7UuoV5ML1zLLjGOs9NkwbbI30g2useN7RMz49RnEuz03gDMUavV4XBFsctsgVjcVodICL3jOs1wZb6Jaf0U+jDamZAxZ4CAZF902Thp8RCUVS44zSRt7w7QZ6gmX7YafDK41sR5F4c6ylBxTmmqYyCTtzh89b3M4ClhHE5riPRlM0o3MpfjfkrjATiMm1DEzJaftnVSVnYfnX9GVcIXOIlpK4B8EG+fpPhjAQ3Nss7sRm58w6K5nh/nWKS5CSvGIY7 x-ms-exchange-antispam-messagedata: k6d7xvu2tHy55fSIfeYHGJsxMDj6BBMJxZYGHHKSd1kW58JSJ3tbDOcVm/x4fN3goOYPqAnfnMX2wXGuhgyL5b0TmzJC5Jy2UC1cxDgMaqJAQ7eNFpFUEHcMezUePWFYH6lfFltmFNkg+WNbisqU0Q== Content-Type: multipart/alternative; boundary="_000_DM6PR11MB2555430592B0BF784218EAAFEAFA0DM6PR11MB2555namp_" MIME-Version: 1.0 X-OriginatorOrg: illinois.edu X-MS-Exchange-CrossTenant-Network-Message-Id: 6ba54ba8-79f9-46a2-3e2e-08d7c6e516b4 X-MS-Exchange-CrossTenant-originalarrivaltime: 13 Mar 2020 00:25:52.2118 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 44467e6f-462c-4ea2-823f-7800de5434e3 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: 9G+nMB/QYzrwDCcLKrwfzZo6e4tTct7GIH3QCAPYXQjEMykI3SIot/mq4AABewYV/MHaXT6QmfJNuFZp4/EOrA== X-MS-Exchange-Transport-CrossTenantHeadersStamped: DM6PR11MB2812 X-Spam-Details: rule=cautious_plus_nq_notspam policy=cautious_plus_nq score=0 priorityscore=1501 malwarescore=0 suspectscore=0 phishscore=0 bulkscore=0 spamscore=0 clxscore=1011 lowpriorityscore=0 mlxscore=0 impostorscore=0 mlxlogscore=999 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-2002250000 definitions=main-2003130000 X-Spam-Score: 0 X-Spam-OrigSender: legunse2@illinois.edu X-Spam-Bar: X-Validation-by: legunse2@illinois.edu Subject: [Caml-list] Call for Papers: SPIN 2020 - Model Checking of Software Reply-To: "Legunsen, Owolabi" X-Loop: caml-list@inria.fr X-Sequence: 18054 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --_000_DM6PR11MB2555430592B0BF784218EAAFEAFA0DM6PR11MB2555namp_ Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable SPIN 2020 - 27th International Symposium on Model Checking of Software Chicago, Illinois, USA, July 24-25, 2020 https://spin2020ui.web.illinois.edu ** CALL FOR PAPERS ** The SPIN symposium aims at bringing together researchers and practitioners = interested in automated tool-based techniques for the analysis of software = as well as models of software, for the purpose of verification and validati= on. The symposium specifically focuses on concurrent software but does not = exclude the analysis of sequential software. Submissions are solicited on t= heoretical results, novel algorithms, tool development, and empirical evalu= ation. The SPIN symposium originated as a workshop focusing on explicit state mode= l checking, specifically as related to the Spin model checker. However, ove= r the years it has evolved to a broadly-scoped symposium for software analy= sis using any automated techniques, including model checking, automated the= orem proving, and symbolic execution. An overview of the previous SPIN symp= osia (and early workshops) can be found at: http://spinroot.com/spin/sympos= ia. Topics of interest include, but are not limited to: Formal verification techniques for automated analysis of software Formal analysis for modeling languages, such as UML/state charts Formal specification languages, temporal logic, design-by-contract Model-checking Automated theorem proving, including SAT and SMT Verifying compilers Abstraction and symbolic execution techniques Static analysis and abstract interpretation Combination of verification techniques Modular and compositional verification techniques Verification of timed and probabilistic systems Automated testing using advanced analysis techniques Combination of static and dynamic analyses Derivation of specifications, test cases, or other useful material via form= al analysis Case studies of interesting systems or with interesting results Engineering and implementation of software verification and analysis tools Benchmark and comparative studies for formal verification and analysis tool= s Formal methods of education and training Insightful surveys or historical accounts on topics of relevance to the sym= posium ** IMPORTANT DATES ** Submissions: April 17, 2020 (23:59:59 Anywhere on Earth) Author notification: May 22, 2020 Camera-ready: June 22, 2020 Symposium: July 24-25, 2020 ** SUBMISSION CATEGORIES AND GUIDELINES ** Papers should be submitted via the EasyChair SPIN 2020 submission website: = https://easychair.org/conferences/?conf=3Dspin20200 The proceedings of SPIN 2020 will be published in Springer=92s Lecture Note= s in Computer Science series. Submissions should adhere to the LNCS format: http://www.springer.com/gp/co= mputer-science/lncs/conference-proceedings-guidelines With the exception of survey and history papers, the papers should contain = original work that has not been submitted or accepted for publication elsew= here. We are soliciting three categories of papers: Full Research Papers describing fully developed work and complete results (= 16 pages =96 references are not included in this limit); Short Papers presenting tools, technology, experiences with lessons learned= , new ideas, work in progress with preliminary results, and novel contribut= ions to formal methods (6 pages =96 references are not included in this lim= it). Tool Demo Papers presenting the foundations, capabilities, application doma= ins and relevant examples using the tools, with a clear description of what= is expected to be shown in a live demonstration (4 pages to describe the t= ool foundations, features and use examples, plus an appendix explaining the= content of the demo). All papers that conform to submission guidelines will be peer-reviewed by m= embers of the program committee. Submissions will be evaluated on the basi= s of originality, the importance of contribution, soundness, evaluation, qu= ality of presentation, and appropriate comparison to related work. At least one author of each accepted paper must attend the symposium and pr= esent the paper. Best Paper awards will be given and announced at the conference. Traditionally, a selection of papers were invited to a special issue of the= International Journal on Software Tools for Technology Transfer (STTT). ** ORGANIZATION ** Program Chairs Owolabi Legunsen, Cornell University and University of Illinois at Urbana-C= hampaign Grigore Rosu, University of Illinois at Urbana-Champaign Program Committee Axel Legay, Universite catholique de Louvain Doron Peled, Bar Ilan University Alex Groce, Northern Arizona Univeristy A. Prasad Sistla, University of Illinois at Chicago Allison Sullivan, The University of Texas at Austin Eunsuk Kang, Carnegie Mellon University Alice Miller, University of Glasgow Stefan Leue, University of Konstanz Alberto Lluch Lafuente, Technical University of Denmark Gerard Holzmann, Nimble Research Cristina Seceleanu, Malardalen University Corina Pasareanu, CMU/NASA Ames Research Center Jaco van de Pol, Aarhus University Kyungmin Bae, Pohang University of Science and Technology Madalina Erascu, Institute e-Austria Timisoara and West University of Timis= oara Neeraj Suri, Lancaster University Andreas Stahlbauer, University of Passau Dragan Bosnacki, Eindhoven University of Technology Sandeep Kulkarni, Michigan State University Scott Smolka, Stony Brook Universtiy Kuen-Bang Hou Favonia, University of Minnesota Steering Committee Dragan Bosnacki, Eindhoven University of Technology (chair) Susanne Graf, Verimag Gerard Holzmann, Nimble Research Stefan Leue, University of Konstanz Jaco van der Pol, Aarhus University Neha Rungta, Amazon Web Services Willem Visser, Stellenbosch University ** CONTACT INFORMATION ** Owolabi Legunsen, legunse2@illinois.edu Grigore Rosu, grosu@illinois.edu --_000_DM6PR11MB2555430592B0BF784218EAAFEAFA0DM6PR11MB2555namp_ Content-Type: text/html; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable

SPIN 2020 - 27th International Symposium on Model Ch= ecking of Software

Chicago, Illinois, USA, July 24-25, 2020

 

https://spin2020ui.web.illinois.edu

 

** CALL FOR PAPERS **

 

The SPIN symposium aims at bringing together researc= hers and practitioners interested in automated tool-based techniques for th= e analysis of software as well as models of software, for the purpose of ve= rification and validation. The symposium specifically focuses on concurrent software but does not exclude the analy= sis of sequential software. Submissions are solicited on theoretical result= s, novel algorithms, tool development, and empirical evaluation.

 

The SPIN symposium originated as a workshop focusing= on explicit state model checking, specifically as related to the Spin mode= l checker. However, over the years it has evolved to a broadly-scoped sympo= sium for software analysis using any automated techniques, including model checking, automated theorem proving,= and symbolic execution. An overview of the previous SPIN symposia (and ear= ly workshops) can be found at: http://spinroot.com/spin/symposia.

 

Topics of interest include, but are not limited to:<= /p>

 

Formal verification techniques for automated analysi= s of software

Formal analysis for modeling languages, such as UML/= state charts

Formal specification languages, temporal logic, desi= gn-by-contract

Model-checking

Automated theorem proving, including SAT and SMT

Verifying compilers

Abstraction and symbolic execution techniques

Static analysis and abstract interpretation

Combination of verification techniques

Modular and compositional verification techniques

Verification of timed and probabilistic systems

Automated testing using advanced analysis techniques=

Combination of static and dynamic analyses

Derivation of specifications, test cases, or other u= seful material via formal analysis

Case studies of interesting systems or with interest= ing results

Engineering and implementation of software verificat= ion and analysis tools

Benchmark and comparative studies for formal verific= ation and analysis tools

Formal methods of education and training

Insightful surveys or historical accounts on topics = of relevance to the symposium

 

 

** IMPORTANT DATES **

 

Submissions: April 17, 2020 (23:59:59 Anywhere on Ea= rth)

Author notification: May 22, 2020

Camera-ready: June 22, 2020

Symposium: July 24-25, 2020

 

** SUBMISSION CATEGORIES AND GUIDELINES **

 

Papers should be submitted via the EasyChair SPIN 20= 20 submission website: https://easychair.org/conferences/?conf=3Dspin20200<= /p>

 

The proceedings of SPIN 2020 will be published in Sp= ringer=92s Lecture Notes in Computer Science series.

 

Submissions should adhere to the LNCS format: http:/= /www.springer.com/gp/computer-science/lncs/conference-proceedings-guideline= s

 

With the exception of survey and history papers, the= papers should contain original work that has not been submitted or accepte= d for publication elsewhere.

 

We are soliciting three categories of papers:

 

Full Research Papers describing fully developed work= and complete results (16 pages =96 references are not included in this lim= it);

Short Papers presenting tools, technology, experienc= es with lessons learned, new ideas, work in progress with preliminary resul= ts, and novel contributions to formal methods (6 pages =96 references are n= ot included in this limit).

Tool Demo Papers presenting the foundations, capabil= ities, application domains and relevant examples using the tools, with a cl= ear description of what is expected to be shown in a live demonstration (4 = pages to describe the tool foundations, features and use examples, plus an appendix explaining the content of the = demo).

 

All papers that conform to submission guidelines wil= l be peer-reviewed by members of the program committee.  Submissions w= ill be evaluated on the basis of originality, the importance of contributio= n, soundness, evaluation, quality of presentation, and appropriate comparison to related work.

 

At least one author of each accepted paper must atte= nd the symposium and present the paper.

 

Best Paper awards will be given and announced at the= conference.

 

Traditionally, a selection of papers were invited to= a special issue of the International Journal on Software Tools for Technol= ogy Transfer (STTT).

 

** ORGANIZATION **

 

Program Chairs

 

Owolabi Legunsen, Cornell University and University = of Illinois at Urbana-Champaign

Grigore Rosu, University of Illinois at Urbana-Champ= aign

 

Program Committee

 

Axel Legay, Universite catholique de Louvain

Doron Peled, Bar Ilan University

Alex Groce, Northern Arizona Univeristy

A. Prasad Sistla, University of Illinois at Chicago<= /p>

Allison Sullivan, The University of Texas at Austin<= /p>

Eunsuk Kang, Carnegie Mellon University

Alice Miller, University of Glasgow

Stefan Leue, University of Konstanz

Alberto Lluch Lafuente, Technical University of Denm= ark

Gerard Holzmann, Nimble Research

Cristina Seceleanu, Malardalen University

Corina Pasareanu, CMU/NASA Ames Research Center

Jaco van de Pol, Aarhus University

Kyungmin Bae, Pohang University of Science and Techn= ology

Madalina Erascu, Institute e-Austria Timisoara and W= est University of Timisoara

Neeraj Suri, Lancaster University

Andreas Stahlbauer, University of Passau

Dragan Bosnacki, Eindhoven University of Technology<= /p>

Sandeep Kulkarni, Michigan State University

Scott Smolka, Stony Brook Universtiy

Kuen-Bang Hou Favonia, University of Minnesota

 

Steering Committee

 

Dragan Bosnacki, Eindhoven University of Technology = (chair)

Susanne Graf, Verimag

Gerard Holzmann, Nimble Research

Stefan Leue, University of Konstanz

Jaco van der Pol, Aarhus University

Neha Rungta, Amazon Web Services

Willem Visser, Stellenbosch University

 

 

** CONTACT INFORMATION **

 

Owolabi Legunsen, legunse2@illinois.edu

Grigore Rosu, grosu@illinois.edu

--_000_DM6PR11MB2555430592B0BF784218EAAFEAFA0DM6PR11MB2555namp_--