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 ESMTPS id 085115D5 for ; Mon, 25 Apr 2022 15:58:19 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=message-id:date:mime-version:to:from: content-transfer-encoding:subject:reply-to:sender:list-id: list-help:list-subscribe:list-unsubscribe:list-post: list-owner:list-archive; bh=zTtOkR8x6qXsy5H+MkFtWebOYTl6mXk0+FgMpfL479c=; b=kWDWLqPnFj09HgRsQIkbj0ZtU40zV8DBmIx/QfkH5YebVlr6crrJHk88 aRb32qdnoB4ZiKHqqrXby5iLHzqG9gO0TYNjGwCnCwsNEzxVFodTKXpwa ct6JEdYcjyVL3bJsVn6ZB5Xm3SpJao36DcE0eKt0Zxd6YSV2/RmGXAC/0 I=; Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.160 as permitted sender) identity=mailfrom; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:192.134.164.0/24 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only Authentication-Results: mail2-relais-roc.national.inria.fr; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr; dkim=hardfail (signature did not verify [final]) header.i=@gmail.com X-IronPort-AV: E=Sophos;i="5.90,288,1643670000"; d="scan'208";a="33227193" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 25 Apr 2022 17:58:19 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 1220FE00F7; Mon, 25 Apr 2022 17:58:19 +0200 (CEST) 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 27808E00BE for ; Mon, 25 Apr 2022 17:58:16 +0200 (CEST) IronPort-SDR: CfIdTyQa+AIAdoP29Are90IOUAa+kp9kauDPEuNSHT0F5iZVEN20YUzhLSzfYg4CIxM+UcbXZs 5ZFuPUjvTf4Tg+jq4VQ0bu8TO2G/q7JuhsiqHwk5MGRfICiRx6QPgvUuhfLuClXhb+Y/uJAU9l p4nB/uQi4UEFPdWE3c2B98ProzgHB+Fx4QntQ13gDzoupZ6e06ERpdeWMasFXB4jwGQlH8h/Wu qEhLB8vEj3KNu6bQUeQ1PKxTXNyGmu6+RbgUpFpfvVgc2H0zC9HLoPD1BkIon3DrDXGuXw7FBO S2wOxqcjViPRNUt0m98zsVlj X-IPAS-Result: =?us-ascii?q?A0DLAwBexGZifzHYVdFagQmBVoIAKH5VLQROhFSOcloBA?= =?us-ascii?q?QEGjGmBB5I8CAMBAwEMATkJBAEBhQOFDwIdBwEEMwYOAQIEAQEBAQMCAwEBA?= =?us-ascii?q?QEBAQMBAQUBAQECAQECBAQBEwEBDQsJBwgKBw4OBWABYQMBRIFPgU8lCwMxD?= =?us-ascii?q?YI1IoQECwYPAQUIARsMEgMSEA8CHwcCJREBBQEvCAEBHoIFXgGCZAEDMAEPo?= =?us-ascii?q?GyBBEGJbAKBRIEVBReBAYIJBoFEBYEWgWwKGSgNaoFZAgEGCQEIJ1gsjn4cf?= =?us-ascii?q?YEQgRUnglNugQWBXgSBc4NBgmUEng8TfQFAkxcPkC+eKGCCdIsZkVGDBQYPB?= =?us-ascii?q?S6WSBSRd5ZgjSCLRIh9hRACCgcGECMSgUKBf00jFTsxgjhOAQIBAQENAQIBA?= =?us-ascii?q?QMBAgECCQEBAlSNYCCDO4UUhVkyNDsCBgEKAQEDCY02AQE?= IronPort-PHdr: A9a23:03IQjx/TzPUR/f9uWTC2ngc9DxPPW53KNwIYoqAql6hJOvz6uci4Z wqGvL481xeJBdydt6gezbKO8ujJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T 4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglWijexe65+I Ai5oQjVuMQdnI9uJrosxhfTrXZEZfpayXl0KV6Pmhr3+9u98oNk/ylMofwq6tROUb/9f6Q2T LxYCCopPmUo78D1thfNUBWC6GIEXmoZjhRHDQ7F7ArnXpjqqSv1qvB92CiBMsLoS70/RCmv4 L1qSB/sjycHKiI5/WTKgcF+kK5XvBSsrAF5zoXJYo+aKeB+c7vec90USmVOUNhfWSxcDIygY IUCFPYBMOVCooXhu1cDoxmzCA+xD+3v0D9IgXr20LUk3es7CwHG2xErEc8Qv3TXrdX0NL0dU eWvw6LVyjjDdfNX2Sr+6IjJdhAhpveMUKl/ccrU00YvFgfFgk+MpoziOjOYz+IAuHWU4OR8T +ygkXInqx1vrTi1wMchkonHi40bxF3F6Cl0zog4KN63RkN4YdOqH4ZcuiCZOodoXM8sTH1kt SI5x7AJpZK2fysHxZUnyRLDZfKLbpWF7B3lWe2MLzl4g3dld6i+hxa06UWg0PPzVtKq31lQt CpKjtnMtmoX2xzU8MiHRf1w9Vqi1zaXzw3f9P1ILEQumafYK5Mt2KA8mocSvEjZESL7nF36g LKZe0k++eWk8eXqbq/4qpKaKoR6kBvxMr40lcy6Gek4MhYBX2yc+emk0b3s50z5QLFTgv0uk KnVrYnWJcoUq6O9GQNV3YEj6xGwDzeiztsUh2UILFVAeB6fjojpPU/BIOzgAPuhn1ihlC1ny vPGM7H7HJnBM3nOnK3ucLt580JczRA8zdFb55JaELEBJ/fzV1frtN3YEx85MA20w+LgCNV7z Y4eVmePDbWYMKPWq1OH+uUvI+yUaI8ToznyM+Il6OL2jX8lhV8derGk0YYPZHCiAvtmO1mZY WbrgtoZDWgFpA8+TOjzhF2GUD5TfGqyUrkn5jA7DYKmFZ3MSpqsgLyHxie7H4dZanpIClCWQ j/UcNCPUvIILSaTOdNJkzoeVLHnRZVy+wupsVrGwqBgZtHZ+SwJvJfqnIxv9vDQlBU18xR7C s2c1yeGSGQizTBAfCM/wK0q+R818VyEy6Ut25SwdPRW7vJNCEIhMILEivZ9AJb0Ux7AedGAT BCnRM+nCHc/VIF52McANmB6HdjqlRXfx2yyGbZAja2WB50w9aT00H34JsI7wHHDh+E6l1dze sJULiW9g7JnsQ3aBorHiUKcwry7aKcd2CnL3GiGxGuK+kpfVV04Sr3LCFYYYEaettHl/gXCQ rupXKwgKRdEwNWeJ7Fib9ToiRBeRq6mNoiPJW22nGi0CFCDwbbkgJPCXWIb0W2dDUEFl1pW5 nOaLU0kASznpWvCDTtoHFapYkX28OA4pmnpBkkzhxqHaUFszd/XslYcmOCcRvUP37kFpDZpq jN6G0y41s7XDNzIrhRofaFVa9cwqFld0meRuwt4N52mZ6ds4zxWOx5mokDv0xJxIopFmMku6 ngtyUs6KK6V1k9AayLNxYr5afXcLmj/+gzqaraDgAmPlobLvP1WtrJk+gaG3knhDEcp/nR53 sMA1nKd4s+PFw8OSdfrVU1x8RFmprbcay175oXO1HQqP7Pn112Kk98vGuYhzQ6tOtlFN6bRX hXjDs4bA8+oAOMvklmtKBkDOaoBkcx8d9PjbPaA1KOxaax6jS+ljGBA5qhy10uN82x3TeuCj N4Vhvqf2AWATTL1ilys59v2lY5zbjYXBmOjyCLgCea9f4VKdJ0QQSerKsyznJBlgoL1HmRf/ xilDk8H38mgfVyTaUb81EtezxZfrXuikCq+hzt69lNh5rCOwS/Px+PkXBUCM29PAmJliB/gL JO1gNYTQEWzJ1JxxV31uACgnvYd+PU3JnKbWUpSeinqM2xuN8n4/qGPZcJC8tJgsClaVvi9f UHPT7f8pxUA1CawV2BaxT09a3SrosCjx0082D/bdi8t6iaIKqQSjV/F6dfRROBcxG8DTSh80 3zMA0SkesOu9pOSnovCtea3UySgUIdSeG/l19Dl1mPz6Gt0DBm4h/32lMfgFF1wyz7m1NhuU iPgoxP1Y42t3KO/e7ECHAEgFBrn5sx2F5sr2JEhmZIR3X8crpqQ9HsD12z0NJ8IkbK7Z30LS zkRxtfT6wWww0xvIEWCwIfhX2mcyM9sNLzYKisGnzgw5MdQBOKI/aRJyGFr90Ggo1ubMrBt2 y0Qwvw05DsGjvEV7UAzmz6FDOl3fwEQPDSwxU/VqYnv9OMNODnpKf/qiAJ/hYzzUu3E+FoHH i+nItF6WnYhpsRnbACSjjuqstuiIJ+IKohL03/c2xbY07oLdtRryqtM1XIhYSWn5TUk07Jp0 kYohM385dndbT0qpfLxAwYEZGKpIZpJp3e1y/4Zx5jzvcjnH409SGxTDN2xEq3uQHRK8q6+f weWTG9l9SzdQOuDW1fZsAA/8TrOC8z5bSnGYilEi4w4FF/FYxUA5WJcFDQiwsxjT17smZynK RYjoGhWvw+wqwMQmLgxaV+lCTaZ/13uMnBtGdCJJR5SpGmu/m/zNsqTpqJ2FiBcpNi6qRCVb 3acbEJOBH0IXUqNAxbiOKOv7J/O6brQAO32NPbIbbiUzI4WH/6V2ZKi1Jdn9DeQJ42OOHdlF fgyxktEWzhwBc3YnzwFTyFfmTjKaoaXoxK1+ys/qc7akryjQAX0+Y6GEKdfK/1q8hGyxL+Bb que2Hc/JjFf2ZcBg3TPzflX3VIfjT1vayj4EbkEsn2oLuqYkatWAhgHLiJrYZEQvuRsg08XY JCd1oKms9wwxuQ4AFpES1H7z8SgZMhQZnq4KEuCHkGAcrKPOTzMxcjzJ6K6U7xZyutO5HjS8 X6WFVHuOjObmnznTReqZKtWnTyYPRhZvqmydx9sDS7oS9esOXjZeJdnyCY7x7E5nCaALWkHL T11aF9AtJWV5CJcx+19QilPsisjIu6DlCKUqeLfL9xF1JkjSjQxnOVc7nMgzrJT5ywRX/15l hzZqdt2qk2nmO2CotKCeBVLozdPwomMuBc6UU023pZFUHfAuhkK6DfJY/zrj95sC9mqo6IJj 9aTxeT8LzBN99+S9swZVZC8FQ== IronPort-Data: A9a23:8YipV6rA0YOLu1poliLU91RlNCleBmIvYxIvgKrLsJaIsI4StFCzt garIBmFM/yKNGX9KIwkPN6+o0lUv8XUzYMySQFur39hFXtE+OPIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVKicfHoZqTZMEE/Nszo68wICqtMu0IDR7z+l4 4uo+ZWDYgL9glaYD0pNg069gEM31BjNkGhA1rAOTagjUIj2yhH5pLpGTU2AByOQrrt8RoZWd M6fpF2NxV41yj92Yj+TfhkXRWVRKlLaFVDmZnO7wMFOiDAazsA5+v5T2Pbx9S67hh3R9+2dx umhurSKSSRzGv2Lk95GXidhLgJ+DPRvxOfIdC3XXcy7lyUqclPpyvRqSVk0ZMgWprcxDmZJ+ vgVbjsKa3hvhcrsmOP9GrQq3J19apW6VG8ckikIITXxF+c7QpHHRKPi6tpR3TN2jcdLdRrbT 5FCM2AwNUqaC/FJEnQKJq0vx/aavHXuQn5btmq5o6MQwlGGmWSd15C0aIaPEjCQfu1el0Oc4 2bH5HjRGQAfLNXZyDyf83vqiPWnoM/gcIcbFbn97vwzxVPPlyocDxoZUVb9qv684qKjZz5BA 3YU2XAK/e85zhemcODAfB2J+Ve45hFJDrK8DNYGwA2Kz6PV5SOQCW4FUiNNZbQaWCkeFWxCO rihz4OBONB/jFGGYSnCqerM/FteLQBQfDBSP3ZVJecQy4C7+Nlbs/7Zcjp0/EeIYjDdHDjxx 3WSrnF7ielCy8EM0Kq/8BbMhDfESnn1ouwduVm/soGNtFsRiGuZi2qAtQSzARFoct3xc7V5l CJY8/VyFchXZX13qASDQf8WAJai7OufPTvXjDZHRsd8r2vxqi78JNgOvFmSwXuF1O5UKVcFh 2eD6WtsCGN7YRNGkIcsM9nhVJ96pUQePY29DaCMMLKinaSdhCfepH00DaJh92/ql0conMkC1 WSzIK6R4YIhIf0/llKeHr9DuZdyn3xW7T6NGPjTkkv/uZLDNSb9YepUazOmM7FphIva+lm92 4gEbKOilU4PONASlwGNrub/23hRfSZlbX03wuQLHtO+zv1ORT9xVqeNke9wE2Gn9owM/tr1E riGchcw4DLCabfvcG1ms1hvN+HiW4hRt3U+MXB+NFqkwSlxboOm7aNZfJwyJOF1+OtmxP9yb v8EZ8TQWqQVGmqbo2wQPcvnsYhvVBW3ngbRbSeoZT4IeZQ/FQHE/9nTeBTiqXsVBS2tuMpi+ LCtj1uJQZcKSwl4ItzRbfajkwG4sXQHybB9WkLJJp9Yf0C1qNpmLCn4j/kWJcAQKEWblmHKi VrOWRpB/LvDuY449tXNlJuolYbxHrssBFdeEkna8a2yanvX82+l9olKD7SFcDXbY2Xrofnwa OhQycb8B/0JhlN9tYRxTuRwxqUk6tqz/rJXw1g2HHjPaFj3WLpsLmPchptKv6xJg6db4E64B hPJ9d5dNrGEfsjiFQdJdgYia+2C09ASmyXTvatpehSkvHcv8erVS1hWMjmNlDdZcOl/PrQjz Lpzo8UR8QG+1kcnP4rUlCxS7GjQfHUMX7997cMfCY7vzxIpkxRMPc2aBSjx75WCLd5LNxByc DOTgaPDgZVax1bDIyVvTymThbIFiMRcog1OwX8DO0+NxojPiMgx0UAD6j8wVAlUkkhK3u8b1 rKH7KGpyXhiPguEhfSvm0ipEgBFQQWbown/lwpPm2reQE2lEGfKKQXR/ApLEF8xqwphkvpzp dl0C1oJlR7lecjw2m05XksNRznLU4lq7gOb8Cy4N53tInT5CAYJRoehYGMJr13sBsZZaIgrY wV11L4YVJAX/hL8b0H250d2GFjQpN25yLR+fMxc IronPort-HdrOrdr: A9a23:qp62XK0j7FGSI09F52XblwqjBIUkLtp133Aq2lEZdPUnSL3+qy nIpoVg6faUskdrZJhEo7q90ca7MBHhHPJOkPAs1NSZLWzbUQmTXeJfBOLZqlWKexEWntQ96U 4KSdkHNDSfNykdsS+32njdLz/i+rW6GWKT6Ns2A00DceiiUc9d0zs= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.90,288,1643670000"; d="scan'208";a="33227162" X-MGA-submission: =?us-ascii?q?MDFxSKVvIayjaWVBoAgwmhEdw8Gam5aQUOR89b?= =?us-ascii?q?NgjZLT3rRiP+iJHXQCSzywa9buNs3THEA4phfeIkdD69upVYat1W60GO?= =?us-ascii?q?Wjs3u0Xz2V3ZEWUJshVpjJ4CQrolJ/qKu/5vkHIdjwBpXfnxmu0BV2lZ?= =?us-ascii?q?F7/Yy25aE+UH38ol2HZsmjig=3D=3D?= Received: from mail-pj1-f49.google.com ([209.85.216.49]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 25 Apr 2022 17:58:15 +0200 Received: by mail-pj1-f49.google.com with SMTP id t11-20020a17090ad50b00b001d95bf21996so345626pju.2 for ; Mon, 25 Apr 2022 08:58:15 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=message-id:date:mime-version:user-agent:content-language:to:from :subject:content-transfer-encoding; bh=zTtOkR8x6qXsy5H+MkFtWebOYTl6mXk0+FgMpfL479c=; b=GFknwNHdcvVAP4g7LfKvlehmDlsNG5kNm6M5EBCM5rNCavoeWXsvqycZ+mSsCfuCWJ yu9LZe2m+E03kRGTZHHndI2X9Q5Thc3VMUXtTYQD0o4bcJJHwwfssSB6LPNS+pXc5Vmb OUA7Cqeq7nZf1avlr4y6PF5Vf4+ByuAb2HsOZRsy3XeA9Wg3OcW8jfh1c8iNDurKvKFI /UWyN+vxSJAZuAfQiAPxLPzTUKDR9pdL75JZA1aXsBu+ijo7y1p8HbX537Bp2KTrRubS 1YKnoSOd7Pou7tElCmCQq5saetF+0xBhbOaR1tSXuOj4utloW6p/zR/9yiA5ZxfKmWrO 74kw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:message-id:date:mime-version:user-agent :content-language:to:from:subject:content-transfer-encoding; bh=zTtOkR8x6qXsy5H+MkFtWebOYTl6mXk0+FgMpfL479c=; b=ygBVMdnz8fvBEgvSb9YQrjAJJ6dp37lHjykPWcVuYD3p1ucHOW/GLopEbdXdE5yqat WUIHzM6KjM7KEpg5Xo5c5bodPlbRuhJItNpErdM6GDp0dj8BsTVw/au3NrfALXaOKL0d 2LtjKmWUT+dei5VIXOy+jfM4JLlmF84Q8V7Nt3kazzRXcEhqSwWPhuf0MH83GU4dqjJI Z2GNdOBAr79RPRckuwx9euD745XPkS1NEZ50nNzham96jDvdOfqGezQUQovhMMsU8z2x YHkJ4LiW1euhk4VxQIASF9cJF4WoeUinDZwBEA1d2sRpy4FPAeqld+Fe1NLJc/rTbUFV A8RQ== X-Gm-Message-State: AOAM532kUanTJ52/1LwPFqO6QKq27Yra/aPgRiRPIKv38zblpBRSQ0YY uYZDRyu3hkDJZ0czNjI664F7iA2rwMQ= X-Google-Smtp-Source: ABdhPJwpWTaZW4einZB335XQiuP39y8kJmtV+NadtDSEJYU5kMO//okFpNRMihCW5pNEkfCoZrpYJA== X-Received: by 2002:a17:902:ce8a:b0:15c:e5dd:c1c7 with SMTP id f10-20020a170902ce8a00b0015ce5ddc1c7mr12443339plg.157.1650902293630; Mon, 25 Apr 2022 08:58:13 -0700 (PDT) Received: from [192.168.11.3] (M014008006002.v4.enabler.ne.jp. [14.8.6.2]) by smtp.gmail.com with ESMTPSA id p8-20020aa78608000000b005082c3cbfd2sm11767946pfn.218.2022.04.25.08.58.11 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 25 Apr 2022 08:58:12 -0700 (PDT) Message-ID: <77f2f699-9ef2-27f5-fd8e-8211bddf8e5c@gmail.com> Date: Tue, 26 Apr 2022 00:58:08 +0900 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Thunderbird/91.8.0 Content-Language: en-US To: caml-list@inria.fr From: Taro Sekiyama Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Subject: [Caml-list] FLOPS 2022: the 16th International Symposium on Functional and Logic Programming: Call For Participation & Workshop talk proposals Reply-To: Taro Sekiyama X-Loop: caml-list@inria.fr X-Sequence: 18745 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: ============================================================================ Call For Participation & Workshop talk proposals (extended) FLOPS 2022: 16th International Symposium on Functional and Logic Programming ============================================================================ In-Cooperation with ACM SIGPLAN May 10-12, 2022, Online Registration is open for FLOPS 2022. https://conf.researchr.org/attending/flops-2022/registration Deadlines for registration are: (Early) 27 April, 2022, 23:59 (UTC) (Late) 5 May, 2022, 23:59 (UTC) *** Call for talk proposals: AiDL 2022 *** An extra workshop, AiDL 2022 (Workshop on Advances in Declarative Languages), will be held in hybrid (online / physical) format in Kyoto, Japan. Venue: Hybrid (Online / RIMS, Kyoto University, Japan) Talk proposal deadline (extended): April 30, 2022 (AoE) Details: https://conf.researchr.org/track/flops-2022/aidl-2022 *** Venue / Dates for the extra workshop *** This extra event will take place early afternoon (UTC+9), 10-12 May at the venue, RIMS - Research Institute for Mathematical Sciences, Kyoto University, Japan, without any interference with the main FLOPS conference slots, and remote participants are able to attend via Zoom. *** FLOPS 2022 Accepted Papers *** The list of FLOPS 2022 accepted papers is at https://conf.researchr.org/track/flops-2022/flops-2022-papers#event-overview *** FLOPS 2022 Invited Speakers *** Lindsey Kuper (University of California at Santa Cruz) Akimasa Morihata (University of Tokyo) Peter J. Stuckey (Monash University) *** FLOPS 2022 Program Committee *** Andreas Abel Gothenburg University, Sweden Elvira Albert Universidad Complutense de Madrid Nada Amin Harvard Universuty, USA Davide Ancona Univ. Genova, Italy William Byrd University of Alabama, USA Matteo Cimini UMass Lowell, USA Youyou Cong Tokyo Institute of Technology, Japan Robert Glück University of Copenhagen, Denmark Makoto Hamana Gunma University, Japan Michael Hanus Kiel University (co-chair) Zhenjiang Hu Peking University, China Atsushi Igarashi Kyoto University, Japan (co-chair) Ekaterina Komendantskaya Heriot-Watt University, UK Shin-Cheng Mu Academia Sinica, Taiwan Koko Muroya Kyoto University, Japan Klaus Ostermann University of Tuebingen, Germany Ricardo Rocha University of Porto, Portugal Tom Schrijvers KU Leuven, Belgium Harald Sondergaard University of Melbourne, Australia Hiroshi Unno University of Tsukuba, Japan Niki Vazou IMDEA, Spain Janis Voigtlaender University of Duisburg-Essen, Germany Nicolas Wu Imperial College, UK Ningning Xie University of Hong Kong, China Jeremy Yallop University of Cambridge, UK Neng-Fa Zhou City University of New York, USA *** FLOPS 2022 Organizers *** Michael Hanus Kiel University, Germany (PC Co-Chair) Atsushi Igarashi Kyoto University, Japan (PC Co-Chair, General Chair) Keigo Imai Gifu University, Japan (Local Co-Chair) Taro Sekiyama National Institute of Informatics, Japan (Local Co-Chair)