V102 [M104]

Location

Room change

Room M104 being unavailable on Thursday and Friday, talks have been moved to room V102. The Zoom room name is unchanged and mentioned in brackets: M104.

Room V102 is located on the first floor of the Mars area. When entering the university, you are in the Sun. Go left to reach the Mars/Venus aisle, then V102 is a few meters on the left. Image: map of HR.

Talks in this room:

Thursday

11:30

Can propositions be intentions, intuitionistically?

Bruno Bentzen

11:50

Almost negative truth and fixpoints in intuitionistic logic.

Mattias Granberg Olsson

12:10

Positive negation in constructive mathematics.

Iosif Petrakis

Friday

14:00 Live	Minimally n-valued maximally paraconsistent expansions of LP. Alexej Pynko
14:20 Live	Paraconsistent extensions of three-valued logics. Alexej Pynko
14:40 Live	Extensions of paraconsistent three-valued chain logics. Alexej Pynko
15:00 Live	Coffee Break
15:20 Live	Proof complexity of monotone branching programs. Avgerinos Delkos
15:40 Live	Understanding trust assumptions for remote attestation via formal verification Muhammad Usama Sardar
16:00 Live	Fully Certified Dynamic Epistemic Logic for Security Protocols Bogdan Macovei
16:20 Live	Coffee Break
16:30 Live	Paraconsistent and paracomplete Zermelo-Fraenkel set theory Hrafn Oddsson
16:50 Live	Characterizing Cardinals by Lomega-sentences in an Absolute Way. Ioannis Souldatos
17:10 Live	What are magic sets? Agnieszka Widz