Logic List Mailing Archive

CfR: AAL info Brisbane Logic Workshop, 22 October, Queensland/Zoom

Hi everyone,

There will be a little logic day at UQ on 22 October 2024. You're all invited to attend via Zoom: https://uqz.zoom.us/j/89178667802 (the speakers will be onsite; except the first one). The schedule in Brisbane local time is below. Feel free to distribute the link as you please.

9AM - Marcel Jackson: TBA
10AM- James Carr: Locality in many-valued models
11AM- Carles Noguera: Logical characterizations of weighted complexity classes
1PM - Sasha Rubin: Formula Synthesis in Propositional Dynamic Logic
2PM - Diamant Pireva: Hybrid characterisation theorems over restricted classes of models
3PM - Petr Cintula: Algebraic Semantics for One-Variable Lattice-Valued Logics
4PM - Alberto Paparella: Many-Expert Decision Trees
5PM - Tomasz Kowalski: Embedding l-groups into l-groups whose all automorphisms are inner

Cheers,
G
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php