coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Call for Participation, Functional Software Architecture (Oct. 17th, Singapore)
Chronological Thread
- From: Michael Sperber <sperber AT deinprogramm.de>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Call for Participation, Functional Software Architecture (Oct. 17th, Singapore)
- Date: Tue, 25 Mar 2025 20:17:13 +0100
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=sperber AT deinprogramm.de; spf=Pass smtp.mailfrom=sperber AT deinprogramm.de; spf=Pass smtp.helo=postmaster AT deinprogramm.de
- Ironport-data: A9a23:bMNRLKjoAmQ0XQIV8syMh3sBX161uhAKZh0ujC45NGQN5FlHY01je htvW2iFafaLZGX3Ktl+ao628UkG68TQyIdqG1Bq+S02RH5jpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UqieUsxIbVcMYD87jh5+kPIOjIdtgNyoayuAo tqaT/f3YTdJ4BYqdDtIg06/gEk35qmq42lF5gZWic1j5TcyqVFFVPrzGonqdxMUcqEMdsamS uDKyq2O/2+x13/B3fv4+lpTWhRiro/6ZWBiuFIOM0SRqkQqShgJ70oOHKF0hXG7JNm+t4sZJ N1l7fRcQOqyV0HGsLx1vxJwS0mSMUDakVNuzLfWXcG7liX7n3XQL/pGXEU4HpAS/t9MQl5Fr b8+OCwzVz+PvrfjqF67YrEEasULIMTqOpsFvX56xDTcS/orKXzBa/yUtZkBhWZ2358WW6yHP qL1ahI3BPjESwZXN00dBYgWkOqpgGHldDJCoVeQ46Y6i4TW5FUoiuW9boCKK7RmQ+0Ojkiy+ WL68V3YOQpCNPqm6jnU4jGV07qncSTTAdxMSOPQGuRRqFaU3ykYDAAcfUCqpOGwzE+4QdNWb UIOkhfCtoA++U2tVsP6UAexpXvCshN0t8ds//MSuAWD6bfe5z+iRVcPFn1neMAYjeA6fGl/v rOWpO/BCTtqubyTbHuS8LaIsD+/URT5y0dSPEfoqiNVubHeTJEPs/7Zcjp0OIKY5uAZ9Bn8z jGMtDI5iK8aiMtN26jTEbH7b9CE/cShou0dv1u/soeZAuRRPd7NWmBQwQKHhcus1a7AJrRB1 VBd8yRk0MgADIuWiAuGS/gXEbei6p6taWKA2w4zRsFwpm/zoBZPmLy8Bhkufi+F1e5UIlfUj LP74FkNv8870IaCNvUtO93qVazGM4C5Som+D668giVyjmhZLVHZoH8Gib+4323xgk4hi+k4P 5Oad8vkBHlyNEiU5GreegrcuJd1rh0DKZT7GciqlET6i+TPPRZ4i94taTOzUwzw14vcyC29z jqVH5LiJ7h3DIUSvgG/HU8vwVE2wbwTCZ33rdRNceGZKw9jXm0sYxMU6a10YJRrxsy5ic+Rl kxRmGcBoLY8uZEDAQmHa3Z7crTgR596qDQ3META+H62jmM7b9/HALg3LvMKkHpOyACn5fJ5T v8dYcKPGP1KT3LL9lzxqHU7QJNKLHyWuO5FA8ZpjPXTsXKtq8wlN+IIpjfSyRQ=
- Ironport-hdrordr: A9a23:E0cdwqrE1kSx8z+x4CF7ZEAaV5oweYIsimQD101hICG9E/bo9f xG+c5w6faaslgssR0b9OxoW5PwIk80l6QV3WB5B97LNzUO01HGEGgN1+ffKnHbexHDyg==
- Ironport-phdr: A9a23:H5VDxxBAzFgFikejnD8WUyQUf0kY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua43ygeRFtyFsK4Zw8Pt8IneGkU4oqy9+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7F skRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiTSjbb9oM Bm6sQrdutQXjIZsJas8ygbCr2dVdehR2W5nKlWfkgrm6Mu34JBt7Tlbteg7985HX6X6fqA4Q qJdAT87LW0759DluAfaQweX6XQSTmsZkhxTAwjY9x76RYv+sjH7tuVmxiaXO9D9QK0uVjSj6 6drTwLoiDsCOjUk/mzbltB8gaRGqx+nuhdxwZPbYJuNOfR+YK3TYN0US2lPUcleSyNMGZ+8Y 5cVAuYdIepVtZXxql0TphW+HwmsA+bvxydPiH/3waI60/4uHh/C3Ac9AtwOqGrbrM/uO6gMS +C+0a7FzS7bb/xIwzfy85bHcgo6rP6RQ71wcMzRyVE1FwPCgVWQs5bqPzaQ1ugXrmeU8fNtW OSygGEotw9/uCKgxtswiobXnIIVzEjJ+TllzIsxK9O1R0x2b9CmHZZMqiyXOZZ7TMMiTm9np io21KAKtYCncCQXyJopyR3SZfKDfoaG7BzvSumcLDN5iX9jZbmxiRGy8U26xe39UMm5yFhKr jdDktbQqnAN1hvT6s6dRft550uuwyyP2BzT6uFFPUA7i7bUK4I8wr4qiJUfq0PDHjX5mEjwk aSYdV0k9/C15+nmYbjqvIKQO5Jwhw3kL6gjmNCzDf4mPgQTQmSX4eex2b358UHkQ7hHgOc6n rfWvZzAOMgXuLO1DglI2Ys97xa/Eiym0MgGknkdMVxFeROGgJbxNl3SJv3zEO2xjE62kDhxw vDLJr3hDYvJLnjEiLruYKhy609ayAor19Bf4J1UCqsbL/L2X0/9rsHXAQEhPwy1xeboFsl92 5sDVW+OAaKVKr7evUKM6+41PuWBZpMZtCzjJ/Q4+vLilXo5lkUcfamt05sXcne4HvF+LkWCe XrjnM0BHnwUsQokV+HllUONUT9VZ3aqRaI84T47CJi8AofGQ4ChmqGO0zmjEp1QfW9JEkqMH mvwd4WYR/cMbzqfLtJ5njweSbehU5Mh1Q2ptALi17VnKfPU9jQEupLnydh6/PbelQoy9DxxF 8SSyXuBT2BynmMSRj85xrpzoUJnygTL7a8tiPtBUNdX+vlhUwEgNJeawfYpJcr1X1fkf9yJQ VuiCu6+DCs7Q8h5l8QWblx3Fs+Kgh3C2TKwBLAPnrmOQpA5pPGPl0PtLtpwni6VnJIqiEMrF 5Mn3QyOg6d+81OWHIvViwCCkL7sc60A3SnL/WPFzGyUvUgeXhQjGb7dUyU5YU3b5c/8+luEV 6WnXK8/PxFLxNSqJqZLbMXzilpcTfLmftjTMCqqg2nlPR+T3fuXaZbyPWAU3SHTEk8BxhsL8 GyMOBIWCiqgpXrECzN0HFfqJU/hoqFlsH3udkYv1EmRalF5kbq4/hlAnfuHV/Yaxa4Jog8tp jRyBEy60MjfDt/GqwcJkLx0R9Q77R8H0GvYs1c4JZm8N+V5gUZYdQ1rvkTo3hExC4NakMFso ml4hAx1YbmV1l9MbVb6ldj5J6HXJ2/u/Ruud7+e21fQ18yT87sO7/JwokvqvQWgHE4vu3t91 Nwd33yZ75TMRA0cNPC5Gl0v+gJwqqvybiQ84ZvO0nJ2OKyx9DPPmpooCOYj1he8boJHKqrXc W26W8YeBsWoNKkrgw3wMEJCZbkDsvdrZ4X8LqLVvczjdPxtlz+nk2ldtYV000bXsjF5VvaNx JEdhfeRwgqAUT74ylanqMH+345eNlRwViKyzzbpAIlJa+h8Z4EOXC21O8CtzNhkr5LgWnhA7 lmsHVoD3YmldFDBCj61lR0VzkkRrXG9zGGj1zFumTwzhqaS3SrW2ePtbhMCPyhHSSMx6DWka ZjxhNccUk+yagEvnxbw/kf2yZ9Qo6FnJnXSS0NFF8TvB1lrSbD49r+LYsoUrYgtrT0SS+OkJ 1aTVr/6pRIelSLlBWpXgj4hJXmmvZDwnhoyj2z4Tj47t2LUY8t93z/T6d3aXeRW0SAPQSw+h TSfClWnPtav9MmZjN+a7LD4DjvwEMQMKW+xlNrIvTDehyUiGRClmvGvhtDrWRM31yP2zZgiV CnFqgr9fpi+0q27Nex9eUw7YT20o8F+G4x4js4xnMRJhyhc38zEuyNYySGpaIwIvMC2JGAAT jMK3dPPtQ3s2Uk4a2mM25q8TXKFhM1oe9i9ZGoSnCM79cFDTqmOv9km1WN4pES1qQXJbL1zh DAYnLE18HMAiewTkAYgzyOFGLcdB0BdOGrgml7birL25LUSf2upfbWqgQBlhd27BryYig1RW XDhYJAtByZ164NzPRiftR+7opGhc97WY9UJsxSSmBqVlOlZJqU6kf8SjDZmM2bw7jU1jvQ2h ht00dSmrZCKfi9zqbmhDEcSZViXL4sDvyvghqFEkoOK0pCzS99/Ty4TUsKgRLqtAHoTrai1b ljeVmRl+zHCRuKZR1bGoFFvq3aFe3yyH0meP2JRjdBrRR3GYVdanBhRRzIi2JgwCgGtwsXlN kZ//DEYoFDi+FNAzedhNh+3VWm6xk/gcjAvVJ2WNwZb9ClO6kbTKdaZ4fh6GiQe8pDpoAGWK 2OdbhhFFilQBBzCXgmyeODxvZ+aqrHQD/HbTbOGebiUrO1CS/qEjYmi1Idr5XfEN8mCOGVjE +xu2kdHWiMxEMDYljMTDi0PwnuTP4jC/Ub6o3Iv6JrmqaeOOkqn/4aEBrpMPM86/hm3hfzGL OuMnGNiLi4e0JoQxHjOwbxZ3VgIiigoeSP+dNZI/SPLUq/UnbdaShABbCYmftBQ4rg20xNlN cPajMvv0bFih/swTVtIHw+E+InhdYkRLmexOUmSTl6ML6iDLCbXztvfba69T6VKi+pOvhi1/ zqWWRyGXHzLh3ziUBahNvtJhSeQMUlFuY2zRR1qDHDqUNPsbhDoeM8ylzA9xqc4w2/bLWNJe yYpaFtD9/fDiEEQyuU6AWFK6WBpaPWJizrMpfeNMY4Y6LNiSiFk3+NCvCZjlesTtXgVAqUqw G2I94cmtViilqPnItVPXBdPrC5Rg42RtEBnf6nUpMAosZfs8B8M632KDBsQrt5gTNHi6fk4I j3nmK/yLi9Y9N3O9M4ZQcTZeprvDQ==
- Ironport-sdr: 67e3013f_7oNGzeRV7SezRFXuu0h79e2ZMxXAbJw0WLIxyLOQCmd671Z iUToAieR4tOqdYDckwsF+ck5CU07smeLd8vGTJQ==
======================================================================
*** FUNARCH 2025 -- CALL FOR PARTICIPATION ***
The Third ACM SIGPLAN Workshop on
Functional Software Architecture - FP in the Large
17th October 2025, Singapore
Co-located with ICFP 2025
https://www.functional-architecture.org/events/funarch-2025/
======================================================================
BACKGROUND:
The ACM SIGPLAN Workshop on Functional Software Architecture - FP
in the Large aims to disseminate and enable the use of functional
programming in the large and long-lived software projects.
We specifically want:
- To assemble a community interested in software architecture
techniques and technologies specific to functional programming;
- To identify, categorize, and document topics relevant to
the field of functional software architecture;
- To connect the functional programming community to the software
architecture community to cross-pollinate between the two.
We'd love for you to be part of this effort. Whatever your
background, you're welcome at FUNARCH - to listen to talks, report
on your experience, and interact with others that share our goals.
See you at FUNARCH!
REGISTRATION:
You can register for the workshop via the registration page for
the ICFP conference, but there's no need to also register for
the conference.
KEYNOTE:
TBD
ACCEPTED SUBMISSIONS:
TBD
PROGRAM CHAIRS:
Jeffrey Young (Active Group, Germany)
Christina Rizkallah (University of Edinburgh, UK)
PROGRAM COMMITTEE:
Isabella Stilkerich (Schaeffler Technologies)
Ryan Scott (Galois)
Facundo Dominguez (Tweag)
J. Garrett Morris (University of Iowa)
Nada Amin (Harvard University)
Tom Ellis (Groq)
KC Sivaramakrishnan (IIT Madras and Tarides)
Hidehiko Masuhara (Institute of Science Tokyo)
WORKSHOP VENUE:
The workshop will be co-located with the ICFP 2025 conference at
the Marina Bay Sands Convention Centre, Singapore.
======================================================================
- [Coq-Club] Call for Participation, Functional Software Architecture (Oct. 17th, Singapore), Michael Sperber, 03/25/2025
Archive powered by MHonArc 2.6.19+.