Loading Events
A poster for the FRG Workshop on Definability, Decidability and Computability.

DDC@Cambridge: FRG Workshop on Definability, Decidability and Computability

ANNOUNCEMENTS

When: July 28, 2024 - August 2, 2024
Where: Science Center 507
Address: 1 Oxford Street, Cambridge, MA 02138, United States
Speaker: Click more info for full list of speakers
July 28—August 2, 2024
Harvard University Science Center, Room 507

This workshop is organized by the Principal Investigators of the NSF funded Focused Research Group on Definability, Decidability and Computability over Arithmetically Significant Fields DMS-2152304. The main topic of the workshop concerns questions of definability in the language of rings and its variants over algebraic extensions of rational numbers, function fields and local fields and the consequences for decidability of theories and computability of properties associated with these fields.

Registration closed as of July 19.

 

Click to view/download full conference schedule.

 

Speakers:

 

Organizers: Valentina Harizanov, Barry Mazur, Jennifer Park, Florian Pop, Karl Rubin, Alexandra Shlapentokh.

Sponsors: Harvard University, NSF.