Přehled zpráv


Uložené filtry

Pro ukládání filtrů se prosím přihlaste.

Řazení
Setkání u starosty
19.3.2026 16:30

Setkání u starosty

Starosta Prahy 2 Jan Korseska zve občany na osobní setkání.

Česká republika - Hlavní město Praha
Městská část Praha 2
Jan Korseska
Politika, Státní správa a samospráva
PŘEDNÁŠKA | Formální obrat v matematice: Od lidské intuice ke strojové verifikaci – umělá inteligence a matematické důkazy
19.3.2026 13:36

PŘEDNÁŠKA | Formální obrat v matematice: Od lidské intuice ke strojové verifikaci – umělá inteligence a matematické důkazy

Datum konání: 23. 3. 2026 16:30

Česká republika - Královéhradecký kraj
Univerzita Hradec Králové
Autor neuveden
Školství, Univerzity, Věda a výzkum
Řazení