CfP: Trimester Program on Definability, Decidability, and Computability, Hausdorff Institute, Bonn (Germany), September

Logic List Mailing Archive

CfP: Trimester Program on Definability, Decidability, and Computability, Hausdorff Institute, Bonn (Germany), September - December

Dear colleagues,

We are excited to announce the upcoming Trimester Program on Definability, 
Decidability, and Computability, organized at Hausdorff Institute of Mathem
atics (HIM) at the University of Bonn. The program will run from September 
1 to December 12, 2025, and will bring together researchers from computabil
ity theory, model theory, number theory and arithmetic geometry.

Among the topics at the core of the program, the focus will be on:
     - Decidability and computability, e.g. Hilbert Tenth Problem over arit
hmetically significant domains.
     - Definability, e.g., definability of valuations, definability in arit
hmetic geometry.
     - Computability, e.g., effectiveness and complexity of countable struc
tures.

The trimester will include the following events:

 Introductory School "Definability, Decidability, and Computability" (Se
ptember 8-12, 2025):
Lectures are Sylvy Anscombe (Universit Paris Cit), Franziska Jahnke (
Mnster), Bjorn Poonen (MIT) and Ted Slaman (UC Berkeley).

 Workshop "Definability in Number Theory and Arithmetic Geometry" (Octob
er 20-24, 2025):
The organizers are Franziska Jahnke, Jennifer Park, Florian Pop, Alexandra 
Shlapentokh, Jakob Stix.

 Conference "Definability and Computability" (December 8-12, 2025):
The organizers are Wesley Calvert, Valentina Harizanov, Philipp Hieronymi, 
Angus Macintyre, Umberto Zannier.

Call for participation: HIM offers support for participants in the trimeste
r program at all levels (senior scientists, postdocs and PhD students). The
 online application is available at

https://math-events.uni-bonn.de/e/him2025-tp3

The due date is March 2nd 2025. Letters of recommendations are only necessa
ry for postdocs and PhD students. For more information, please see

https://www.mathematics.uni-bonn.de/him/programs/future/him-trimester-progr
am-definability-decidability-and-computability

If you have any questions, please feel free to reach out to us.

Best regards,
Valentina Harizanov, Philipp Hieronymi, Jennifer Park, Florian Pop, Alexand
ra Shlapentokh
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php