New talk 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.

New arXiv preprint

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.

Participation by LOS members at SecITC 2023

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.

New talk in the Logic Seminar

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.

New talk in the LOS 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.

Invited talks by LOS members at MFO

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.

New paper in IEEE Transactions on Control Systems Technology

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.

New talk in the annual conference for communication of research results at UB

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.

New talk in the LOS Seminar

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.

New talk in the Logic 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.

New arXiv preprint

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

New arXiv preprint

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

New arXiv preprint

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

New talk in the Logic Seminar

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.

New talk 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.

New talk 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.

New paper in Mathematical Logic Quarterly

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

New talk in the Logic Seminar

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.

New talk 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.

New paper in Optimization Letters

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.

New talk in the Proof Mining Seminar

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.

New talk in the LOS 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.

New talk in the Logic 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.

New arXiv preprint

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

New arXiv preprint

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.

New paper in Journal of Optimization Theory and Applications

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.

New arXiv preprint

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

New talk in the Logic Seminar

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

New arXiv preprint

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

New talk in the Logic Seminar

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

New talk 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.

New talk 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.

New talk in the LOS 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.

New talk in the Logic 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.

New talk in the Proof Mining 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.

New talk in the LOS 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.

New talk in the Logic 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.

New talk in the LOS 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.

New talk in the Logic 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.

New paper in Bulletin Mathématique

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.

New talk in the Logic Seminar

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.

New talk 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.

New arXiv preprint

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

New talk in the Logic Seminar

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.

New talk in the LOS 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.

New arXiv preprint

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

New paper in Applied Mathematics Letters

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

New paper in Computational Optimization and Applications

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

New talk in the Logic Seminar

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.

New talk 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.

New talk in the Proof Mining 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.

New talk 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.

New talk 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.

New talk in the LOS 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.

New talk in the Logic 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.

New talk 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.

New arXiv preprint

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

New arXiv preprint

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

New talk in the Logic Seminar

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.

First talk in the Proof Mining 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.

New talk in the LOS Seminar

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

New talk 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.

New talk in the Logic 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.

New paper in Optimization Methods and Software

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.

New talk in the Logic Seminar

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.

New paper in Proceedings of ICASSP 2022

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).

New talk in the LOS Seminar

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.

New paper in Studia Logica

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

New talk in the Logic Seminar

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.

New talk in the LOS 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**.

New talk in the Logic Seminar

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.

New talk in the LOS 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.

New talk in the Logic 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.

New talk in the LOS 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.

New arXiv preprint

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.

New talk in the Logic Seminar

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.

New talk in the LOS 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).

New talk in the LOS Seminar

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.

New talk in the Logic 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.

New talk in the LOS 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.

New talk in the Logic 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.

New talk in the LOS 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.

Special session of the Logic 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.

New talk in the LOS Seminar

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.

Special session of 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.

New talk in the Logic Seminar

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.

New talk in the LOS 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).

New talk in the Logic Seminar

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.

New talk in the LOS 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.

New talk in the Logic 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.

New talk in the LOS 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.

New talk in the Logic 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.

New talk in the LOS 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.

Fulbright Fellowship

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.

New paper in Signal Processing

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

New talk in the Logic Seminar

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.

New paper in IEEE Signal Processing Letters

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

New arXiv preprint

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

New talk in the LOS Seminar

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.

Past news