We are pleased to announce that the Set Theory, Logic and Topology department of the Alfréd Rényi Institute of Mathematics and Mathematics and the Informatics Committee of the Regional Center of the Hungarian Academy of Sciences in Pécs organize a hybrid workshop celebrating the 5th World Logic Day on 13th January 2023.
The aim of World Logic Day is nicely summarized by the following quote:
"A dynamic and global annual celebration of World Logic Day aims at fostering international cooperation, promoting the development of logic, in both research and teaching, supporting the activities of associations, universities and other institutions involved with logic, and enhancing public understanding of logic and its implications for science, technology and innovation."
-- Proclamation of a World Logic Day UNESCO. General Conference, 40th, 2019.
In the spirit of this quote, we aim to organize an event with a friendly atmosphere that inspires fruitful discussions, where researchers and students can get some insights to the works of each-other and can celebrate World Logic day together.
Organizers:
Zalán Gyenis (Jagiellonian University)
Gábor Sági (Rényi Institute)
Gergely Székely (Rényi Institute)
Following the event online:
One can follow the even via this Jitsi Meet link.
Program:
The schedule is in Central European Time (CET).
| 13:00-13:30 | Sándor Jenei (University of Pécs)
Amalgamation in classes of involutive commutative residuated lattices
abstract |
| 13:30-14:00 | Kaposi Ambrus (Eötvös Loránd University)
Why is equality interesting?
abstract |
| 14:00-14:30 | Zalán Molnár (Eötvös Loránd University)
To what extent an ultrafilter extension can be similar to an ultrapower?
abstract |
| 14:30-15:00 | Break |
| 15:00-15:30 | Hajnal Andréka and István Németi (Rényi Institute)
Propositional versus predicate logics: an application of universal algebraic logic.
abstract |
| 15:30-16:00 | Judit X. Madarász (Rényi Institute)
Concept algebras of spacetime geometries
abstract |
| 16:00-16:30 | Bálint Király (Budapest University of Technology and Economics)
Automorphism invariant measures on homogeneous structures
abstract |
| 16:30-17:00 | András Máté (Eötvös Loránd University)
How modern logic came to Hungary?
abstract |
| 17:00-19:00 | Coffee, tea and Informal discussion |
Previous World Logic Day events in Hungary:
4th Logic day: Model Theoretic Logics and their Frontiers
3rd Logic day: Rényi Institute/Eötvös Loránd University
2nd Logic day: Rényi Institute/Eötvös Loránd University
1st Logic day: Eötvös Loránd University and University of Pécs.