[TYPES/announce] ICFP 2024: Call for Tutorials

[ICFP Publicity]

ICFP 2024

CALL FOR TUTORIAL, PANEL, AND DISCUSSION PROPOSALS

29th ACM SIGPLAN International Conference on Functional Programming

https://urldefense.com/v3/__https://icfp24.sigplan.org/track/icfp-2024-tutorials__;!!IBzWLUs!SIsXw5L9tSR6GOAev8CJ3rrT544VjWTOwMk7AnVefB1kWvMr86hMjly4wP1IZi9vLyzs8EUYhRQ_pnDaPgtn2SSVsSI7enVjDjZUINLyr1g$ 


September 2 - 7, 2024

Milan, Italy

https://urldefense.com/v3/__https://icfp24.sigplan.org/__;!!IBzWLUs!SIsXw5L9tSR6GOAev8CJ3rrT544VjWTOwMk7AnVefB1kWvMr86hMjly4wP1IZi9vLyzs8EUYhRQ_pnDaPgtn2SSVsSI7enVjDjZUZ1xCJ5I$  <https://urldefense.com/v3/__https://icfp23.sigplan.org/__;!!IBzWLUs!SIsXw5L9tSR6GOAev8CJ3rrT544VjWTOwMk7AnVefB1kWvMr86hMjly4wP1IZi9vLyzs8EUYhRQ_pnDaPgtn2SSVsSI7enVjDjZUW_QXQ5A$ >


The 29th ACM SIGPLAN International Conference on Functional

Programming will be held in Milan, Italy on September 2 - 7,

2024, with the option of virtual participation. ICFP provides a forum

for researchers and developers to hear about the latest work on the

design, implementations, principles, and uses of functional

programming.

Proposals are invited for tutorials, lasting approximately 3 hours each,

to be presented during ICFP and its co-located workshops and other events.

The tutorials may target an audience who is interested in commercial uses

of functional programming, but we also welcome tutorials whose primary

audience is researchers rather than practitioners. Tutorials may focus
either

on a concrete technology or on a theoretical or mathematical tool. Ideally,

tutorials will have a concrete result, such as "Learn to do X with Y"

rather than "Learn language Y".

Just like last year, following the success of the #ShutDownPL event, we are
also

inviting proposals for panels and discussions on topics of broader interest

to the PL community.

Tutorials, panels, and discussions may occur before or after ICFP,

co-located with the associated workshops, on September 2 or September 6-7.


----------------------------------------------------------------------

Submission details

Deadline for submission: May 24, 2024

Notification of acceptance: May 27, 2024

Prospective organizers of tutorials are invited to submit a completed

tutorial proposal form in plain text format to the ICFP 2024 workshop

co-chairs (Yannick Forster and Chandrakana Nandi), via email to

yannick.forster at inria.fr and chandra at certora.com

by May 24rd, 2024. Please note that this is a firm deadline.

The proposal form is available at:

https://urldefense.com/v3/__http://www.icfpconference.org/icfp2024-files/icfp24-panel-form.txt__;!!IBzWLUs!SIsXw5L9tSR6GOAev8CJ3rrT544VjWTOwMk7AnVefB1kWvMr86hMjly4wP1IZi9vLyzs8EUYhRQ_pnDaPgtn2SSVsSI7enVjDjZUyac0NpI$ 
<https://urldefense.com/v3/__http://www.icfpconference.org/icfp2023-files/icfp23-panel-form.txt__;!!IBzWLUs!SIsXw5L9tSR6GOAev8CJ3rrT544VjWTOwMk7AnVefB1kWvMr86hMjly4wP1IZi9vLyzs8EUYhRQ_pnDaPgtn2SSVsSI7enVjDjZUJt1ueiw$ >

https://urldefense.com/v3/__http://www.icfpconference.org/icfp2024-files/icfp24-tutorials-form.txt__;!!IBzWLUs!SIsXw5L9tSR6GOAev8CJ3rrT544VjWTOwMk7AnVefB1kWvMr86hMjly4wP1IZi9vLyzs8EUYhRQ_pnDaPgtn2SSVsSI7enVjDjZU0GvsZP4$ 
<https://urldefense.com/v3/__http://www.icfpconference.org/icfp2023-files/icfp23-tutorials-form.txt__;!!IBzWLUs!SIsXw5L9tSR6GOAev8CJ3rrT544VjWTOwMk7AnVefB1kWvMr86hMjly4wP1IZi9vLyzs8EUYhRQ_pnDaPgtn2SSVsSI7enVjDjZUsrXmhN8$ >

----------------------------------------------------------------------

Selection committee

The proposals will be evaluated by a committee comprising the

following members of the ICFP 2024 organizing committee, together

with the members of the SIGPLAN executive committee.

Workshop Co-Chair: Yannick Forster (Inria Nantes)

Workshop Co-Chair: Chandrakana Nandi (Certora Inc.)

General Chair: Marco Gaboardi (Boston University)

Program Chair: Brigitte Pientka (McGill University)

----------------------------------------------------------------------

Further information

Any queries should be addressed to the workshop co-chairs (Yannick Forster
and Chandrakana Nandi), via email to

yannick.forster at inria.fr and chandra at certora.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240311/90dc2ee6/attachment-0001.htm>