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