March 2015 SIEP Workshop
The March 2015 SIEP Workshop takes place at the KU Leuven from 2 March to 4 March 2015.
Program
Monday, 2 March 2015
14:30-15:30
AgustÃn Ambrossio and Marcos Cramer: A Logic of Trust for Reasoning about Delegation and Revocation
15:30-16:15
Yang Zhang and Marcos Cramer: A Logical Approach to Restricting Access in Online Sacial Networks (joint work with Jun Pang)
16:15-16:30
Coffee break
16:30-17:15
Pieter Van Hertum: Interactive configuration problems and the KB-paradigm
Tuesday, 3 March 2015
09:45-10:15
Marcos Cramer and Pieter Van Hertum: Overview over the SIEP project: Results and planning
10:15-10:45
Joachim Jansen: Inferring Accountability from Trust perceptions
10:45-11:30
Marc Denecker: A recap on inductive definitions and the well-founded semantics
11:30-11:45
Coffee break
11:45-12:30
Marc Denecker: Approximation Fixpoint Theory
12:30-14:00
Lunch break
14:00-15:00
Pieter Van Hertum: Generalizing Ordered Epistemic Logic to multi-agent Epistemic Logic
15:00-16:00
Marcos Cramer: Combining arbitrary modal logics with inductive definitions (work in progress)
16:00-16:15
Coffe break
16:15-17:15
Closed meeting with Marc Denecker, Leon van der Torre and Marcos Cramer: Reporting to funding agencies about the SIEP project
Everyone else: Brainstorming on the two work-in-progress talks
Wednesday, 4 March 2015
10:00-11:00
Everyone: Brainstorming on how to integrate the says-modality into FO(.)
11:00-11:15
Coffe break
11:15-12:15
Everyone: Planning the future collaboration on the SIEP project