GETFUN ON TUESDAY, JULY 22ND: TALK VIEW

Days:

next day

all days

View: with abstracts session overview side by side with other conferences

9:00

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

18:00

10:45-11:30

Semi-implication and matrices

Arnon Avron

11:30-12:00

Yoneda’s embedding and Post-completeness

Hugo Macedo, Hermann Hauesler

12:00-12:30

On the characterization of broadly truth-functional logics

Sérgio Marcelino, Carlos Caleiro, João Marcos

12:30-13:00

On non-deterministic fuzzy negations

Hélida Santos, Benjamín Bedregal, Regivan Santiago, João Marcos

14:30-15:00

Non truth-functional bivalent logics extending classical bivalent logics

Jean-Yves Béziau

15:00-15:30

A survey on Suszko’s Thesis and its formal developments

Sanderson Molick, João Marcos

15:30-16:00

Effective first-order reasoning about incomplete and inconsistent information

Arnon Avron, Beata Konikowska, Anna Zamansky

16:30-17:15

Separating truth and proof in the Logic of Proofs

Roman Kuznets

08:45-09:45

VSL Keynote Talk: Verification of Computer Systems with Model Checking

Edmund Clarke

10:15-10:45 Coffee Break

13:00-14:30 Lunch Break

16:00-16:30 Coffee Break