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 |