[TYPES/announce] PPDP 2022 and LOPSTR 2022 Call for Participation

Beniamino Accattoli beniamino.accattoli at inria.fr
Tue Aug 2 17:11:34 EDT 2022


============================ 
PPDP 2022 - LOPSTR 2022 
JOINT CALL FOR PARTICIPATION 
============================ 


PPDP 2022 
24th International Symposium on 
Principles and Practice of Declarative Programming 

20-22 September 2022, Tbilisi, Georgia 

https://urldefense.com/v3/__https://software.imdea.org/Conferences/PPDP2022/__;!!IBzWLUs!U__FSNZ7rZ0XJzQ7X1Xgb34S9PIr1JjgY4hlqZ4N4nvse48uTlKbPocxyvcBaFLT3r-l9VyJt4ZmCAumuRkjceX57x7onxvyiWCknut3-a0$  


Co-located with 


LOPSTR 2022 
32nd International Symposium on 
Logic-Based Program Synthesis and Transformation 

21-23 September 2022, Tbilisi, Georgia 

https://urldefense.com/v3/__https://lopstr2022.webs.upv.es/__;!!IBzWLUs!U__FSNZ7rZ0XJzQ7X1Xgb34S9PIr1JjgY4hlqZ4N4nvse48uTlKbPocxyvcBaFLT3r-l9VyJt4ZmCAumuRkjceX57x7onxvyiWCk7DDAui4$  


The conferences will be held as hybrid (blended) meetings, both in-person and virtual. 

Both conferences are part of CLAS 2022: 
https://urldefense.com/v3/__http://www.viam.science.tsu.ge/clas2022/__;!!IBzWLUs!U__FSNZ7rZ0XJzQ7X1Xgb34S9PIr1JjgY4hlqZ4N4nvse48uTlKbPocxyvcBaFLT3r-l9VyJt4ZmCAumuRkjceX57x7onxvyiWCkTxO5P7E$  


=================================== 


Registration 
------------ 

Please use the CLAS registration form on EasyChair: 

https://urldefense.com/v3/__https://easychair.org/my/conference?conf=clas2022__;!!IBzWLUs!U__FSNZ7rZ0XJzQ7X1Xgb34S9PIr1JjgY4hlqZ4N4nvse48uTlKbPocxyvcBaFLT3r-l9VyJt4ZmCAumuRkjceX57x7onxvyiWCkOVO0AZc$  

* Early registration deadline August 14, 2022 * 

An online-only registration option is available. 


=================================== 


Invited Speakers 
---------------- 

Niki Vazou, IMDEA Software Institute, Spain 
(joint PPDP-LOPSTR invited speaker) 

Florian Zuleger, Technische Universität Wien, Austria 
(joint PPDP-LOPSTR invited speaker) 

Torsten Grust, University of Tübingen, Germany 
(PPDP invited speaker) 

Robert Hierons, The University of Sheffield, UK. 
(LOPSTR invited speaker) 

Ornela Dardha, Elena Giachino, and Davide Sangiorgi 
(10 Year Most Influential Paper Award for “Session Types Revisited”, PPDP 2012). 


=================================== 


About PPDP 
---------- 

The PPDP symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. 


About LOPSTR 
------------ 

The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. 


=================================== 


Please consult the conferences' webpages for the lists of accepted papers. 

Hope to see you in Tbilisi! 

The PPDP and LOPSTR chairs. 
Alicia Villanueva 
Manuel Hermenegildo 
Beniamino Accattoli 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220802/bf9f177d/attachment-0001.htm>


More information about the Types-announce mailing list