We seek funding for a two-day conference in the philosophy of logic and mathematics at the Paris Center. The last decades have seen growing collaboration between philosophers, mathematicians, and computer scientists on the foundations of mathematics and logic. For example, philosophers are now becoming interested in the Curry-Howard Correspondence, which posits a connection between algorithms and logical reasoning, as well as in Homotopy Type Theory, which builds on this to revise the foundations of mathematics. Thinking through the potential role of AI in mathematics is also something that will benefit from co-operation between these groups. Much expertise in these areas is located in France, in groups such as PhilMath and SPHERE. This conference would bring experts from such groups in contact with people from the University of Chicago also interested in these topics, creating a venue for further collaboration.