2011 Student Workshop
European Master in Computational Logic
Lisbon, Portugal, February 17-18, 2011
Programme
| Thursday 17th | |
| Opening Session | |
| 9:15 - 9:30 | Opening |
| Session 1 - 2010 Best Thesis Award | |
| 9:30 - 10:00 | Modelling GRAMMAR Constraints with ASP (Christian Drescher) |
| 10:00 - 10:30 | Query rewriting based on interpolation (Ngo Thi Phuong Nhung) |
| 10:30 - 11:00 | Fault-tolerant Message Sequence Charts (Clemens Dubslaff) |
| Coffee Break | |
| Session 2 - UNL Presentation | |
| 11:30 - 11:45 | Knowledge Representation and Reasoning Group at UNL (João Leite) |
| 11:45 - 12:15 | Computational Logic for Reasoning about Dynamical Systems (Alfredo Gabaldon) |
| 12:15 - 12:30 | Constraints and Soft Computing Group at UNL (Pedro Barahona) |
| 12:30 - 13:00 | Modern Techniques for Constraint Solving: The CaSPER experience (Marco Correia) |
| Lunch Break | |
| Session 3 - TUW Presentation | |
| 14:00 - 14:30 | Research at TUW (Alexander Leitsch) |
| 14:30 - 15:30 | Fast Cut-Elimination by CERES (Alexander Leitsch) |
| Coffee Break | |
| Session 4 - Invited Talk | |
| 16:00 - 16:30 | On the First Degree Entailment (Yohanes Stefanus) |
| Session 5 - Alumni | |
| 16:30 - 17:00 | Life as a master student and a PhD student (Carroline Ramli) |
| 17:00 - 17:30 | Career in Industry after CL (Mikhail Roshchin) |
| Friday 18th | |
| Session 6 - Student Talks | |
| 9:30 - 10:00 | Query answering in the Description Logic Horn-SHIQ (Trung Kien Tran) |
| 10:00 - 10:30 | Modular Nonmonotonic Logic Programs (Tri Kurniawan Wijaya) |
| 10:30 - 11:00 | NetSAT (Marco Gario) |
| Coffee Break | |
| Session 7 - Student Talks | |
| 11:30 - 12:00 | Automatic Service Composition (Ario Santoso) |
| 12:00 - 12:30 | Text Annotation and Reasoning (Sudeep Ghimire) *cancelled* |
| 12:30 - 13:00 | Coinductive Functional Logic Programming (Ronald de Haan) |
| Lunch Break | |