13 results · clear filters Sort: newest oldest name

1. Joint Proceedings of the Workshops and Doctoral Consortium of the 41st International Conference on Logic Programming (ICLP-WS-DC 2025) co-located with 41st International Conference on Logic Programming (ICLP 2025), Rende, Italy, September 9-13, 2025.
   2025 · Rende, Italy
   Computer and information sciences
   e119019
2. Proceedings 41st International Conference on Logic Programming, ICLP 2025, Rende, Italy, 12-19th September 2025.
   2025 · Rende, Italy
   Computer and information sciences
   e12120r
3. Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings
   2022 · Genoa, Italy
   Computer and information sciences
   e11h1r8
4. International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), Rende, Italy, September 18-19, 2020.
   2020 · Rende, Italy
   Computer and information sciences
   e118zwn
5. Proceedings 36th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2020, (Technical Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020.
   2020 · Italy
   Computer and information sciences
   e120yjs
6. International Symposium on Formal Methods (FM 2003, FME)
   2003-09-08/14 · Pisa, Italy
   Computer and information sciences
   e103b37
7. Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994
   1994 · Italy
   Computer and information sciences
   e1190m2
8. ICPL 1994 Workshop W1: Process-Based Parallel Logic Programming, Santa Margherita Ligure, Italy, June, 1994
   1994 · Santa Margherita Ligure, Italy
   Computer and information sciences
   e1190n0
9. ICLP 1994, Workshop W10: Proof-Theoretical Extensions on Logic Programming, Santa Margherita Ligure, Italy, June 1994
   1994 · Santa Margherita Ligure, Italy
   Computer and information sciences
   e1190py
10. ICLP 1994 Workshop W11: Logic Programming and Education, Santa Margherita Ligure, Italy, June 1994
    1994 · Santa Margherita Ligure, Italy
    Computer and information sciences
    e1190qw
11. ICLP 1994 Workshop W12: Legal Application of Logic Programming, Santa Margherita Ligure, Italy, June 1994
    1994 · Santa Margherita Ligure, Italy
    Computer and information sciences
    e1190rt
12. ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994
    1994 · Santa Margherita Ligure, Italy
    Computer and information sciences
    e1190sr
13. ICLP 1994 Workshop W7: Applications of Logic Programming to Software Engineering, Santa Margherita Ligure, Italy, June 1994
    1994 · Santa Margherita Ligure, Italy
    Computer and information sciences
    e1190wj

As JSON: https://labs.confref.org/api/search?discipline=Q275603&country=IT