[Agda] POPL 2025 Call for Tutorials

[Ningning Xie]

POPL 2025 CALL FOR TUTORIALS

https://popl25.sigplan.org/track/POPL-2025-tutorials#Call-For-Tutorials

The 52nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming
Languages (POPL 2025) will be held in Denver, United States.

POPL provides a forum for the discussion of fundamental principles and
important innovations in the design, definition, analysis, transformation,
implementation, and verification of programming languages, programming
systems, and programming abstractions.

Tutorials for POPL 2025 are solicited on any topic relevant to the POPL
community. We particularly encourage submissions of introductory tutorials
that make the research presented at POPL more accessible to the
participants.

Tutorials will be held on Jan 19–21, 2025. The expected length of a
tutorial is 3 hours, including questions and discussion (Q&A).


*Submission details*
Deadline for submission: October 18th, 2024
Notification of acceptance: November 1st, 2024

A tutorial proposal should provide the following information:

   - Tutorial title
   - Presenter(s), affiliation(s), and contact information
   - 1-3 page description (for evaluation). This should include the
   objectives, topics to be covered, presentation approach, target audience,
   prerequisite knowledge, and if the tutorial was previously held, the
   location (i.e. which conference), date, and number of attendees if
   available.
   - 1-2 paragraph abstract suitable for tutorial publicity.
   - 1-paragraph biography suitable for tutorial publicity.

Proposals must be submitted by email to Christoph Matheja (chmat at dtu.dk)
and Robert Rand (rand at uchicago.edu) with the subject line "POPL 2025
Tutorial Proposal: [tutorial name]". The proposal should be attached as a
PDF, docx, or txt file.

*Further information*

Any query regarding POPL 2025 tutorial proposals should be addressed to the
co-located events chairs Christoph Matheja (chmat at dtu.dk) and Robert Rand (
rand at uchicago.edu), or to the general chair Steve Zdancewic (
stevez at seas.upenn.edu).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20240808/a91d347e/attachment.html>