Homepage : https://conferences.renyi.hu/wld6

 

We are pleased to announce that the Mathematics and Informatics Committee of the Regional Center of the Hungarian Academy of Sciences in Pécs and the Set Theory, Logic and Topology department of the Alfréd Rényi Institute of Mathematics organize a hybrid workshop celebrating the 6th World Logic Day on 12th January 2024.

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.

Venue:

MTA-PAB Székház 7624 Pécs, Jurisics Miklós utca 44.
Alternative accommodation possibility: Hotel Arkadia Pécs

Following the event online:

One can follow the even via the following Zoom Meeting:

Topic: 6th World Logic Day
Time: Jan 12, 2024 12:55 PM Budapest

Join Zoom Meeting https://us06web.zoom.us/j/81749640793?pwd=gJWtfDCcQDVbtawKJU14CoyzyyJbj4.1

Meeting ID: 817 4964 0793
Passcode: 248889

Program: 

The schedule is in Central European Time (CET). 

12:55-13:00	Opening
13:00-13:30	Sándor Jenei (University of Pécs, Eszterházy Károly Catholic University) Densification in non-divisible, non-idempotent, non-integral classes of involutive residuated lattices abstract
13:30-14:00	Ambrus Kaposi (Eötvös Loránd University) A type theory with internal parametricity abstract
14:00-14:30	Zalán Molnár (Eötvös Loránd University) van Benthem characterization theorem for ultrafilter extensions abstract
14:30-15:00	Break
15:00-15:30	Bálint Király (Budapest University of Technology and Economics) Automorphism invariant measures on homogeneous structures absztrakt
15:30-16:00	Nicha Khenkhok (Eötvös Loránd University) The translation invariant product measure problem in non sigma-finite case abstract
16:00-16:30	Break
16:30-17:00	Dorottya Sziráki (Rényi Institute) Long games and open hypergraphs on generalized Baire spaces abstrakt
17:00-17:30	Amitayu Banerjee (Rényi Institute) Distinguishing colorings and proper colorings without the Axiom of Choice abstract
17:30-18:00	Alexa Gopaulsingh (Eötvös Loránd University) Subalgebra Independence: The case of Subgroup Independence abstract
18:00-19:00	Coffee, tea and Informal discussion

The schedule is in Central European Time (CET).

Organizers:
Zalán Gyenis (Jagiellonian University)
Sándor Jenei (University of Pécs, Eszterházy Károly Catholic University)
Gábor Sági (Rényi Institute)
Gergely Székely (Rényi Institute)