logo
Logic Programming

Conference Results (5)

International Conference on Principles and Practice of Declarative Programming (PPDP)

Rank: COffline
Rende, Italy
Sep 10, 2025 - Sep 11, 2025
functional programminglogic programmingconcurrency+10 more

International Symposium on Functional and Logic Programming (FLOPS)

Rank: National: JapanOffline
Tsukuba, Japan
May 26, 2026 - May 28, 2026
functional programminglogic programmingfunctional-logic programming+7 more

International Conference on Logic Programming (ICLP)

Rank: AOffline
Rende, Italy
Sep 15, 2025 - Sep 19, 2025
Logic ProgrammingFormal and operational semanticsNon-monotonic reasoning+26 more

IEEE Symposium on Logic in Computer Science (LICS)

Rank: A*Offline
Lisbon, Portugal
Jul 20, 2026 - Jul 23, 2026
automata theoryautomated deductioncategorical models and logics+35 more

Practical Aspects of Declarative Languages (PADL)

Rank: COffline
Rennes, France
Jan 12, 2026
functional programminglogic programmingconstraint programming+7 more