Events

Interactions of Proof Assistants and Mathematics

Interactions of Proof Assistants and Mathematics

David Méndez participated in Interactions of Proof Assistants and Mathematics 2023, representing the ALMA AI project. 

Link: https://itp-school-2023.github.io/ 

 

MORE INFORMATION ABOUT ALMA:

For any questions please contact This email address is being protected from spambots. You need JavaScript enabled to view it..

  • Type: -- Seleccionar --
  • Status: -- Seleccionar --
eProsima
Algebraic AI
Champalimaud Foundation
DFKI
Inria
Uc3m
Technische Universität Kaiserslautern
Fiware Foundation
VTT
Logo ALMA

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)

  • X
  • LinkedIn

General information

EN-Funded_by_the_EU-POSThis project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 952091.