Program of ICLP-DC

Wednesday, July 21st

Wednesday's program is also available with abstracts and side by side with other events.

09:00‑10:00 Session I: Concurrent Programming
Chair: Marcello Balduccini
Location: AT 2.12
09:00 Romain Demeyer
Program Analysis to Support Concurrent Programming in Declarative Languages
09:20 Thierry Martinez
Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints
09:40 Andrés A. Aristizábal
Bisimilarity in Concurrent Constraint Programming
10:30‑12:30 Session II: Logic Programming
Chair: Alessandro Dal Palù
Location: AT 2.12
10:30 Mario Alviano
Dynamic Magic Sets for Disjunctive Datalog Programs
10:50 Fabio Parisini
Local Branching in a Constraint Programming Framework
11:10 Céline Dandois
Program Analysis for Code Duplication in Logic Programs
11:30 Zachary Snow
Realizing the Dependently Typed Lambda Calculus
11:50 Abdulla Alqaddoumi
Towards a Parallel Virtual Machine for Functional Logic Programming
12:10 Niels Pahlavi
Higher-order Logic Learning and λProgol
14:00‑15:00 Session III: Solvers and Applications
Chair: Marcello Balduccini
Location: AT 2.12
14:00 Christian Drescher
Constraint Answer Set Programming Systems
14:20 Sarah Alice Gaggl
Towards a General Argumentation System based on Answer-Set Programming
14:40 Jakob Zwirchmayr
Cutting-Edge Timing Analysis Techniques
15:30‑16:30 Session IV: Applications
Chair: Marcello Balduccini
Location: AT 2.12
15:30 Mauricio Toro-bermudez
Structured Interactive Musical Scores
15:50 Neda Saeedloei
Logic Programming Foundations of Cyber-Physical Systems
16:10 Hugo A. López
Models for Trustworthy Services and Process Oriented Systems