Skip to main content

1053 Budapest, Reáltanoda u. 13-15. +36 1 483 8300 math (at) renyi.hun-ren.hu

hu
en

Webmail | Log in

Search Facebook

HUN-REN Alfréd Rényi Institute of Mathematics

The institute
- Our history
- Management
- People
- Awards
- Journals
- Open positions
- Grants
Research
- Research groups
- Research departments
Intranet pages
News
Events
- All events
- Seminars
- Conferences
- Workshops
- Others
Contact

Upcoming Events
Szegedy Krisztián: AI for Mathematics and Autoformalization

Szegedy Krisztián: AI for Mathematics and Autoformalization

-

SZTAKI & online

-

-

-

-

-

-

Description

MILAB seminar series

HUN-REN Alfréd Rényi Institute of Mathematics

1053 Budapest, Reáltanoda u. 13-15.
1364 Budapest, Pf. 127.
+36 1 483 8300
math (at) renyi.hun-ren.hu

Data of public interest
Policies
Privacy Policy
FAQ
Previous website

Meeting room occupancy
Webmail
Video library
AURA
Library

HUN-REN Alfréd Rényi Institute of Mathematics © 2025 All rights reserved.

sfy39587stp18