### New talk in the Logic Seminar

Bruno Dinis (University of Lisbon) will give on
Thursday, May 13, 2021 at 10:00 the talk
**Functional interpretations for nonstandard arithmetic **
in the Logic Seminar.

Bruno Dinis (University of Lisbon) will give on
Thursday, May 13, 2021 at 10:00 the talk
**Functional interpretations for nonstandard arithmetic **
in the Logic Seminar.

Andrei Pătraşcu will give on Tuesday, May 11, 2021 at 14:00 the talk
**On complexity of the first-order algorithms for convex optimization**
in the LOS seminar.

Gabriel Istrate (West University of Timişoara) will give on
Thursday, April 22, 2021 at 10:00 the talk
**Kernelization, Proof Complexity and Social Choice**
in the Logic Seminar.

The Research Center for Logic, Optimization and Security (LOS) was founded in October 2020 by
Laurenţiu Leuştean (head), Paul Irofti and Andrei Pătraşcu.

Our main objective is to stimulate interdisciplinary research in the fields of logic, optimization and security.
We are interested both in fundamental research as well as in industrial applications.

Contact

Hall 317, Faculty of Mathematics and Computer Science,

Academiei 14, 010014 Bucharest, Romania

Email: los@fmi.unibuc.ro

The main goal of this project, called DDNET, is to adapt and propose
new dictionary learning methods for solving untractable
fault detection and isolation problems found in distribution networks.
Given a large dataset of sensor measurements from the distribution network,
the dictionary learning algorithms should be able to produce the subset
of network nodes where faults exist.

The proposed project, called Graphomaly, aims to create a
Python software package for anomaly detection in graphs
that model financial transactions,
with the purpose of discovering fraudulent behavior like money laundering,
illegal networks, tax evasion, scams, etc.
Such a toolbox is necessary in banks, where fraud detection departments
still use mostly human experts.

StOpAnomaly aims to create, analyze and implement numerical optimization algorithms for large-scale optimization focusing on robust anomaly detection models based on decomposition and one-class classification. The research will be directed towards development of a toolbox containing scalable stochastic algorithms that can be used to detect several classes of anomalies in noisy large datasets.

Scientific seminars organized by LOS members

The working seminar of the LOS research center.

The logic seminar features talks on mathematical logic, philosophical logic and logical aspects of computer science.

The Cyber-security seminar brings together academic and industry folk to discuss hot topics in the field ranging from operating systems, static and dynamic analysis of executables to fraud detection and security centric machine learning techniques.

- A. Sipoş, Rates of metastability for iterations
on the unit interval, Journal of Mathematical Analysis and Applications 502, 125235 (2021),

DOI: https://doi.org/10.1016/j.jmaa.2021.125235. - A. Sipoş, Revisiting jointly firmly nonexpansive
families of mappings, Optimization (2021),

DOI: 10.1080/02331934.2021.1915312. - L. Leuştean, P. Pinto,
Quantitative results on a Halpern-type proximal point algorithm,
Computational Optimization and Applications 79, 101–125 (2021),

DOI: https://doi.org/10.1007/s10589-021-00263-w. - A. Pătraşcu, P. Irofti,
Stochastic proximal splitting algorithm for composite minimization,
Optimization Letters (2021),

DOI: https://doi.org/10.1007/s11590-021-01702-7. - C. Rusu, P. Irofti, Efficient and Parallel Separable Dictionary Learning, arXiv:2007.03800 [cs.LG] (2020).