Formal Verification of Security Protocols and Software Workshop
The seminar and hands-on workshop “Formal Verification of Security Protocols and Software” will take place on 13–15 July 2026 in the context of the RESCALE project.
Industrial Systems Institute
The Industrial Systems Institute (ISI) is a leading R&D institute of excellence conducting basic research and exploratory development on Information and communications technology (ICT) for the Greek and European industry.
Learn More Priorities, axes and perspectives in industrial systems technology and in particular in the vital area of nonlinear control and nonlinear estimation are related with: (1…
Learn MoreWhile invisible in many cases, the presence of real-time and networked embedded systems is being spreading with a staggering pace during the past years, consuming the…
Learn MoreMarket globalization and economic turmoil have made more than clear the need to increase the competitiveness of the European and Greek industry and enterprise.…
Learn MoreCybersecurity is a significant requirement in current society, considering the penetration of computing systems in everyday life. Computing systems are embedded in a…
Learn MoreThe department of Autonomous Interactive Systems and Machine Intelligence conducts research on theoretical, computational and experimental aspects of autonomous, interactive, intelligent and…
Learn MoreISI has initiated activity in the area of advanced materials and structures with the support of collaborative faculty members of the Department of Mechanical Engineering…
Learn MoreAs a research organization, ISI has on the one hand the institutional obligation to transform basic research to applied research adapted to the simultaneous needs of industry and society, and on the other to identify in time the appropriate market/industry application areas.
Our vision for the I.S.I. is to strengthen and expand its leading role in the development and application of I4.0 technologies, while actively supporting Europe’s twin green and digital transitions and advancing the principles of I5.0. The Institute contributes to shaping a new industrial paradigm that places human-centricity, sustainability, and resilience at its core, integrating human expertise with artificial intelligence and advanced digital and industrial technologies. I.S.I. aims to enhance efficiency and productivity, while addressing key European challenges related to climate neutrality, competitiveness, strategic autonomy, and long-term socio-economic growth within a rapidly evolving industrial and societal landscape.
The seminar and hands-on workshop “Formal Verification of Security Protocols and Software” will take place on 13–15 July 2026 in the context of the RESCALE project.
OmniLoc, a spin-off company of the Athena Research Center, achieved a major international distinction by winning the Startup World Cup Greece 2026 competition, held as part of the international technology and inno
The visit of the Deputy Minister of Development, Stavros Kalafatis, to the Industrial Systems Institute of the Athena Research Center provided an opportunity to be briefed on the Institute’s research and technological achievements, as well as thei
Dr.