1st International Workshop on Consistency and Inconsistency (Workshop COIN '16 )

 

September 6, 2016
09:00 - 10:00

Workshop COIN - Session 1 : Counterfactual Reasoning

Location : 8 (Lecture Hall 8)

Session Chair : Hendrik Decker


• On computing non-hypocritical consensuses
  Eric Gregoire, Jean-Marie Lagniez, Du Zhang


• PUC-Logic
  Ricardo Fernandes, Edward Haeusler, Luiz Pereira

 

September 6, 2016
10:00 - 10:30

Workshop COIN - Session 2 : Transactions and Distributed Data

Location : 8 (Lecture Hall 8)

Session Chair : Hendrik Decker


• Replica Divergence in Data-Centric Consistency Models
  Leticia Pascual Miret, Francesc D. Muñoz-Escoí

 

September 6, 2016
10:30 - 11:00

Coffee Break

 

September 6, 2016
11:00 - 12:00

Keynote Talk

Location : 1 (Lecture Hall 1)

Session Chair : Sven Hartmann


• "The Price of Data"

  Gottfried Vossen, University of Muenster, Germany


 

September 6, 2016
12:00 - 13:30

Lunch

 

September 6, 2016
13:30 - 15:00

Workshop COIN - Session 2 (continued) : Transactions and Distributed Data

Location : 8 (Lecture Hall 8)

Session Chair : Hendrik Decker


• Invited Talk:
  "Boosting transactional protocol scalability through efficient consistent snapshots "
  Alejandro Z. Tomsic, Tyler Crain, Marc Shapiro


• Transactional Composition of Executions in Stream Processing
  Krishnamurthy Vidyasankar

 

September 6, 2016
15:00 - 15:30

Coffee Break

 

September 6, 2016
15:30 - 17:00

Workshop COIN - Session 3 : Coping with Inconsistency

Location : 8 (Lecture Hall 8)

Session Chair : Leticia Pascual Miret


• Learning through Overcoming Inconsistencies
  Du Zhang, Éric Grégoire


• Hallden's Logic of Nonsense and its expansions in view of Logics of Formal Inconsistency
  Hitoshi Omori


• Repair Checking by Integrity Checking (Extended Abstract)
  Hendrik Decker, Leticia Pascual Miret, Sanjay Misra