Online activities 22 – 28 April

The announcements are updated continuously. For a list of talks in the coming weeks, please see here.

Hebrew University Set Theory Seminar
Time: Wednesday, 24 April, 13:00-15:00 local time (12:00-14:00 CEST) 
Speaker: tba
Title: tba
Abstract: tba
Information: This talk will be given in hybrid format. Please contact Omer Ben-Neria for information how to participate.

Leeds Models and Sets Seminar
Time: Wednesday, 24 April, 14:00-15:00 local time (15:00-16:00 CEST)
Speaker: tba 
Title: tba 
Abstract: tba 
Information: Zoom link: https://universityofleeds.zoom.us/j/89414887798?pwd=SmRXMGwvUWkvYWptVUlnZHZpeFF5UT09

Vienna Research Seminar in Set Theory
Time: Thursday, 25 April, 11:30-13:00 CEST
Speaker: C. B. Switzer, Universität Wien
Title: Baumgartner’s Axiom and Cardinal Characteristics: A Sparse Look at Dense Sets of Reals
Abstract: Mini-course (25.04.2024 – 16.05.2024, 3 lectures) – 1^th lecture:
Given a cardinal κ, a set of reals A⊆R is κ-dense if its intersection with any open interval has size κ. Baumgartner’s axiom (BA) — proved consistent by Baumgartner in 1973 — states that all ℵ1-dense sets of reals are order isomorphic with the induced linear order from R. This is the most straightforward generalization to the uncountable of Cantor’s proof that all countable dense linear orders without endpoints are order isomorphic. BA has variations to other topological spaces — given a topological space X, a subset A⊆X is κ-dense if its intersection with each non-empty open subset has size κ. The axiom BA(X) states that given any two ℵ1-dense subsets of X, say A and B, there is an autohomeomorphism of X mapping A onto B. In this parlance BA is equivalent to BA(R). Surprisingly BA is not equivalent to BA(Rn) for any finite 1<n<ω. In fact BA does not follow from Martin’s Axiom (Abraham-Rubin-Shelah) though BA(Rn) does (in fact from p>ℵ1) for each n>1 (Steprāns-Watson).
In these three lectures I will discuss these ideas and some related ones including the question of when BA(X) implies BA(Y) for Polish spaces X and Y. Central to these questions are the role of cardinal characteristics including the celebrated theorem of Todorčević that BA implies b>ℵ1 as well as a recent, higher dimensional analogue of this result that for any n<ω BA(Rn) implies b>ℵ1 (S.-Steprāns). There are many beautiful open problems in this area and I plan to make discussing them a focal point of the talks. The talks will start slowly and should be accessible to students. Time permitting, the final talk will include some new results. If and when these results are presented, they are joint work with Juris Steprāns.
Information: This talk will be given in hybrid format. Please contact Petra Czarnecki for information how to participate.

Vienna Logic Colloquium
Time: Thursday, 25 April, 15:00 – 15:50 CEST
Speaker: J. Lopez-Abad, UNED Barcelona
Title: Banach spaces as metric model-theoretical structures
Abstract: Banach spaces are a reach family of metric model structures. We will discuss this in particular focussing on omega-categoricity, ultrahomogeneity and extreme amenability, where also combinatorics plays a crucial role.
Information: This talk will be given in hybrid format. Please contact Petra Czarnecki for information how to participate.

Toronto Set Theory Seminar
Time: Friday, 26 April, 1.30-3.00pm Toronto time (19.30-21.00 CEST)
Speaker: tba
Title: tba
Abstract: tba
Information: Please see the conference webpage for the login information. 

Online activities 8 – 14 April

The announcements are updated continuously. For a list of talks in the coming weeks, please see here.

CMU Core Model Seminar
Time: Tuesday, 9 April, 1:30 – 3:00pm Pittsburgh time (19:30 – 21:00 CET)
Speaker: Grigor Sargsyan, Polish Academy of Sciences
Title: The Komitas Model (2/3)
Abstract: We will introduce an inner model of a determinacy model that we call the Komitas Model. It is a type of Chang Model, it is built assuming AD^+ and it has the form L((HOD|gamma)^omega). We will show how to derive from hod mice Komitas models with rich combinatorial structure. We will then show how this structure can be transferred to models of ZFC that have combinatorially rich H_{omega_3}, H_{omega_4} and etc. For example, given a natural number n>1, we will obtain a model in which square(omega_i) fails for all i in the interval [2, n].
In these models, various K^c constructions fail to converge, and the construction of the models requires a Woodin cardinal that is a limit of Woodin cardinals. This has the consequence, via a result of Jensen-Schimmerling-Schindler-Steel, that the ZFC alone does not prove that various types of K^c constructions converge. We will also discuss other applications. This is a joint work with Paul Larson and Douglas Blue.
Komitas was an Armenian composer of folk music. He had a tragic life as a survivor of the Armenian Genocide of 1915.
Information: Please email ernest Schimmerling in advance for the login.

Hebrew University Set Theory Seminar
Time: Wednesday, 10 April, 13:00-15:00 local time (12:00-14:00 CET)
Speaker: tba
Title: tba
Abstract: tba
Information: This talk will be given in hybrid format. Please contact Omer Ben-Neria for information how to participate.

Leeds Models and Sets Seminar
Time: Wednesday, 10 April, 14:00-15:00 local time (15:00-16:00 CET)
Speaker: tba
Title: tba
Abstract: tba
Information: Zoom link: https://universityofleeds.zoom.us/j/89414887798?pwd=SmRXMGwvUWkvYWptVUlnZHZpeFF5UT09

CMU Logic Seminar
Time: Tuesday, 16 April, 3:30 – 4:30pm Pittsburgh time (21:30 – 22:30 CEST)  
Speaker: 
Title: 
Abstract: 
Information: See the seminar webpage.

Hebrew University Set Theory Seminar
Time: Wednesday, 17 April, 13:00-15:00 local time (12:00-14:00 CEST) 
Speaker: 
Title: 
Abstract: 
Information: This talk will be given in hybrid format. Please contact Omer Ben-Neria for information how to participate.

Leeds Models and Sets Seminar
Time: Wednesday, 17 April, 14:00-15:00 local time (15:00-16:00 CEST)
Speaker: tba 
Title: tba 
Abstract: tba 
Information: Zoom link: https://universityofleeds.zoom.us/j/89414887798?pwd=SmRXMGwvUWkvYWptVUlnZHZpeFF5UT09

Vienna Research Seminar in Set Theory
Time: Thursday, 18 April, 11:30-13:00 CEST
Speaker: 
Title: 
Abstract: 
Information: This talk will be given in hybrid format. Please contact Richard Springer for information how to participate.

Vienna Logic Colloquium
Time: Thursday, 18 April, 15:00 – 15:50 CEST
Speaker: 
Title: 
Abstract: 
Information: This talk will be given in hybrid format. Please contact Richard Springer for information how to participate.

Cross-Alps Logic Seminar
Time: Friday, 19 April, 16.00-17.00 CEST
Speaker:
Title:
Abstract: 
Information: The event will stream on the Webex platform. Please write to  luca.mottoros [at] unito.it  for the link to the event.

New York Set Theory Seminar
Time: Friday, 19 April, 12.30-1.45pm New York time (18.30-20.45 CEST)
Speaker: 
Title: 
Abstract: 
Information: Please see the conference webpage for the login information.

Toronto Set Theory Seminar
Time: Friday, 19 April, 1.30-3.00pm Toronto time (19.30-21.00 CEST)
Speaker: 
Title: 
Abstract: 
Information: Please see the conference webpage for the login information. 

8 – 14 April

CMU Core Model Seminar
Time: Tuesday, 9 April, 1:30 – 3:00pm Pittsburgh time (19:30 – 21:00 CEST)
Speaker: Grigor Sargsyan, Polish Academy of Sciences
Title: The Komitas Model (2/3)
Abstract: We will introduce an inner model of a determinacy model that we call the Komitas Model. It is a type of Chang Model, it is built assuming AD^+ and it has the form L((HOD|gamma)^omega). We will show how to derive from hod mice Komitas models with rich combinatorial structure. We will then show how this structure can be transferred to models of ZFC that have combinatorially rich H_{omega_3}, H_{omega_4} and etc. For example, given a natural number n>1, we will obtain a model in which square(omega_i) fails for all i in the interval [2, n].
In these models, various K^c constructions fail to converge, and the construction of the models requires a Woodin cardinal that is a limit of Woodin cardinals. This has the consequence, via a result of Jensen-Schimmerling-Schindler-Steel, that the ZFC alone does not prove that various types of K^c constructions converge. We will also discuss other applications. This is a joint work with Paul Larson and Douglas Blue.
Komitas was an Armenian composer of folk music. He had a tragic life as a survivor of the Armenian Genocide of 1915.
Information: Please email ernest Schimmerling in advance for the login.

Hebrew University Set Theory Seminar
Time: Wednesday, 10 April, 13:00-15:00 local time (12:00-14:00 CEST)
Speaker: tba
Title: tba
Abstract: tba
Information: This talk will be given in hybrid format. Please contact Omer Ben-Neria for information how to participate.

Leeds Models and Sets Seminar
Time: Wednesday, 10 April, 14:00-15:00 local time (15:00-16:00 CEST)
Speaker: tba
Title: tba
Abstract: tba
Information: Zoom link: https://universityofleeds.zoom.us/j/89414887798?pwd=SmRXMGwvUWkvYWptVUlnZHZpeFF5UT09

Renyi Institute Set Theory Seminar
Time: Thursday, 11 April, 10:30 – 12:00 CEST
Speaker: Alessandro Andretta
Title: A spray in $ \mathbb{R}^d $ is a subset with a point called center, such that every sphere with that center intersects the spray in a finite set. J. Schmerl introduced sprays when $ d = 2$, and he proved that $ 2^{\aleph_0 }  \leq \aleph_n $ iff the plane can be covered with $ n + 2$ sprays with collinear centers.
We generalize this to all dimensions $d \geq 3$. In particular we show that $ 2^{\aleph_0 } \leq \aleph_n $ iff $ \mathbb{R}^3 $ can be covered with $ 2 n + 3 $ sprays such that their centers are  coplanar and no three of them are collinear.
This is joint work with Ivan Izmestiev.
Information: The talks will be given in hybrid format. Please see the conference webpage for the login information.

Vienna Research Seminar in Set Theory
Time: Thursday, 11 April, 11:30-13:00 CET
Speaker: J. M. Millhouse, Universität Wien
Title: Definable well-orderings of a large continuum (part 1)
Abstract: This is the first in a series of talks where I will be going over the 
history and the more recent advancements in forcing techniques used to 
produce models of set theory where the continuum is strictly greater 
than \(\aleph_1\), a projective well-order of the reals.
In the first talk we will establish preliminaries, understand the 
motivation for obtaining such models, and go over L. Harrington’s 
initial 1977 construction. Subsequent talks will focus on some more 
recent results, including applications of the techniques to the theory 
of cardinal characteristics and the definability of various 
combinatorial sets of reals.
Information: This talk will be given in hybrid format. Please contact Richard Springer for information how to participate.

New York Set Theory Seminar
Time: Friday, 12 April, 12.30-1.45pm New York time (18.30-20.45 CET)
Speaker: Boban Velickovic, University of Paris
Title: tba
Abstract: tba
Information: Please see the conference webpage for the login information.

Toronto Set Theory Seminar
Time: Friday, 12 April, 1.30-3.00pm Toronto time (19.30-21.00 CET)
Speaker: tba
Title: tba
Abstract: tba
Information: Please see the conference webpage for the login information. 

Online activities 1 – 7 April

The announcements are updated continuously. For a list of talks in the coming weeks, please see here.

CMU Core Model Seminar
Time: Tuesday, 2 April, 1:30 – 3:00pm Pittsburgh time (19:30 – 21:00 CET)
Speaker: Grigor Sargsyan, Polish Academy of Sciences
Title: The Komitas Model (1/3)
Abstract: We will introduce an inner model of a determinacy model that we call the Komitas Model. It is a type of Chang Model, it is built assuming AD^+ and it has the form L((HOD|gamma)^omega). We will show how to derive from hod mice Komitas models with rich combinatorial structure. We will then show how this structure can be transferred to models of ZFC that have combinatorially rich H_{omega_3}, H_{omega_4} and etc. For example, given a natural number n>1, we will obtain a model in which square(omega_i) fails for all i in the interval [2, n].
In these models, various K^c constructions fail to converge, and the construction of the models requires a Woodin cardinal that is a limit of Woodin cardinals. This has the consequence, via a result of Jensen-Schimmerling-Schindler-Steel, that the ZFC alone does not prove that various types of K^c constructions converge. We will also discuss other applications. This is a joint work with Paul Larson and Douglas Blue.
Komitas was an Armenian composer of folk music. He had a tragic life as a survivor of the Armenian Genocide of 1915.
Information: Please email ernest Schimmerling in advance for the login.

CMU Logic Seminar
Time: Tuesday, 2 April, 3:30 – 4:30pm Pittsburgh time (21:30 – 22:30 CET)  
Speaker: Natasha Dobrinen, Notre Dame University
Title: Ramsey spaces of Fraisse structures
Abstract: The Galvin-Prikry theorem states that Borel subsets of the Baire space are Ramsey.  Silver extended this to analytic sets, and Ellentuck gave a topological characterization of Ramsey sets in terms of the property of Baire in the Vietoris topology.  We present work extending these theorems to several classes of countable homogeneous structures.  An obstruction to exact analogues of Galvin-Prikry or Ellentuck is the presence of big Ramsey degrees.  We will discuss how different properties of the structures affect which analogues have been proved.  Presented is work of the speaker for structures with SDAP$^+$ and joint work with Zucker for binary finitely constrained FAP classes.  A feature of the work with Zucker is showing that we can weaken one of Todorcevic’s four axioms guaranteeing a Ramsey space, and still achieve the same conclusion.
Information: See the seminar webpage.

Hebrew University Set Theory Seminar
Time: Wednesday, 3 April, 13:00-15:00 local time (12:00-14:00 CET)
Speaker: tba
Title: tba
Abstract: tba
Information: This talk will be given in hybrid format. Please contact Omer Ben-Neria for information how to participate.

Leeds Models and Sets Seminar
Time: Wednesday, 3 April, 14:00-15:00 local time (15:00-16:00 CET)
Speaker: tba
Title: tba
Abstract: tba
Information: Zoom link: https://universityofleeds.zoom.us/j/89414887798?pwd=SmRXMGwvUWkvYWptVUlnZHZpeFF5UT09

New York Set Theory Seminar
Time: Friday, 5 April, 12.30-1.45pm New York time (18.30-20.45 CET)
Speaker: Kameryn Williams, Bard College at Simon’s Rock
Title: Mediate cardinals
Abstract: In the late 1910s Bertrand Russell was occupied with two things: getting into political trouble for his pacifism and trying to understand the foundations of mathematics. His students were hard at work with him on this second occupation. One of those students was Dorothy Wrinch. In 1923 she gave a characterization of the axiom of choice in terms of a generalization of the notion of a Dedekind-finite infinite set. Unfortunately, her career turned toward mathematical biology and her logical work was forgotten by history. 
This talk is part of a project of revisiting Wrinch’s work from a modern perspective. I will present the main result of her 1923 paper, that AC is equivalent to the non-existence of what she termed mediate cardinals. I will also talk about some new independence results. The two main results are: (1) the smallest κ for which a κ-mediate cardinal exists can consistently be any regular κ and (2) the collection of regular κ for which exact κ-mediate cardinals exist can consistently be any class.
Information: Please see the conference webpage for the login information.

Toronto Set Theory Seminar
Time: Friday, 5 April, 1.30-3.00pm Toronto time (19.30-21.00 CET)
Speaker: Daniel Calderon, University of Toronto
Title: Borel’s conjecture and meager-additive sets
Abstract: Strong measure zero sets were introduced by Borel and have been studied since the beginning of the previous century. Borel conjectured that every strong measure zero set of real numbers must be countable. A few years later, Sierpiński proved that if the continuum hypothesis is assumed, an uncountable strong measure zero set of reals exists. Nevertheless, the question about the relative consistency of Borel’s conjecture remained open until 1976 when Laver, in a ground-breaking paper, constructed a model of set theory in which every strong measure zero set of reals is countable.
A result of Galvin, Mycielski, and Solovay provides a characterization of Borel’s strong nullity in terms of an algebraic (or translation-like) property for subsets of the real line. By means of this characterization, a strengthening of strong nullity, meager-additivity, appeared on the scene. Meager-additivity, as well as other smallness notions for subsets of the real line have received considerable attention in recent years. A 1993 question due to Bartoszyński and Judah asks whether strong nullity and meager-additivity have a very rigid relationship, in the following sense:
Question (Bartoszyński–Judah, 1993): Suppose that every strong measure zero set of reals is meager-additive. Does Borel’s conjecture follow?
In this talk, I’ll provide a proof of the relative consistency with ZFC of the statement: every strong measure zero subset of the real line is meager-additive and there are uncountable strong measure zero sets (i.e., Borel’s conjecture fails), giving a negative answer to the question above.
Information: Please see the conference webpage for the login information. 

20th Latin American Symposium on Mathematical Logic (SLALM), Uruguay July 1 to 5, 2024

The Latin American Symposium on Mathematical Logic (SLALM) is an event supported by the Association of Symbolic Logic that gathers the community of researchers in Logic from all Latin America and counts with the participation of leading researchers from all over the world. SLALM has served to reinforce mathematical logic on the continent.

XX SLALM will take place in Uruguay. Previous editions of SLALM have been organized in Chile, Brazil, Colombia, Venezuela, Argentina, Costa Rica, and Mexico.

Topics of interest to SLALM include, but are not limited to:

* Model Theory
* Set Theory
* Computability
* Logic in Computer Science
* Non-classical Logic
* Algebraic Logics
* Proof Theory
* History and Philosophy of Logic

PLENARY SPEAKERS
================

Carlos di Prisco, Universidad de los Andes, Colombia
Alejandro Díaz-Caro, Universidad de Buenos Aires, Argentina
Itala d’Ottaviano, Universidade de Campinas, Brazil
Alexandre Miquel, Universidad de la República, Uruguay
Samaria Montenegro, Universidad de Costa Rica, Costa Rica
Davide Sangiorgi, Universita’ di Bologna, Italy
Peter Selinger, Dalhousie University, Canada

TUTORIAL
=========

* Set Theory
    Natasha Dobrinen, University of Notre Dame, USA

* Model Theory
    Nadja Hempel, Universität Düsseldorf, Germany

* Philosophy
    Marcos Silva, Universidade Federal de Pernambuco, Brazil

TALK SUBMISSION
===============

XX SLALM will be divided in five thematic sessions:

* Set Theory
* Model Theory
* Logic in Computer Science and Computability
* Non-classical Logics
* Philosophical logic

We welcome contributions in the form of an abstract which will be submitted to a specific thematic session. The abstracts will be reviewed by the chairs of the selected session to ensure that it fits within the scope of the session.

Abstracts must be written in English and must not exceed one page (excluding bibliography). To produce the abstract follow this LaTeX format: article style, font size 10pt, A4, empty page style and plain bibliography style.

Abstracts must be uploaded as a PDF file via EasyChair at:

https://easychair.org/conferences/?conf=20slalm

IMPORTANT DATES
===============

We will accept submissions in two periods.

– Early submission deadline: March 31, 2024
– Notification: April 15, 2024
– Late submission deadline: From April 16 till May 31, 2024
– Notification: June 15

Early submissions are strongly encouraged. Late submissions may not be accepted due to space constraints of the sessions.

REGISTRATIO
============

Registration is open!

Information on the registration fees can be found on the XX SLALM homepage:

https://xxslalm.cmat.edu.uy

To register, you must first register as a user of the system by filling out the form at:

https://xxslalm.cmat.edu.uy/register

It is possible to register and then make the payment later (the fee applied will be the one valid at the time of payment). In that case, to make the payment, please log in using the email and password you provided for registration.

Early registration deadline: April 30, 2024, 23:59 GMT-3 (Uruguay time).

GRANTS
======

XX SLALM will be able to offer a limited number of grants to support participation in the symposium. The amount of financial support will be subject to availability.

Grant applications are made as part of the registration procedure. Applicants must first register and then upload a short (one page) CV. It is not required to have paid the registration fee to apply for a grant.

Deadline for grant application: March 30 at 23:59 GMT-3 (Uruguay time).
Acceptance or rejection of grant application will be notified by April 15.

VENUE
=====

Information on the venue will be provided soon.

SCIENTIFIC COMMITTEE
====================

Cristina Brech, Universidade de São Paulo, Brazil
Manuela Busaniche, Universidad Nacional del Litoral, Argentina
Andrés Caicedo, University of Michigan, USA
Xavier Caicedo Ferrer, Universidad de los Andes, Colombia
Russell Miller, University of New York, USA
Lourdes del Carmen González Huesca, Universidad Nacional Autónoma de México, México
Deidre Haskell, McMaster University, Canada
Octavio Malherbe, Universidad de la República, Uruguay
Antonio Montalbán, University of California – Berkeley, USA (chair)
Alf Onshuus, Universidad de los Andes, Colombia
Héctor Pasten, Pontificia Universidad Católica de Chile, Chile
Luiz Carlos Pereira, Pontifícia Universidade Católica do Rio de Janeiro, Brazil
Elaine Pimentel, University College London, UK

LOCAL COMMITTEE
===============

Walter Ferrer
Juan Pablo García
Mauricio Guillermo (chair)
Octavio Malherb
Alberto Pardo
Universidad de la República, Uruguay

—
Elaine.
———————————–
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University College London
https://sites.google.com/site/elainepimentel/

14th Penhellenic Logic Symposium – deadlines extended

*** The deadlines for the 14th Panhellenic Logic Symposium have now been extended ***

*** Please see below ***


PLS14: THE FOURTEENTH PANHELLENIC LOGIC SYMPOSIUM
July 01-05, 2024, Thessaloniki, Greece
Organized by the Aristotle University of Thessaloniki

http://panhellenic-logic-symposium.org/

Dedicated to the memory of Thanases Pheidas.

Paper submission link:
https://easychair.org/conferences/?conf=pls140

The Panhellenic Logic Symposium (PLS), a biennial scientific event established in 1997, aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, it has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived.
=====================================================================
IMPORTANT DATES – DEADLINES HAVE NOW BEEN EXTENDED

* Deadline for submission Friday, April 5 2024

* Notification Monday, April 29 2024

* Final version due Wednesday, May 29 2024
=====================================================================
INVITED SPEAKERS
– Aristotelis Panagiotopoulos, Kurt Gödel Research Center University of Vienna
– Christina Vassilakopoulou, National Technical University of Athens
– David Aspero, University of East Anglia [to be confirmed]
– Isolde Adler, University of Bamberg
– Matthias Aschenbrenner, University of Vienna
– Paul Blain Levy, University of Birmingham
– Yannick Forster, Inria

TUTORIALS
– Angeliki Koutsoukou-Argyraki, Royal Holloway University of London
– Takayuki Kihara, Nagoya University
=====================================================================
SPECIAL SESSIONS
Logic and Philosophy: Higher-Order Logic
– Bruno Jacinto, University of Lisbon
– Cian Dorr, New York University
– Gabriel Uzquiano, University of Southern California


Special session in memory of Thanases Pheidas
– Dimitra Chompitaki, University of Crete
– Konstantinos Kartas, IMJ-PRG/Sorbonne Université
– Lefteris Kirousis, University of Athens
– Xavier Vidaux, University of Concepción [to be confirmed]
=====================================================================
SUBMISSION GUIDELINES

Research papers

The Scientific Committee invites all researchers in the areas of the conference to submit their papers for presentation at PLS14. All submitted papers will be reviewed by the Scientific Committee of the symposium, who will make final decisions on acceptance. Accepted papers will appear in an informal, electronic proceedings volume, which will be posted on the event’s webpage. During the actual event, each accepted paper should be presented by at least one of its authors.
Papers should be written in English, a maximum of 5 pages long, and prepared (in PDF format) using the EasyChair class style (easychair.org/publications/for_authors). Submissions will happen through EasyChair.
Paper submission link:
https://easychair.org/conferences/?conf=pls140
Poster session

Graduate students and early-career researchers are invited to submit a short, 1-page abstract on preliminary work that may not be ready for a full talk yet. Those accepted will be able to present their work in poster form in a special poster session. The session will also feature a mentoring component in which senior researchers will discuss the posters and provide feedback to the authors.
Interested students and early-career researchers should submit their abstracts by
Wednesday, 29 May 2024

Submissions will be accepted by email at the address
pls14@softlab.ntua.gr
=====================================================================
GRANTS

Students may apply for travel funds to the Association for Symbolic Logic (ASL), under the following provisions: a) the applicants are ASL members and b) the application is received three months prior to the start of the meeting. See
https://aslonline.org/meetings/student-travel-awards/
for more details.

Further travel grants will be provided for students and young researchers. Details will be uploaded on the conference webpage.
=====================================================================
LIST OF TOPICS
Areas of interest include (but are not limited to):

– Computability theory
– Model theory
– Set theory
– Proof theory
– Categorical logic
– Philosophical logic
– Nonclassical and modal logics
– Logic in Computer Science
=====================================================================
COMMITTEES
Program Committee
Alex Kavvos, University of Bristol (chair)
Alexandra Soskova, Sofia University
Ana Sokolova, University of Salzburg
Andrew Lewis-Pye, London School of Economics
Antonis Achilleos, Reykjavik University
Antonis Kakas, University of Cyprus
Costas Dimitracopoulos, University of Athens
Elli Anastasiadi, Uppsala University
George Barmpalias, Chinese Academy of Sciences
Konstantinos Tsaprounis, University of the Aegean
Kostas Hatzikiriakou, University of Thessaly
Pantelis Eleftheriou, University of Leeds
Rizos Sklinos, University of Crete
Vassilis Gregoriades, National Technical University of Athens (chair)
Yannis Stephanou, University of Athens

Organizing committee
Ioannis Souldatos, University of Thessaloniki (chair)
Nikolaos Papaspyrou, National Technical University of Athens
Paraskevas Alvanos, University of Thessaloniki
=====================================================================
CONTACTS
General enquiries: pls14@softlab.ntua.gr
Alex Kavvos and Vassilis Gregoriades, Chairs of the Scientific Committee

Ioannis Souldatos, Chair of the Organizing Committee
=====================================================================
SPONSORS
European Mathematical Society
Foundation Compositio Mathematica
Association for Symbolic Logic
Aristotle University of Thessaloniki
University of Bristol
University of Cyprus

Online activities 25 – 31 March

The announcements are updated continuously. For a list of talks in the coming weeks, please see here.

CMU Core Model Seminar
Time: Tuesday, 26 March, 1:30 – 3:00pm Pittsburgh time (19:30 – 21:00 CET)
Speaker: Nam Trang, University of North Texas
Title: Ideals and Strong Axioms of Determinacy (part 3)
Abstract: We present the main ideas behind the proof of the equiconsistency of the theories:
(1) ZF + AD_R + \Theta is regular.
(2) ZFC + CH + there is an \omega_1-dense ideal on \omega_1.
(3) ZFC + the nonstationary ideal on P_{\omega_1}(R) is strong and pseudo-homogeneous.
This resolves a long-standing open problem asked by W.H. Woodin in the 1990’s. In the first talk, we discuss some history related to this problem and the general program in descriptive inner model theory that aims to calibrate the consistency strength of theories like the above. In the next two talks, we outline some main ideas behind the proof: the forcing construction that shows (1) is an upper bound (consistency-wise) of (2) and (3), and the core model induction that shows (2), (3) are upper bounds for (1).
Information: Please email ernest Schimmerling in advance for the login.

CMU Logic Seminar
Time: Tuesday, 26 March, 3:30 – 4:30pm Pittsburgh time (21:30 – 22:30 CET)  
Speaker: Alejandro Poveda Ruzafa, Harvard University
Title: On $C^{(1)}$-supercompactness
Abstract: A cardinal $\kappa$ is called $C^{(1)}$-supercompact if for each cardinal $\lamba>\kappa$ there is an elementary embedding $j:V\rightarrow M$ with $\operatorname{crit}(j)=\kappa$, $j(\kappa)>\lambda$, $M^{\lambda}\subseteq M$, and $j(\kappa)$ strong limit (Bagaria, 2012). In this talk I would like to discuss the relationship between this notion and classical supercompactness. Our main result is the consistency (with all known large cardinals) that every supercompact cardinal is $C^{(1)}$-supercompact. This problem is tightly connected with the following inner-model-theoretic question: Suppose that $\kappa$ is a cardinal carrying an elementary embedding $j:V\rightarrow M$ with $\operatorname{crit}(j)=\kappa$, $M^{\kappa}\subseteq M$ and $j(\kappa)$ strong limit — must $\kappa$ be superstrong with target $j(\kappa)$? On the one hand, Woodin has conjectured (2018) that under $V=\mathrm{Ultimate-}L$” the above has an affirmative answer and, as a result, that every $C^{(1)}$-supercompact cardinal is a limit of supercompacts. On the other hand, our theorem shows that the opposite configuration is consistent even with $I_0$ cardinals.
If time permits I will also present some recent results connecting supercompact and extendible cardinals with Woodin’s HOD conjecture. Part of these latter results are joint work with Gabe Goldberg.
Information: See the seminar webpage.

Hebrew University Set Theory Seminar
Time: Wednesday, 27 March, 13:00-15:00 local time (12:00-14:00 CET)
Speaker: tba
Title: tba
Abstract: tba
Information: This talk will be given in hybrid format. Please contact Omer Ben-Neria for information how to participate.

Leeds Models and Sets Seminar
Time: Wednesday, 27 March, 14:00-15:00 local time (15:00-16:00 CET)
Speaker: tba
Title: tba
Abstract: tba
Information: Zoom link: https://universityofleeds.zoom.us/j/89414887798?pwd=SmRXMGwvUWkvYWptVUlnZHZpeFF5UT09

Online activities 18 – 24 March

The announcements are updated continuously. For a list of talks in the coming weeks, please see here.

CMU Core Model Seminar
Time: Tuesday, 19 March, 1:30 – 3:00pm Pittsburgh time (18:30 – 20:00 CET)
Speaker: Nam Trang, University of North Texas
Title: Ideals and Strong Axioms of Determinacy (part 2)
Abstract: We present the main ideas behind the proof of the equiconsistency of the theories:
(1) ZF + AD_R + \Theta is regular.
(2) ZFC + CH + there is an \omega_1-dense ideal on \omega_1.
(3) ZFC + the nonstationary ideal on P_{\omega_1}(R) is strong and pseudo-homogeneous.
This resolves a long-standing open problem asked by W.H. Woodin in the 1990’s. In the first talk, we discuss some history related to this problem and the general program in descriptive inner model theory that aims to calibrate the consistency strength of theories like the above. In the next two talks, we outline some main ideas behind the proof: the forcing construction that shows (1) is an upper bound (consistency-wise) of (2) and (3), and the core model induction that shows (2), (3) are upper bounds for (1).
Information: Please email ernest Schimmerling in advance for the login.

CMU Logic Seminar
Time: Tuesday, 19 March, 3:30 – 4:30pm Pittsburgh time (20:30 – 21:30 CET)  
Speaker: Denis Hirschfeldt, University of Chicago
Title: Reductions between problems in reverse mathematics and computability theory
Abstract: Many mathematical principles can be stated in the form “for all X such that C(X) holds, there is a Y such that D(X,Y) holds”, where X and Y range over second-order objects, and C and D are arithmetic conditions. We can think of such a principle as a problem, where an instance of the problem is an X such that C(X) holds, and a solution to this instance is a Y such that D(X,Y) holds. I will discuss notions of reducibility between such problems coming from the closely-related perspectives of reverse mathematics and computability theory.
Information: See the seminar webpage.

Hebrew University Set Theory Seminar
Time: Wednesday, 20 March, 13:00-15:00 local time (12:00-14:00 CET)
Speaker: tba
Title: tba
Abstract: tba
Information: This talk will be given in hybrid format. Please contact Omer Ben-Neria for information how to participate.

Vienna Research Seminar in Set Theory
Time: Thursday, 21 March, 11:30-13:00 CET
Speaker: Martina Iannella, TU Wien
Title: (Piecewise) convex embeddability on linear orders
Abstract: Given a nonempty set L of linear orders, we say that the linear order L is L-convex embeddable into the linear order L′ if it is possible to partition L into convex sets, indexed by some element of L, which are isomorphic to convex subsets of L′ ordered in the same way. This notion generalizes convex embeddability and (finite) piecewise convex embeddability, which arise from the special cases L={1} and L=Fin. In this talk we focus on the behaviour of these relations on the set of countable linear orders, first characterising when they are transitive, and hence a quasi-order. We then look at some combinatorial properties and complexity (with respect to Borel reducibility) of these quasi-orders. Finally, we analyse their extension to uncountable linear orders.
The presented results stem from joint work with Alberto Marcone, Luca Motto Ros, and Vadim Weinstein.
Information: This talk will be given in hybrid format. Please contact Richard Springer for information how to participate.

Vienna Logic Colloquium
Time: Thursday, 21 March, 15:00 – 15:50 CET
Speaker: K. Krupiński, University of Wrocław
Title: On some applications of model theory and topological dynamics to additive combinatorics
Abstract: Model theory is a fast growing branch of mathematical logic with deep interactions with algebra, algebraic geometry, combinatorics, and, more recently, topological dynamics. I will focus on a few interactions with topological dynamics, and applications to additive combinatorics.
I will discus type-definable components of definable groups, which lead to model-theoretic descriptions of Bohr compactificatios of groups and rings, and also to so-called locally compact models of approximate subgroups and subrings which in turn are crucial to get structural or even classification results about approximate subgroups and subrings. I will discuss my result that each approximate subring has a locally compact model, and mention some structural applications. In contrast to approximate subrings, not every approximate subgroup has a locally compact model. However, Ehud Hrushovski showed that instead it has such a model in a certain generalized sense (with morphisms replaced by quasi-homomorphisms). In order to do that, he introduced and developed local logics and definability patterns. In my recent paper with Anand Pillay, we gave a shorter and simpler construction of a generalized locally compact model, based on topological dynamics methods in a model-theoretic context. I will briefly discuss it, if time permits.
Information: This talk will be given in hybrid format. Please contact Richard Springer for information how to participate.

New York Set Theory Seminar
Time: Friday, 22 March, 12.30-1.45pm New York time (17.30-19.45 CET)
Speaker: Arthur Apter, CUNY
Title: A choiceless answer to a question of Woodin
Abstract: In a lecture presented in July 2023, Moti Gitik discussed the following question from the 1980s due to Woodin, as well as approaches to its solution and why it is so difficult to solve: Question: Assuming there is no inner model of ZFC with a strong cardinal, is it possible to have a model M of ZFC such that M⊨’2ℵω>ℵω+2 and 2ℵn=ℵn+1 for every n<ω’, together with the existence of an inner model N∗⊆M of ZFC such that for the γ,δ so that γ=(ℵω)M and δ=(ℵω+3)M, N∗⊨’γ is measurable and 2γ≥δ’? 
I will discuss how to find answers to this question, if we drop the requirement that M satisfies the Axiom of Choice. I will also briefly discuss the phenomenon that on occasion, when the Axiom of Choice is removed from consideration, a technically challenging question or problem becomes more tractable. One may, however, end up with models satisfying conclusions that are impossible in ZFC. 
Reference: A. Apter, ‘A Note on a Question of Woodin’, Bulletin of the Polish Academy of Sciences (Mathematics), volume 71(2), 2023, 115–121.
Information: Please see the conference webpage for the login information.

Toronto Set Theory Seminar
Time: Friday, 22 March, 1.30-3.00pm Toronto time (18.30-20.00 CET)
Speaker: Frank Tall, University of Toronto
Title: Grothendieck spaces
Abstract: In 1952 Grothendieck proved a result connecting the question of when countably compact subspaces of certain function spaces are compact with the ability to interchange double limits, as is often done in Analysis. Iovino and colleagues connected the interchange of double limits to questions of definability of pathological Banach spaces. In his recent lecture in this seminar, he connected that interchange to questions in Machine Learning. With my recent Ph.D. student, Clovis Hamel, I extended Iovino’s work to deal with such definability in not necessarily compact logics. Previously I had answered questions of Arhangel’skii concerning generalizations of Grothendieck’s work by showing they were undecidable. Today I will speak about the topology involved in both of these endeavours.
Information: Please see the conference webpage for the login information.

Online activities 11 – 17 March

The announcements are updated continuously. For a list of talks in the coming weeks, please see here.

CMU Core Model Seminar
Time: Tuesday, 12 March, 1:30 – 3:00pm Pittsburgh time (19:30 – 21:00 CET)
Speaker: Nam Trang, University of North Texas
Title: Ideals and Strong Axioms of Determinacy
Abstract: We present the main ideas behind the proof of the equiconsistency of the theories:
(1) ZF + AD_R + \Theta is regular.
(2) ZFC + CH + there is an \omega_1-dense ideal on \omega_1.
(3) ZFC + the nonstationary ideal on P_{\omega_1}(R) is strong and pseudo-homogeneous.
This resolves a long-standing open problem asked by W.H. Woodin in the 1990’s. In the first talk, we discuss some history related to this problem and the general program in descriptive inner model theory that aims to calibrate the consistency strength of theories like the above. In the next two talks, we outline some main ideas behind the proof: the forcing construction that shows (1) is an upper bound (consistency-wise) of (2) and (3), and the core model induction that shows (2), (3) are upper bounds for (1).
Information: Please email ernest Schimmerling in advance for the login.

CMU Logic Seminar
Time: Tuesday, 12 March, 3:30 – 4:30pm Pittsburgh time (21:30 – 22:30 CET)  
Speaker: Filippo Calderoni, Rutgers University
Title: Condensation and left-orderable groups
Abstract: In this talk we will discuss the phenomenon of condensation for group actions. We will show how condensation is used to study the descriptive complexity of some countable Borel equivalence relations occurring in group theory. In particular, we will analyze the conjugacy orbit equivalence relation for the solvable Baumslag-Solitar groups on their space of left-orders. This is joint work with Adam Clay.
Information: See the seminar webpage.

Hebrew University Set Theory Seminar
Time: Wednesday, 13 March, 13:00-15:00 local time (12:00-14:00 CET)
Speaker: Saharon Shelah
Title: Corrected Iteration (part 3)
Abstract: The goal will be to introduce iterated forcing posets which are homogeneous in a reasonable sense. I will start by talking about my earlier paper “Souslin Forcing” with Jaime I. Ihoda.  
Information: This talk will be given in hybrid format. Please contact Omer Ben-Neria for information how to participate.

Vienna Research Seminar in Set Theory
Time: Thursday, 14 March, 11:30-13:00 CET
Speaker: David Schrittesser, Harbin Institute of Technology
Title: How economists forgot about multi-player utility and how we remembered
Abstract: This is all joint work with Ali M. Khan (Johns Hopkins) and Paul Arthur Pedersen (CUNY).
Game theory as practiced by economists is often couched in a setting where players pick strategies, and then a utility function tells them who has which pay off (the so-called “normal form” of a game). For two person games, an important special case is the zero sum game: the case where pay offs always sum to zero. Aumann, the sixties, defined “strictly competitive games”, two player games in which what is good for one player is bad for the other. Aumann frequently stated that this is the same class as the zero sum games—for an appropriate choice of utility function (and provided the players strategy spaces are closed under mixing).
We claim that Aumann must have known this because he knew the multidimensional theory of utility. But then in 2009, Adler, Daskalakis and Papadimitriou gave a non-trivial proof of the fact claimed by Aumann, for finite games, claiming that no such proof exists in the literature. This was generalized in 2023 by Raimondo to games where the set of strategies available to each player is an appropriate set of probability measures on [0,1] (or if you’re feeling fancy, on a standard Borel space).
In this talk, I shall show what Aumann and others must already have been aware of, but what has apparently been forgotten in the meantime: That these results, and more general ones, follow easily from the theory of mutlidimensional utility developed in the 60ies and early 70ies by Fishburn, Roberts, and others.
Information: This talk will be given in hybrid format. Please contact Richard Springer for information how to participate.

Vienna Logic Colloquium
Time: Thursday, 14 March, 15:00 – 15:50 CET
Speaker: A. Kwiatkowska, Universität Münster
Title: Projective Fraisse limits of trees
Abstract: We continue the study of projective Fraisse limits developed by Irwin-Solecki and Panagiotopoulos-Solecki by investigating families of epimorphisms between finite trees and finite rooted trees. We focus on particular classes of epimorphisms such as monotone, confluent or simple confluent, which are adaptations to graphs of monotone or confluent maps from continuum theory. As the topological realizations of the projective Fraisse limits we obtain the dendrite D3 the Mohler-Nikiel universal dendroid, as well as new, interesting compact connected spaces (continua) for which we do not yet have topological characterizations.
The talk is based on joint work with Charatonik, Roe, Yang.
Information: This talk will be given in hybrid format. Please contact Richard Springer for information how to participate.

New York Set Theory Seminar
Time: Friday, 15 March, 12.30-1.45pm New York time (18.30-20.45 CET)
Speaker: Chris Lambie-Hanson, Czech Academy of Sciences
Title: Squares, ultrafilters and forcing axioms
Abstract: A uniform ultrafilter U over a cardinal κ>ω1 is called indecomposable if, whenever λ<κ and f:κ→λ, there is a set X∈U such that f[X] is countable. Indecomposability is a natural weakening of κ-completeness and has a number of implications for, e.g., the structure of ultraproducts. In the 1980s, Sheard answered a question of Silver by proving the consistency of the existence of an inaccessible but not weakly compact cardinal carrying an indecomposable ultrafilter. Recently, however, Goldberg proved that this situation cannot hold above a strongly compact cardinal: If λ is strongly compact and κ≥λ carries an indecomposable ultrafilter, then κ is either measurable or a singular limit of countably many measurable cardinals. We prove that the same conclusion follows from the Proper Forcing Axiom, thus adding to the long list of statements first shown to hold above a strongly compact or supercompact cardinal and later shown also to follow from PFA. Time permitting, we will employ certain indexed square principles to prove that our results are sharp. This is joint work with Assaf Rinot and Jing Zhang.
Information: Please see the conference webpage for the login information.

Toronto Set Theory Seminar
Time: Friday, 15 March, 1.30-3.00pm Toronto time (19.30-21.00 CET)
Speaker: Frank Tall, University of Toronto
Title: An undecidable extension of Morley’s theorem on the number of countable models
Abstract: Joint work with Christopher J. Eagle, Clovis Hamel, Sandra Müller.
We show that Morley’s theorem on the number of countable models of a countable first-order theory becomes an undecidable statement when extended to second-order logic. More generally, we calculate the number of equivalence classes of equivalence relations obtained by countable intersections of projective sets in several models of set theory. Our methods include random and Cohen forcing, large cardinals, and Inner Model Theory.
Information: Please see the conference webpage for the login information.

Online activities 4 – 10 March

The announcements are updated continuously. For a list of talks in the coming weeks, please see here.

Hebrew University Set Theory Seminar
Time: Wednesday, 6 March, 13:00-15:00 local time (12:00-14:00 CET)
Speaker: Saharon Shelah
Title: Corrected Iteration (part 2)
Abstract: The goal will be to introduce iterated forcing posets which are homogeneous in a reasonable sense. I will start by talking about my earlier paper “Souslin Forcing” with Jaime I. Ihoda.  
Information: This talk will be given in hybrid format. Please contact Omer Ben-Neria for information how to participate.

Vienna Research Seminar in Set Theory
Time: Thursday, 7 March, 11:30-12:00 CET
Speaker: S. Horvath, ETH Zürich and A. F. Uribe Zapata, TU Wien
Title: Magic Sets
Abstract: A Magic Set is a set M of reals with the property that for all nowhere constant, continuous functions f and g on the reals it holds that f[M]⊆g[M] implies f=g.
I will cover some of the basic results on magic sets and introduce magic forcing — a forcing notion that adds a new magic set to the ground model.
Information: This talk will be given in hybrid format. Please contact Richard Springer for information how to participate.

Vienna Research Seminar in Set Theory
Time: Thursday, 7 March, 12:00-13:00 CET
Speaker: A. F. Uribe Zapata, TU Wien
Title: A general theory of iterated forcing using finitely additive measures
Abstract: Saharon Shelah in 2000 introduced a finite-support iteration using finitely additive measures to prove that, consistently, the covering of the null ideal may have countable cofinality. In 2019, Jakob Kellner, Saharon Shelah, and Anda R. Tănasie achieved some new results and applications using such iterations.
In this talk, based on the works mentioned above, we present a general theory of iterated forcing using finitely additive measures, which was developed in the speaker’s master’s thesis. For this purpose, we introduce two new notions: on the one hand, we define a new linkedness property, which we call “FAM-linked” and, on the other hand, we generalize the idea of intersection number to forcing notions, which justifies the limit steps of our iteration theory. Finally, we show a new separation of the left-side of Cichoń’s diagram allowing a singular value.
Information: This talk will be given in hybrid format. Please contact Richard Springer for information how to participate.

Vienna Logic Colloquium
Time: Thursday, 7 March, 15:00 – 15:50 CET
Speaker: E. Kaplan, McMaster University, Hamilton
Title: Hilbert polynomials for finitary matroids
Abstract: Eventual polynomial growth is a common theme in combinatorics and commutative algebra. The quintessential example of this phenomenon is the Hilbert polynomial, which eventually coincides with the linear dimension of the graded pieces of a finitely generated module over a polynomial ring.
A later result of Kolchin shows that the transcendence degree of certain field extensions of a differential field is eventually polynomial.
More recently, Khovanskii showed that for finite subsets A and B of a commutative semigroup, the size of the sumset A+tB is eventually polynomial in t.
I will present a common generalization of these three results in terms of finitary matroids (also called pregeometries). I’ll discuss other instances of eventual polynomial growth (like the Betti numbers of a simplicial complex) as well as some applications to bounding model-theoretic ranks.
This is joint work with Antongiulio Fornasiero.
Information: This talk will be given in hybrid format. Please contact Richard Springer for information how to participate.

New York Set Theory Seminar
Time: Friday, 8 March, 12.30-1.45pm New York time (18.30-20.45 CET)
Speaker: Jonathan Osinski, Univeristy of Hamburg
Title: Model Theory of class-sized logics
Abstract: We consider logics in which the collection of sentences over a set-sized vocabulary can form a proper class. The easiest example of such a logic is L∞∞, which allows for disjunctions and conjunctions over arbitrarily sized sets of formulas and quantification over strings of variables of any infinite length. Model theory of L∞∞ is very restricted. For instance, it is inconsistent for it to have nice compactness or Löwenheim-Skolem properties. However, Trevor Wilson recently showed that the existence of a Löwenheim-Skolem-Tarski number of a certain class-sized fragment of L∞∞is equivalent to the existence of a supercompact cardinal, and various other related results. We continue this work by considering several appropriate class-sized logics and their relations to large cardinals. This is joint work with Trevor Wilson.
Information: Please see the conference webpage for the login information.

Toronto Set Theory Seminar
Time: Friday, 8 March, 1.30-3.00pm Toronto time (19.30-21.00 CET)
Speaker: Clement Yung, University of Toronto
Title: Weak A2 Spaces and Ramsey Games
Abstract: We introduce the notion of a weak A2 space, which generalises topological Ramsey spaces and countable vector spaces. We shall show that in all topological Ramsey spaces, every set is Kastanas Ramsey iff Ramsey. If time permits, I’ll discuss how Kastanas Ramsey sets are related to coanalytic sets, and to strategically Ramsey sets (introduced by Rosendal) studied on countable vector spaces.
Information: Please see the conference webpage for the login information.

Dov Gabbay Prize 2024: Call for Nominations

The ”Dov Gabbay Prize for Logic and Foundations” is an international research prize aimed at outstanding and inspirational contributions in Logic and Foundations. It targets active researchers combining foundational insight and conceptual innovation with sophisticated theoretical analysis.

The theme of 2024 is: “Mathematical Logic and its Foundations”

The prize honours the extraordinary, multi-faceted and lifelong scientific and editorial work of Dov Gabbay, known among others for editing an extensive collection of Logic Handbooks (Short bio: https://dgp.iloaf.org/dov.html).

Submission:

Each nomination of a researcher should provide an accessible justification and list the main publications considered relevant. It also has to include the name, affiliation, and email address of the nominator. Self-nominations are excluded and the nominee should not be in a hierarchical relationship with the nominator. Last year’s submissions from Mathematical Logic will be reincluded by default. 

Proposals in pdf-format should be sent to “dgp[at]iloaf[dot]org”.

The deadline for this call is April 30, 2024.

Decision:

The selection is made by an independent jury consisting of seven renowned logicians representing Mathematical, Philosophical, and Computational logic:

John T. Baldwin (University of Illinois Chicago)

Johan van Benthem (University of Amsterdam/Stanford University)

Christoph Benzmueller (University of Bamberg)

Agata Ciabattoni (TU Vienna)

Laura Giordano (Università del Piemonte Orientale)

Hannes Leitgeb (LMU Munich)

Philip Welch (University of Bristol)

The winner/s will be awarded a cash prize of 2001 EUR and be invited to give a talk. The details of the ceremony will be determined after the recipient/s and their areas are known.

The decision will be announced in July 2024.

Organisation:

The prize is currently organized by the “Initiative for Logic and Foundations asbl” (https://iloaf.org), a registered non-profit organization anchored in Luxembourg (reflecting the close links of Dov with the Logic group of Leon van der Torre).

Contact:

For any questions, please contact the organizing committee via “dgp[at]iloaf[dot]org”.

Web: https://dgp.iloaf.org