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


New arXiv preprint

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


New paper in Zeitschrift für Analysis und ihre Anwendunge

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.



New arXiv preprint

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



New arXiv preprint

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



New paper in Mathematics of Computation

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



New talk in the Logic Seminar

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.



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



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




New arXiv preprint

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



New talk in the Logic Seminar

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




New arXiv preprint

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.



New arXiv preprint

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



New talk in the Logic Seminar

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.



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



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



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



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



New arXiv preprint

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.



New talk in the Logic Seminar

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.



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



New paper in Examples and Counterexamples

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




New talk in the Logic Seminar

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.



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



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




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




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