RSS feed uniba.sk

Prihlasovanie do LLM programov CEA UM otvorené

Fri, 12 Jun 2026 13:40:00 +0200

Univerzita v Miškovci, v spolupráci s CEA, ponúka jednoročné LLM programy v anglickom jazyku, obsahovo a personálne zamerané na záujemcov zo stredo- a východoeurópskeho regiónu v oblastiach práv dieťaťa a ľudských práv. Programy si kladú za cieľ sprostredkovať právne vzdelanie s komparatívnym zameraním a hlbším oboznámením sa s problematikou rodinného práva/práv dieťaťa a ľudských práv vo vybraných krajinách regiónu.

Ponúkame dva programy: International and Comparative Children's Rights a Human Rights and Rule of Law. Central European Academy ponúka študentom, ktorí budú prítomní na trojdňovom prezenčnom programe raz v zimnom a raz v letnom semestri (+ na obhajobe záverečnej práce v letnom semestri), úhradu školného aj štipendium na náhradu nákladov súvisiacich s cestou a pobytom v Budapešti na týchto programoch. Týmto študentom teda v súvislosti so štúdiom nevzniknú žiadne náklady.

Prihlasovanie beží do 15. septembra. Prihlasovať sa môžu záujemcovia, ktorí majú ukončené minimálne bakalárske štúdium z práva. Podrobnejšie informácie je možné nájsť na týchto odkazoch:

International and Comparative Children's Rights

Master in International and Comparative Children's Rights - Állam- és Jogtudományi Kar CEA Sholarship for ICCR LL.M.

Human Rights and Rule of Law

Master in Human Rights and Rule of Law - Állam- és Jogtudományi Kar Human Rights and Rule of Law LL.M. | ME KEA

Doctoral colloquium - Ismaila Jesse Mazadu (15.6.2026)

Damas.Gruska@fmph.uniba.sk — Wed, 10 Jun 2026 15:19:00 +0200

Ismaila Jesse Mazadu:
RUNTIME VERIFICATION FOR DETECTING CYBER-PHYSICAL ATTACKS
Abstract:
Runtime Verification (RV) is a lightweight yet rigorous technique that serves as a practical complement to traditional exhaustive formal verification methods, such as model checking, testing and theorem proving, especially when dealing with complex or large-scale systems. Rather than depending on a detailed, fine-grained model of the system (for instance, a low-level re-implementation down to individual instructions), RV focuses on observing and analyzing the actual execution traces produced by the running system. These traces are then checked against a formal specification that defines the expected (or forbidden) behavior. One key strength of this approach is that RV delivers accurate insights into the system’s real runtime behavior, by-passing the challenges and potential inaccuracies associated with manually creating comprehensive models in a dedicated modeling language. Runtime verification is the basis for concepts dealing with observed faults and cyberattacks on a system. Verification comprises all techniques suitable for showing that a system satisfies its specification. Runtime Verification enables reacting to faults before they become failures at the time of execution. This enables applications of runtime verification techniques that other verification techniques cannot support. Runtime verification can now be seen as the discipline of computer science that deals with the study, development, and application of verification techniques that allow checking whether a run of a system under scrutiny satisfies or violates a given correctness property. The main purpose of this study is to review previous literature on Runtime Verification and to develop a robust Runtime Verification framework that will detect cyber-physical attacks, prevent them, and ensure the safety and liveliness of a system in operation. The study proposes Runtime Verification for UAVs using a Dynamic CEE-TeSSLa-based Framework, to enforce security, safety, and liveliness of the UAVs More information Youtube channel

CU holds talks with representatives of Università degli Studi di Teramo

pr@uniba.sk — Mon, 15 Jun 2026 11:54:00 +0200

The Università degli Studi di Teramo delegation was led by Rector Christian Corsi, accompanied by Federico Carli, Adviser to the Rector for International Relations. CU was represented by Rector Marek Števček, Vice-Rector for Quality and Development Viera Štvrtinová, Vice-Rector for Science and Doctoral Studies Jozef Masarik, and Vice-Rector for External Relations Radomír Masaryk. Università degli Studi di Teramo is a public university located in the Abruzzo region of Italy. Its main areas of focus include law, economics, political science, communication, biotechnology, food science and veterinary medicine. During the meeting, representatives of both universities presented their institutions and explored opportunities for cooperation in areas where their academic interests overlap. The discussions focused in particular on biotechnology, environmental research, medicine, psychology, law and doctoral studies, as well as on support for academic mobility and joint research activities. The participants also discussed opportunities to develop cooperation under the Erasmus+ programme, including student and staff exchanges and support for doctoral education. They also considered the preparation of a memorandum of understanding that would provide a framework for future joint activities in education and research. The meeting confirmed the shared interest of both universities in developing mutual contacts and identifying new opportunities for cooperation.

The Graduation Ceremony of Graduates of the Faculty of Pharmacy

Wed, 10 Jun 2026 14:33:00 +0200

The graduation ceremony of pharmacists will take place on June 24, 2026 in the Hall of the Comenius...

The Erasmus+ training stay in Gdańsk, Poland

Wed, 10 Jun 2026 13:09:00 +0200

Our colleague from the Department of Management, Lukáš Copuš, participated in an Erasmus+ training stay in Gdańsk, Poland, at the beginning of June. The week-long course focused on the application of modern teaching approaches, particularly project-based, task-based, problem-based, and competency-based learning. The course participants explored ways to effectively integrate these approaches into education, design practice-oriented learning activities, and support students’ active engagement in the teaching process.

SLOVAKIA’S FIRST SYSTEMATIC BIOBANKING PROJECT REACHES ITS FINAL STAGE

pr@uniba.sk — Mon, 15 Jun 2026 11:51:00 +0200

“The 23rd consortium meeting marks the conclusion of a six-year project that was unique in Slovakia and the first to make a significant contribution to advancing science and research,” said Biobank Director Zuzana Danková. The project has led to progress in targeted diagnostics, personalised medicine and effective preventive measures. “For Slovakia and for our faculty, the value of biobanking lies in the ability to collect and properly preserve large numbers of samples, which can later be used to test diagnostic methods quickly. In the past, even when a new diagnostic method was available, researchers often had to wait months or even years to assemble a suitable group of patient samples. With systematic biobanking, the necessary samples can now be available within days,” said Štefan Sivák, Vice-Dean for Science and Research at JFMED CU, describing the main benefits of the project. Biobanking is an important foundation for any form of clinical research. “High-quality samples mean high-quality research results. This allows us to accelerate our understanding of various diseases, offer new diagnostic options, develop personalised therapies tailored to patients’ needs and support the development of new medicines, bringing enormous benefits for the entire population,” explained Associate Professor Danková. The JFMED CU Biobank is a nationally significant facility on a par with many biobanks abroad. “In terms of technology and automation, we are even ahead of many of them. In total, we can store seven million different samples,” Danková added. The biobank is now focusing on expanding its repositories and is involved in several major collaborations. It collects samples, for example, through nationwide screening programmes and its systematic cooperation with University Hospital Martin. These collections will be available to researchers across Europe. The BIOFORD project, co-financed by the European Union and with a budget of approximately EUR 18 million, brought together seven Slovak partners: Comenius University Bratislava, through the Jessenius Faculty of Medicine in Martin and the Faculty of Medicine in Bratislava; the Ministry of Health of the Slovak Republic; the National Cancer Institute; the University of Žilina; the Biomedical Research Center of the Slovak Academy of Sciences; the Centre of Social and Psychological Sciences of the Slovak Academy of Sciences; and the National Institute of Rheumatic Diseases. “As partners, we divided the work among ourselves and shared responsibility for advancing science and research in Slovakia,” added Associate Professor Danková.

Comenius University Faculty of Law Joins Discussions on a Pilot Project for Autonomous Transport in Slovakia

Fri, 05 Jun 2026 13:31:00 +0200

On 4 June, a working meeting took place at the Faculty of Mechanical Engineering of the Slovak University of Technology in Bratislava, bringing together academic partners from FIIT STU and representatives of WeRide, a global leader in autonomous mobility. WeRide was represented by Hua Zhong, Senior VP of Engineering, Jennifer Li, Chief Financial Officer and Head of International, and Kevin Pan, Business Director. Representatives of the Slovak technology company DiusAi also took part in the meeting. The Faculty of Law of Comenius University in Bratislava was represented by doc. JUDr. Jozef Andraško, PhD., who presented the Faculty’s activities in the area of research into the regulation of automated mobility. He also introduced the ROAT – Regulation of Automated Transport research group, which focuses on the legal and regulatory aspects of automated transport:
https://www.flaw.uniba.sk/veda/vyskumne-skupiny/regulacia-automatizovanej-dopravy/ The main topic of this informal yet highly productive meeting was the potential development of cooperation on a pilot project for autonomous transport in Slovakia. The interconnection of technology, engineering, information technology, and law is essential for the practical deployment of autonomous vehicles. Legal and regulatory frameworks must keep pace with technological development so that new solutions can be not only innovative, but also safe, responsible, and socially acceptable. We thank all partners for an open and constructive discussion. We believe that initiatives of this kind will contribute to the development of modern, safe, and sustainable transport solutions in Slovakia.

Lecture in the National Council of the Slovak Republic - Risks and Regulation of Artificial Intelligence in the Legislative Process

Fri, 05 Jun 2026 13:45:00 +0200

An expert seminar entitled “Legislative Evaluation Methodology and the Potential of Artificial Intelligence in the Legislative Process” was held at the National Council of the Slovak Republic under the auspices of Miroslav Čellár, Chair of the Constitutional and Legal Affairs Committee of the National Council of the Slovak Republic. Among the speakers was Assoc. Prof. Matúš Mesarčík from the Institute of Information Technology Law and Intellectual Property Law, Faculty of Law, Comenius University Bratislava, who delivered a presentation on “Risks and Regulation of the Use of AI in the Legislative Process.”
In his presentation, he examined the opportunities and limitations of using artificial intelligence in law-making, legislative impact assessment, and decision-support processes within public institutions. Particular attention was devoted to issues of transparency, reliability, accountability, and oversight when deploying AI systems in legislative and governmental settings.He also outlined the current European regulatory framework for artificial intelligence and discussed the importance of maintaining human oversight, safeguarding fundamental rights, and ensuring the trustworthiness of AI tools used in the legislative process. The presentation emphasized that the effective integration of AI into law-making requires not only technological innovation, but also clear governance frameworks, high-quality data, and robust risk-management mechanisms.

Legal Innovation Day - Risks and Responsible Use of AI in Legal Practice

Fri, 05 Jun 2026 13:39:00 +0200

At the Legal Innovation Day 2026: AI in Law in Practice conference held in Prague, Assoc. Prof. Matúš Mesarčík from the Institute of Information Technology Law and Intellectual Property Law, Faculty of Law, Comenius University Bratislava, participated as a speaker. In his presentation, “How to Mitigate Risks Associated with the Use of Automated Tools in Law,” he addressed the most common risks related to the use of artificial intelligence in legal practice. He presented practical recommendations for establishing internal processes, control mechanisms, and governance rules to ensure that automated tools support informed legal decision-making while minimizing associated risks. He also emphasized the importance of human oversight, clearly defined accountability, and effective risk management when deploying AI in the provision of legal services.

What's beyond diamond ?

Roman.Martonak@fmph.uniba.sk — Mon, 08 Jun 2026 15:47:00 +0200

Diamond and graphite look very different at first glance. Diamond is superhard, transparent, shiny and expensive (because it is rare), graphite is instead soft, black and cheap (because it is abundant). Nevertheless, both are forms of the same element carbon but they have very different arrangement and bonding of atoms. Graphite is stable at atmospheric pressure and diamond at high pressure. Since 1956, high pressure has been used to transform graphite to diamond, enabling production of artificial diamonds. On the pressure scale, graphite is thus before diamond. What the then beyond diamond? Is there anything at all? If so, what does it look like and how far is it? And most importantly, how to get there if we want to observe it? In other words, we have two questions to answer. The theoretical one is how much we have to compress diamond in order to rearrange its atoms, and what does the new arrangement look like. The experimental one is how to reach such pressure, even if for a short time, and how to detect whether the atoms have changed their arrangement. The theoretical question has interested people for a long time. The first (and we still believe correct) prediction was provided in 1984 [1] - at the pressure of about 1 TPa (10¹² Pa, 10 million times higher than the normal atmospheric pressure, three times higher than the pressure at the center of the Earth) diamond should transform to the so called BC8 phase. The prediction was based on analogy with silicon but later atudies employing advanced systematic crystal structure prediction methods confirmed it entirely. BC8 is a complicated structure (figure - red atoms) which still maintains the preferred number of four bonds per carbon atom but their arrangement is more complicated, allowing a volume reduction of about 3%. The experimental problem is serious. We need a pressure of at least 1 TPa, which is an extreme pressure that cannot be reached in a static terrestrial experiment. Currently the only possibility is the so called ramp compression which can reach pressure in the TPa range, however, only for a short time of about 10 ns. But even reaching such pressure for a very short time might not be enough since diamond does not yield easily. Few years ago, the experiment [2] reached a pressure of 2 TPa, but surprisingly, no transition was observed. Diamond was only compressed but its structure did not change. The BC8 phase in carbon thus has not yet been experimentally observed. Since the experiment is very challenging and costly, it is useful to perform a computer simulation. It could discover how exactly should the transformation proceed and test various possibilities that might be useful for the design of the experiment. Currently computer simulations as well as many other branches of science and everyday life are heavily influenced by the revolution related to the application of machine learning (ML) methods. The simulations are based on the ability to compute the energy of the system (so-called potential) if we know the positions of all atoms. This can be calculated by means of quantum mechanics, but the calculation is complicated and lengthy and for systems with more than few thousands of atoms practically impossible. And here ML comes to help - it can learn e.g. the potential for carbon from a large number of examples and then compute it fast and with high accuracy even for millions of atoms. This progress allows to substantially push the frontiers of what we can simulate. In our work we employed the ML potential for carbon [3] developed by the group of Prof. I. Oleynik at the University of South Florida, Tampa, USA. By means of metadynamics [4] and molecular dynamics we first simulated transitions induced by high pressure from the cubic diamond phase. We observed that in the initial stage a disordered droplet is formed, representing supercooled liquid. Within a short time the droplet crystallizes to BC8 which subsequently gradually grows and finally fills the whole system. Cubic diamond, however, is not the only diamond phase of carbon. Another phase, hexagonal diamond (lonsdaleite) is found in Nature, albeit quite rarely. In our work we simulated for the first time also the transition from this phase (figure). The result was surprising - the transition proceeded similarly to the case of cubic diamond, but substantially faster. Since time plays in the ramp compression method a crucial role, because the high pressure is reached only for a very short time, using hexagonal diamond as initial material might be a better choice. We also simulated decompression of BC8 to atmospheric pressure and found that this exotic phase could possibly survive quenching to ambient conditions and exist as a metastable phase. The work [5] which is the result of a collaboration with the group of Prof. I. Oleynik, was on 1 June 2026 published in the journal Phys. Rev. B Letters (belongs to Nature index) and will be useful for the design of future experiments aiming at the synthesis of BC8. The research at the Comenius University was supported by the grants APVV-19-0371 and APVV-23-0515. References [1] M. T. Yin, Si-III (BC-8) crystal phase of Si and C: Structural properties, phase stabilities, and phase transitions, Phys. Rev. B 30, 1773 (1984). [2] A. Lazicki, D. McGonegle, J. R. Rygg, D. G. Braun, D. C. Swift, M. G. Gorman, R. F. Smith, P. G. Heighway, A. Higginbotham, M. J. Suggit, et al., Metastability of diamond ramp-compressed to 2 terapascals, Nature (London) 589, 532 (2021). [3] J. T. Willman, K. Nguyen-Cong, A. S. Williams, A. B. Belonoshko, S. G. Moore, A. P. Thompson, M. A. Wood, and I. I. Oleynik, Machine learning interatomic potential for simulations of carbon at extreme conditions, Phys. Rev. B 106, L180101 (2022). [4] A. Laio and M. Parrinello, Escaping free-energy minima, Proc. Natl. Acad. Sci. USA 99, 12562 (2002). [5] Roman Martoňák, Sergey Galitskiy, Azat Tipeev, Joseph M. Gonzalez, and Ivan I. Oleynik, From diamond to BC8 to simple cubic and back: Kinetic pathways to post-diamond carbon phases from metadynamics, Phys. Rev. B 113, L220101 (2026).