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.