| 2024 | Management of the IT project as a complex system. | Liubava S. Chernova, Iryna Zhuravel, Serhii Chernov, Lyudmila Chernova, Nataliia Kunanets |
| 2024 | The analysis of the optimum equilibrium to a game and theory model of hierarchic game under conditions of a mixed joint project management. | Liubava S. Chernova, Sergiy Titov, Serhii Chernov, Lyudmila Chernova, Nataliia Kunanets |
| 2024 | Conceptual model of the face recognition process based on the image of the face and iris of personnel of critical infrastructure facilities. | Sergey Bushuyev, Ihor Tereikovskyi, Oleksandr Korchenko, Ivan Dychka, Liudmyla Tereikovska, Oleh Tereikovskyi |
| 2024 | A machine learning method for real estate operation projects forecasting. | Sergey Bushuyev, Denis Bushuiev, Nikolay Poletaev, Mykola Malaksiano, Dmitriy Kravtsov |
| 2024 | Genetic Algorithm for Maritime Route Planning Projects with Improved Constraints. | Natalia Bushuyeva, Andrii V. Ivko, Andriy Romanov, Mykola Malaksiano, Vadim Romanuke |
| 2024 | "Clip" thinking as the tool of Agile project management in an artificial intelligence environment. | Natalia Bushuyeva, Victoria Bushuieva, Sergey Bushuyev, Kateryna Piliuhina, Jurii Tykchonovych, Alina Zaprivoda, Oleksandr Chernysh |
| 2024 | Intelligent project portfolio development of IT companies. | Yevheniia Boiko, Yuliia Diachenko, Tetiana Shandra, Valerii Yakovenko |
| 2024 | Translating Libraries of Definitions and Theorems Between Proof Systems (Invited Talk). | Frdric Blanqui |
| 2024 | Verifying Peephole Rewriting in SSA Compiler IRs. | Siddharth Bhat, Alex C. Keizer, Chris Hughes, Andrs Goens, Tobias Grosser |
| 2024 | Potential implications of artificial intelligence for project management information systems. | Ihor Berezutskyi, Tetyana Honcharenko |
| 2024 | The Directed Van Kampen Theorem in Lean. | Henning Basold, Peter Bruin, Dominique Lawson |
| 2024 | An Operational Semantics in Isabelle/HOL-CSP. | Benot Ballenghien, Burkhart Wolff |
| 2024 | Towards Solid Abelian Groups: A Formal Proof of Nbeling's Theorem. | Dagur Asgeirsson |
| 2024 | A Comprehensive Overview of the Lebesgue Differentiation Theorem in Coq. | Reynald Affeldt, Zachary Stone |
| 2024 | Taming Differentiable Logics with Coq Formalisation. | Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Slusarz, Kathrin Stark |
| 2024 | Robust Mean Estimation by All Means (Short Paper). | Reynald Affeldt, Clark W. Barrett, Alessandro Bruni, Ieva Daukantas, Harun Khan, Takafumi Saikawa, Carsten Schrmann |
| 2024 | A Formal Analysis of Capacity Scaling Algorithms for Minimum Cost Flows. | Mohammad Abdulaziz, Thomas Ammer |
| 2024 | A Coq Formalization of Taylor Models and Power Series for Solving Ordinary Differential Equations. | Sewon Park, Holger Thies |
| 2024 | An Isabelle/HOL Formalization of Narrowing and Multiset Narrowing for E-Unifiability, Reachability and Infeasibility. | Dohan Kim |
| 2023 | Formalising the Proj Construction in Lean. | Jujian Zhang |
| 2023 | Dependently Sorted Theorem Proving for Mathematical Foundations. | Yiming Xu, Michael Norrish |
| 2023 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2023 | Certifying Higher-Order Polynomial Interpretations. | Niels van der Weide, Deivid Vale, Cynthia Kop |
| 2023 | Foundational Verification of Stateful P4 Packet Processing. | Qinshi Wang, Mengying Pan, Shengyi Wang, Ryan Doenges, Lennart Beringer, Andrew W. Appel |
| 2023 | Slice Nondeterminism. | Niels F. W. Voorneveld |