News

Horațiu Cheval will defend his PhD thesis Proof mining and applications to optimization and nonlinear analysis on Thursday, November 19, 2024, at 14:00 in the Google Hall.

Dafina Trufaș will give on Thursday, November 14, 2024, at 14:00 the talk Intuitionistic propositional logic in the Logic Seminar.

Mihai Prunescu published (in collaboration with Joseph Shunia) the preprint Arithmetic-term representations for the greatest common divisor on arXiv.

Pedro Pinto and Andrei Sipoș published the preprint Products of hyperbolic spaces on arXiv.

Mihai Prunescu will give on Thursday, October 31, 2024, at 14:00 the talk Arithmetic Terms III in the Logic Seminar.

Horațiu Cheval will give on Thursday, October 17, 2024, at 14:00 the talk Proof mining and applications to optimization and nonlinear analysis in the Logic Seminar.

Morenikeji Neri (University of Bath) will give on Wednesday, July 31, at 16:00 the talk Proof mining and probability in the Proof Mining Seminar.

Mihai Prunescu published (in collaboration with Lorenzo Sauras-Altuzarra) the preprint On the representation of number-theoretic functions by arithmetic terms on arXiv.

Laurențiu Leuștean published (in collaboration with Paulo Firmino) the paper Quantitative asymptotic regularity of the VAM iteration with error terms for accretive operators in Banach spaces in Zeitschrift für Analysis und ihre Anwendungen.

Mihai Prunescu published the preprint On other two representations of the C-recursive integer sequences by terms in modular arithmetic on arXiv.

Horațiu Cheval published the preprint Quantitative metastability of the Tikhonov-Mann iteration for countable families of mappings on arXiv.

Horaţiu Cheval and Laurenţiu Leuştean published the paper Linear rates of asymptotic regularity for Halpern-type iterations in Mathematics of Computation.

Marian Călborean (University of Bucharest) will give on Thursday, June 6, 2024, at 14:00 the talk Trees, algorithms and logics: A calculator for Priest’s Introduction to Non-classical Logics in the Logic Seminar.

Simina Brânzei (Purdue University) will give on Thursday, May 23, 2024, at 14:00 the talk The sharp power law of local search on expanders in the Logic Seminar.

Mihai Prunescu will give on Thursday, May 15, 2024, at 14:00 the talk On recurrent sequences of integers in the Logic Seminar.

Mihai Prunescu published (in collaboration with Lorenzo Sauras-Altuzarra) the preprint On the representation of C-recursive integer sequences by arithmetic terms on arXiv.

Mihai Prunescu will give on Thursday, April 18, 2024, at 14:00 the talk On representability by arithmetic terms in the Logic Seminar.

Paul Irofti, Iulian-Andrei Hîji, Andrei Pătrașcu and Nicolae Cleju published the preprint Fusing Dictionary Learning and Support Vector Machines for Unsupervised Anomaly Detection on arXiv.

Andrei Pătrașcu, Cristian Rusu and Paul Irofti published the preprint Learning Explicitly Conditioned Sparsifying Transforms on arXiv.

Horațiu Cheval will give on Thursday, April 4, 2024, at 14:00 the talk Partial (co)recursive functions in Coq and Lean in the Logic Seminar.

Gabriel Istrate (University of Bucharest) will give on Thursday, March 28, 2024, at 14:00 the talk Equilibria in multiagent online problems with predictions in the Logic Seminar.

Natalia Ozunu (University of Bucharest) will give on Thursday, March 21, 2024, at 14:00 the talk Modal logic for program specification in the Logic Seminar.

Ionuț Țuțu (IMAR) will give on Thursday, March 14, 2024, at 14:00 the talk An institution-theoretic approach to bisimilarity in the Logic Seminar.

Nicoleta Dumitru will give on Thursday, March 7, 2024, at 14:00 the talk (Post-)Quantum Cryptography II in the Logic Seminar.

Laurențiu Leuștean published (in collaboration with Paulo Firmino) the preprint Quantitative asymptotic regularity of the VAM iteration with error terms for accretive operators in Banach spaces on arXiv.

Mircea Dumitru (University of Bucharest & Romanian Academy)will give on Thursday, February 29, 2024, at 14:30 the talk A Free Logic for Fictionalism II in the Logic Seminar.

Nicoleta Dumitru will give on Thursday, February 22, 2024, at 14:00 the talk (Post-)Quantum Cryptography in the Logic Seminar.

Mihai Prunescu published (in collaboration with Lorenzo Sauras-Altuzarra) the paper An arithmetic term for the factorial function in Examples and Counterexamples.

Marian Călborean (University of Bucharest) will give on Thursday, February 8, 2024, at 14:00 the talk The logic of gradable adjectives: a layered supervaluationism and parametrized degree-theory II in the Logic Seminar.

Marian Călborean (University of Bucharest) will give on Thursday, January 25, 2024, at 14:00 the talk The logic of gradable adjectives: a layered supervaluationism and parametrized degree-theory in the Logic Seminar.

Alexandru Oltean will give on Thursday, January 11, 2024, at 14:00 the talk Formalizing Hybrid Modal Logic in Lean in the Logic Seminar.

Mircea Dumitru (University of Bucharest & Romanian Academy) will give on Thursday, December 14, 2023, at 14:00 the talk A Free Logic for Fictionalism in the Logic Seminar.

Bogdan Dumitru (University of Bucharest & Bitdefender) will give on Thursday, December 7, at 14:00 the talk Using SAT Solvers to Investigate the Erdős–Szekeres Conjecture for $𝑒(7)=33$ in the Logic Seminar.

Paul Irofti and Florin Stoican published (in collaboration with Luis Romero-Ben and Vicenç Puig) the preprint Nodal Hydraulic Head Estimation through Unscented Kalman Filter for Data-driven Leak Localization in Water Networks on arXiv.

Ruxandra Bălucea and Paul Irofti presented their recent research at Security for Information Technology and Communications (SecITC) 2023, the annual international conference on security from Bucharest.

Antonio Piccolomini d’Aragona (University of Siena & Université d’Aix-Marseille) will give on Thursday, November 23, at 14:00 the talk Inversion results and base-completeness for two approaches to proof-theoretic validity in the Logic Seminar.

Florin Stoican will give on Tuesday, November 21, at 14:00 the talk Model and data-based fault diagnosis for complex systems. in the LOS Seminar.

Horațiu Cheval, Laurențiu Leuștean and Andrei Sipoș have all given invited talks at the Oberwolfach Workshop Mathematical Logic: Proof Theory, Constructive Mathematics, organized at Mathematisches Forschungsinstitut Oberwolfach (MFO) in the period November 12-17, 2023.

Paul Irofti and Florin Stoican published (in collaboration with Luis Romero-Ben and Vicenç Puig) the paper Learning Dictionaries from Physical-Based Interpolation for Water Network Leak Localization in IEEE Transactions on Control Systems Technology.

Paul Irofti will moderate the panel on "Treating and the Mirage of Knowledge in the Age of Digital Technologies versus Antiquity" and will give on Thursday, November 16, at 10:30 the talk Automatic tools for detecting abnormal behavior in computer networks presenting the results obtained in the NetAlert project developed at LOS.

Andrei Iulian Hîji will give on Friday, November 10, at 16:00 the talk Anomaly Detection through Isolation Forest, Dictionary Learning and One Class SVM with applications in computer networks in the LOS Seminar.

Traian Șerbănuță will give on Thursday, November 9, at 14:00 the talk Yet another formalization of matching logic in Coq in the Logic Seminar.

Paul Irofti published the preprint Pinky: A Modern Malware-oriented Dynamic Information Retrieval Tool on arXiv.

Ruxandra Bălucea and Paul Irofti published the preprint Software Mitigation of RISC-V Spectre Attacks on arXiv.

Paul Irofti published (in collaboration with Ioana Leuștean and Adriana Nicolae) the preprint OpenBSD formal driver verification with SeL4 on arXiv.

Mihai Prunescu will give on Thursday, November 2, at 14:00 the talk Using Z3 to Verify Inferences in Fragments of Linear Logic in the Logic Seminar.

Gabriel Istrate (University of Bucharest) will give on Thursday, October 26, at 14:00 the talk Conway’s Army Percolation in the Logic Seminar.

Horaţiu Cheval will give on Thursday, October 19, at 14:00 the talk Matching Logic in Lean in the Logic Seminar.

Autumn school co-organized by LOS

Institute for Logic and Data Science, Faculty of Mathematics and Computer Science, University of Bucharest and LOS organize the ILDS-FMI Coq and Lean Autumn School 2023 in the period September 20-23, 2023.

Participation by LOS members at Logic Colloquium 2023

Horațiu Cheval (invited in the Applied Proof Theory Special Session), Laurențiu Leuștean and Andrei Sipoș have all presented their recent research at Logic Colloquium 2023, the annual European meeting of the Association for Symbolic Logic.

Andrei Sipoş published (in collaboration with Liviu Păunescu) the paper A proof-theoretic metatheorem for tracial von Neumann algebras in Mathematical Logic Quarterly.

Eugenio Omodeo (DMG, Università degli studi di Trieste) will give on Thurssday, May 25, at 14:00 the talk Does every computably enumerable set admit a univocal Diophantine specification? in the Logic Seminar.

Elena Grigorescu (Purdue University, West Lafayette, IN, USA) will give on Thurssday, May 18, at 15:00 the talk Local Codes for Insertion and Deletion Errors in the Logic Seminar.

Laurențiu Leuștean published (in collaboration with Pedro Pinto) the paper Rates of asymptotic regularity for the alternating Halpern-Mann iteration in Optimization Letters.

Horaţiu Cheval will give on Wednesday, May 10, at 16:00 the talk The Tikhonov-Mann iteration for families of mappings in the Proof Mining Seminar.

Horaţiu Cheval will give on Tuesday, May 2, at 14:00 the talk The Tikhonov-Mann iteration for families of mappings in the LOS Seminar.

Andrei Sipos will give on Thursday, April 27, at 14:00 the talk The computational content of super strongly nonexpansive mappings and uniformly monotone operators in the Logic Seminar.

Horaţiu Cheval published the preprint Rates of asymptotic regularity of the Tikhonov-Mann iteration for families of mappings on arXiv.

Paul Irofti and Florin Stoican published (in collaboration with Luis Romero-Ben and Vicenç Puig) the preprint Learning Dictionaries from Physical-Based Interpolation for Water Network Leak Localization on arXiv.

Horaţiu Cheval and Laurenţiu Leuştean published (in collaboration with Ulrich Kohlenbach) the paper On modified Halpern and Tikhonov-Mann iterations in Journal of Optimization Theory and Applications.

Horaţiu Cheval and Laurenţiu Leuştean published the preprint Linear rates of asymptotic regularity for Halpern-type iterations on arXiv.

Mihai Prunescu will give on Thursday, March 16, at 14:00 the talk Zero-knowledge proofs in the Logic Seminar.

Andrei Sipoş published the preprint The computational content of super strongly nonexpansive mappings and uniformly monotone operators on arXiv.

Traian Şerbănuţă will give on Thursday, March 9, at 14:00 the talk Implementing Program Verification in the 𝕂 Framework in the Logic Seminar.

Mircea Dumitru (University of Bucharest & Romanian Academy) will give on Thursday, March 2, at 14:00 the talk Semantics for Quantified Modal Logics in the Logic Seminar.

Ionuț Țuțu (IMAR) will give on Thursday, February 16, at 14:00 the talk A short guide to implementing theorem provers in the Logic Seminar.

Andrei Sipoş will give on Tuesday, February 14, 2023 at 14:00 the talk An example-based proof mining tutorial in the LOS Seminar.

Cezar Câmpeanu (University of Prince Edward Island) will give on Thursday, February 2, at 14:00 the talk Cover Languages — Main Results and Applications in the Logic Seminar.

Nicholas Pischke (TU Darmstadt) will give on Wednesday, January 11, 2023 at 16:00 the talk A proof-theoretic metatheorem for nonlinear semigroups generated by an accretive operator and applications in the Proof Mining Seminar.

Andrei Pătraşcu will give on Tuesday, December 12, 2022 at 14:00 the talk Discussions on the applications of optimization over metric spaces in sparse representations problems in the LOS Seminar.

Eugenio Omodeo (DMG, Università degli studi di Trieste) will give on Thursday, November 24, 2022 at 14:00 the talk Julia Robinson, existential definability, and Hilbert’s $10^\text{th}$ problem in the Logic Seminar.

Paul Irofti will give on Tuesday, November 22, 2022 at 14:00 the talk Dictionary Learning with Uniform Sparse Representations for Anomaly Detection in the LOS Seminar.

Marian Călborean (University of Bucharest) will give on Thursday, November 17, 2022 at 14:00 the talk A notational extension of classical first-order logic to deal with vague language in the Logic Seminar.

Mihai Prunescu published the paper Symmetries in the Pascal triangle: $p$-adic valuation, sign-reduction modulo $p$ and the last non-zero digit in Bulletin Mathématique de la Société des Sciences Mathématiques de Roumanie.

Andrea Sgarro (DMG University of Trieste) will give on Thursday, November 10, 2022 at 14:00 the talk Possibility theory and the arithmetic of fuzzy numbers in the Logic Seminar.

Bogdan Macovei will give on Thursday, November 3, 2022 at 14:00 the talk Lean-certified Dynamic Epistemic Logic with Actions for Security Protocols in the Logic Seminar.

Andrei Sipoş published the preprint On quantitative metastability for accretive operators on arXiv.

Mihai Prunescu (University of Bucharest & IMAR) will give on Thursday, October 20, at 14:00 the talk On a theorem of Gallai and related questions in the Logic Seminar.

Dongwon Lee (Pennsylvania State University) will give on Tuesday, October 18, at 14:00 the talk Generative Language Model, Deepfake, and Fake News 2.0: Scenarios and Implications in the LOS Seminar.

Andrei Sipoş published (in collaboration with Liviu Păunescu) the preprint A proof-theoretic metatheorem for tracial von Neumann algebras on arXiv.

Andrei Pătraşcu and Paul Irofti published the paper On finite termination of an inexact Proximal Point algorithm in Applied Mathematics Letters.

Andrei Sipoş published the paper Abstract strongly convergent variants of the proximal point algorithm in Computational Optimization and Applications.

Radu Iosif (CNRS - VERIMAG) will give on Tuesday, July 19, at 14:00 the talk On the Expressiveness of a Logic of Separated Relations in the Logic Seminar.

Amélie Ledein (Inria, Deducteam, LMF) will give on Friday, July 15, at 17:00 the talk Dedukti, a standard language for the interoperability of proof systems in the Logic Seminar.

Paulo Oliva (Queen Mary University of London) will give on Wednesday, July 13, 2022 at 16:00 the talk On the Borel-Cantelli Lemmas, the Erdős–Rényi Theorem, and the Kochen-Stone Theorem in the Proof Mining Seminar.

Pedro Pinto (Technische Universität Darmstadt) will give on Wednesday, July 6, 2022 at 16:00 the talk The alternating Halpern-Mann iteration in the Proof Mining Seminar.

Nicholas Pischke (Technische Universität Darmstadt) will give on Wednesday, June 29, 2022 at 16:00 the talk Proof mining for maximally monotone set-valued operators in the Proof Mining Seminar.

Radu-Ioan Boţ (University of Vienna) will give on Tuesday, June 28, 2022 at 14:00 the talk Fast Augmented Lagrangian Method in continuous and discrete time in the LOS Seminar.

Dorel Lucanu (Alexandru Ioan Cuza University of Iași) will give on Thursday, June 22, at 09:00 the talk An Introduction to Alk and its Logical Foundation in the Logic Seminar.

Marian Călborean (University of Bucharest) will give on Thursday, June 16, at 10:00 the talk Reasoning by brute force. Implementing a natural deduction proof calculator with minimal heuristics in the Logic Seminar.

Ruxandra Bălucea and Paul Irofti published the preprint Software Mitigation of RISC-V Spectre Attacks on arXiv.

Laurențiu Leuştean published (in collaboration with Pedro Pinto) the preprint Rates of asymptotic regularity for the alternating Halpern-Mann iteration on arXiv.

Florin Crăciun (Babeş-Bolyai University) will give on Thursday, June 9, at 10:00 the talk A Region Logic for Rust in the Logic Seminar.

Ulrich Kohlenbach (Technische Universität Darmstadt) will give on Wednesday, June 8, at 16:00 the talk Recent Applications of Proof Mining in Optimization and Ergodic Theory in the Logic Seminar.

Bogdan Dumitrescu will give on Tuesday, June 7, 2022 at 14:00 the talk Designing Incoherent Frames in the LOS Seminar.

Miruna Roșca (Bitdefender) will give on Tuesday, May 31, 2022 at 14:00 the talk Byzantine agreement in the LOS Seminar.

Antonio Di Nola (Università degli Studi di Salerno) will give on Thursday, May 26, at 10:00 the talk Non Archimedean Random Variables and Łukasiewicz Logics in the Logic Seminar.

Horațiu Cheval and Laurențiu Leuştean published the paper Quadratic rates of asymptotic regularity for the Tikhonov-Mann iteration in Optimization Methods and Software.

Isabela Drămnesc (West University of Timişoara) will give on Thursday, May 5, at 10:00 the talk Deductive synthesis of sorting algorithms on lists and on binary trees in Theorema in the Logic Seminar.

Paul Irofti, Cristian Rusu and Andrei Pătraşcu published the paper An iterative coordinate descent algorithm to compute sparse low-rank approximations in the Proceedings of 2022 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2022).

Vicenç Puig (Universitat Politècnica de Catalunya) will give on Tuesday, May 3, 2022 at 14:00 the talk Optimization, Safety and Security in Critical Infrastructures in the LOS Seminar.

Andrei Sipoş published the paper On Extracting Variable Herbrand Disjunctions in Studia Logica.

Moritz Müller (Universitat de Barcelona) will give on Thursday, April 14, at 10:00 the talk On the parameterized complexity of $\Delta_0$ truth in the Logic Seminar.

On Tuesday, April 12, 2022 at 14:00 there will be two talks in the LOS Seminar.
Huu Thinh Do (LCIS, Grenoble INP) will give the talk Benefits of differential flatness for optimal profile generation and trackings and Vincent Marguet (LCIS, Grenoble INP) will give the talk Reliable motion planning and coordination for a team of aerial drones.

Adrian Crăciun (West University of Timişoara) will give on Thursday, April 7, at 10:00 the talk Scheme-Based Algorithm Synthesis by Lazy Thinking (a retrospective) in the Logic Seminar.

George Jiroveanu (Siemens Advanta Brașov) will give on Tuesday, April 5, 2022 at 14:00 the talk From local to global consistency in distributed monitoring of Petri Net models in the LOS Seminar.

Denisa Diaconescu (University of Bucharest) will give on Thursday, March 31, at 10:00 the talk A Real-Valued Modal Logic in the Logic Seminar.

Daniel Peptenatu, Aurel Băloi, and Ion Andronache (University of Bucharest) will give on Tuesday, March 29, 2022 at 14:00 the talk A presentation of the Research Center for Integrated Analysis and Territorial Management (CAIMT) in the LOS Seminar.

Horațiu Cheval and Laurențiu Leuştean published (in collaboration with Ulrich Kohlenbach) the preprint On modified Halpern and Tikhonov-Mann iterations on arXiv.

Paulo Oliva (Queen Mary University of London) will give on Thursday, March 24, at 11:00 the talk Kripke Semantics for Intuitionistic Łukasiewicz Logic in the Logic Seminar.

Ana Pantilie (Runtime Verification) will give on Tuesday, March 22, 2022 at 14:00 the talk A general overview of the K Framework's symbolic execution engine in the LOS Seminar. The talk takes place at the Runtime Verification (RV) Bucharest headquarters (Popa Tatu 18).

Elena Burceanu (Bitdefender) will give on Tuesday, March 15, 2022 at 14:00 the talk Self-Supervised Learning in Multi-Task Graphs through Iterative Consensus Shift in the LOS Seminar.

Gabriel Istrate (West University of Timișoara) will give on Thursday, March 10, at 10:00 the talk Towards Game-Theoretic Models of Moral and Other-Regarding Agents in the Logic Seminar.

Florin Stoican will give on Tuesday, March 8, 2022 at 14:00 the talk A mixed-integer MPC with polyhedral potential field cost for collision avoidance in the LOS Seminar.

Antonio Di Nola (Università degli Studi di Salerno) will give on Thursday, March 3, at 10:00 the talk Łukasiewicz Logic and Neural Networks in the Logic Seminar.

Adriana Nicolae (Babeş-Bolyai University) will give on Tuesday, March 1, 2022 at 14:00 the talk Alternating projections and convexity-like properties in the LOS Seminar.

On Thursday, February 24, 2022, at 10:00 there will be a special session of the Logic Seminar dedicated to presentations of students' research projects.

Andrei Arusoaie (Alexandru Ioan Cuza University of Iaşi) will give on Tuesday, February 22, 2022 at 14:00 the talk Certifying Findel derivatives for blockchain in the LOS Seminar.

On Friday, February 18, 2022, at 14:00 there will be a special session of the LOS Seminar dedicated to presentations of students' research projects.

Bogdan Dumitru (University of Bucharest) will give on Thursday, February 17, at 10:00 the talk Notes on abundant elements in union-closed sets in the Logic Seminar.

Traian Şerbănuţă will give on Tuesday, February 15, 2022 at 14:00 the talk Specifying and verifying concurrent programs using the K framework - current status and open problems in the LOS Seminar. The talk takes place at the Runtime Verification (RV) Bucharest headquarters (Popa Tatu 18).

Mircea Dumitru (University of Bucharest and Romanian Academy) will give on Thursday, February 3, 2022 at 10:00 the talk Modal frame incompleteness. An account through second order logic in the Logic Seminar.

Paul Irofti will give on Tuesday, February 1, 2022 at 14:00 the talk Analysis of executables: Designing an emulator a decade ago in the LOS Seminar.

Pedro Pinto (Technische Universität Darmstadt) will give on Thursday, January 27, 2022 at 10:00 the talk Halpern and Mann iterative schemas: A path towards generalization in the Logic Seminar.

Mihai Adamescu (University of Bucharest) will give on Tuesday, January 25, 2022 at 14:00 the talk Interdisciplinarity and transdisciplinary II in the LOS Seminar.

Ştefan Ciobâcă (Alexandru Ioan Cuza University of Iaşi) will give on Thursday, January 20, 2022 at 10:00 the talk Verifying the Conversion into CNF in Dafny in the Logic Seminar.

Claudia Chiriță will give on Tuesday, January 18, 2021 at 14:00 the talk The mysterious case of a waning algebraic specification in the LOS Seminar.

Cristian Rusu obtained a Fulbright Fellowship at North Carolina State University for the period February 1, 2022 - July 31, 2022. His project is related to the advancement of efficient computational methods in modern telecommunication systems.

Cristian Rusu published (in collaboration with Lorenzo Rosasco) the paper Fast approximation of orthogonal matrices and application to PCA in Signal Processing.

Claudia Chiriță will give on Thursday, January 13, 2022 at 10:00 the talk A short story on logics with typed modalities in the Logic Seminar.

Cristian Rusu published the paper An iterative coordinate descent algorithm to compute sparse low-rank approximations in IEEE Signal Processing Letters.

Paul Irofti, Cristian Rusu and Andrei Pătraşcu published the preprint Dictionary Learning with Uniform Sparse Representations for Anomaly Detection on arXiv.

Grigore Roşu (University of Illinois at Urbana Champaign and Runtime Verificarion) will give on Tuesday, January 9, 2022 at 14:00 the talk Matching Logic: The Foundation of the K Framework in the LOS seminar.