Category: Call for papers

CFP: CPP 2018

by  •  • Comments Off on CFP: CPP 2018

CALL FOR PAPERS The 7th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2018) co-located with POPL 2018 in cooperation with ACM SIGLOG http://popl18.sigplan.org/track/CPP-2018 8-9 January, 2018, Los Angeles, USA Certified Programs and Proofs (CPP) is an international…

Read more →

TPLP Special Issue: Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming

by  •  • Comments Off on TPLP Special Issue: Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming

Special Issue of Theory and Practice of Logic Programming Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming http://www.cs.nmsu.edu/~ffiorett/cfp/TPLP2017/   Since its inception, logic programming has been recognized as an ideal paradigm for addressing the…

Read more →

CFP: 19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017)

by  •  • Comments Off on CFP: 19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017)

19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017) http://bit.ly/PADL-2017 Paris, France 16th and 17th January 2017 Co-located with ACM POPL 2017 (http://conf.researchr.org/home/POPL-2017) The two best papers accepted for publication at PADL will be invited to submit an extended…

Read more →

ICCMA’17 Call for Solvers

by  •  • Comments Off on ICCMA’17 Call for Solvers

 Second International Competition on Computational Models of Argumentation (ICCMA’17) Call for Solvers http://www.dbai.tuwien.ac.at/iccma17 Argumentation is a major topic in the study of artificial intelligence. In particular, the problem of solving certain reasoning tasks on Dung’s abstract argumentation frameworks is central…

Read more →

SPECIAL ISSUE OF THEORY AND PRACTICE OF LOGIC PROGRAMMING ON COMPUTATIONAL LOGIC FOR VERIFICATION

by  •  • Comments Off on SPECIAL ISSUE OF THEORY AND PRACTICE OF LOGIC PROGRAMMING ON COMPUTATIONAL LOGIC FOR VERIFICATION

The last decade has witnessed a growing interest in the use of computational logic methods for program validation and verification. For instance, verification problems for imperative and object oriented languages can be expressed using Constraint Logic Programming (CLP) and related…

Read more →