David Méndez participated in Interactions of Proof Assistants and Mathematics 2023, representing the ALMA AI project.
Events
- Type: -- Seleccionar --
- Status: -- Seleccionar --
- October 2024
- Venue: The Odeon concert hall
- Location: Odense, Denmark
ROSCon 2024 will be held in Odense, Denmark. ROSCon 2024 is a chance for ROS developers of all levels, beginner to expert, to spend an extraordinary two days learning from and networking with the ROS community.
- Type: Event
- Status: Confirmed
- Organized by: ALMA Partner
- 18 Apr 2024
- Venue: Universidad Carlos III
- Location: Madrid
On the 18th of April, some of the members of the ALMA consortium met in Madrid at the University of Carlos III to continue working on our path to building more robust and transparent machine learning systems.
- Type: Event
- Status: Confirmed
- Organized by: ALMA Partner
- February 2025
- Venue: Champalimaud Foundation
- Location: Lisbon
The event will explore innovative AI methods, including Quantum and Physics-Inspired Machine Learning, Symbolic AI, Algebraic Machine Learning, and more.
- Partner Name: Portugal
- Type: Event
- Status: Confirmed
- Organized by: ALMA Partner
- July 2024
- Venue: Fundação para a Ciência e a Tecnologia
- Location: Portugal
Antonio Ricciardo and Fernando Martín-Maroto will attend Theoretical and Computational Algebra 2024, representing the ALMA AI project.
- Type: Event
- Status: Confirmed
- Organized by: ALMA Partner
- October 2023
- Venue: The New Orleans Hyatt Regency
- Location: New Orleans
ROSCon 2022 will be held in New Orleans, Louisiana. ROSCon 2023 is a chance for ROS developers of all levels, beginner to expert, to spend an extraordinary two days learning from and networking with the ROS community.
- Type: Event
- Status: Confirmed
- Organized by: ALMA Partner
The ALMA project leverages AML properties to develop a new generation of interactive, human-centered machine learning systems.
Coordinator Office Address
Plaza de la Encina 10-11, Núcleo 4, 2ª Pl.
28760 Tres cantos - Madrid (España)
This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 952091.