From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10716 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: =?UTF-8?Q?Henrique_Reb=C3=AAlo?= Newsgroups: gmane.science.mathematics.logic.acl2.general,gmane.comp.science.types.announce,gmane.science.mathematics.prooftheory,gmane.science.mathematics.categories,gmane.comp.lang.caml.inria,gmane.science.mathematics.logic.coq.club Subject: FTfJP 2022 - Call for Papers - Deadline Extended! Date: Wed, 13 Apr 2022 13:00:50 -0300 Message-ID: References: Reply-To: =?UTF-8?Q?Henrique_Reb=C3=AAlo?= Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="000000000000b5d30205dc8b48c5" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="5114"; mail-complaints-to="usenet@ciao.gmane.io" To: acl2-wNjIbZq71S3S/e0kzai8jze48wsgrGvP@public.gmane.org, complog-qcTL/1vZYtiVc3sceRu5cw@public.gmane.org, concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org, ecoop-info-khN00PUlwG3YtjvyW6yDsg@public.gmane.org, facs-events-BJlGqfXgjbjQzY9nttDBhA@public.gmane.org, procos-BJlGqfXgjbjQzY9nttDBhA@public.gmane.org, types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org, FACS-BJlGqfXgjbjQzY9nttDBhA@public.gmane.org, ProofTheory-nJFXYWEDAR8wZN84zEGlPg@public.gmane.org, eurograd-MBguRC6etqrb9HI7AK8HkA@public.gmane.org, agents-iAiprmkJuSSVc3sceRu5cw@public.gmane.org, zforum-BJlGqfXgjbjQzY9nttDBhA@public.gmane.org, robotics-worldwide-DG7SOAwx7rg@public.gmane.org, It-moca-announce-HplSY+IhBYUwFerOooGFRg@public.gmane.org, FMNET-BJlGqfXgjbjQzY9nttDBhA@public.gmane.org, announce-jNDFPZUTrfTs/wu/ztDUQnmj43O/BPlP@public.gmane.org, categories-59hdLBrVOVU@public.gmane.org, cabernet-events-BJlGqfXgjbjQzY9nttDBhA@public.gmane.org, logic-list-pxSi+dnQzZMxHbG02/KK1g@public.gmane.org, all-ZTXTTVQmh+NpF8Fk/HG8vA@public.gmane.org, FMxSOCandBPM-iEixELS/QsY1GQ1Ptb7lUw@public.gmane.org, cphc-conf-BJlGqfXgjbjQzY9nttDBhA@public.gmane.org, caml-list-MZpvjPyXg2s@public.gmane.org, coq-club-MZpvjPyXg2s@public.gmane.org, etaps2015-all-IThSt0QXrcB3X3Gnb7QP6g@public.gmane.org, theory-logic-ETDLCGt7PQU3uPMLIKxrzw@public.gmane.org, theory-a-JX7+OpRa80RAtAYDKi7u6De48wsgrGvP@public.gmane.org, theorynt-JX7+OpRa80RAtAYDKi7u6De48wsgrGvP@public.gmane.org Archived-At: Original-X-From: acl2-owner-wNjIbZq71S3S/e0kzai8jze48wsgrGvP@public.gmane.org Wed Apr 13 18:04:53 2022 Return-path: Envelope-to: gsmla-acl2@m.gmane-mx.org Original-Received: from esa10.utexas.iphmx.com ([216.71.150.156]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1nefUA-00010v-02 for gsmla-acl2@m.gmane-mx.org; Wed, 13 Apr 2022 18:04:52 +0200 X-Utexas-Sender-Group: None X-IronPort-MID: 325097499 X-Utexas-SMTP-Auth-ID: 4988qgfb Original-Received: from utlists-sympa-p10.utlists.utexas.edu (HELO utlists-sy-p10.its.utexas.edu) ([35.174.83.226]) by esa10.utexas.iphmx.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 13 Apr 2022 11:04:39 -0500 Original-Received: from utlists-sy-p10.its.utexas.edu (localhost [127.0.0.1]) by utlists-sy-p10.its.utexas.edu (8.14.7/8.14.7) with ESMTP id 23DG4GFM023857; Wed, 13 Apr 2022 11:04:16 -0500 Original-Received: (from sympa@localhost) by utlists-sy-p10.its.utexas.edu (8.14.7/8.14.7/Submit) id 23DG412X023813; Wed, 13 Apr 2022 11:04:01 -0500 Original-Received: from esa8.utexas.iphmx.com (esa8.utexas.iphmx.com [68.232.149.94]) by utlists-sy-p10.its.utexas.edu (8.14.7/8.14.7) with ESMTP id 23DG17hI023651 for ; Wed, 13 Apr 2022 11:01:07 -0500 Authentication-Results: esa8.utexas.iphmx.com; dkim=pass (signature verified) header.i=@cin.ufpe.br IronPort-SDR: 6Pks7ez+3uZzAOlWRuf11LlXycFkUqt0LnxttS+K5ARnsReA8PyLPYgHaGCVkvp7jvey2ija8a wHpMHMYfCtWU55aEgVTVnpgzOVxXQL4nUX4l3d4n5sieul6vdcERki5KPQx0q5YQyclx8IPRe+ A+C1lCH3JHhPfJTwheyf4rc58N8A014n3x6CGnvnZHGvbVUQNk3vxhRbqdx+x1X0kbJFe4xGNe qRXeWf9KXFLDto01BJZTvEhC+iq/UkrKiUoTa0rHpQGB8npTvQFFRmscfDC1HfqAsz0qKByvJx ZAtBvH7/peTrTFWlbpWPjlWA X-IronPort-MID: 510515644 X-SBRS: 2.7 X-IPAS-Result: =?us-ascii?q?A0GBAACQ8lZif6nQVdFaDggGAQEBAQEBBwEBEgEBBAQBA?= =?us-ascii?q?UCBSQQBAQsBgSBZBih+VjxEhFWBIY1SgiWWV4c8A0cEAwcDBwEBAQEBAQEBA?= =?us-ascii?q?QksAQoMBAEBAwEDg0qBNoR/AiU3Bg4BAgEDAQEBAQMCAwEBAQEBAQMBAQEEA?= =?us-ascii?q?QEBAgEBBgICAgIQAQENCwkHCAoHDg4FYAFBaIFPgXQLAzENg1NWAQEBAQEBA?= =?us-ascii?q?QEBJwIBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQ8CDQdLB2ACBAEBEAsGH?= =?us-ascii?q?QEBEhQDDw8WNwICAiAMBgEFARwHCxsOggReAYMZD6AuAXY0PgIQFwEpFwEMg?= =?us-ascii?q?QiJDHgCgTGBAYIIAQEGgT8BAwWEfYEXBwkSgSoBhzcBAYMChBknHIINgUuCQ?= =?us-ascii?q?gKBc06BEAICGIFzgymCZZp5Ph0UExoxBisBUE0THQQJBSUQARcFFx4RkWqPL?= =?us-ascii?q?j2Kf5N3g1OFcYMhggWCSpIfM4N0jDmJC4glhnaHGo9DIIwbYocQjTAThRMQI?= =?us-ascii?q?4FUggAzIhoWbAaCMglFAQIBAQENAQICAwECAQIJAQECVI0nIheCcoNNgjCFB?= =?us-ascii?q?Qg8GyoxOAIGAQoBAQMJgjqKCgEB?= IronPort-PHdr: A9a23:XtiBmhNZu/YXdaPipkcl6na7DBdPi9zP1nM99M9+2PpHJ7649tH5P EWFuKs+xFScR4jf4uJJh63MvqTpSWEMsvPj+DhKONQEH1cJ3M4XmUo9DtaIT0fhf7bxOiM9G 8tGWQwAnTnzeQAdUI62ZwjXo3i/qCAfAA7+MgwnPOn7F5Tfic+6zLKz/djJbh1MlX+hZuF8N hKz/wnYqsREhIZ5Ma8+x17IrilTZu5UyGh0d06UzHOero/4tNYru2xau6d/yuJ8UP6hWKoAZ p1GC25hA10Zv8vbjBSAVRaPwGVbDXs9nR1SAwLmw071C8SU0GOy/qI1kGHSN5jOTrAEBC77s qVgVgTJpjsGbycQ6ELRsfV7tqVhvDGBlUR0x975QNuaN+N5QvnEc8w6GUVic+1NfTBMHLmCX ZNRCNNkX64Q58G17xNG5TiCHBKxHL3d7xlqqTjW8J0T3b9xCxPGhSwlDt0+93D5kf7tbPpMU c/rkYCW63bkbPoG9S6jzorlUhMxkK62YY5zacvhrCtnX0uNxh3Y4cS5Phi/8/wuiWuD0s5nV OavoEwck15x/zGO780+so7lht9K43barRQomIwpKPmZUHF8JsP5F8p+5yOiKtEmbN4ZYmI5g kNYgvVO8dbzNGBClMs29STDZ9ytTYOwshyzf9+zcQpbtEpmQJyeiimD7VeB6uDCZo6Fi3dht zsZlITsijco7S7V8vejE6dd2he68zqP+hq2iKkMaQh83eKTY6Q92YAuk5UUjEbAE3WosUTfl rCRSWQC2/qE0KfWT+XkvICAaIBqhFziC4QLgcuBAs4COTEoUlm1o969+4O40EHoEZNy659+2 uGR+NiSbYw IronPort-Data: A9a23:SYllUar2VDt0dzErkOxZTHNutiJeBmLNYBIvgKrLsJaIsI4StFGz/ 9Y/7Vv2Sa7WPjSqObknKNj0tldQ/cCPjtRhVkYk6RmBJFoU+MefDtnGIxysZSrJdJGSRktp5 MxHOtKbfJ9sRHHW9kr2arG59yMgjauFGevwWeSbYnwvGAVoEHl91B8yxORk6mIEbaBVJivU0 T+li5GOYQfNN0dIGmII97qY+lQo5qyo4nUVtVs5fbZMplCZi2McB5FYK72/LWO9GNEORIaGq 534IMeEEhnxukxrUruYurbnblUREPmVMAGVm3FWUqm4xB9YqWs51aA1OeARb0xakHLelNd3x oBDqZKyUV1xZPekpAhmaPUuLs0EFfMAp9f6CXijrdSInQqBfnL30v5uBUAse4oC9aF8BmdA+ OYVLjsAdVfUjOWwzue1Vudunp57dpOtVL/zwUqMuww1d954B8+rfo3K+cNAx2V3wc5SE/TGI cUYdTpyZlLBZFonBrtsM35IoQvSriO5LlVlgFKJubIssS+U0xNulqPsP8LRc9rMQt9a2XyVv WXb5W/0GVYzKcCfziDtzp7XvQO5oM+BcMdJUuXQy8NXvbGz+oAyIExOWwHhqPfm1xe1AY4Pe 0cd8CB/8qVu/hz6QoGlURPl/CfU7xURcuQLL+BrswvlJog4Q+q66snoahYbNbTKYedrHVTG7 nfQw5WxQ2YHXIS9ERpxzJ/Nxd+JEXVTfDdqiRMsF1NfuYG/+dpr1Xojc/46eEKLpoytcd3P6 23SxMQOr+17YRkjjvjTEfjv2lpAl7CRJuIHzly/slGNtGuVULWYi7mAsjA32xrhwLGxFTFtt FBc8ySXAXt IronPort-HdrOrdr: A9a23:xQu6/qrbBwW/zL1JUEm/8pQaV5t1LNV00zEX/kB9WHVpm5Oj+v xGzc5w6farsl0ssSkb6La90dq7MArhHP9OkMEs1NKZMDUO11HYSL2KgbGC/9SCIVy0ygc+79 YGT0EWMrSZYjZHZK3BkWqF+qMbsby6GdeT9IXjJhlWLT1CWuVF1UNUGwybGkp5SE1tHpwiDq eR4cJBun6JZWkXRt7TPAhJY8Hz4/nw0L72ax8PABAqrCOUiymz1bL8Gx+Emj8DTjJ0x6s4+2 StqX202kzjiYD19vbv7R6T031koqqg9jKFPr3OtiEhEESjtu9vXvUiZ1TNhkFxnAjl0idTrD CFmWZaAy000QKaQoj9m2qW5yDwlDkp8HPs0lmenD/qptH4XiszD45biZteaQax0TtVgDhQ6t M444uijesjMfoAplWC2/HYExVx0kakq3srluAey3RZTIsFcbdU6YgS5llcHpsMFD/zrNlPKp gZMOjMoPJNNV+KZXHQuWdihNSqQ3QoBx+DBkwPoNac3TRalG1wixNw/r1Xol4QsJYmD5VU7e XNNapl0LlIU88NdKp4QOMMW9G+BGDBSQ/FdGiSPVPkHqcaPG+lke+B3JwloOWxPJAYxpo7n5 rMFFteqG4pYkrrTdaD2ZVamyq9M1lVnQ6duv22y6IJxoEUHoCbTBFrYGpe7PeIsrECH8HLU+ z2N4lRB7vuPG2GI/c54zHD X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.90,257,1643695200"; d="txt'?scan'208,217";a="510515644" X-Amp-Result: UNKNOWN X-Amp-Original-Verdict: FILE UNKNOWN X-Amp-File-Uploaded: False X-Utexas-Seen-Inbound: true X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown Original-Received: from mail-lj1-f169.google.com ([209.85.208.169]) by esa8.utexas.iphmx.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 13 Apr 2022 11:01:04 -0500 Original-Received: by mail-lj1-f169.google.com with SMTP id a8so2528596ljq.5 for ; Wed, 13 Apr 2022 09:01:04 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cin.ufpe.br; s=google; h=mime-version:references:in-reply-to:from:date:message-id:subject:to; bh=6UDTi33OfPCIvo2/XUD3nXQe+puhNv/7vCgorhbKG7g=; b=PkhX5r15jcvsIFti0qApKnSQcRoRtKHZ0cl8EH2gkqoT2qfwH4GKECtBtevRVZp6oQ KTqsup6ZMNJG/HEXAf38rzh1HmygX/lEUCp056hG65A6N+Oka8Dq6NjEHkxY7RTTkpiX 4iCBMpKRkpULoilhCJSP7h5aIAbzPoDh57ANv0Y90bteLIpWo/u5o9F8jPu28FuSIk9R 47yZRtdHBVcP8f8CQJ8UKXPkPFIeWYtwIHeVX/Y3ICqy4n5HT/MRZnpWL14HL8sBdhEr RtsVvmgoUjke26AiArwoWINIzDS+YE8jrwt7gvf5tQHMsoVkBRcQNeYF2RiGV3Edy9NP huvw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to; bh=6UDTi33OfPCIvo2/XUD3nXQe+puhNv/7vCgorhbKG7g=; b=GR+NG2J8C/QjjJxf1AbZuMR8Ap73IUUNH0lGFTE5dDyEiO0NqA2JeumPpvkKHMKtgc jA8cCH/Hy0FlsPXhVXoKdAAgbzJSvXGAVouJx9HuaHStwVeTV4bmEACOBE2f0J/Fqcf8 9fOEr9g12QbZ5ZCIifPpy1Zb0L6NlB38nUTarVO68LpGgknPtZ0KK6yQXRizjUPeBy3S F83H+Msy4xw+vqJhZYzWQauuXm9/Au3iFgB+tIIWFB+G2u/9vI+dFxt5WYu2SH7EI53x U074mxquObuKs1a5Mgc3Tis22onojaP1LoVotroQFhrskajYKj2aaJi3XzcQCqBhhA98 LdcA== X-Gm-Message-State: AOAM530H5Cdey69FwAnHT2mACjHGIQ7nKp+O0e5bSAIxhqQFMcvwETcT NRzO/jx04I9mST/OLRkdR1304lyX03hJzt3XPfwHheO0qJ8vsA== X-Google-Smtp-Source: ABdhPJyHpHi6CwoSFXK2N3hEO8PqvmEFaMu5eB8g91tT7DrGX+3PyVO0E5AAUiowd3c6CinvjYLdXhAk5lMpb++qSaI= X-Received: by 2002:a05:651c:893:b0:249:4023:3818 with SMTP id d19-20020a05651c089300b0024940233818mr27451227ljq.44.1649865661988; Wed, 13 Apr 2022 09:01:01 -0700 (PDT) In-Reply-To: X-Validation-by: kaufmann-NZpS4cJIG2HvQtjrzfazuQ@public.gmane.org X-Loop: acl2-wNjIbZq71S3S/e0kzai8jze48wsgrGvP@public.gmane.org X-Sequence: 1582 Errors-To: acl2-owner-wNjIbZq71S3S/e0kzai8jze48wsgrGvP@public.gmane.org Precedence: list Precedence: bulk Original-Sender: acl2-request-wNjIbZq71S3S/e0kzai8jze48wsgrGvP@public.gmane.org X-no-archive: yes List-Id: List-Help: , List-Subscribe: , List-Unsubscribe: , List-Post: List-Owner: List-Archive: X-Gmane-Expiry: 2022-04-27 Xref: news.gmane.io gmane.science.mathematics.logic.acl2.general:1201 gmane.comp.science.types.announce:10244 gmane.science.mathematics.prooftheory:1680 gmane.science.mathematics.categories:10716 gmane.comp.lang.caml.inria:69729 gmane.science.mathematics.logic.coq.club:23128 Archived-At: --000000000000b5d30205dc8b48c5 Content-Type: multipart/alternative; boundary="000000000000b5d30105dc8b48c3" --000000000000b5d30105dc8b48c3 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Please, consider submitting a paper and/or attending the 24th Workshop on Formal Techniques for Java-like Programs [*7 June 2022, Berlin, Germany*]. See below [also as an attached file] the detailed call for papers for FTfJP 2022. *The deadline was extended until 15th April (AoE).* Any questions don't hesitate to contact me. Cheers, Henrique Rebelo FTfJP 22 PC chair =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D CALL FOR PAPERS FTfJP 2022 24th Workshop on Formal Techniques for Java-like Programs 6/7 June 2022, Berlin, Germany https://2022.ecoop.org/track/ftfjp-2022 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D =3D=3D=3D COVID-19 =3D=3D=3D Participation in the workshop is hybrid, but registration through the ECOOP registration system is required. As a hybrid event, when considering virtual mode, the registration system will provide you with the link to participate in the Zoom conference sessions. =3D=3D=3D Important dates =3D=3D=3D Important dates - Paper submission: 15 April 2022 (AoE)[Updated!] - Paper notification: 6 May 2022 (AoE)[Updated!] - Workshop (hybrid): date 7, co-timed with ECOOP 2022 (6-10 June 2022) Deadlines expire at 23:59 anywhere on earth on the dates displayed above. Submission site: https://easychair.org/conferences/?conf=3Dftfjp2022 =3D=3D=3D Objectives and scope =3D=3D=3D The FTfJP workshop is an excellent venue for discussion of current and novel techniques for formal reasoning about programs. We welcome short or long, completed or in-process contributions, particularly those that will generate discussion and promote numerous new research directions. Formal techniques can help analyse programs, precisely describe program behaviour, and verify program properties. Modern programming languages are interesting targets for formal techniques due to their ubiquity and wide user base, stable and well-defined interfaces and platforms, and powerful (but also complex) libraries. New languages and applications in this space are continually arising, resulting in new programming languages (PL) research challenges. Work on formal techniques and tools and on the formal underpinnings of programming languages themselves naturally complement each other. FTfJP is an established workshop which has run annually since 1999 alongside ECOOP, with the goal of bringing together people working in both fields. The workshop has a broad PL theme; the most important criterion is that submissions will generate interesting discussions within this community. The term 'Java-like' is somewhat historic and should be interpreted broadly: FTfJP solicits and welcomes submission relating to programming languages in general, beyond Java, including C#, Scala, etc. Example topics of interest include: - Language design and semantics - Type systems - Concurrency and new application domains - Specification and verification of program properties - Program analysis (static or dynamic) - Program synthesis Security - Pearls (programs or proofs) - Programming environments FTfJP welcomes submissions on technical contributions, case studies, experience reports, challenge proposals, tools, and position papers. Webpages for previous workshops in this series are available at:https://ftfjp.github.io/. =3D=3D=3D Paper Categories =3D=3D=3D Contributions are sought in two categories: - Full Papers (6 pages, excluding references) present a technical contribution, case study, or detailed experience report. We welcome both complete and incomplete technical results; ongoing work is particularly welcome, provided it is substantial enough to stimulate interesting discussions. - Short Papers (2 pages, excluding references) should advocate a promising research direction, or otherwise present a position likely to stimulate discussion at the workshop. We encourage e.g. established researchers to set out a personal vision, and beginning researchers to present a planned path to a PhD. Both types of contributions will benefit from feedback received at the workshop. Submissions will be peer reviewed, and will be evaluated based on their clarity and their potential to generate interesting discussions. Reviewing will be single blind, there is no need to anonymize submissions. The format of the workshop encourages interaction. FTfJP is a forum in which a wide range of people share their expertise, from experienced researchers to beginning PhD students. =3D=3D=3D Submission guidelines =3D=3D=3D All submissions and reviews will be managed within EasyChair. Submissions should be made via https://easychair.org/conferences/?conf=3Dftfjp2022. There is no need to indicate the paper category (long/short). Submissions should be in acmart/sigplan style, 10pt font. Formatting requirements are detailed on the SIGPLAN Author Information page (https://www.sigplan.org/Resources/Author). We plan that, as in previous years, accepted papers will be published in the ACM Digital Library, though authors will be able to opt out of this publication, if desired. At least one author of an accepted paper must register to the conference by the early registration date and attend the workshop to present the work and participate in the discussions. Selected papers will also be considered for extended versions to be submitted to the Journal of Object Technology (JOT). --=20 ...........................................................................= .................................................... Henrique Rebelo http://www.cin.ufpe.br/~hemr Centro de Inform=C3=A1tica Universidade Federal de Pernambuco , Brazil --000000000000b5d30105dc8b48c3 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 

Please, consider submitting a paper and/or attendin=
g the 24th Workshop on Formal Techniques for Java-like Programs [7 June =
2022, Berlin, Germany]. See below [also as an attached file] the detail=
ed call for papers for FTfJP 2022.

<= b>The deadline was extended until 15th April (AoE).

=

Any questions don't hesitate to contact me.

Cheers,
Henrique Rebelo
=

FT=
fJP 22 PC chair


=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
CALL FOR PAPERS
FTfJP 2022

24th Workshop on Formal Techniques for Java-like Programs
6/7 June 2022, Berlin, Germany

https=
://2022.ecoop.org/track/ftfjp-2022
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D

=3D=3D=3D COVID-19 =3D=3D=3D

Participation in the workshop is hybrid, but registration through the ECOOP=
 registration system is required. As a hybrid event, when considering virtu=
al mode, the registration system will provide you with the link to particip=
ate in the Zoom conference sessions.

=3D=3D=3D Important dates =3D=3D=3D

Important dates
- Paper submission: 15 April 2022 (AoE)[Updated!]
- Paper notification: 6 May 2022 (AoE)[Updated!]
- Workshop (hybrid): date 7, co-timed with ECOOP 2022 (6-10 June 2022)

Deadlines expire at 23:59 anywhere on earth on the dates displayed above.
Submission site: https://easychair.org/conferences/?conf=3Dftfjp2022=


=3D=3D=3D Objectives and scope =3D=3D=3D

The FTfJP workshop is an excellent venue for discussion of current and nove=
l techniques for formal reasoning about programs. We welcome short or long,=
 completed or in-process contributions, particularly those that will genera=
te discussion and promote numerous new research directions.

Formal techniques can help analyse programs, precisely describe program beh=
aviour, and verify program properties. Modern programming languages are int=
eresting targets for formal techniques due to their ubiquity and wide user =
base, stable and well-defined interfaces and platforms, and powerful (but a=
lso complex) libraries. New languages and applications in this space are co=
ntinually arising, resulting in new programming languages (PL) research cha=
llenges.

Work on formal techniques and tools and on the formal underpinnings of prog=
ramming languages themselves naturally complement each other. FTfJP is an e=
stablished workshop which has run annually since 1999 alongside ECOOP, with=
 the goal of bringing together people working in both fields.

The workshop has a broad PL theme; the most important criterion is that sub=
missions will generate interesting discussions within this community. The t=
erm 'Java-like' is somewhat historic and should be interpreted broa=
dly: FTfJP solicits and welcomes submission relating to programming languag=
es in general, beyond Java, including C#, Scala, etc.

Example topics of interest include:

- Language design and semantics
- Type systems
- Concurrency and new application domains
- Specification and verification of program properties
- Program analysis (static or dynamic)=20
- Program synthesis Security
- Pearls (programs or proofs)
- Programming environments

FTfJP welcomes submissions on technical contributions, case studies, experi=
ence reports, challenge proposals, tools, and position papers. Webpages for=
 previous workshops in this series are available at:https://ftfjp.github.io/.

=3D=3D=3D Paper Categories =3D=3D=3D

Contributions are sought in two categories:

- Full Papers (6 pages, excluding references) present a technical contribut=
ion, case study, or detailed experience report. We welcome both complete an=
d incomplete technical results; ongoing work is particularly welcome, provi=
ded it is substantial enough to stimulate interesting discussions.
- Short Papers (2 pages, excluding references) should advocate a promising =
research direction, or otherwise present a position likely to stimulate dis=
cussion at the workshop. We encourage e.g. established researchers to set o=
ut a personal vision, and beginning researchers to present a planned path t=
o a PhD.

Both types of contributions will benefit from feedback received at the work=
shop. Submissions will be peer reviewed, and will be evaluated based on the=
ir clarity and their potential to generate interesting discussions. Reviewi=
ng will be single blind, there is no need to anonymize submissions.

The format of the workshop encourages interaction. FTfJP is a forum in whic=
h a wide range of people share their expertise, from experienced researcher=
s to beginning PhD students.


=3D=3D=3D Submission guidelines =3D=3D=3D

All submissions and reviews will be managed within EasyChair. Submissions s=
hould be made via https://easychair.org/conferences/?conf=3Dftfjp202=
2. There is no need to indicate the paper category (long/short).

Submissions should be in acmart/sigplan style, 10pt font. Formatting requir=
ements are detailed on the SIGPLAN Author Information page (https://www.sigplan=
.org/Resources/Author).

We plan that, as in previous years, accepted papers will be published in th=
e ACM Digital Library, though authors will be able to opt out of this publi=
cation, if desired. At least one author of an accepted paper must register =
to the conference by the early registration date and attend the workshop to=
 present the work and participate in the discussions.

Selected papers will also be considered for extended versions to be submitt=
ed to the Journal of Object Technology (JOT).

=


-- 
............................=
...........................................................................=
........................
Henrique Rebelo
http://www.cin.ufpe.br/~hemr
Centro d=
e Inform=C3=A1tica
Universidade Federal de Pernambuco , Brazil


--000000000000b5d30105dc8b48c3--
--000000000000b5d30205dc8b48c5
Content-Type: text/plain; charset="US-ASCII"; name="CallforPapers-ftfjp22.txt"
Content-Disposition: attachment; filename="CallforPapers-ftfjp22.txt"
Content-Transfer-Encoding: base64
Content-ID: 
X-Attachment-Id: f_l1xre2a90

PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09
PQpDQUxMIEZPUiBQQVBFUlMKRlRmSlAgMjAyMgoKMjR0aCBXb3Jrc2hvcCBvbiBGb3JtYWwgVGVj
aG5pcXVlcyBmb3IgSmF2YS1saWtlIFByb2dyYW1zCjcgSnVuZSAyMDIyLCBCZXJsaW4sIEdlcm1h
bnkKCmh0dHBzOi8vMjAyMi5lY29vcC5vcmcvdHJhY2svZnRmanAtMjAyMgo9PT09PT09PT09PT09
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQoKPT09IENPVklE
LTE5ID09PQoKUGFydGljaXBhdGlvbiBpbiB0aGUgd29ya3Nob3AgaXMgaHlicmlkLCBidXQgcmVn
aXN0cmF0aW9uIHRocm91Z2ggdGhlIEVDT09QIHJlZ2lzdHJhdGlvbiBzeXN0ZW0gaXMgcmVxdWly
ZWQuIEFzIGEgaHlicmlkIGV2ZW50LCB3aGVuIGNvbnNpZGVyaW5nIHZpcnR1YWwgbW9kZSwgdGhl
IHJlZ2lzdHJhdGlvbiBzeXN0ZW0gd2lsbCBwcm92aWRlIHlvdSB3aXRoIHRoZSBsaW5rIHRvIHBh
cnRpY2lwYXRlIGluIHRoZSBab29tIGNvbmZlcmVuY2Ugc2Vzc2lvbnMuCgo9PT0gSW1wb3J0YW50
IGRhdGVzID09PQoKSW1wb3J0YW50IGRhdGVzCi0gUGFwZXIgc3VibWlzc2lvbjogMTUgQXByaWwg
MjAyMiAoQW9FKSBbVXBkYXRlZCFdCi0gUGFwZXIgbm90aWZpY2F0aW9uOiA2IE1heSAyMDIyIChB
b0UpIFtVcGRhdGVkIV0KLSBXb3Jrc2hvcCAoaHlicmlkKTogZGF0ZSBKdW5lIDcsIGNvLXRpbWVk
IHdpdGggRUNPT1AgMjAyMiAoNi0xMCBKdW5lIDIwMjIpCgpEZWFkbGluZXMgZXhwaXJlIGF0IDIz
OjU5IGFueXdoZXJlIG9uIGVhcnRoIG9uIHRoZSBkYXRlcyBkaXNwbGF5ZWQgYWJvdmUuClN1Ym1p
c3Npb24gc2l0ZTogaHR0cHM6Ly9lYXN5Y2hhaXIub3JnL2NvbmZlcmVuY2VzLz9jb25mPWZ0Zmpw
MjAyMgoKPT09IE9iamVjdGl2ZXMgYW5kIHNjb3BlID09PQoKVGhlIEZUZkpQIHdvcmtzaG9wIGlz
IGFuIGV4Y2VsbGVudCB2ZW51ZSBmb3IgZGlzY3Vzc2lvbiBvZiBjdXJyZW50IGFuZCBub3ZlbCB0
ZWNobmlxdWVzIGZvciBmb3JtYWwgcmVhc29uaW5nIGFib3V0IHByb2dyYW1zLiBXZSB3ZWxjb21l
IHNob3J0IG9yIGxvbmcsIGNvbXBsZXRlZCBvciBpbi1wcm9jZXNzIGNvbnRyaWJ1dGlvbnMsIHBh
cnRpY3VsYXJseSB0aG9zZSB0aGF0IHdpbGwgZ2VuZXJhdGUgZGlzY3Vzc2lvbiBhbmQgcHJvbW90
ZSBudW1lcm91cyBuZXcgcmVzZWFyY2ggZGlyZWN0aW9ucy4KCkZvcm1hbCB0ZWNobmlxdWVzIGNh
biBoZWxwIGFuYWx5c2UgcHJvZ3JhbXMsIHByZWNpc2VseSBkZXNjcmliZSBwcm9ncmFtIGJlaGF2
aW91ciwgYW5kIHZlcmlmeSBwcm9ncmFtIHByb3BlcnRpZXMuIE1vZGVybiBwcm9ncmFtbWluZyBs
YW5ndWFnZXMgYXJlIGludGVyZXN0aW5nIHRhcmdldHMgZm9yIGZvcm1hbCB0ZWNobmlxdWVzIGR1
ZSB0byB0aGVpciB1YmlxdWl0eSBhbmQgd2lkZSB1c2VyIGJhc2UsIHN0YWJsZSBhbmQgd2VsbC1k
ZWZpbmVkIGludGVyZmFjZXMgYW5kIHBsYXRmb3JtcywgYW5kIHBvd2VyZnVsIChidXQgYWxzbyBj
b21wbGV4KSBsaWJyYXJpZXMuIE5ldyBsYW5ndWFnZXMgYW5kIGFwcGxpY2F0aW9ucyBpbiB0aGlz
IHNwYWNlIGFyZSBjb250aW51YWxseSBhcmlzaW5nLCByZXN1bHRpbmcgaW4gbmV3IHByb2dyYW1t
aW5nIGxhbmd1YWdlcyAoUEwpIHJlc2VhcmNoIGNoYWxsZW5nZXMuCgpXb3JrIG9uIGZvcm1hbCB0
ZWNobmlxdWVzIGFuZCB0b29scyBhbmQgb24gdGhlIGZvcm1hbCB1bmRlcnBpbm5pbmdzIG9mIHBy
b2dyYW1taW5nIGxhbmd1YWdlcyB0aGVtc2VsdmVzIG5hdHVyYWxseSBjb21wbGVtZW50IGVhY2gg
b3RoZXIuIEZUZkpQIGlzIGFuIGVzdGFibGlzaGVkIHdvcmtzaG9wIHdoaWNoIGhhcyBydW4gYW5u
dWFsbHkgc2luY2UgMTk5OSBhbG9uZ3NpZGUgRUNPT1AsIHdpdGggdGhlIGdvYWwgb2YgYnJpbmdp
bmcgdG9nZXRoZXIgcGVvcGxlIHdvcmtpbmcgaW4gYm90aCBmaWVsZHMuCgpUaGUgd29ya3Nob3Ag
aGFzIGEgYnJvYWQgUEwgdGhlbWU7IHRoZSBtb3N0IGltcG9ydGFudCBjcml0ZXJpb24gaXMgdGhh
dCBzdWJtaXNzaW9ucyB3aWxsIGdlbmVyYXRlIGludGVyZXN0aW5nIGRpc2N1c3Npb25zIHdpdGhp
biB0aGlzIGNvbW11bml0eS4gVGhlIHRlcm0gJ0phdmEtbGlrZScgaXMgc29tZXdoYXQgaGlzdG9y
aWMgYW5kIHNob3VsZCBiZSBpbnRlcnByZXRlZCBicm9hZGx5OiBGVGZKUCBzb2xpY2l0cyBhbmQg
d2VsY29tZXMgc3VibWlzc2lvbiByZWxhdGluZyB0byBwcm9ncmFtbWluZyBsYW5ndWFnZXMgaW4g
Z2VuZXJhbCwgYmV5b25kIEphdmEsIGluY2x1ZGluZyBDIywgU2NhbGEsIGV0Yy4KCkV4YW1wbGUg
dG9waWNzIG9mIGludGVyZXN0IGluY2x1ZGU6CgotIExhbmd1YWdlIGRlc2lnbiBhbmQgc2VtYW50
aWNzCi0gVHlwZSBzeXN0ZW1zCi0gQ29uY3VycmVuY3kgYW5kIG5ldyBhcHBsaWNhdGlvbiBkb21h
aW5zCi0gU3BlY2lmaWNhdGlvbiBhbmQgdmVyaWZpY2F0aW9uIG9mIHByb2dyYW0gcHJvcGVydGll
cwotIFByb2dyYW0gYW5hbHlzaXMgKHN0YXRpYyBvciBkeW5hbWljKSAKLSBQcm9ncmFtIHN5bnRo
ZXNpcyBTZWN1cml0eQotIFBlYXJscyAocHJvZ3JhbXMgb3IgcHJvb2ZzKQotIFByb2dyYW1taW5n
IGVudmlyb25tZW50cwoKRlRmSlAgd2VsY29tZXMgc3VibWlzc2lvbnMgb24gdGVjaG5pY2FsIGNv
bnRyaWJ1dGlvbnMsIGNhc2Ugc3R1ZGllcywgZXhwZXJpZW5jZSByZXBvcnRzLCBjaGFsbGVuZ2Ug
cHJvcG9zYWxzLCB0b29scywgYW5kIHBvc2l0aW9uIHBhcGVycy4gV2VicGFnZXMgZm9yIHByZXZp
b3VzIHdvcmtzaG9wcyBpbiB0aGlzIHNlcmllcyBhcmUgYXZhaWxhYmxlIGF0Omh0dHBzOi8vZnRm
anAuZ2l0aHViLmlvLy4KCj09PSBQYXBlciBDYXRlZ29yaWVzID09PQoKQ29udHJpYnV0aW9ucyBh
cmUgc291Z2h0IGluIHR3byBjYXRlZ29yaWVzOgoKLSBGdWxsIFBhcGVycyAoNiBwYWdlcywgZXhj
bHVkaW5nIHJlZmVyZW5jZXMpIHByZXNlbnQgYSB0ZWNobmljYWwgY29udHJpYnV0aW9uLCBjYXNl
IHN0dWR5LCBvciBkZXRhaWxlZCBleHBlcmllbmNlIHJlcG9ydC4gV2Ugd2VsY29tZSBib3RoIGNv
bXBsZXRlIGFuZCBpbmNvbXBsZXRlIHRlY2huaWNhbCByZXN1bHRzOyBvbmdvaW5nIHdvcmsgaXMg
cGFydGljdWxhcmx5IHdlbGNvbWUsIHByb3ZpZGVkIGl0IGlzIHN1YnN0YW50aWFsIGVub3VnaCB0
byBzdGltdWxhdGUgaW50ZXJlc3RpbmcgZGlzY3Vzc2lvbnMuCi0gU2hvcnQgUGFwZXJzICgyIHBh
Z2VzLCBleGNsdWRpbmcgcmVmZXJlbmNlcykgc2hvdWxkIGFkdm9jYXRlIGEgcHJvbWlzaW5nIHJl
c2VhcmNoIGRpcmVjdGlvbiwgb3Igb3RoZXJ3aXNlIHByZXNlbnQgYSBwb3NpdGlvbiBsaWtlbHkg
dG8gc3RpbXVsYXRlIGRpc2N1c3Npb24gYXQgdGhlIHdvcmtzaG9wLiBXZSBlbmNvdXJhZ2UgZS5n
LiBlc3RhYmxpc2hlZCByZXNlYXJjaGVycyB0byBzZXQgb3V0IGEgcGVyc29uYWwgdmlzaW9uLCBh
bmQgYmVnaW5uaW5nIHJlc2VhcmNoZXJzIHRvIHByZXNlbnQgYSBwbGFubmVkIHBhdGggdG8gYSBQ
aEQuCgpCb3RoIHR5cGVzIG9mIGNvbnRyaWJ1dGlvbnMgd2lsbCBiZW5lZml0IGZyb20gZmVlZGJh
Y2sgcmVjZWl2ZWQgYXQgdGhlIHdvcmtzaG9wLiBTdWJtaXNzaW9ucyB3aWxsIGJlIHBlZXIgcmV2
aWV3ZWQsIGFuZCB3aWxsIGJlIGV2YWx1YXRlZCBiYXNlZCBvbiB0aGVpciBjbGFyaXR5IGFuZCB0
aGVpciBwb3RlbnRpYWwgdG8gZ2VuZXJhdGUgaW50ZXJlc3RpbmcgZGlzY3Vzc2lvbnMuIFJldmll
d2luZyB3aWxsIGJlIHNpbmdsZSBibGluZCwgdGhlcmUgaXMgbm8gbmVlZCB0byBhbm9ueW1pemUg
c3VibWlzc2lvbnMuCgpUaGUgZm9ybWF0IG9mIHRoZSB3b3Jrc2hvcCBlbmNvdXJhZ2VzIGludGVy
YWN0aW9uLiBGVGZKUCBpcyBhIGZvcnVtIGluIHdoaWNoIGEgd2lkZSByYW5nZSBvZiBwZW9wbGUg
c2hhcmUgdGhlaXIgZXhwZXJ0aXNlLCBmcm9tIGV4cGVyaWVuY2VkIHJlc2VhcmNoZXJzIHRvIGJl
Z2lubmluZyBQaEQgc3R1ZGVudHMuCgoKPT09IFN1Ym1pc3Npb24gZ3VpZGVsaW5lcyA9PT0KCkFs
bCBzdWJtaXNzaW9ucyBhbmQgcmV2aWV3cyB3aWxsIGJlIG1hbmFnZWQgd2l0aGluIEVhc3lDaGFp
ci4gU3VibWlzc2lvbnMgc2hvdWxkIGJlIG1hZGUgdmlhIGh0dHBzOi8vZWFzeWNoYWlyLm9yZy9j
b25mZXJlbmNlcy8/Y29uZj1mdGZqcDIwMjIuIFRoZXJlIGlzIG5vIG5lZWQgdG8gaW5kaWNhdGUg
dGhlIHBhcGVyIGNhdGVnb3J5IChsb25nL3Nob3J0KS4KClN1Ym1pc3Npb25zIHNob3VsZCBiZSBp
biBhY21hcnQvc2lncGxhbiBzdHlsZSwgMTBwdCBmb250LiBGb3JtYXR0aW5nIHJlcXVpcmVtZW50
cyBhcmUgZGV0YWlsZWQgb24gdGhlIFNJR1BMQU4gQXV0aG9yIEluZm9ybWF0aW9uIHBhZ2UgKGh0
dHBzOi8vd3d3LnNpZ3BsYW4ub3JnL1Jlc291cmNlcy9BdXRob3IpLgoKV2UgcGxhbiB0aGF0LCBh
cyBpbiBwcmV2aW91cyB5ZWFycywgYWNjZXB0ZWQgcGFwZXJzIHdpbGwgYmUgcHVibGlzaGVkIGlu
IHRoZSBBQ00gRGlnaXRhbCBMaWJyYXJ5LCB0aG91Z2ggYXV0aG9ycyB3aWxsIGJlIGFibGUgdG8g
b3B0IG91dCBvZiB0aGlzIHB1YmxpY2F0aW9uLCBpZiBkZXNpcmVkLiBBdCBsZWFzdCBvbmUgYXV0
aG9yIG9mIGFuIGFjY2VwdGVkIHBhcGVyIG11c3QgcmVnaXN0ZXIgdG8gdGhlIGNvbmZlcmVuY2Ug
YnkgdGhlIGVhcmx5IHJlZ2lzdHJhdGlvbiBkYXRlIGFuZCBhdHRlbmQgdGhlIHdvcmtzaG9wIHRv
IHByZXNlbnQgdGhlIHdvcmsgYW5kIHBhcnRpY2lwYXRlIGluIHRoZSBkaXNjdXNzaW9ucy4KClNl
bGVjdGVkIHBhcGVycyB3aWxsIGFsc28gYmUgY29uc2lkZXJlZCBmb3IgZXh0ZW5kZWQgdmVyc2lv
bnMgdG8gYmUgc3VibWl0dGVkIHRvIHRoZSBKb3VybmFsIG9mIE9iamVjdCBUZWNobm9sb2d5IChK
T1QpLgoKCgo=
--000000000000b5d30205dc8b48c5--