BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:Trimester Program "Definability\, decidability\, and computability
 " [HIM Trimester Program]
DTSTART:20250901T070000Z
DTEND:20251212T150000Z
DTSTAMP:20260317T065200Z
UID:indico-event-47@math-events.uni-bonn.de
CONTACT:him-coordination@hcm.uni-bonn.de\;him-contact@hcm.uni-bonn.de
DESCRIPTION:Speakers: Emma Seggewiss (HCM)\, Kanami Ueda\n\n*The applicati
 on deadline has passed for this Trimester Program. To apply for the School
  or Conference\, please use the links listed below (Trimester Program Even
 ts).*\n\nGödel’s Incompleteness Theorems reveal the fundamental complex
 ity of arithmetic\, both in negative sense\, i.e.\, the undecidability of 
 the theory of the natural numbers\, but also in positive sense that first-
 order language of fields is far more expressive than one might think. The 
 structures born from the interaction of logic and number theory/arithmetic
  geometry are at the center of extensive and intensive study at the front
 ier of computability theory\, model theory\, number theory and arithmetic 
 geometry.\nAmong the topics at the core of the program\, the focus will be
  on:\n\nDecidability and computability\, e.g. Hilbert Tenth Problem over a
 rithmeticallysignificant domains.\nDefinability\, e.g.\, definability of v
 aluations\, definability in arithmetic geometry.\nComputability\, e.g.\, e
 ffectiveness and complexity of countable structures.\n\nLink to Trimester 
 Program website\nScientific Organizers:\n\nValentina Harizanov (George Was
 hington University)\nPhilipp Hieronymi (University of Bonn)\nJennifer Park
  (Ohio State University)\nFlorian Pop (University of Pennsylvania)\nAlexan
 dra Shlapentokh (East Carolina University)\n\nTrimester Program Events:\nE
 ach week of the Trimester Program includes numerous activities\, such as a
  seminar series\, lecture series\, reading courses and so on. In addition\
 , there are some major events\, one Summer School\, one Workshop\, as well
  as one Conference. The Workshop is aimed at people who are participants i
 n the Trimester Program at that time. It is not possible to apply only for
  a Workshop. The Summer School is aimed at early-career researchers\, espe
 cially PhD students and postdocs. There is a separate application platform
  for this event\, which can be found on the School's event page.\n\nIntrod
 uctory School "Definability\, Decidability\, and Computability" (September
  15 – 19\, 2025)\nWorkshop "Definability in Number Theory and Arithmetic
  Geometry" (October 20 – 24\, 2025)\nConference "Definability and Comput
 ability" (December 8 – 12\, 2025)\n\n\nhttps://math-events.uni-bonn.de/e
 vent/47/
LOCATION:Poppelsdorfer Allee 45\, 1. EG\, Lecture room (HIM)
URL:https://math-events.uni-bonn.de/event/47/
END:VEVENT
END:VCALENDAR