Wormshop 2024

Speaker

Ali Enayat

University of Gothenburg

Talks at this conference:

 Mon, 11:00 Boundedly axiomatizable theories meet (in)completeness
Tutorials
 Tue, 11:00 Boundedly axiomatizable theories meet (in)completeness
Tutorials
 Thu, 11:00 Boundedly axiomatizable theories meet (in)completeness
Tutorials

 Overview