7:30 - 8:30 BREAKFAST
8:30 - 8:45 Steve Easterbrook, Welcome and Opening Remarks
8:45 - 10:00 Introductions and Concise Statements by Participants
10:00 - 10:30 COFFEE BREAK
10:30 - 10:50 Better Living with xlinkit
Christian Nentwich, Wolfgang Emmerich and Anthony Finkelstein,
University College London
10:50 - 11:10 Inconsistent Requirements: an Argumentation
view
Laurent Perrussel, Universite Toulouse
11:10 - 11:30 Funnelling the Consequences of Inconsistencies
Tim Menzies, University of British Columbia
11:30 - 12:00 Discussion
12:00 - 2:00 LUNCH
2:00 - 2:20 A Framework to Handle
Horizontal Inconsistency in Software
Steve Easterbrook and Marsha Chechik, University of Toronto
2:20 - 2:40 Reasoning over Inconsistent
Viewpoints:
How levels of agreement can evolve?
Jorge Garcia Duque and Jose Pazos Arias, University of Vigo
2:40 - 3:00 Abstraction and Refinement
for Model Checking Inconsistent Systems
Michael Huth, Kansas State University, and Shekhar Pradhan,
University of Maryland
3:00 - 3:30 Discussion
3:30 - 4:00 COFFEE BREAK
4:00 - 5:30 Questions, Discussion, Formulation of Research Agenda
5:30
THE END