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