Organizers

Information

Fridays, 12:15 p.m. , room: 5450

Dec. 13, 2024, 12:15 p.m.
Jan Kostrzon (MIMUW)
Relevant S is undecidable (Nierozstrzygalność relewantnej logiki S)
I will present an article of Søren Knudstorp `Relevant S is undecidable' from LICS'24. The talk will start with a definition of semilattice models, then the lack of the finite model property will be shown …
Dec. 6, 2024, 12:15 p.m.
Aleksy Schubert (MIMUW)
Higher-order matching, unfolding and recapitulation (Dopasowanie wyższego rzędu, rozwijanie i podsumowanie)
The third transformation in Stirling's proof of the higher-order matching decidability is called unfolding. I will present its definition and I will sketch the final recapitulation of the Stirling's proof. Notably, the transformation is defined …
Nov. 29, 2024, 12:15 p.m.
Aleksy Schubert (MIMUW)
Higher-order matching, transformations T1 and T2 and 4th order matching (Dopasowanie wyższego rzędu, transformacje T1 i T2 oraz dopasowanie czwartego rzędu)
Stirling's proof of the higher-order matching decidability uses two basic solution transformations called T1 and T2 and then the third transformation called unfolding. The vocabulary introduced on the previous talk will make it easy to …