===================================================================
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/>
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
