Schedule for Short Paper Presentations

• Terrance Swift. An Engine for Computing Well-Founded Models (Short)
• Terrance Swift, Alexandre Miguel Pinto and Luis Moniz Pereira. Incremental Answer Completion in XSB-Prolog (Short)
• Jesus Aranda, Gerard Assayag, Carlos Olarte, Jorge A. Perez, Camilo Rueda, Mauricio Toro and Frank D. Valencia. An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems (Short)
• Jon Sneyers. Optimizing Compilation and Computational Complexity of Constraint Handling Rules - Ph.D. thesis summary (Short)
• Leslie De Koninck. Execution control for Constraint Handling Rules - PhD Summary (Short)
• Leslie De Koninck, Gregory Duck and Peter Stuckey. Demand Driven Normalisation for ACD Term Rewriting (Short)
• Paolo Pilozzi and Daniel De Schreye. Automating termination proofs for CHR (Short)
• Paolo Pilozzi and Daniel De Schreye. Proving termination by invariance relations (Short)
• Yuliya Lierler and Vladimir Lifschitz. One More Decidable Class of Finitely Ground Programs (Short)

Each presentation will have a 10 minute slot on Tuesday 14th July. The first presentation will be at 16.25.