Workshop Programme

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