News overview

The verification of concurrent systems with potentially infinite state spaces remains a recurring challenge in formal verification.

Pozývame všetkých priaznivcov športu a dobrej veci, aby prišli podporiť charitatívny volejbalový turnaj Smečuj za nádej, ktorý sa uskutoční už v sobotu 17. októbra v telocvični Základnej školy Spojová.

Neues Kurs-Angebot im Albert-Schweitzer-Trainingszentrum startet im November

Po štyroch úspešných ročníkoch sa UCM International Staff Week vracia v novom formáte. Tento rok nebude postavený na sérii odborných prezentácií, v ktorých účastníci iba počúvajú. Naopak, jeho cieľom je vytvoriť priestor na aktívnu výmenu skúseností, spoločné hľadanie riešení a vznik nových nápadov.

Doktorandská škola UCM pozýva na prednášku prof. PhDr. Martina Musálka, Ph.D., s názvom „Emócie ako kľúč k dlhodobému vzťahu k pohybu: prečo nestačí o pohybe hovoriť“, ktorá sa uskutoční 16. októbra 2026 o 13.00 hod. prostredníctvom MS Teams.

Po ročnej prestávke vynútenej prvou etapou rekonštrukcie priestorov Základnej umeleckej školy Myjava sa sobotu 7. novembra 2026 v Kultúrnom dome Samka Dudíka v Myjave uskutoční siedme pokračovanie súťažnej výstavy plastikových a papierových modelov O myjavský erb 2026.

LESNÍCKYM CHODNÍKOM J. D. MATEJOVIE 2026

Frankfurter Juristische Gesellschaft und Zentrum „Normative Ordnungen“ laden zu Filmvorführung und Podiumsdiskussion mit dem Zeitzeugen.

V pondelok 19. októbra 2026 sa stretneme, aby sme spoločne oslávili 35. výročie založenia Fakulty managementu Univerzity Komenského v Bratislave.

LRin Lagger-Pöllinger: Das Land Kärnten stärkt selbstständige Frauen mit praxisnahen Angeboten zu Steuern, Liquidität, Rücklagen und Vorsorge.