Jornada de Teoria de Nombres
Organitzat pel Grup de recerca en Criptografia i Grafs i Seminari de Teoria de Nombres de Barcelona (STNB)
Informació de l'esdeveniment
- Lloc:
- Aula 2.03 EPS - Sala de Graus
- Adreça:
Jaume II, 69
- Organitza:
- C&G i STNB
- Web:
- C&G
- Inici:
El dissabte, dia 21 d'octubre, el Grup de recerca en Criptografia i Grafs de la UdL, juntament amb el Seminari de Teoria de Nombres de Barcelona (STNB), organitzem una jornada de Teoria de Nombres a la sala de Graus de l'Escola Politècnica Superior, d'acord al següent programa:
- 12:00 h: El problema de Mondrian, a càrrec de Nacho López (UdL)
- 12:45 h: Introducció a la formalització amb Lean, a càrrec de Marc Masdeu (UAB)
Hi esteu convidats
