coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] FLOPS 2022: the 16th International Symposium on Functional and Logic Programming: Call For Participation & Workshop talk proposals

From: Taro Sekiyama <sekiyama AT nii.ac.jp>
To: coq-club AT inria.fr
Subject: [Coq-Club] FLOPS 2022: the 16th International Symposium on Functional and Logic Programming: Call For Participation & Workshop talk proposals
Date: Tue, 26 Apr 2022 01:07:49 +0900
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=sekiyama AT nii.ac.jp; spf=Pass smtp.mailfrom=sekiyama AT nii.ac.jp; spf=None smtp.helo=postmaster AT m01.nii.ac.jp
Ironport-data: A9a23:9N8BEKBY4AAQJhVW/y3lw5YqxClBgxIJ4kV8jS/XYbTApD0qhTUBn zQYXjyDaf2LM2qjf95zbo/n8kxUsMDRmoUxOVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG96yE6j8lkf5KkYAL+EnkZqTRMFWFw0XqPp8Zj2tQy2YTjXlvU0 T/Pi5S31GGNi2Yc3l08sPrrRCNH5JwebxtF1rCWTakjUG72zxH5PrpHTU2CByeQrr1vIwKPb 72rIIdVUY/u10xF5tuNyt4Xe6CRK1LYFVDmZnF+A8BOjvXez8A/+v5TCRYSVatYozSQuNRj0 uhcjpnqQygDM4TogfwbTRYNRkmSPYUekFPGCX3n6IqVzkyAenCqwe0G4EMeZNZGvL8nXicRs 6NwxDMlNnhvg8qtzbG6W+Bpj+wlLcitNYhZuGkIITTxVq18G8GaHP+iCdlwnyYhr5weEvTla ekHcTlVZxjnQEVgNQJCYH45tL3x3SWuKGcwREiujaEw+i3YyBF7+KP8NcLcPN2MX8Rc2EiCz l8q5Ez8WkhcMt2ejzOOtHC07gPSoc/lcIMLM7mq7MN7u1jJzEM5BTQyTEO9v/bs3yZSROljA 0AT/yMvq407+0qqUsTxUnWETJms5E50ZjZALwEpwFrQlPqFvG51EkBdFW8fOI163CMjbWFyj je0c8XV6StHkoX9dJ5w3rLM9HW0OClTJGREZzdsoeo5DzvL/dtbYvHnF4gL/EuJYjrdQ2yY/ txyhHJi74j/dOZSv0lBwXjJgii3ur/CRRMv6wPcUwqNt10kPNH5Ntz3sAKDtp6sybp1qHHc5 xDofODDt4gz4W2lzXPVKAnwNOH0uandbGW0baBHTsR5qFxBBEJPjagKuWoidRwzWir1UTngf E7UvwpVrJ5VJ2ercbJrbsq2BYwry6bnD9HsSvHfdbJzjmtZKWe6ENVVTRfIhQjFyRF0+YlmY MfzWZv8XB4yVPU8pBLrFrh17FPe7n1nrY8lbcuglErPPHv3TCP9dIrpx3PTMLBktP/U/FS9H hQ2H5Li9iizmdbWOkH/mbP/53hTRZTiLZyp+cFRaMCZJQ9qRDMoB/PLkOEneo0jlq8TlP+Rp iOxXUpRyVzeg3zbKFTWOig9N+m3BZsv/2gmOSEMPEqz3yRxa4iY6qpCJYA8eqMq9bA+wPMtF 6sFdsyMD+5hUDPC/zhBP5DxoJYzJhKqhESHNGyneGFnLZJnQgXI/P7ifxfupXVeVnTo75Nmr uT5hA3BQJcFSwBzN+rsaaqinwGroHwQuONuRE+UcNNdT0PhrdpxICvrg/5rfswBJEmRxjae0 ArKUx4UqfOU+N0wqICPg6GF6Y6iVelmRxIIE27e5LewFC/b4mvynd8YDrnSJWjQBDHu5aGvR eRJ1PWiYvcJq1Z9rNYuGbhcy69jtcDkoKVXz1k6ESyTPUirEL5pPlKPwdJL6v9W3rZctAbqC FiD/MJWZeeANM//SQVDIVJ8KOKC1LcdkX/Q9a1tckn94SZ2+puBUFlTbkXc0HICduMtPdN32 /olte4X9xe71EggPOGGuT8IpW6CGXoNDvc8vZYADY621AdykgNeYYbRAzPd6Y2Ub4keKVEjJ zKZicIuXViHKpYup5byKZTM4QaZrZFW4VZMzV5ELl/PmMKtajrbGvFO2Wxfc+iX5kwvPyFP1 qxDMUx0Y6yFuTVw7CSGd375ABlPXXV15WSoo2bkVwTlo42AUG3MamQ2f+SVlKzcH6SwYRADl IylJK3ZvfoGsS0/MubemaKolhA7ceFMyw==
Ironport-hdrordr: A9a23:nZJhJKmdNU1v83VsT9LbWFLcfMzpDfIM3DAbv31ZSRFFG/Fw5P rBoB19726QtN9xYgBDpTnuAsS9qB/nlaKdgrN8AV7BZmPbUQKTRekI0WKI+UyCJ8SRzI9gPO tbHJRWOZneNn5fyevdxCGZNL8bsb662ZHtqtz56zNAaSlLTshbnmFEIzfeMnQefngjOaYE
Ironport-phdr: A9a23:KffawBwThehHvm7XCzINwVBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z heZvKwm3QKBHd2Cra4e0ayO6+GocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wE ZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmjSwbalvI BmrogncsskbipZmJqot1xfFuHRFd/pIyW9yOV6fgxPw7dqs8ZB+9Chdp+gv/NNaX6XgeKQ4Q 71YDDA4PG0w+cbmqxrNQxaR63UFSmkZnQZGDAbD7BHhQ5f+qTD6ufZn2CmbJsL5U7Y5Uim/4 qhxSR/ojCAHNyMl8GzSl8d9gr5XrA6nqhdi3oDUeJuaNP98cKzDZ9wVWHROXtxRWSxAHIy8a 5YABPcDM+lGtYbyukUBrQGjDgexGOzvzSVIhn7w3a01zu8tFRzK0BAlE98IrX/arsj6NL0KX O62wqfHwjvMYe1W1zng9IfGfQssoe2PUL9qbcbd1UciGgHDg16NqYLlJTSV1uEVvmaF9eVgT +WvgHM6pQ5voTivx8cthZPMho0P11vJ8j55z5g2Jd25SE90e9ukH4FLuiGcNot2Q9kuTHt0t yogyL0GoYe2cS4Xw5so2xDRceaIc5SU4h39TuaRJy91iXJmdbywhxu8/1Wsx+niWsS7zVtEr ipLnNbOu3wR1RHe5MiKR/R880u92DuDywDe5+FEL0wpm6fWJZ8sz6MtmpcVrE/NECj2mEDsg 6+XcEUp4vKo5Pr8Yrr4vJCcLZN7igHkMqg0ncy/G+s4Pw4TVGaY4eSxzKDv8EP4TblQk/E7k avUvIrYKMgBpKO1GxJZ34k55xu8FTur0c4UkWcBIVlYYhyIlZLpNEvLIP3gDfewnVCskDBzy vDDIrHtH4/BLn7CkLfgZ7py8VJTxBAxzdBH/55UC7cBL+zvWkLpqdDVAB40Pxapz+vkCthxz IETVXiND6OBNaPdq16I5uYhI+mWY48VvS7wK+M76P7tjH84mUUSfayz0pYMbnC4H/VmL1+Db nXwmNsBE38KshI4TOPxkFKCSyJcZ26uX6Ig4TE2EJ+qAZ/ZRo+xmLyBwDu7HppOa29aDVCMC G7keJmAW/cRcy2fOdRhkzwBVbi5UYAtzxCutAngy7pmNOXY4CMYtYiwnORysubUjFQ58SF+J 8WbyWCECW9uzU0SQDpj4KllpgRGx1SCwKF9irQMDtFQ5uJAVw4SM5/dieVxTdLqDFGSNuyVQ UqrF431SQo6Scg8loZWC64cM9CrjxSZmjGvH6dQjbuAQpo97qPb2XH1Ycd70XfPkqc73BE9W sUaE2qgi+Zk8hTLQZbTmhCCmqWrZK0Z1QbL9WbFxGHIvlkLGBVoX/D9VGsELlDTscy/40rDS 7G0DrFyKQZCyN+LL6JibNzoy1xNAvX7a5zFe2zkvWC2CF6Tw6+UKornf2JIxCLGFE0NiBwe5 16DbVF4ACag5WvVSj52fb72S2Xr9+Q26HayT0tuihqPc1Ukzb2+vBgcmf2bTfoXmLMCoiYo7 TtuTh672JrNBtyMqhAEHu0UaM4h4FpByWPSthBsdp2mIad4g1cCcgNx90rw3hRzA49EnIAkt nQvhAZ1LKuZ1htGeVb6ldjrN77WO2D39Tipaq+Q01qY0s7XsqYD5fIkqkny6RmzHxlq+HFm3 t9JlnqEs8yRUkxLAc23DQBopH0Y7/nAbyIw5p3ZzyhpOKiw6HrZ3s4xQfEiwVCmdsteN6WNE EnzFdcbDo6gMr9P+RDhYxQaMeRV7KNxMdmhcq7Mw6OoPfdpmTuOi2VGpol2lECUvXkZKKaAz 9MezveU0xHSHSzxj1awu8X+sYZFZHcbFSy90WK3TJ4Ubap0c4ERDG6oKMDi3dRyianmXHtA/ UKiDVcLsCOwUSKbdEe1nQhZ1EBN5GeihTP91Tt/1TcgsquY2iXKheXkbhsOfGBRFiFuilLlI I78iN5/PgDgdAUqlQqs4E/Swala4q10aWvLCUtFZCn5KWh+X7D47+HcJZcft9V393ofWf/0e V2AT7/hvxYWtkGrV3BTwjw2bXDiu5n0mQB7lHPIKX9yqHTDfsQjjRzb5dHaWbtQxm9fH3c+0 GmIQAf6YIrMn53cjZrIv+GgWnj0U5RSdXOu1oacrG6h4mYsBxSjnve1k9mhEA4g0Ca92cM5M EeA5Bv6fITv0Ly3dOx9eUw9TkTx6MtrE4R3uo0xhdcZ0j4Ynt/GmBhP2Xe2Kthd1a/kOTAWS D0K0tfQ6SDj2UwlJ3nPxZqzBT2Nh8BmYde9eGYf3CkwuttLBKmj57tBhSJpo1C8oFG0A7A1j nIHxPAp8nJfn/ARtV9n0HCGGr5LVxoQLWn2mh+P9dz7sKhHeDPlb+2rzEQn+LLpRLCa/lMFA yi/I8d9W3c2toImbhrNyCGhs9y7PoCWNZRL8UTK2wHJi+wfQH4ovtwNgycveWf0vHl/jvU+k QQrx5ax+o6ON2Rq+qu9RB9eLDz8Ic0JqHnriu5Fk8Ca0prKfN0pEygXXJbuUfOjES4D/fXhO QGUFTQgq3CdUbPBFA6b4U1iojrBCZeuf32QIXAYy51lSnz/bARHhxsIWTwhgpMjPgXynYrnc UY/7ztX5Ea54hpAx+R0NgXuB2fSoAD7D1V8AJObLRdQ8kRD/xKMapLYt7IsWX4eoc7EzkTFM GGQagVWAHtcX0WFAwqmJbyy/Zza9OPeAOOiLvzIaLHIqOpEVv7Oy4j8t+kutzuKKMiLOWFvS vMh3U8WF2t0GMXIkjAGYyoWlmTEZIiZvF3vn08/5tD66/ntVA/1sMGXDKBONNx05x2sqaLbb qiWhSc/ID0e1ItGlhqqgPAPmVUVjS9pbTykF78N4DXMQKznkahSFxcHail3OaOgCoo63wgLM MWdiMunjtaQYdYzClYDXFenmNn7PKTiwkm4bAqBAkeKcr2NYz/TkZmfXA==
Ironport-sdr: +2P+v8p/IHHpPMy8L+ppDyu5WgRcTHLekfvPd+lNJqdjqGT3qRKcN6Ycff+kFvh887903YDXZ9 F1YbtLPwYOXNVjHWaByUfBSM7TrmfBnaJMGB3yL+Qp58cA0HOxQs9OyTgWNumFWeMqAtnV9ijH gwyIrLYx6CHSPX4hwcIkyRhskTVUczAsBD8Yh//kB1mVGS7NSzHGywri4LVKDoRPHybg1sdT/Y 33u8cnpHubNblo5ybC2hO9YQ0TxHeFb+I6EglEFOWHRIX+xQJCod5HbeQt29FUh/iNFitTz2dE fHoRaz4Nq6bmihnp8ONq/j7v

============================================================================
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)

[Coq-Club] FLOPS 2022: the 16th International Symposium on Functional and Logic Programming: Call For Participation & Workshop talk proposals, Taro Sekiyama, 04/25/2022