Generated by All in One SEO v4.9.10, this is an llms.txt file, used by LLMs to index the site.

# Institute for Logic and Data Science

## Sitemaps

- [XML Sitemap](https://ilds.ro/sitemap.xml): Contains all public & indexable URLs for this website.

## Posts

- [Logic Seminar talk: Elementary closed forms for non-trivial divisors](https://ilds.ro/2025/11/logic-seminar-talk-elementary-closed-forms-for-non-trivial-divisors/) - On December 4, 2025, at 14:00 EET, Mihai Prunescu (University of Bucharest & IMAR) will give a talk in the Logic Seminar.
- [Logic Seminar talk: 𝕂 definitions as Matching Logic theories](https://ilds.ro/2025/11/logic-seminar-talk-𝕂-definitions-as-matching-logic-theories/) - On November 20, 2025, at 14:00 EET, Horațiu Cheval (University of Bucharest) will give a talk in the Logic Seminar.
- [Logic Seminar talk: What we cannot say](https://ilds.ro/2025/11/logic-seminar-talk-what-we-cannot-say/) - On November 13, 2025, at 14:00 EET, Marian Călborean (University of Bucharest) will give a talk in the Logic Seminar.
- [Logic Seminar talk: Forcing, Transition Algebras, and Calculi](https://ilds.ro/2025/10/logic-seminar-talk-forcing-transition-algebras-and-calculi/) - On November 6, 2025, at 14:00 EET, Ionuț Țuțu (Institute of Mathematics of the Romanian Academy) will give a talk in the Logic Seminar.
- [Logic Seminar talk: Alignment as Ontology, Why AI’s Worldview Matters](https://ilds.ro/2025/10/logic-seminar-talk-alignment-as-ontology/) - On October 16, 2025 at 14:00 EEST, Radu Negulescu (The Informational Buildup Foundation) will give a talk in the Logic Seminar.
- [Logic Seminar talk: Regular Grammars for Sets of Graphs of Tree-Width 2](https://ilds.ro/2025/09/logic-seminar-talk-regular-grammars-for-sets-of-graphs-of-tree-width-2/) - On September 15, 2025 at 15:00 EEST, Radu Iosif (CNRS-VERIMAG) will give a talk in the Logic Seminar.
- [Logic Seminar talk: Exploring Baaz’s generalization method and its geometric insights](https://ilds.ro/2025/06/logic-seminar-talk-exploring-baazs-generalization-method-and-its-geometric-insights/) - On June 26, 2025 at 14:00 EEST, Lorenzo Sauras-Altuzarra (Kurt Gödel Society, Vienna) will give a talk in the Logic Seminar.
- [Logic Seminar talk: The minimal ontology of time](https://ilds.ro/2025/06/logic-seminar-talk-the-minimal-ontology-of-time/) - On June 19, 2025 at 14:00 EEST, Marian Călborean (University of Bucharest) will give a talk in the Logic Seminar.
- [Logic Seminar talk: Doing and observing in (large) sequence models](https://ilds.ro/2025/05/logic-seminar-talk-doing-and-observing-in-large-sequence-models/) - On May 22, 2025 at 14:00 EEST, Andreea Eșanu (New Europe College & University of Bucharest) will give a talk in the Logic Seminar.
- [Logic Seminar talk: A Language-Theoretic Approach to the Heapability of Signed Permutations](https://ilds.ro/2025/04/logic-seminar-talk-a-language-theoretic-approach-to-the-heapability-of-signed-permutations/) - On April 10, 2025 at 14:00 EEST, Gabriel Istrate (University of Bucharest) will give a talk in the Logic Seminar.
- [Logic Seminar talk: Distinguishability Operation, Properties and Perspectives](https://ilds.ro/2025/03/logic-seminar-talk-distinguishability-operation-properties-and-perspectives/) - On March 27, 2025 at 14:00 EET, Cezar Câmpeanu (University of Prince Edward Island) will give a talk in the Logic Seminar.
- [Proof Mining Seminar talk: Rates of (T-)asymptotic regularity of the generalized Krasnoselskii-Mann-type iteration](https://ilds.ro/2025/03/proof-mining-seminar-talk-rates-of-t-asymptotic-regularity-of-the-generalized-krasnoselskii-mann-type-iteration/) - On March 19, 2025 at 16:00 EET, Paulo Firmino (University of Lisbon) will give a talk in the Proof Mining Seminar.
- [Logic Seminar talk: Applications of C-recursive sequences to number theory](https://ilds.ro/2025/03/logic-seminar-talk-applications-of-c-recursive-sequences-to-number-theory/) - On March 13, 2025 at 14:00 EET, Mihai Prunescu (University of Bucharest and IMAR and ILDS) will give a talk in the Logic Seminar.
- [Logic Seminar talk: Trees, algorithms and logics II](https://ilds.ro/2025/02/logic-seminar-talk-trees-algorithms-and-logics-ii/) - On February 27, 2025 at 14:00 EET, Marian Călborean (University of Bucharest) will give a talk in the Logic Seminar.
- [Proof Mining Seminar talk: On the Halpern method with adaptive anchoring parameters](https://ilds.ro/2025/01/proof-mining-seminar-talk-on-the-halpern-method-with-adaptive-anchoring-parameters/) - On January 15, 2025 at 16:00 EET, Pedro Pinto (TU Darmstadt) will give a talk in the Proof Mining Seminar.
- [Logic Seminar talk: Regularity and complete distributivity in fuzzy metric spaces and formal contexts](https://ilds.ro/2024/12/logic-seminar-talk-regularity-and-complete-distributivity-in-fuzzy-metric-spaces-and-formal-contexts/) - On December 12, 2024 at 14:00 EET, Adriana Bălan (National University of Science and Technology Politehnica Bucharest) will give a talk in the Logic Seminar.
- [Logic Seminar talk: Around Herbrand’s Theorem II](https://ilds.ro/2024/11/logic-seminar-talk-around-herbrands-theorem-ii/) - On December 5, 2024 at 14:00 EET, Andrei Sipoș (University of Bucharest and IMAR) will give a talk in the Logic Seminar.
- [Logic Seminar talk: Around Herbrand’s Theorem I](https://ilds.ro/2024/11/logic-seminar-talk-around-herbrands-theorem-i/) - On November 28, 2024 at 14:00 EET, Andrei Sipoș (University of Bucharest and IMAR) will give a talk in the Logic Seminar.
- [Logic Seminar talk: Intuitionistic propositional logic II](https://ilds.ro/2024/11/logic-seminar-talk-intuitionistic-propositional-logic-ii/) - On November 21, 2024 at 14:00 EET, Dafina Trufaș (University of Bucharest) will give a talk in the Logic Seminar.
- [Logic Seminar talk announcement: Intuitionistic propositional logic](https://ilds.ro/2024/11/logic-seminar-talk-announcement-intuitionistic-propositional-logic/) - On November 14, 2024 at 14:00 EET, Dafina Trufaș (University of Bucharest) will give a talk in the Logic Seminar.
- [Logic Seminar talk announcement: Arithmetic Terms III](https://ilds.ro/2024/10/logic-seminar-talk-arithmetic-terms-iii/) - On October 31, 2024 at 14:00 EET, Mihai Prunescu (University of Bucharest and IMAR) will give a talk in the Logic Seminar.
- [Logic Seminar talk: Proof mining and applications to optimization and nonlinear analysis](https://ilds.ro/2024/10/logic-seminar-talk-proof-mining-and-applications-to-optimization-and-nonlinear-analysis/) - On October 17, 2024 at 14:00 EEST, Horațiu Cheval (University of Bucharest) will give a talk in the Logic Seminar.
- [This week's LLMs for Romanian Workshop announcement](https://ilds.ro/2024/09/llms-for-romanian-workshop-announcement/) - We are excited to announce the LLMs for Romanian Workshop, to be held on 28 September 2024. This event brings together AI enthusiasts for discussing the present and future of LLMs for the Romanian language.
- [Proof Mining Seminar talk: Proof mining and probability](https://ilds.ro/2024/07/proof-mining-seminar-talk-proof-mining-and-probability/) - On July 31, 2024 at 16:00 EEST, Morenikeji Neri (University of Bath) will give a talk in the Proof Mining Seminar.
- [The Age of Algorithms Workshop announcement](https://ilds.ro/2024/05/the-age-of-algorithms-workshop-announcement/) - We are announcing the Age of Algorithms Workshop, an event focused on inter-disciplinary aspects of artificial intelligence, organized jointly by the New Europe College, Bucharest and the Institute for Logic and Data Science, to be held on 20 June 2024.
- [Logic Seminar talk: On recurrent sequences of integers](https://ilds.ro/2024/05/logic-seminar-talk-on-recurrent-sequences-of-integers/) - On May 16, 2024 at 14:00 EEST, Mihai Prunescu (University of Bucharest and IMAR) will give a talk in the Logic Seminar.
- [Deep Blockchain Fundamentals Workshop announcement](https://ilds.ro/2024/05/pi-squared-and-ilds-blockchain-workshop-announcement/) - We are announcing the Deep Blockchain Fundamentals Workshop, an event focused on blockchain technology and particularly on zero-knowledge proofs.
- [Logic Seminar talk: On representability by arithmetic terms](https://ilds.ro/2024/04/logic-seminar-talk-on-representability-by-arithmetic-terms/) - On April 18, 2024 at 14:00 EEST, Mihai Prunescu (University of Bucharest and IMAR) will give a talk in the Logic Seminar.
- [Logic Seminar talk: Partial (co)recursive functions in Coq and Lean](https://ilds.ro/2024/03/logic-seminar-talk-partial-corecursive-functions-in-coq-and-lean/) - On April 4, 2024 at 14:00 EEST, Horațiu Cheval (University of Bucharest) will give a talk in the Logic Seminar.
- [Nitro NLP: AI Workshops & NLP Hackathon for students](https://ilds.ro/2024/03/nitro-nlp-ai-workshops-nlp-hackathon-for-students/) - We are happy to partner in the organization of the 3rd edition of the Nitro NLP initiative, a combined event featuring both tutorials and a competition for beginners.
- [Logic Seminar talk: Equilibria in multiagent online problems with predictions](https://ilds.ro/2024/03/logic-seminar-talk-equilibria-in-multiagent-online-problems-with-predictions/) - On March 28, 2024 at 14:00 EET, Gabriel Istrate (University of Bucharest) will give a talk in the Logic Seminar.
- [Logic Seminar talk: Modal logic for program specification](https://ilds.ro/2024/03/logic-seminar-talk-modal-logic-for-program-specification/) - On March 21, 2024 at 14:00 EET, Natalia Ozunu (University of Bucharest) will give a talk in the Logic Seminar.
- [Proof Mining Seminar talk: Duality, Fréchet Differentiability and Bregman Distances in Hyperbolic Space](https://ilds.ro/2024/03/proof-mining-seminar-talk-duality-frechet-differentiability-and-bregman-distances-in-hyperbolic-space/) - On March 20, 2024 at 16:00 EET, Nicholas Pischke (TU Darmstadt) will give a talk in the Proof Mining Seminar.
- [Logic Seminar talk: An institution-theoretic approach to bisimilarity](https://ilds.ro/2024/03/logic-seminar-talk-an-institution-theoretic-approach-to-bisimilarity/) - On March 14, 2024 at 14:00 EET, Ionuț Țuțu (IMAR) will give a talk in the Logic Seminar.
- [Proof Mining Seminar talk: Generalized Fejér Monotone Sequences](https://ilds.ro/2024/03/proof-mining-seminar-talk-generalized-fejer-monotone-sequences/) - On March 13, 2024 at 16:00 EET, Nicholas Pischke (TU Darmstadt) will give a talk in the Proof Mining Seminar.
- [Logic Seminar talk: (Post-)Quantum Cryptography II](https://ilds.ro/2024/03/logic-seminar-talk-post-quantum-cryptography-ii/) - On March 7, 2024 at 14:00 EET, Nicoleta Dumitru (University of Bucharest) will give a talk in the Logic Seminar.
- [Proof Mining Seminar talk: On generalizations to Nonlinear Smooth Spaces](https://ilds.ro/2024/03/proof-mining-seminar-talk-on-generalizations-to-nonlinear-smooth-spaces/) - On March 6, 2024 at 16:00 EET, Pedro Pinto (TU Darmstadt) will give a talk in the Proof Mining Seminar.
- [Logic Seminar talk: A Free Logic for Fictionalism II](https://ilds.ro/2024/02/logic-seminar-talk-a-free-logic-for-fictionalism-ii/) - On February 29, 2024 at 14:00 EET, Mircea Dumitru (University of Bucharest & Romanian Academy) will give a talk in the Logic Seminar.
- [NEC-TeCH, a research group in partnership with the New Europe College](https://ilds.ro/2024/02/nec-tech-a-research-group-in-partnership-with-the-new-europe-college/) - We are very happy to announce that we are partnering with the New Europe College (NEC) in creating a multi-disciplinary research group called NEC-TeCH (Technology, Culture, Humanities).
- [Update on project in collaboration with UiPath: AI for Robotic Process Automation](https://ilds.ro/2024/02/project-in-collaboration-with-uipath-ai-for-rpa/) - We are announcing the successful end of our research project in collaboration with UiPath. This project focused on deep AI (reinforcement learning) methods that can autonomously test applications end-to-end at the UI level.
- [Project in collaboration with BRD: LLM for Romanian](https://ilds.ro/2024/02/project-in-collaboration-with-brd-llm-for-romanian/) - We are announcing a new research project, in collaboration with BRD. This project will focus on pre-training and fine-tuning of Large Language Models to obtain a foundation model for the Romanian language.
- [Logic Seminar talk: (Post-)Quantum Cryptography](https://ilds.ro/2024/01/logic-seminar-talk-post-quantum-cryptography/) - On February 22, 2024 at 14:00 EET, Nicoleta Dumitru (University of Bucharest) will give a talk in the Logic Seminar.
- [Logic Seminar talk: The logic of gradable adjectives II](https://ilds.ro/2024/01/logic-seminar-talk-the-logic-of-gradable-adjectives-ii/) - On February 8, 2024 at 14:00 EET, Marian Călborean (University of Bucharest) will give a talk in the Logic Seminar.
- [Logic Seminar talk: The logic of gradable adjectives](https://ilds.ro/2024/01/logic-seminar-talk-the-logic-of-gradable-adjectives/) - On January 25, 2024 at 14:00 EET, Marian Călborean (University of Bucharest) will give a talk in the Logic Seminar.
- [Logic Seminar talk: Formalizing Hybrid Modal Logic in Lean](https://ilds.ro/2024/01/logic-seminar-talk-formalizing-hybrid-modal-logic-in-lean/) - On January 11, 2024 at 14:00 EET, Alexandru Oltean (University of Bucharest) will give a talk in the Logic Seminar.
- [Short talks at the Data Science seminar: Language-Agnostic Causality Trees on Argumentative Texts and Raman spectroscopy for tumor detection](https://ilds.ro/2023/12/short-talks-at-the-data-science-seminar-language-agnostic-causality-trees-on-argumentative-texts-and-raman-spectroscopy-for-tumor-detection/) - On December 15, 2023 at 11:00 EET (FMI, Hall 214 “Google”), we will have two short talks (30 min. each) in the Data Science Seminar, by Miruna Zăvelcă and Eduard Szmeteanca.
- [Special seminar – AI for Chemistry](https://ilds.ro/2023/12/special-seminar-ai-for-chemistry/) - On December 15, 2023 at 11:00 EET, we will organize a special seminar related to our AI for Chemistry research project. It will take place at Oteteleșanu Mansion, Călugăreni Street, Măgurele, Ilfov.
- [Logic Seminar talk: A Free Logic for Fictionalism](https://ilds.ro/2023/12/logic-seminar-talk-a-free-logic-for-fictionalism/) - On December 14, 2023 at 14:00 EET, Mircea Dumitru (University of Bucharest & Romanian Academy) will give a talk in the Logic Seminar.
- [Logic Seminar talk: Using SAT Solvers to Investigate the Erdős–Szekeres Conjecture](https://ilds.ro/2023/12/logic-seminar-talk-using-sat-solvers-to-investigate-the-erdos-szekeres-conjecture/) - On December 7, 2023 at 14:00 EET, Bogdan Dumitru (University of Bucharest/BitDefender) will give a talk in the Logic Seminar.
- [Logic Seminar talk (online): Inversion results and base-completeness for two approaches to proof-theoretic validity](https://ilds.ro/2023/11/logic-seminar-talk-online-inversion-results-and-base-completeness-for-two-approaches-to-proof-theoretic-validity/) - On November 23, 2023 at 14:00 EET, Antonio Piccolomini d’Aragona (University of Siena / Université d’Aix-Marseille) will give an online talk in the Logic Seminar.
- [Logic Seminar talk: Yet another formalization of matching logic in Coq](https://ilds.ro/2023/11/logic-seminar-talk-yet-another-formalization-of-matching-logic-in-coq/) - On November 9, 2023 at 14:00 EET, Traian Șerbănuță (University of Bucharest/Runtime Verification/ILDS) will give a talk in the Logic Seminar.
- [Logic Seminar talk: Using Z3 to Verify Inferences in Fragments of Linear Logic](https://ilds.ro/2023/10/logic-seminar-talk-using-z3-to-verify-inferences-in-fragments-of-linear-logic/) - On November 2, 2023 at 14:00 EET, Mihai Prunescu (University of Bucharest) will give a talk in the Logic Seminar.
- [Logic Seminar talk: Conway’s Army Percolation](https://ilds.ro/2023/10/logic-seminar-talk-conways-army-percolation/) - On October 26, 2023 at 14:00 EEST, Gabriel Istrate (University of Bucharest) will give a talk in the Logic Seminar.
- [Logic Seminar talk: Matching Logic in Lean](https://ilds.ro/2023/10/logic-seminar-talk-matching-logic-in-lean/) - On October 19, 2023 at 14:00 EEST, Horațiu Cheval (University of Bucharest) will give a talk in the Logic Seminar.
- [Logic Seminar talk: Quantum Randomness](https://ilds.ro/2023/09/logic-seminar-talk-quantum-randomness/) - On September 28, 2023 at 14:00 EEST, Cristian Calude (University of Auckland) will give a talk in the Logic Seminar (joint with the Monthly FMI Conference).
- [ILDS-FMI Coq and Lean Autumn School 2023 — 18-20 September 2023](https://ilds.ro/2023/09/ilds-fmi-coq-and-lean-autumn-school-2023-18-20-september-2023/) - We are happy to announce that we will co-organize (in collaboration with the Faculty of Mathematics and Computer Science, University of Bucharest, and the Research Center for Logic, Optimization and Security, University of Bucharest) the ILDS-FMI Coq and Lean Autumn School 2023!
- [FROM 2023 (Working Formal Methods Symposium) — 21-22 September 2023](https://ilds.ro/2023/09/from-2023-working-formal-methods-symposium-21-22-september-2023/) - We are happy to announce that we will co-organize (in collaboration with the Faculty of Mathematics and Computer Science, University of Bucharest) the seventh Working Formal Methods Symposium — FROM 2023!
- [Proof Mining Seminar talk: The strange case of Dykstra's algorithm](https://ilds.ro/2023/07/proof-mining-seminar-talk-the-strange-case-of-dykstras-algorithm/) - On July 26, 2023 at 16:00 EEST, Pedro Pinto (TU Darmstadt) will give a talk in the Proof Mining Seminar.
- [New Type Theory Working Seminar](https://ilds.ro/2023/07/new-type-theory-working-seminar/) - We are starting (in collaboration with LOS) a new working seminar which will provide an introduction to type theory, proof theory and related areas.
- [Logic Seminar talk: Reasoning by brute force II](https://ilds.ro/2023/06/logic-seminar-talk-reasoning-by-brute-force/) - On June 22, 2023 at 14:00 EEST, Marian Călborean (University of Bucharest) will give a talk in the Logic Seminar.
- [Logic Seminar talk: Does every computably enumerable set admit a univocal Diophantine specification?](https://ilds.ro/2023/05/logic-seminar-talk-does-every-computably-enumerable-set-admit-a-univocal-diophantine-specification/) - On May 25, 2023 at 14:00 EEST, Eugenio Omodeo (DMG, Università degli studi di Trieste) will give a talk in the Logic Seminar.
- [Logic Seminar (joint with the TCS Seminar) talk: Local Codes for Insertion and Deletion Errors](https://ilds.ro/2023/05/logic-seminar-joint-with-the-tcs-seminar-talk-local-codes-for-insertion-and-deletion-errors/) - On May 18, 2023 at 15:00 EEST (note the time!), Elena Grigorescu (Purdue University, West Lafayette, IN, USA) will give a talk in the Logic Seminar (joint with the TCS Seminar).
- [Special Edition of the Blockchain Seminar in collaboration with Endava România](https://ilds.ro/2023/05/special-edition-of-the-blockchain-seminar-in-collaboration-with-endava-romania/) - We announce a special edition of the Blockchain Seminar, entitled Securing the Chain: Blockchain, AI, and the Future of Trust, in collaboration with Endava România.
- [Proof Mining Seminar talk: The Tikhonov-Mann iteration for families of mappings](https://ilds.ro/2023/05/proof-mining-seminar-talk-the-tikhonov-mann-iteration-for-families-of-mappings/) - On May 10, 2023 at 16:00 EEST, Horațiu Cheval (University of Bucharest) will give a talk in the Proof Mining Seminar.
- [Logic Seminar talk: The computational content of super strongly nonexpansive mappings](https://ilds.ro/2023/04/logic-seminar-talk-the-computational-content-of-super-strongly-nonexpansive-mappings/) - On April 27, 2023 at 14:00 EEST, Andrei Sipoș (University of Bucharest & IMAR & ILDS) will give a talk in the Logic Seminar.
- [Data Science Seminar talk: Machine learning on signed networks and time series analysis with applications to finance](https://ilds.ro/2023/04/data-science-seminar-talk-machine-learning-on-signed-networks-and-time-series-analysis-with-applications-to-finance/) - On April 12, 2023 at 14:30 EEST, Mihai Cucuringu (University of Oxford) will give a talk in the Data Science Seminar.
- [Project in collaboration with Runtime Verification: Matching Logic and Lean – The 𝕂 Connection](https://ilds.ro/2023/04/project-in-collaboration-with-runtime-verification-matching-logic-and-lean-the-𝕂-connection/) - We are announcing a new research project, continuing our partnership with Runtime Verification.
- [Project in collaboration with Runtime Verification: Matching Logic and Lean](https://ilds.ro/2022/07/project-in-collaboration-with-runtime-verification-matching-logic-and-lean/) - The project marks the start of our partnership with Runtime Verification, and concerns the Lean formalization of Matching Logic.
- [Blockchain Seminar talk: Testing blockchains – a survey of state of the art (Part II)](https://ilds.ro/2023/04/blockchain-seminar-talk-testing-blockchains-a-survey-of-state-of-the-art-part-ii/) - On April 10, 2023 at 16:00 EEST, Ciprian Păduraru and Letiția Marin (University of Bucharest) will give a talk in the Blockchain Seminar.
- [Logic Seminar talk: VLSM II](https://ilds.ro/2023/04/logic-seminar-talk-vlsm-ii/) - On April 6, 2023 at 14:00 EEST, Denisa Diaconescu (University of Bucharest & Runtime Verification) will give a talk in the Logic Seminar.
- [Logic Seminar talk: VLSM](https://ilds.ro/2023/03/logic-seminar-talk-vlsm/) - On March 30, 2023 at 14:00 EEST, Denisa Diaconescu (University of Bucharest & Runtime Verification) will give a talk in the Logic Seminar.
- [Blockchain Seminar talk: Testing blockchains – a survey of state of the art (Part I)](https://ilds.ro/2023/03/blockchain-seminar-talk-testing-blockchains-a-survey-of-state-of-the-art-part-i/) - On March 20, 2023 at 16:00 EET, Ciprian Păduraru and Iulia Banu-Demergian (University of Bucharest) will give a talk in the Blockchain Seminar.
- [Logic Seminar talk: Zero-knowledge proofs](https://ilds.ro/2023/03/logic-seminar-talk-zero-knowledge-proofs/) - On March 16, 2023 at 14:00 EET, Mihai Prunescu (University of Bucharest & IMAR) will give a talk in the Logic Seminar.
- [Data Science Seminar talk: Continuous, Gradual Entity Mining from Web Data Streams](https://ilds.ro/2023/03/data-science-seminar-talk-continuous-gradual-entity-mining-from-web-data-streams/) - On March 16, 2023 at 11:00 EET, Eduard C. Drăguț (Temple University) will give a talk in the new Data Science Seminar.
- [RV/ILDS Blockchain Workshop](https://ilds.ro/2023/03/rv-ilds-blockchain-workshop/) - We announce the RV/ILDS Blockchain Workshop, an event focused on theoretical and practical aspects of blockchains, to be held on 22-23 March 2023.
- [RV/ILDS/LOS InFormal Workshop on Logics](https://ilds.ro/2023/01/rv-ilds-los-informal-workshop-on-logics/) - We announce the RV/ILDS/LOS InFormal Workshop on Logics, an event focused on formal specification and verification logics, to be held on 26 January 2023.
- [Logic Seminar talk: Implementing Program Verification in the 𝕂 Framework](https://ilds.ro/2023/03/logic-seminar-talk-implementing-program-verification-in-the-𝕂-framework/) - On March 9, 2023 at 14:00 EET, Traian Șerbănuță (University of Bucharest & Runtime Verification) will give a talk in the Logic Seminar.
- [Logic Seminar talk: Semantics for Quantified Modal Logics](https://ilds.ro/2023/02/logic-seminar-talk-semantics-for-quantified-modal-logics/) - On March 2, 2023 at 14:00 EET, Mircea Dumitru (University of Bucharest & Romanian Academy) will give a talk in the Logic Seminar.
- [Blockchain Seminar talk: A Method for Secure Generation, Exchange and Management of a User Identity Data using a Blockchain](https://ilds.ro/2023/02/blockchain-seminar-talk-a-method-for-secure-generation-exchange-and-management-of-a-user-identity-data-using-a-blockchain/) - On February 13, 2023 at 16:00 EET, Ștefan Popescu (University of Bucharest) will give a talk in the Blockchain Seminar.
- [Logic Seminar talk: A short guide to implementing theorem provers](https://ilds.ro/2023/02/logic-seminar-talk-a-short-guide-to-implementing-theorem-provers/) - On February 16, 2023 at 14:00 EET, Ionuț Țuțu (Simion Stoilow Institute of Mathematics of the Romanian Academy) will give a talk in the Logic Seminar.
- [Project in collaboration with arGO: Machine Learning Techniques for Computer Numerical Control Machines](https://ilds.ro/2023/02/project-in-collaboration-with-argo-machine-learning-techniques-for-computer-numerical-control-machines/) - We are announcing a new research project, a collaboration with arGO, which has as its main goal the exploration of applications of machine learning (ML) algorithms aiding computer numeric control (CNC) machining.
- [Logic Seminar talk: Cover Languages — Main Results and Applications](https://ilds.ro/2023/01/logic-seminar-talk-cover-languages-main-results-and-applications/) - On February 2, 2023 at 14:00 EET, Cezar Câmpeanu (University of Prince Edward Island) will give a talk in the Logic Seminar.
- [Blockchain Seminar talk: An architectural approach for self-sovereign identity using blockchain](https://ilds.ro/2023/01/blockchain-seminar-talk-an-architectural-approach-for-self-sovereign-identity-using-blockchain/) - On January 30, 2023 at 16:00 EET, Cristian Kevorchian (University of Bucharest) and Ștefania Niță (Ferdinand I Military Technical Academy & University of Bucharest) will give a talk in the Blockchain Seminar.
- [Proof Mining Seminar talk: A proof-theoretic metatheorem for nonlinear semigroups generated by an accretive operator and applications](https://ilds.ro/2023/01/proof-mining-seminar-talk-a-proof-theoretic-metatheorem-for-nonlinear-semigroups-generated-by-an-accretive-operator-and-applications/) - On January 11, 2023 at 16:00 EET, Nicholas Pischke (TU Darmstadt) will give a talk in the Proof Mining Seminar.
- [Proof Mining Seminar talk: On the Borel-Cantelli Lemmas, the Erdős–Rényi Theorem, and the Kochen-Stone Theorem](https://ilds.ro/2022/07/proof-mining-seminar-talk-on-the-borel-cantelli-lemmas-the-erdos-renyi-theorem-and-the-kochen-stone-theorem/) - On July 13, 2022 at 16:00 EEST, Paulo Oliva (Queen Mary University of London) will give a talk in the Proof Mining Seminar.
- [Blockchain Seminar talk: Blockchain Security in the context of GDPR and IoT](https://ilds.ro/2023/01/blockchain-seminar-talk-blockchain-security-in-the-context-of-gdpr-and-iot/) - On January 9, 2023 at 16:00 EET, Ștefania Niță (Ferdinand I Military Technical Academy & University of Bucharest) will give a talk in the new Blockchain Seminar.
- [New Project: Latent Space Curation through Hybrid Metaheuristics](https://ilds.ro/2022/12/new-project-latent-space-curation-through-hybrid-metaheuristics/) - We are announcing a new research project, a collaboration with the Department of Computer Science, Faculty of Mathematics and Computer Science, University of Bucharest; Ion Mincu University of Architecture and Urban Planning; International Center for Research and Education in Innovative Creative Technologies (CINETic); and the “Arhitectura Celuilalt” Association.
- [Logic Seminar talk: A notational extension of classical first-order logic to deal with vague language](https://ilds.ro/2022/11/logic-seminar-talk-a-notational-extension-of-classical-first-order-logic-to-deal-with-vague-language/) - On November 17, 2022 at 14:00 EET, Marian Călborean (University of Bucharest) will give a talk in the Logic Seminar.
- [Logic Seminar talk: Julia Robinson, existential definability, and Hilbert’s 10th problem](https://ilds.ro/2022/11/logic-seminar-talk-julia-robinson-existential-definability-and-hilberts-10th-problem/) - On November 24, 2022 at 14:00 EET, Eugenio Omodeo (DMG, Università degli studi di Trieste) will give an online talk in the Logic Seminar.
- [Logic Seminar talk: Possibility theory and the arithmetic of fuzzy numbers](https://ilds.ro/2022/11/logic-seminar-talk-possibility-theory-and-the-arithmetic-of-fuzzy-numbers/) - On November 10, 2022 at 14:00 EET, Andrea Sgarro (DMG University of Trieste) will give a talk in the Logic Seminar.
- [Logic Seminar talk: Lean-certified Dynamic Epistemic Logic with Actions for Security Protocols](https://ilds.ro/2022/10/logic-seminar-talk-lean-certified-dynamic-epistemic-logic-with-actions-for-security-protocols/) - On November 3, 2022 at 14:00 EET, Bogdan Macovei (University of Bucharest) will give a talk in the Logic Seminar.
- [Logic Seminar talk: On a theorem of Gallai and related questions](https://ilds.ro/2022/10/logic-seminar-talk-on-a-theorem-of-gallai-and-related-questions/) - On October 20, 2022 at 14:00 EEST, Mihai Prunescu (University of Bucharest & IMAR) will give a talk in the Logic Seminar.
- [New Project: Common Representation for Normative Statements and Research Results](https://ilds.ro/2022/10/new-project-common-representation-for-normative-statements-and-research-results/) - We are announcing a new research project, coordinated by Alexandru-Dan Corlan.
- [Logic Seminar talk: On the Expressiveness of a Logic of Separated Relations](https://ilds.ro/2022/07/logic-seminar-talk-on-the-expressiveness-of-a-logic-of-separated-relations/) - On July 19, 2022 at 14:00 EEST, Radu Iosif (CNRS - VERIMAG) will give a talk in the Logic Seminar.
- [Logic Seminar talk: Dedukti](https://ilds.ro/2022/07/logic-seminar-talk-dedukti/) - On July 15, 2022 at 17:00 EEST, Amélie Ledein (INRIA: LMF, Deducteam) will give a talk in the Logic Seminar.
- [Proof Mining Seminar talk: The alternating Halpern-Mann iteration](https://ilds.ro/2022/07/proof-mining-seminar-talk-the-alternating-halpern-mann-iteration/) - On July 6, 2022 at 16:00 EEST, Pedro Pinto (Technische Universität Darmstadt) will give a talk in the Proof Mining Seminar.
- [Proof Mining Seminar talk: Proof mining for maximally monotone set-valued operators](https://ilds.ro/2022/06/proof-mining-seminar-talk-proof-mining-for-maximally-monotone-set-valued-operators/) - On June 29, 2022 at 16:00 EEST, Nicholas Pischke (Technische Universität Darmstadt) will give a talk in the Proof Mining Seminar.

## Pages

- [](https://ilds.ro/) - Our Vision: The Institute for Logic and Data Science (ILDS) is a non-profit independent research institute dedicated to the spread and advancement of logic-based and data-oriented scientific methods. Our Mission: ILDS is pursuing the following goals: to perform applied and fundamental research; to organize scientific events to advance the state of the art; to build
- [Proof mining in optimization and nonlinear analysis](https://ilds.ro/research-projects/proof-mining-in-optimization-and-nonlinear-analysis/) - January 2026 – present Research Partners: Simion Stoilow Institute of Mathematics of the Romanian Academy (IMAR) Research Center for Logic, Optimization & Security (LOS), University of Bucharest Research Team: Laurenţiu Leuştean (Principal Investigator) Nicoleta Dumitru Anda Ștefania Toma ILDS Management Team: Laurențiu Leuștean Description: Proof mining is an area of applied proof theory developed by Ulrich Kohlenbach
- [Past Events](https://ilds.ro/past-events/) - This is a list of past ILDS events. For upcoming events, click here. The metalogic of vagueness as dispersion: A classical first-order formalization, talk at the Logic Seminar (18 June 2026) Nim arithmetic, talk at the Logic Seminar (11 June 2026) FastSet: Verified Settlement for AI-Native Work, talk at the Neuro-symbolic AI Seminar (11 June 2026) An introduction to the
- [Events](https://ilds.ro/events/) - This is a list of upcoming ILDS events. For past events, click here. Workshops, Conferences Working Formal Methods Symposium (FROM 2026), Timișoara, Romania, September 15-17, 2026 Seminar Talks
- [People](https://ilds.ro/people/) - Bogdan Alexe Research Collaborator Andrei Arusoaie Research Collaborator Cornelia Caragea Research Collaborator Doina Caragea Research Collaborator Marian Călborean Industry Advisor Horațiu Cheval Associated Researcher Cătălin Ciobanu Industry Advisor Nicolae Cleju Associated Researcher Alexandru Corlan Associated Researcher Mihai Cucuringu Research Collaborator Denisa Diaconescu Research Collaborator Antonio Di Nola Honorary Member Alexandru Dima Associated Researcher Bruno Dinis
- [Executive Board](https://ilds.ro/executive-board/) - Laurenţiu Leuştean is a Full Professor in the Department of Computer Science, Faculty of Mathematics and Computer Science of the University of Bucharest, where he leads the Research Center for Logic, Optimization and Security (LOS). He is also a senior researcher at the Simion Stoilow Institute of Mathematics of the Romanian Academy (IMAR). His main
- [Proof Mining Seminar](https://ilds.ro/proof-mining-seminar/) - The Proof Mining Seminar is a joint LOS/IMAR/ILDS seminar, featuring talks on recent results in proof mining. Proof mining is a paradigm of research, concerned with the extraction of hidden finitary and combinatorial content from proofs that make use of highly infinitary principles. The new information is obtained after a logical analysis, using proof-theoretic tools,
- [Neuro-symbolic AI Seminar](https://ilds.ro/nsai-seminar/) - The Neuro-symbolic AI Seminar is jointly organized by IMAR, FMI-CS, ILDS, with the support of BRD and IBF. All seminars, except where otherwise indicated, will be on Thursdays between 10:00 and 12:00, Bucharest time. The seminars are held locally at Hall 203 of the Faculty of Mathematics and Computer Science, University of Bucharest (in the
- [Logic Seminar](https://ilds.ro/logic-seminar/) - The Logic Seminar is a joint LOS/IMAR/ILDS seminar, featuring talks on mathematical logic, philosophical logic and logical aspects of computer science. All seminars, except where otherwise indicated, will be on Thursdays between 14:00 and 16:00, Bucharest time. The seminars are held locally at Hall 203 of the Faculty of Mathematics and Computer Science, University of
- [Matching logic - theoretical foundations](https://ilds.ro/research-projects/matching-logic-theoretical-foundations/) - January 2026 – present Research Partners: Research Center for Logic, Optimization & Security (LOS), University of Bucharest Simion Stoilow Institute of Mathematics of the Romanian Academy (IMAR) Research Team: Laurenţiu Leuştean (Principal Investigator) Dafina Trufaș ILDS Management Team: Laurențiu Leuștean Description: This project focuses on the theoretical foundations of matching logic, a formal framework developed by Grigore
- [Matching Logic and Lean: Foundations](https://ilds.ro/past-research-projects/matching-logic-and-lean-foundations/) - July 2022 – March 2023 Research Partners: Runtime Verification Research Center for Logic, Optimization & Security (LOS), University of Bucharest Research Team: Laurenţiu Leuştean (Principal Investigator) Horaţiu Cheval Bogdan Macovei ILDS Management Team: Laurențiu Leuștean Description: Matching logic (ML), developed by Grigore Roşu and his collaborators, is a unifying logic for defining formal semantics of
- [Latent Space Curation through Hybrid Metaheuristics: A Model of Curation, Optimization and Discretization by Affective Computing](https://ilds.ro/latent-space-curation-through-hybrid-metaheuristics/) - October 2022 – May 2023 Research Partners: Department of Computer Science, Faculty of Mathematics and Computer Science, University of Bucharest (CS-FMI-UB) Ion Mincu University of Architecture and Urban Planning (UAUIM) International Center for Research and Education in Innovative Creative Technologies (CINETic) “Arhitectura Celuilalt” Association Research Team: Andreea Robu-Movilă (UAUIM) (Principal Investigator) Sergiu Nisioi (CS-FMI-UB) (Principal
- [In-flight failure prediction of electronics using Artificial Intelligence (DETECT-AI)](https://ilds.ro/in-flight-failure-prediction-of-electronics-using-artificial-intelligence-detect-ai/) - August 2023 – October 2023 Research Partners: Romanian InSpace Engineering SRL (RISE), in collaboration with the European Space Agency (ESA) Research Team: Florin Stoican (Principal Investigator) Bogdan Gheorghe Theodor-Gabriel Nicu ILDS Management Team: Paul Irofti Laurențiu Leuștean Description: The project's goal is to analyze satellite sub-systems from the viewpoint of fault detection, isolation and reconfiguration
- [AI for Chemistry](https://ilds.ro/ai-for-chemistry/) - November 2023 – April 2025 Research Partners: BRD Research Team: Mihaela Florea (Principal Investigator) Florentina Neațu Ștefan Neațu Horia Velicu ILDS Management Team: Laurențiu Leuștean Alin Ștefănescu Description: The project “AI for Chemistry” is focused on the methanol production from the hydrogenation of CO2 which is of major importance because it could mitigate the pressure
- [LLM for Romanian](https://ilds.ro/llm-for-romanian/) - Pre-training and fine-tuning of Large Language Models to obtain a foundation model for the Romanian language February 2024 – February 2025 Research Partners: BRD Applied Data Science Center, University of Bucharest National University of Science and Technology Politehnica Bucharest Research Team: Marius Popescu (co - Principal Investigator) Traian Rebedea (co - Principal Investigator) Dragoș Corlătescu
- [Matching Logic, Cryptography and Blockchains](https://ilds.ro/past-research-projects/matching-logic-cryptography-and-blockchains/) - August 2024 – December 2025 Research Partners: Pi Squared Research Center for Logic, Optimization & Security (LOS), University of Bucharest Research Team: Laurenţiu Leuştean (Principal Investigator) Horaţiu Cheval Ruxandra Olimid-Nencioni Mihai Prunescu Dafina Trufaș ILDS Management Team: Laurențiu Leuștean Description: Objective 1. Applicative matching logic and Lean In a previous project, we implemented in Lean
- [Logic Seminar — Past Talks](https://ilds.ro/logic-seminar-past-talks/) - Below you can see a list of past talks at the Logic Seminar in this season. For forthcoming talks, see the main page. Thursday, June 11, 2026 Lucia Rîșnoveanu (University of Bucharest) Nim arithmetic Abstract: Nim arithmetic is used in the study of impartial games and was formalized by John Conway [1].We begin with an
- [Neuro-symbolic AI — Past Talks](https://ilds.ro/neuro-symbolic-ai-past-talks/) - Below you can see a list of past talks at the Logic Seminar in this season. For forthcoming talks, see the main page. Thursday, June 11, 2026 Grigore Roșu (Pi Squared Labs & University of Illinois Urbana-Champaign) FastSet: Verified Settlement for AI-Native Work Abstract: Fast is a verifiable settlement infrastructure for AI-native work: humans, agents, services,
- [Research Projects](https://ilds.ro/research-projects/) - Proof mining in optimization and nonlinear analysis Matching logic - theoretical foundations Past Research Projects LLM for Romanian Matching Logic, Cryptography and Blockchains AI for Chemistry AI for RPA In-flight failure prediction of electronics using Artificial Intelligence (DETECT-AI) Latent Space Curation through Hybrid Metaheuristics: A Model of Curation, Optimization and Discretization by Affective Computing Machine
- [Contact](https://ilds.ro/contact/) - Institute for Logic and Data Science (ILDS) PT18 – Salon de idei, Str. Popa Tatu nr. 18, 010805 Bucharest, Romania Email: contact@ilds.ro
- [Scientific Seminars](https://ilds.ro/scientific-seminars/) - Logic Seminar The seminar features talks on mathematical logic, philosophical logic and logical aspects of computer science. Data Science Seminar The seminar features talks on theoretical and practical aspects of data science. Neuro-symbolic AI Seminar The seminar features talks on neuro-symbolic AI. Proof Mining Seminar The seminar features talks on recent results on proof mining.
- [Former Associates](https://ilds.ro/former-associates/) - Vladimir Antofi Research Student Cristina Borza Former Associate Rareș Cristea Former Associate Bogdan Gheorghe Former Associate Bogdan Macovei Former Associate Theodor-Gabriel Nicu Former Associate Radu-Cristian Tomescu Research Student Bogdan Macovei Former Associate Bogdan Macovei is a PhD student at the University of Bucharest and a teaching assistant in the Department of Computer Science, University of
- [Proof Mining Seminar — Past Talks](https://ilds.ro/proof-mining-seminar-past-talks/) - Below you can see a list of past talks at the Proof Mining Seminar in this season. For forthcoming talks, see the main page.
- [Proof Mining Seminar in 2024-2025](https://ilds.ro/proof-mining-seminar-in-2024-2025/) - Below you can see all the talks held at the Proof Mining Seminar in the 2024-2025 season. For forthcoming talks, see the main page. Wednesday, March 19, 2025 Paulo Firmino (University of Lisbon) Rates of (T-)asymptotic regularity of the generalized Krasnoselskii-Mann-type iteration Abstract: In this talk we present the results of a quantitative analysis of
- [Past Scientific Seminars](https://ilds.ro/past-scientific-seminars/) - Data Science Seminar The seminar features talks on theoretical and practical aspects of data science. Blockchain Seminar The seminar features talks on theoretical and practical aspects of blockchains. Type Theory Working Seminar This is a working seminar which will provide an introduction to type theory, proof theory and related areas.
- [Research Partners](https://ilds.ro/research-partners/) - Applied Data Science Center, University of Bucharest arGO BRD C. Rădulescu-Motru Institute of Philosophy and Psychology Department of Computer Science, Faculty of Mathematics and Computer Science, University of Bucharest Department of Mathematics, Faculty of Mathematics and Computer Science, University of Bucharest Formal Systems Laboratory (FSL), University of Illinois Urbana-Champaign The Informational Buildup Foundation (IBF) Infoarena
- [Matching Logic and Lean: The 𝕂 Connection](https://ilds.ro/past-research-projects/matching-logic-and-lean-the-𝕂-connection/) - April 2023 – December 2025 Research Partners: Runtime Verification Research Center for Logic, Optimization & Security (LOS), University of Bucharest Research Team: Laurenţiu Leuştean (Principal Investigator) Horaţiu Cheval Alexandru Oltean Dafina Trufaș ILDS Management Team: Laurențiu Leuștean Description: As part of the previous RV/ILDS project, we have formalized and implemented a deep embedding of Applicative
- [Past Research Projects](https://ilds.ro/past-research-projects/) - LLM for Romanian The project is focused on pre-training and fine-tuning of Large Language Models to obtain a foundation model for the Romanian language. Matching Logic, Cryptography and Blockchains This project is focused on a Lean formalization of the logical theory of KORE (an intermediate representation language used by the 𝕂 Framework) towards applying it
- [About Us](https://ilds.ro/about-us/) - Our Vision: The Institute for Logic and Data Science (ILDS) is a non-profit independent research institute dedicated to the spread and advancement of logic-based and data-oriented scientific methods. Our Mission: ILDS is pursuing the following goals: to perform applied and fundamental research; to organize scientific events to advance the state of the art; to build
- [LOS/IMAR/ILDS Logic Seminar in 2024-2025](https://ilds.ro/los-imar-ilds-logic-seminar-in-2024-2025/) - Below you can see all the talks held at the Logic Seminar in the 2024-2025 season. For forthcoming talks, see the main page. Monday, September 15, 2025, 15:00 at PBTower, Hall 415 Radu Iosif (CNRS-VERIMAG) Regular Grammars for Sets of Graphs of Tree-Width 2 Abstract: Regular word grammars are restricted context-free grammars that define all
- [Proof Mining Seminar in 2021-2022](https://ilds.ro/proof-mining-seminar-in-2021-2022/) - Below you can see all the talks held at the Proof Mining Seminar in the 2021-2022 season. For forthcoming talks, see the main page. Wednesday, July 13, 2022 Paulo Oliva (Queen Mary University of London) On the Borel-Cantelli Lemmas, the Erdős–Rényi Theorem, and the Kochen-Stone Theorem Abstract: In this talk we present a quantitative analysis
- [Proof Mining Seminar in 2023-2024](https://ilds.ro/proof-mining-seminar-in-2023-2024/) - Below you can see all the talks held at the Proof Mining Seminar in the 2023-2024 season. For forthcoming talks, see the main page. Wednesday, July 31, 2024 Morenikeji Neri (University of Bath) Proof mining and probability Abstract: Due to previous ad hoc case studies, the insight was made that a significant proportion of results
- [LOS/IMAR/ILDS Logic Seminar in 2023-2024](https://ilds.ro/los-imar-ilds-logic-seminar-in-2023-2024/) - Below you can see all the talks held at the Logic Seminar in the 2023-2024 season. For forthcoming talks, see the main page. Thursday, June 6, 2024 Marian Călborean (University of Bucharest) Trees, algorithms and logics: A calculator for Priest's Introduction to Non-classical Logics Abstract: In the "Logic and software" 2024 course (Faculty of Philosophy,
- [Workshop: LLMs for Romanian](https://ilds.ro/workshop-llms-for-romanian/) - We are excited to announce the LLMs for Romanian Workshop, to be held on 28 September 2024. This event brings together AI enthusiasts for discussing the present and future of LLMs for the Romanian language. The workshop aims to build and strengthen the community of researchers and practitioners interested in open Romanian language models (cf.
- [Deep Blockchain Fundamentals by ILDS, MultiversX, and Pi Squared](https://ilds.ro/pisquared-ilds-blockchain-workshop/) - We are announcing the Deep Blockchain Fundamentals Workshop, an event focused on blockchain technology and particularly on zero-knowledge proofs, organized jointly by the Institute for Logic and Data Science (ILDS), MultiversX and Pi Squared (π²), to be held on 11 May 2024. It is the second blockchain-oriented workshop with involvement from ILDS, following the RV/ILDS
- [AI for RPA: Autonomous UI testing using AI](https://ilds.ro/ai-for-rpa/) - February 2023 – July 2023 Research Partners: UiPath Research Team: Ciprian Păduraru (Principal Investigator) Vlad Calomfirescu Rareș Cristea Alin Ștefănescu ILDS Management Team: Alin Ștefănescu Description: Even though test automation has an increased presence in industry nowadays, there is still room for improvement, especially in the area of end-to-end testing. Most testing methods in the
- [Common Representation for Normative Statements and Research Results](https://ilds.ro/common-representation-for-normative-statements-and-research-results/) - October 2022 – October 2024 Research Team: Alexandru-Dan Corlan (Principal Investigator) ILDS Management Team: Laurențiu Leuștean Description: Descriptive laws of nature and imperative statements from human norms share much of their semantics. Argumentation of norms typically involves the use of related research results. Application of both types to actual cases is also related semantically. For
- [Machine Learning Techniques for Computer Numerical Control Machines: Exploratory Phase](https://ilds.ro/machine-learning-techniques-for-computer-numerical-control-machines-exploratory-phase/) - February 2023 – May 2023 Research Partners: arGO Research Team: Paul Irofti (Principal Investigator) Nicolae Cleju Cristian Rusu ILDS Management Team: Paul Irofti Description: Computer numeric control (CNC) machines are the computers of modern factories that automate production lines through the use of programmable industrial robots that are able to manipulate multiple machining tools in
- [Proof Mining Seminar in 2022-2023](https://ilds.ro/proof-mining-seminar-in-2022-2023/) - Below you can see all the talks held at the Proof Mining Seminar in the 2022-2023 season. For forthcoming talks, see the main page. Wednesday, July 26, 2023 Pedro Pinto (TU Darmstadt) The strange case of Dykstra's algorithm Abstract: In this talk we discuss the proof mining treatment of the strong convergence of Dykstra's algorithm.Halpern's
- [Data Science Seminar](https://ilds.ro/data-science-seminar/) - The Data Science Seminar is a joint seminar of the ILDS and the Applied Data Science Center, Faculty of Mathematics and Computer Science, University of Bucharest, featuring talks on theoretical and practical aspects of data science. The seminars are held locally, either at the Faculty of Mathematics and Computer Science, University of Bucharest (Academiei 14),
- [Data Science Seminar — Past Talks](https://ilds.ro/data-science-seminar-past-talks/) - Below you can see a list of past talks at the Data Science Seminar in this season. For forthcoming talks, see the main page. Thursday, December 15, 2023 at 11:00 (FMI, Hall 214 “Google”) Miruna Zăvelcă (PhD student at the University of Bucharest) Establishing Language-Agnostic Causality Trees on Argumentative Texts Abstract: In recent years, argumentation
- [Data Science Seminar in 2022-2023](https://ilds.ro/data-science-seminar-in-2022-2023/) - Below you can see all the talks held at the Data Science Seminar in the 2022-2023 season. For forthcoming talks, see the main page. Wednesday, April 12, 2023 at 14:30 (Popa Tatu 18) Mihai Cucuringu (University of Oxford) Machine learning on signed networks and time series analysis with applications to finance Abstract: We discuss scalable
- [Fellowships](https://ilds.ro/fellowships/) - Filip Mănișor BRD Fellow Mihai Mașala BRD Fellow Filip Mănișor BRD Fellow Filip Mănișor is a second-year PhD student at the Politehnica University of Bucharest, who has a strong foundation in data science and machine learning projects. His thesis focuses on utilizing machine learning techniques to develop solutions for tackling climate change. He is committed
- [LOS/IMAR/ILDS Logic Seminar in 2022-2023](https://ilds.ro/los-imar-ilds-logic-seminar-in-2022-2023/) - Below you can see all the talks held at the Logic Seminar in the 2022-2023 season. For forthcoming talks, see the main page. Thursday, June 22, 2023 Marian Călborean (University of Bucharest) Reasoning by brute force II. Implementing a natural deduction proof calculator for monadic predicate logic with minimal heuristics Abstract: One result of the
- [Type Theory Working Seminar](https://ilds.ro/type-theory-working-seminar/) - The Type Theory Working Seminar is a joint LOS/ILDS working seminar which provides an introduction to type theory, proof theory and related areas. The seminar is held at the Institute for Logic and Data Science (Popa Tatu 18) at 11:00, unless specified otherwise. Organizer: Andrei Sipoș List of meetings: 10 July 2023 24 July 2023
- [Blockchain Seminar](https://ilds.ro/blockchain-seminar/) - The Blockchain Seminar is a joint seminar of the ILDS and the Department of Computer Science, Faculty of Mathematics and Computer Science, University of Bucharest, featuring talks on theoretical and practical aspects of blockchains. All seminars, except where otherwise indicated, will be on Mondays between 16:00 and 18:00, Bucharest time. The seminars are held locally,
- [Blockchain Seminar — Past Talks](https://ilds.ro/blockchain-seminar-past-talks/) - Below you can see a list of past talks at the Blockchain Seminar. For forthcoming talks, see the main page. Thursday, May 18, 2023 at 18:30 (Endava) Securing the Chain: Blockchain, AI, and the Future of Trust This is a special edition of the Blockchain Seminar, in collaboration with Endava România, which will be a
- [Support us](https://ilds.ro/support-us/) - The Institute for Logic and Data Science (ILDS) is a research-oriented non-profit association dedicated to the strengthening of logic and data science research. We are registered in Romania. Our VAT identification number (Cod de identificare fiscală, CIF) is 46342850. If you want to support our Institute, you can do so by the following means: Donation

## Categories

- [Seminars](https://ilds.ro/category/seminars/) - Here you can see posts related to the research seminars organized or advertised by the Institute.
- [Logic Seminar](https://ilds.ro/category/seminars/logic-seminar/)
- [News](https://ilds.ro/category/news/)
- [Proof Mining Seminar](https://ilds.ro/category/seminars/proof-mining-seminar/)
- [Research Projects](https://ilds.ro/category/research-projects/)
- [Blockchain Seminar](https://ilds.ro/category/seminars/blockchain-seminar/)
- [Events](https://ilds.ro/category/events/)
- [Data Science Seminar](https://ilds.ro/category/seminars/data-science-seminar/)
- [Type Theory Working Seminar](https://ilds.ro/category/seminars/type-theory-working-seminar/)