Schedule 2023

Week 2 – February 13th to 17th, 2023

Monday – February 13th

Morning

Start

End

8:30

10:00

Room CB02, Ciclo Básico

Course 5

Translating and Combining Logics

Hércules de Araújo Feitosa (CLE/São Paulo State University – Unesp, Brazil) and Marcelo E. Coniglio (CLE/University of Campinas – Unicamp, Brazil)

Break

Start

End

10:30

12:00

Room CB02, Ciclo Básico

Course 6

Argumentation-based Approaches to Paraconsistency

Ofer Arieli (Academic College of Tel-Aviv, Israel)

Lunch Break

Afternoon

Start

End

14:00

15:30

Room CB02, Ciclo Básico

Course 7

Probability in Boolean and in Many-valued Logic: Axioms, Definitions and Consistency Theorems

Daniele Mundici (University of Florence, Italy)

Break

Start

End

16:00

17:30

Room CB02, Ciclo Básico

Course 8

Big Data, Information, and Ethical Issues in Artificial Reasoning

Maria Eunice Quilici Gonzalez (CLE/São Paulo State University – Unesp, Brazil) and Marcelo Finger (CLE/University of São Paulo – USP, Brazil)

Coffee Break

Start

End

18:00

19:00

Room CB02, Ciclo Básico

Aula Magna 5

The Variety of Logical Hylomorphism

Elena Dragalina-Chernaya (National Research University High
School of Economics, Moscow, Russia)

Start

End

19:00

20:00

LED Talks

Students Communications

Week 2 – February 13th to 17th, 2023

TUESDAY – February 14th

Morning

Start

End

8:30

10:00

Room CB02, Ciclo Básico

Course 5

Translating and Combining Logics

Hércules de Araújo Feitosa (CLE/São Paulo State University – Unesp, Brazil) and Marcelo E. Coniglio (CLE/University of Campinas – Unicamp, Brazil)

Break

Start

End

10:30

12:00

Room CB02, Ciclo Básico

Course 6

Argumentation-based Approaches to Paraconsistency

Ofer Arieli (Academic College of Tel-Aviv, Israel)

Lunch Break

Afternoon

Start

End

14:00

15:30

Room CB02, Ciclo Básico

Course 7

Probability in Boolean and in Many-valued Logic: Axioms, Definitions and Consistency Theorems

Daniele Mundici (University of Florence, Italy)

Break

Start

End

16:00

17:30

Room CB02, Ciclo Básico

Course 8

Big Data, Information, and Ethical Issues in Artificial Reasoning

Maria Eunice Quilici Gonzalez (CLE/São Paulo State University – Unesp, Brazil) and Marcelo Finger (CLE/University of São Paulo – USP, Brazil)

Coffee Break

Start

End

18:00

19:00

Room CB02, Ciclo Básico

Aula Magna 6

Philosophical Paraconsistency

Jean-Yves Béziau (Federal University of Rio de Janeiro – UFRJ, Brazil)

Start

End

19:00

20:00

LED Talks

Students Communications

Week 2 – February 13th to 17th, 2023

WEDNESDAY – February 15th

Morning

Start

End

8:30

10:00

Room CB02, Ciclo Básico

Course 5

Translating and Combining Logics

Hércules de Araújo Feitosa (CLE/São Paulo State University – Unesp, Brazil) and Marcelo E. Coniglio (CLE/University of Campinas – Unicamp, Brazil)

Break

Start

End

10:30

12:00

Room CB02, Ciclo Básico

Course 6

Argumentation-based Approaches to Paraconsistency

Ofer Arieli (Academic College of Tel-Aviv, Israel)

Lunch Break

Afternoon

Start

End

14:00

15:30

Room CB02, Ciclo Básico

Course 7

Probability in Boolean and in Many-valued Logic: Axioms, Definitions and Consistency Theorems

Daniele Mundici (University of Florence, Italy)

Break

Start

End

16:00

17:30

Room CB02, Ciclo Básico

Course 8

Big Data, Information, and Ethical Issues in Artificial Reasoning

Maria Eunice Quilici Gonzalez (CLE/São Paulo State University – Unesp, Brazil) and Marcelo Finger (CLE/University of São Paulo – USP, Brazil)

Coffee Break

Start

End

18:00

19:00

LED Talks

Students Communications

Start

End

19:00

20:00

Cultural Activity

Week 2 – February 13th to 17th, 2023

THURSDAY – February 16th

Morning

Start

End

8:30

10:00

Room CB02, Ciclo Básico

Course 5

Translating and Combining Logics

Hércules de Araújo Feitosa (CLE/São Paulo State University – Unesp, Brazil) and Marcelo E. Coniglio (CLE/University of Campinas – Unicamp, Brazil)

Break

Start

End

10:30

12:00

Room CB02, Ciclo Básico

Course 6

Argumentation-based Approaches to Paraconsistency

Ofer Arieli (Academic College of Tel-Aviv, Israel)

Lunch Break

Afternoon

Start

End

14:00

15:30

Room CB02, Ciclo Básico

Course 7

Probability in Boolean and in Many-valued Logic: Axioms, Definitions and Consistency Theorems

Daniele Mundici (University of Florence, Italy)

Break

Start

End

16:00

17:30

Room CB02, Ciclo Básico

Course 8

Big Data, Information, and Ethical Issues in Artificial Reasoning

Maria Eunice Quilici Gonzalez (CLE/São Paulo State University – Unesp, Brazil) and Marcelo Finger (CLE/University of São Paulo – USP, Brazil)

Coffee Break

Start

End

18:00

19:00

Room CB02, Ciclo Básico

Aula Magna 7

Paraconsistent logic in Poland: A look beyond the discursive logic

Janusz Ciuciura, University of Łodz, Poland

Start

End

19:00

20:00

LED Talks

Students Communications

Week 2 – February 13th to 17th, 2023

FRIDAY – February 17th

Morning

Start

End

8:30

10:00

Room CB02, Ciclo Básico

Course 5

Translating and Combining Logics

Hércules de Araújo Feitosa (CLE/São Paulo State University – Unesp, Brazil) and Marcelo E. Coniglio (CLE/University of Campinas – Unicamp, Brazil)

Break

Start

End

10:30

12:00

Room CB02, Ciclo Básico

Course 6

Argumentation-based Approaches to Paraconsistency

Ofer Arieli (Academic College of Tel-Aviv, Israel)

Lunch Break

Afternoon

Start

End

14:00

15:30

Room CB02, Ciclo Básico

Course 7

Probability in Boolean and in Many-valued Logic: Axioms, Definitions and Consistency Theorems

Daniele Mundici (University of Florence, Italy)

Break

Start

End

16:00

17:30

Room CB02, Ciclo Básico

Course 8

Big Data, Information, and Ethical Issues in Artificial Reasoning

Maria Eunice Quilici Gonzalez (CLE/São Paulo State University – Unesp, Brazil) and Marcelo Finger (CLE/University of São Paulo – USP, Brazil)

Coffee Break

Start

End

18:00

19:00

Room CB02, Ciclo Básico

Aula Magna 8

Paraconsistent Probability and Uncertainty: How a Computer Should Reason about Evidence

Walter Carnielli, CLE/University of Campinas – Unicamp, Brazil

Start

End

19:30

20:00

Closing Event

Closing Ceremony

Start

21:00

Happy Hour

Farewell Happy Hour

PROGRAM
São Paulo School of Advanced Science on
Contemporary Logic, Rationality, and Information