Prehľad správ


Uložené filtre

Pre ukladanie filtrov sa prosím prihláste.

Radenie
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álovohradecký kraj
Univerzita Hradec Králové
Autor neuvedený
Školstvo, Univerzity, Veda a výskum
2. Mezinárodní konference českých krajanských knihoven
19.3.2026 11:41

2. Mezinárodní konference českých krajanských knihoven

Krajanské knihovny z celého světa se setkají na mezinárodní konferenci. Cílem je posílit jejich roli při šíření českého jazyka a kultury.

Česká republika - Celá ČR
Ministerstvo školství, mládeže a tělovýchovy ČR
Lenka Kanellia
Kultúra, Ďalšie vzdelávanie, Konferencie a veľtrhy
Radenie