Data-types as Objects Revisited: Insights and Proofs Submitted by admin on Tue, 17/12/2024 - 08:42 Read more about Data-types as Objects Revisited: Insights and Proofs
DeFi vulnerabilities in the eUTxO model Submitted by admin on Sun, 06/10/2024 - 11:23 Read more about DeFi vulnerabilities in the eUTxO model
Inefficiency of Ordinal One-Sided Matching Mechanisms Submitted by admin on Mon, 16/09/2024 - 15:43 Read more about Inefficiency of Ordinal One-Sided Matching Mechanisms
Maximizing Influence in Network Dynamics with Social Considerations Submitted by admin on Fri, 19/07/2024 - 16:02 Read more about Maximizing Influence in Network Dynamics with Social Considerations
Morley's Categoricity Theorem Submitted by admin on Thu, 04/07/2024 - 09:19 Read more about Morley's Categoricity Theorem
Large cardinals and structural reflection Submitted by admin on Wed, 03/07/2024 - 17:17 Read more about Large cardinals and structural reflection
Minimum degree and immersions of complete graphs Submitted by admin on Tue, 19/03/2024 - 12:34 Read more about Minimum degree and immersions of complete graphs
Academic Year 2023-2024 Submitted by admin on Sat, 10/02/2024 - 21:40 Read more about Academic Year 2023-2024
Academic Year 2022-2023 Submitted by admin on Sat, 10/02/2024 - 21:37 Read more about Academic Year 2022-2023
