To save filters, please log in.
Number of results: 13 645
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á.
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.
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.
Vortrag im Rahmen des gemeinsamen Kolloquiums der Institute für Anorganische und Organische Chemie.
