program wcp5

2
PROGRAM WCP5 – 1 st VERSION – 05-02-2014 Invited talks = 45mn / Contributed talks = 30mn Thursday 13 10h00-10h30 Opening 10h30-11h45 Tutorial = General Theory of Paraconsistent Negation 1 11h45-12h00 Coffee Break 12h00-12h45 Invited Talk = Andrzej Pietruszczak 12h45-13h45 Lunch 13h45-14h45 Turorial = General Theory of Paraconsistent Negation 2 14h45-15h30 Invited Talk = Bryson Brown 15h30-15h45 Coffee Break Contributed talks in parallel sessions 15h45-16h15 Andreas Kapsner Frederik Van De Putte Alexandre Costa 16h15-16h45 Frode Bjordal Mathieu Cornelis Rachappa Ingalalli 16h45-17h15 Colin Caret Peter Verdée Abilio Rodrigues Friday 14 10h15-11h00 Invited Talk = Jean-Yvea Beziau 11h00-11h15 Coffee Break Contributed talks in parallel sessions 11h15-11h45 Esko Turunen Filippo Casati Sourav Tarafder 11h45-12h15 Rodolfo Ertola Vit Puncochar Hitoshi Omori 12h15-13h00 Invited Talk = Soma Dutta 13h00-14h00 Lunch 14h00-15h15 Tutorial = Philosophy and Mathematics of Logics of Formal Inconsistency 1 15h15-15h30 Coffee Break 15h30-16h45 Tutorial = Philosophy and Mathematics of Logics of Formal Inconsistency 2 16h45-17h30 Invited talk = Didier Dubois Saturday 15 10h15-12h15 Round Table 1 = Paraconsitent Logic and Reasoning 12h15-13h00 Invited Talk = Christian de Ronde 13h00-14h00 Lunch Contributed talks in parallel sessions 14h00-14h30 Anna Franceschetto Erik Istre Ian McLean 14h30-15h00 Elena Schulga Daniel Skurt Rafal Urbaniak Cruise and Dinner

Upload: nisargama

Post on 26-Nov-2015

9 views

Category:

Documents


4 download

TRANSCRIPT

  • PROGRAM WCP5 1st VERSION 05-02-2014

    Invited talks = 45mn / Contributed talks = 30mn

    Thursday 13

    10h00-10h30 Opening

    10h30-11h45 Tutorial = General Theory of Paraconsistent Negation 1

    11h45-12h00 Coffee Break

    12h00-12h45 Invited Talk = Andrzej Pietruszczak

    12h45-13h45 Lunch

    13h45-14h45 Turorial = General Theory of Paraconsistent Negation 2

    14h45-15h30 Invited Talk = Bryson Brown

    15h30-15h45 Coffee Break

    Contributed talks in parallel sessions

    15h45-16h15 Andreas Kapsner Frederik Van De Putte Alexandre Costa

    16h15-16h45 Frode Bjordal Mathieu Cornelis Rachappa Ingalalli

    16h45-17h15 Colin Caret Peter Verde Abilio Rodrigues

    Friday 14

    10h15-11h00 Invited Talk = Jean-Yvea Beziau

    11h00-11h15 Coffee Break

    Contributed talks in parallel sessions

    11h15-11h45 Esko Turunen Filippo Casati Sourav Tarafder

    11h45-12h15 Rodolfo Ertola Vit Puncochar Hitoshi Omori

    12h15-13h00 Invited Talk = Soma Dutta

    13h00-14h00 Lunch

    14h00-15h15 Tutorial = Philosophy and Mathematics of Logics of Formal Inconsistency 1

    15h15-15h30 Coffee Break

    15h30-16h45 Tutorial = Philosophy and Mathematics of Logics of Formal Inconsistency 2

    16h45-17h30 Invited talk = Didier Dubois

    Saturday 15

    10h15-12h15 Round Table 1 = Paraconsitent Logic and Reasoning

    12h15-13h00 Invited Talk = Christian de Ronde

    13h00-14h00 Lunch

    Contributed talks in parallel sessions

    14h00-14h30 Anna Franceschetto Erik Istre Ian McLean

    14h30-15h00 Elena Schulga Daniel Skurt Rafal Urbaniak

    Cruise and Dinner

  • Sunday 16

    10h15-12h15 Round Table 2 = Brain, Contradictions and Computability

    12h15-13h30 Tutorial = Adaptive Logics 1

    13h30-14h30 Lunch

    Contributed talks in parallel sessions

    14h30-15h00 Vincent Degauquier Alessio Moretti Thomas Guillaume

    15h00-15h15 Coffee Break

    15h15-16h30 Tutorial = Adaptive Logics 2

    Contributed talks in parallel sessions

    16h30-17h00 Samir Gorski Priyedarshi Jetli Gabriele Pulcini

    17h00-17h45 Invited talk = Chris Heunen

    Monday 17

    10h15-11h00 Invited Talk = Graham Priest

    11h00-11h15 Coffee Break

    Contributed talks in parallel sessions

    11h15-11h45 Gaetano Albergo Marek Nasieniewski Hidenori Kurokawa

    11h45-12h15 Can Baskent Oguz Korkmaz McKubre-Jordens

    12h15-13h00 Invited Talk = Walter Carnielli

    13h00-14h00 Lunch

    Contributed talks in parallel sessions

    14h00-14h30 Zach Weber Gangopadhyay Fabien Schang

    14h30-15h00 Martin Vacek Vladimir Vasyukov Tomasz Jarmuzek

    15h00-15h15 Coffee Break

    15h15-16h00 Result of the Contest PICTURING CONTRADICTION Talk of Kuntal Ghosh

    16h00-16h45 Invited Talk = Diderik Batens

    16h45-17h00 Closing session