Conference Schedule

The workshop starts on Thursday, 2 March at 9h30 (registration begins at 9h) and ends on Friday, 3 March at 17h40.

 

  • Invited talks are 60min, including 15min for discussion.
  • Contributed talks are 40min, including 10min for discussion.

 

 


Thursday, 2 March, 2017
Friday, 3 March, 2017
9h00
Registration opens
9h25
Opening
9h30–10h30
Pablo Cobreros:
Identity and the Sorites Paradox
Marianna Antonutti Marfori:
Arithmetical Completeness and Absolute Undecidability

 9h30–10h30
10h30–11h10
Giulia Felappi:
Truth, Content, and how the Content is Reached
Chris Scambler:
Arithmetic and the proof theory of cardinality quantifiers

10h30–11h10
11h10–11h30
Coffee Break

 11h10–11h30
11h30–12h10
João Marcos:
Consequence Beyond Truth and Proof
Kordula Świętorzecka:
Is Bolzano's Inbegriff of All Adherences Paradoxical?

 11h30–12h10
12h10–12h50
Jean-Yves Béziau:
Beyond Truth and Proof
Jonathan Dittrich:
Motivating noncontractive approaches by Cut-inadmissibility

 12h10–12h50
12h50–15h00
Lunch Break

 12h50–15h00
15h00–15h40
Marcos Cramer & Jérémie Dauphin:
Modelling Arguments about the Liar Paradox in Structured Argumentation Theory
Bogdan Dicher:
LP, ST and tolerant metainferences

 15h00–15h40
15h40–16h20
Eugenio Orlandelli:
A relevant solution for stability
Lucas Rosenblatt:
Noncontractive Classical Logic

 15h40–16h20
16h20–16h40
Coffee Break

 15h20–16h40
16h40–17h20
Mattia Petrolo:
Paradoxal activity

Volker Halbach:
The substitutional analysis of logical consequence

16h40–17h40
17h20–18h20
Paolo Pistone:
The geometry of vicious circles: what typability in the lambda-calculus tells us about paradoxes



19h45
Conference Dinner (Weinstube Forelle)