Exploratory Workshop on Computational Mathematics
to September 18, 2025
Room: A1 (CENTRE DE RECERCA MATEMÀTICA)
Introduction
COMPUTATIONAL MATHEMATICS: THE USE OF OPTIMIZATION, LEARNING, AND FORMAL LANGUAGES IN PURE MATHEMATICS
This advanced course aims to showcase the growing impact of computational methods in pure mathematics, especially in areas such as combinatorics, graph theory, and discrete geometry. Participants will be introduced to a broad spectrum of tools, including optimization techniques, heuristic methods, and formal proof systems. Topics will range from the use of SAT solvers, integer programming, and isomorph-free generation, to semidefinite programming and the application of flag algebras. The course will also explore emerging applications of machine learning in mathematical discovery, as well as the role of formal proof assistants like LEAN. Through a combination of theoretical insights and hands-on activities, the course will demonstrate how these tools can be effectively integrated into mathematical research and contribute to the development of automated reasoning.
Organising Committee
Juanjo Rué | Universitat Politècnica de Catalunya – Centre de Recerca Matemàtica
Lluís Vena | Universitat Politècnica de Catalunya – Centre de Recerca Matemàtica
Lecturer
Christoph Spiegel
Zuse Institute Berlin - Technische Universität Berlin
LIST OF PARTICIPANTS
| Name | Institution |
|---|---|
| Patrick Morris | Universitat Politècnica de Catalunya |
| Oriol Serra Albó | Universitat Politècnica de Catalunya |
| Marc Noy Serrano | Universitat Politècnica de Catalunya |
| Juan Jose Rue Perna | Universitat Politècnica de Catalunya |
| Xavier Povill | Universitat Politècnica de Catalunya |
| Tássio Naia | Centre de Recerca Matemàtica |
INVOICE/PAYMENT INFORMATION
IF YOUR INSTITUTION COVERS YOUR REGISTRATION FEE: Please note that, in case your institution is paying for the registration via bank transfer, you will have to indicate your institution details and choose “Transfer” as the payment method at the end of the process.
UPF | UB | UPC | UAB
*If the paying institution is the UPF / UB/ UPC / UAB, after registering, please send an email to comptabilitat@crm.cat with your name and the institution internal reference number that we will need to issue the electronic invoice. Please, send us the Project code covering the registration if needed.
Paying by credit card
IF YOU PAY VIA CREDIT CARD but you need to provide the invoice to your institution to be reimbursed, please note that we will also need you to send an email to comptabilitat@crm.cat providing the internal reference number given by your institution and the code of the Project covering the registration (if necessary).
LODGING INFORMATION
ON-CAMPUS AND BELLATERRA
BARCELONA AND OFF-CAMPUS
 |
For inquiries about this event please contact the Scientific Events Coordinator Ms. Núria Hernández at nhernandez@crm.cat
|
scam warning
We are aware of a number of current scams targeting participants at CRM activities concerning registration or accommodation bookings. If you are approached by a third party (eg travellerpoint.org, Conference Committee, Global Travel Experts or Royal Visit) asking for booking or payment details, please ignore them.
Please remember:
i) CRM never uses third parties to do our administration for events: messages will come directly from CRM staff
ii) CRM will never ask participants for credit card or bank details
iii) If you have any doubt about an email you receive please get in touch