[TYPES/announce] Call for Participation: 24th International Symposium on Practical Aspects of Declarative Languages (PADL 2022)

[James Cheney]

=== Call for Participation ===


24th International Symposium on Practical Aspects of Declarative Languages
(PADL 2022)

Philadelphia, Pennsylvania, United States
17-18th January 2022

https://urldefense.com/v3/__https://popl22.sigplan.org/home/PADL-2022__;!!IBzWLUs!Hjx7VD4dcgmg1EIIe2pqzahuW6H8OxSwMe5YYel-wMDT-OKN9Vw3d2adIEOKGHILJeUpp0nZ1QRinA$ 

Co-located with POPL 2022


== Venue and Conference Format ==

PADL 2022 is co-located with POPL 2022, which will be held in-person in
Philadelphia at the Westin Philadelphia (
https://urldefense.com/v3/__https://www.marriott.com/hotels/travel/phlwi-the-westin-philadelphia__;!!IBzWLUs!Hjx7VD4dcgmg1EIIe2pqzahuW6H8OxSwMe5YYel-wMDT-OKN9Vw3d2adIEOKGHILJeUpp0nSbk4KKQ$ ).

Authors that are unable to be at PADL in person can give their talk
remotely. All talks will be recorded, and all recordings will be available
either as a livestream or soon afterwards.

For more details visit the POPL 2022 website:
https://urldefense.com/v3/__https://popl22.sigplan.org/__;!!IBzWLUs!Hjx7VD4dcgmg1EIIe2pqzahuW6H8OxSwMe5YYel-wMDT-OKN9Vw3d2adIEOKGHILJeUpp0lgjpbVSg$ 


== Program ==

Conference program can be found at:
https://urldefense.com/v3/__https://popl22.sigplan.org/home/PADL-2022*program__;Iw!!IBzWLUs!Hjx7VD4dcgmg1EIIe2pqzahuW6H8OxSwMe5YYel-wMDT-OKN9Vw3d2adIEOKGHILJeUpp0nSmxaTwQ$ 

== Invited Talks==

PADL 2022 features two invited talks:

“People, Ideas, and the Path Ahead”
by Marcello Balduccini (https://urldefense.com/v3/__https://www.sju.edu/faculty/marcello-balduccini/__;!!IBzWLUs!Hjx7VD4dcgmg1EIIe2pqzahuW6H8OxSwMe5YYel-wMDT-OKN9Vw3d2adIEOKGHILJeUpp0k5SKgEQA$ )

“Declarative Programming and Education”
by  Shriram Krishnamurthi (https://urldefense.com/v3/__https://cs.brown.edu/*sk/__;fg!!IBzWLUs!Hjx7VD4dcgmg1EIIe2pqzahuW6H8OxSwMe5YYel-wMDT-OKN9Vw3d2adIEOKGHILJeUpp0n4b0vLfQ$ )


== Registration ==
Registration is open at:
https://urldefense.com/v3/__https://popl22.sigplan.org/attending/registration__;!!IBzWLUs!Hjx7VD4dcgmg1EIIe2pqzahuW6H8OxSwMe5YYel-wMDT-OKN9Vw3d2adIEOKGHILJeUpp0k_HAMqAA$ 
The early registration deadline is January 3. At least one author of each
accepted paper must get registered.

== Conference Description ==

Declarative languages comprise several well-established classes of
formalisms, namely, functional, logic, and constraint programming.  Such
formalisms enjoy both sound theoretical bases and the availability of
attractive frameworks for application development. Indeed, they have been
already successfully applied to many different real-world situations,
ranging from database management to active networks to software engineering
to decision support systems.

New developments in theory and implementation fostered applications in new
areas. At the same time, applications of declarative languages to novel and
challenging problems raise many interesting research issues, including
designing for scalability, language extensions for application deployment,
and programming environments. Thus, applications drive the progress in the
theory and implementation of declarative systems, and benefit from this
progress as well.

PADL is a well-established forum for researchers and practitioners to
present original work emphasizing novel applications and implementation
techniques for all forms of declarative programming, including functional
and logic programming, database and constraint programming, and theorem
proving.


== Program Chairs ==

- James Cheney, University of Edinburgh
- Simona Perri, University of Calabria

== Program Committee ==

Andres Löh, WellTyped
Chiaki Sakama, Wakayama University
Daniela Inclezan, Miami University
Ekaterina Komendantskaya, Heriot-Watt University
Esra Erdem, Sabanci University
Francesco Calimeri, University of Calabria
Jan Christiansen, Flensburg University of Applied Sciences
Konstantin Schekotihin, University of Klagenfurt
Lionel Parreaux, Hong Kong University of Science and Technology
Lukasz Ziarek, University at Buffalo, United States
Marco Maratea, University of Genova
Marina De Vos, University of Bath
Martin Erwig, Oregon State University
Martin Gebser, University of Klagenfurt
Michael Greenberg, Stevens Institute of Technology
Paul Tarau, University of North Texas
Pavan Kumar Chittimalli, TCS Research, India
Pedro Cabalar, University of Corunna
Roly Perera, The Alan Turing Institute
Tomas Petricek, University of Kent
Torsten Grust, University of Tübingen
Tran Cao Son, New Mexico State University
Yukiyoshi Kameyama, University of Tsukuba
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20211214/c74187da/attachment.htm>