Instituto Tecnológico de Informática

IPP

Universidad Politécnica de Valencia
COIN 2016


Tuesday, 6 September 2016
Instituto Superior de Engenharia do Porto, Portugal


DEXA 2016
ISEP
ISEP
Home Call for Papers Registration Contact Us

First International Workshop
Consistency and Inconsistency

in conjunction with DEXA 2016


Program


08:55 - 09:00  Welcome and Workshop Opening


09:00 - 10:00   Session 1:   Counterfactual Reasoning

09:00 - 09:30  
On Computing Non-Hypocritical Consensuses
Éric Grégoire, Jean-Marie Lagniez and Du Zhang

09:30 - 10:00  
PUC Logic
Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler and Luiz Carlos Pereira


10:00 - 10:30  Session 2, part I:   Transactions and Distributed Data

10:00 - 10:30  
Replica Divergence in Data-Centric Consistency Models
Leticia Pascual Miret and Francesc Muñoz


10:30 - 11:00  Coffee Break


11:00 - 12:00   DEXA Keynote Talk:   The Price of Data
Gottfried Vossen


12:00 - 13:30  Lunch  


13:30 - 15:00  Session 2, part II:   Transactions and Distributed Data

13:30 - 14:15   Invited Talk:
Boosting Transactional Protocol Scalability through Efficient Consistent Snapshots
Alejandro Tomsic, Tyler Crain and Marc Shapiro

14:15 - 15:00  
Transactional Composition of Executions in Stream Processing
Krishnamurthy Vidyasankar


15:00 - 15:30  Coffee Break


15:30 - 17:00  Session 3:   Coping with Inconsistency

15:30 - 16:00  
Learning through Overcoming Inconsistencies
Du Zhang, Éric Grégoire

16:00 - 16:30  
Hallden's Logic of Nonsense and its Expansions in view of Logics of Formal Inconsistency
Hitoshi Omori

16:30 - 16:55  
Repair Checking by Integrity Checking
Hendrik Decker, Leticia Pascual Miret and Sanjay Misra


16:55 - 17:00  Workshop Closing and Farewell



COIN Workshop at DEXA 2016, September 5 - 8, Porto, Portugal