[Haskell] PADL 2025: Call for Participation & Lightning Talks

[Germán Vidal]

===================================================================
             Call for Participation & Lightning Talks

  27th Int'l Symp. on Practical Aspects of Declarative Languages
                           (PADL 2025)

             https://popl25.sigplan.org/home/PADL-2025

        Denver, Colorado, United States, January 20-21, 2025

                  Co-located with ACM POPL 2025
===================================================================

We have a really exciting lineup of papers and keynote speakers 
at PADL this year, co-located with POPL 2025 and scheduled for 
Monday 20th - Tuesday 21st of January.

PADL continues to be a stimulating forum for research into the 
practical and applied sides of the broad spectrum of declarative 
languages (functional, logic, constraints) and their combinations. 
The list of accepted papers can be found online:

  https://popl25.sigplan.org/home/PADL-2025#event-overview

We have two keynotes:

- Solvers, unite! A simple unified semantics for reasoning with 
assurance and agreement - Yanhong A. Liu (Stony Brook University, NY)

- Bridging Safety and Performance - Umut A. Acar (Carnegie Mellon University)

Please note that the deadline for early registration is fast
approaching (Dec 29):

  https://popl25.sigplan.org/home/PADL-2025#Registration-for-PADL-2025

**Call for Lightning Talks**

PADL 2025 will feature a mini-track with lightning talks: 
five-minute talks presented sequentially without interruption. 
The objective of a lightning talk is not to give a detailed 
talk but rather to briefly present the motivation and the main 
point of an ongoing / completed research study.

If there is a tool, method, application, problem, or solution 
relevant to practical aspects of declarative languages, and that 
you would like to share with the PADL2025 participants, please 
propose a lightning talk about it by sending the program chairs 
a short abstract by January 6. 

The notifications will be sent in 3 days after submissions. 

**Student Grants**

PADL 2025 encourages students to participate in the symposium 
by providing some student grants to partially cover the 
registration and travel costs. You can apply by filling out 
the following form before December 25:

  https://forms.gle/Xr4HfxgNRxUAy7jv9

The selection process will give preference to students who 
present their papers at the symposium. Students from 
underrepresented groups are strongly encouraged to apply.

Esra Erdem - esraerdem _AT_ sabanciuniv.edu
German Vidal - gvidal _AT_ dsic.upv.es <http://dsic.upv.es/>