| 2025 | Formalizing Concentration Inequalities in Rocq: Infrastructure and Automation. | Reynald Affeldt, Alessandro Bruni, Cyril Cohen, Pierre Roux, Takafumi Saikawa |
| 2025 | A Formal Analysis of Algorithms for Matroids and Greedoids. | Mohammad Abdulaziz, Thomas Ammer, Shriya Meenakshisundaram, Adem Rimpapa |
| 2025 | Mechanising Bhm Trees and λη-Completeness. | Chun Tian, Michael Norrish |
| 2025 | An Isabelle/HOL Formalization of Semi-Thue and Conditional Semi-Thue Systems. | Dohan Kim |
| 2024 | The Functor of Points Approach to Schemes in Cubical Agda. | Max Zeuner, Matthias Hutzler |
| 2024 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2024 | Decision support system for initiating projects of medical and social development in regions. | Anatoliy Tryhuba, Oksana Malanchuk, Inna Tryhuba, Anna Marmulyak |
| 2024 | Defining and Preserving More C Behaviors: Verified Compilation Using a Concrete Memory Model. | Andrew Tolmach, Chris Chhak, Sean Noble Anderson |
| 2024 | Strategizing VR Integration in Business and Education: Extending the Technology Acceptance Model through Project Management Perspectives. | Li Tao, Serhii Dolhopolov, Tetyana Honcharenko |
| 2024 | Formal Verification of the Empty Hexagon Number. | Bernardo Subercaseaux, Wojciech Nawrocki, James Gallicchio, Cayden R. Codel, Mario Carneiro, Marijn J. H. Heule |
| 2024 | Redex2Coq: Towards a Theory of Decidability of Redex's Reduction Semantics. | Mallku Soldevila, Rodrigo Geraldo Ribeiro, Beta Ziliani |
| 2024 | Management of digitization of infrastructure projects and programs. | Ruslana Sodoma, Maryana Kohut, Ihor Pavuk, Dmytro Kobylkin, Lilia Balash |
| 2024 | Correctly Compiling Proofs About Programs Without Proving Compilers Correct. | Audrey Seo, Christopher Lam, Dan Grossman, Talia Ringer |
| 2024 | Abstractions for Multi-Sorted Substitutions. | Hannes Saffrich |
| 2024 | Identification of priority objects for the implementation of projects to restore the transport infrastructure of settlements in the post-war period. | Anatoliy Tryhuba, Vasyl Demchyna, Andrii Ratushnyi, Liliia Koval |
| 2024 | Information-Analytical System for Evaluating the Activity of the Scientific-Pedagogical Staff Based on KPIs at Odesa National Maritime University. | Sergiy Rudenko, Varvara Piterska, Tetiana Kovtun |
| 2024 | Application of a Genetic Approach to the Formation of Object Characteristics in Project Products. | Sergiy Rudenko, Tetiana Kovtun, Tetiana Smokova, Iryna Finohenova, Dmytro Kovtun |
| 2024 | A Verified Earley Parser. | Martin Rau, Tobias Nipkow |
| 2024 | Project of an Educational Content Evaluation Recommender System. | Volodymyr Pasichnyk, Nataliia Kunanets, Valentyna Yunchyk, Maria Khomyak, Anatolii Fedonyuk |
| 2024 | Conway Normal Form: Bridging Approaches for Comprehensive Formalization of Surreal Numbers. | Karol Pak, Cezary Kaliszyk |
| 2024 | Nonlinear regression models for software size estimation of Data Science and Machine Learning Java-applications. | Oleksandr Oriekhov, Tetyana Farionova, Liubava S. Chernova, Lyudmila Chernova, Mykhalo Vorona |
| 2024 | Lean Formalization of Completeness Proof for Coalition Logic with Common Knowledge. | Kai Obendrauf, Anne Baanen, Patrick Koopmann, Vera Stebletsova |
| 2024 | Alpha-Beta Pruning Verified (Invited Talk). | Tobias Nipkow |
| 2024 | Portfolio project management. | Ruslan Nebesnyi, Nataliia Kunanets, Nataliia Veretennikova, Roman Vaskiv, Zoriana Haladzhun, Mgr. Martin Graca |
| 2024 | Project of an information system for restaurant business management. | Vasyl Morokhovych, Ihor Liakh, Vasyl Kut, Vitalii Petrus, Bohdan Morokhovych |