Institute of Mathematics and Informatics

Съвместен семинар на секции ММЧА и МОИ
2023-01-05 15:00 - 16:30 (Europe/Sofia) | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
На 05.01.2023 г. (четвъртък), 15:00 в зала 403 на ИМИ
ще се състои съвместен семинар на секциите
Математическо моделиране и числен анализ
и
Математически основи на информатиката.
Доклад на тема
Universal extrema of potentials of certain classes of spherical designs
ще изнесе проф. Сергей Бородачьов, Towson University.
Abstract: We will discuss known results and our work on locations of absolute minima and maxima of the total potential of N points located on a higher-dimensional sphere that form a spherical design of the highest (in some sense) strength. The potential is a completely monotone function of the Euclidean distance squared. These results apply to a quite extensive list of particular spherical configurations. For power-law potentials and vertices of a regular polygon, regular simplex, cube, and cross-polytope, this problem was earlier solved in the papers by Stolarsky, Nikolov, and Rafailov.

Семинар на секция "Математически основи на информатиката"
2022-09-19 14:00 - 15:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
На 19 септември 2022 г. от 14:00 в Заседателната зала на ИМИ – БАН ще се проведе заседание на семинара на секция „Математически основи на информатиката” с доклад на тема
On the minimal sum of edges in a signed edge-dominated graph
Докладчик ще бъде д-р Данила Черкашин.
Абстракт
Поканени са всички желаещи.

Семинар на секция “Математически основи на информатиката”
2022-06-10 14:00 - 15:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
На 10 юни 2022 г. (петък) от 14:00 часа в заседателната зала на ИМИ
ще се проведе предзащита на дисертация
за присъждане на образователна и научна степен “доктор”
в професионално направление: 4.5. Математика,
научна специалност: 01.01.02. Алгебра и теория на числата.

на
Паскал Николаев Пиперков
докторант в секция МОИ на ИМИ-БАН

Тема на дисертацията:
Дискретни трансформации и приложението им в теория на кодирането и комбинаториката

Научен ръководител: проф. дмн Илия Буюклиев
За онлайн участие (Zoom):
https://us02web.zoom.us/j/84701255174?pwd=[REDACTED]
Meeting ID: 847 0125 5174, Passcode: [REDACTED]

Семинар на секция “Математически основи на информатиката”
2022-06-10 13:00 - 14:00 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
На 10 юни 2022 г. (петък) от 13:00 часа в заседателната зала на ИМИ
ще се проведе заседание на семинара на секция МОИ.

Доклад за зачисляване в докторантура на тема:
Sperner‘s Theorem, Voting Theory, Balancing the Graph System, Strong and Weak Subsets of the Multiset
ще изнесе Степан Тарасенко, Киевски политехнически институт.

За онлайн участие (Zoom):
https://us02web.zoom.us/j/84701255174?pwd=[REDACTED]

Meeting ID: 847 0125 5174, Passcode: [REDACTED]

Семинар на секция “Математически основи на информатиката”
2022-01-27 14:00 - 15:30 | Zoom
Семинарът по
„МАТЕМАТИЧЕСКИ ОСНОВИ НА ИНФОРМАТИКАТА“
организиран от
Секция „Математически основи на информатиката“ към ИМИ – БАН,
Факултет „Математика и информатика“ – ВТУ
Ви кани на поредната си сбирка, на която
Константин Воробьов,

постдокторант в секция МОИ на ИМИ – БАН,
ще изнесе доклад на тема:
Binary codes with two distances
Резюме: In this work, we prove two conjectures from a paper on two distance codes by Boyvalenkov, Delchev, Zinoviev and Zinoviev (Discrete Math., 344(5), 112318, https://doi.org/10.1016/j. disc.2021.112318). We also prove several new upper and lower bounds on A_2(n,d1,d2) (i.e. the maximal cardinality of a binary code of length n with distances d1 < d2) and provide new constructions for binary codes with two distances.
This is a joint work with Ivan Landjev and Assia Rousseva.
Семинарът ще се проведе на 27 януари 2022 г. от 14:00 часа

Join Zoom Meeting:
https://us02web.zoom.us/j/84134515819?pwd=[REDACTED]

Семинар на секция “Математически основи на информатиката”
2021-03-30 18:00 - 19:30 | Zoom
Секция „МАТЕМАТИЧЕСКИ ОСНОВИ НА ИНФОРМАТИКАТА“
организира семинар по проект
„Стратегии за подобряване на качеството на моделите, намерени от алгоритми за машинно обучение с приложение към квантовата томография“.
Доклад ще изнесат:
Виолета Иванова-Ролинг и Никлас Ролинг
на тема:
Quantum state tomography as a numerical optimization problem
Абстракт: We present a framework that formulates the quest for the most efficient quantum state tomography scheme as an optimization problem which can be solved numerically. This approach can be applied to a broad spectrum of relevant setups including measurements restricted to a subsystem. To illustrate the power of this method we present results for the six-dimensional Hilbert space constituted by a qubit-qutrit system, which could be realized e.g. by the N-14 nuclear spin-1 and two electronic spin states of a nitrogen-vacancy center in diamond. Measurements of the qubit subsystem are expressed by projectors of rank three, i.e., projectors on half-dimensional subspaces. For systems consisting only of qubits, it was shown analytically that a set of projectors on half-dimensional subspaces can be arranged in an informationally optimal fashion for quantum state tomography, thus forming so-called mutually unbiased subspaces. Our method goes beyond qubits-only systems and we find that in dimension six such a set of mutually-unbiased subspaces can be approximated with a deviation irrelevant for practical applications.
Семинарът ще се проведе на 30 март (вторник) 2021 г. от 18:00 часа онлайн чрез Zoom.
Join Zoom Meeting
https://us02web.zoom.us/j/89537593729?pwd=[REDACTED]
Meeting ID: 895 3759 3729
Passcode: [REDACTED]

Семинар "Алгебрични и геометрични методи за защита на данни"
2021-02-09 11:00 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Секция МАТЕМАТИЧЕСКИ ОСНОВИ НА ИНФОРМАТИКАТА
организира семинар по проект Алгебрични и геометрични методи за защита на данни, KП-06-Н32/2-2019
Доклади ще изнесат:
Паскал Пиперков, докторант, ИМИ – БАН
тема:
Приложения на дискретни трансформации за пресмятане параметри на линеен код над съставно крайно поле
Абстракт: Дискретните трансформации се свеждат до умножение на вектор с трансформационна матрица. В доклада са разгледани няколко дискретни трансформации, обобщения на трансформацията на Уолш-Адамар, приложени специфично за пресмятане на основни параметри на линеен код. Чрез следата някои разсъждения са сведени към простото подполе. Предложени са редуцирани трансформации, осигуряващи ефективност на изчисленията и спестяване на памет. Показана е връзката между разгледаните трансформации.
Любомир Борисов, ИМИ – БАН
тема:
An efficient algorithm for computing the parity of order of elliptic curves over Fp
Абстракт: In cryptographic applications it is desirable to employ elliptic curves of very large prime order to keep the security on a highest possible level. There is an efficient algorithm which computes the order of a given elliptic curve of general type [1]. To our knowledge the complexity of that algorithm is O(log8 q) where q is the employed field order (although there are improvements like the SEA (Schoof-Elkies-Atkins) algorithm of lower complexity). After computing the order of such a curve, an appropriate efficient primality test will decide whether this order is prime. However, it might be advantageous in some situations (especially when carrying out a random search for suitable curves) to apply a faster preliminary test, e.g. such that determines the parity of their order without actually computing it. In this work, we establish some results in the aforesaid direction, proposing finally an algorithm for finding out the parity of order whose complexity is O(log3 p) for curves over Fp. The algorithm is based on criteria for irreducibility of cubic polynomials due to L. E. Dickson [2].
REFERENCES
[1] R. Schoof, ”Counting points on elliptic curves over finite fields”, Journal de theorie des nombres de Bordeaux ´ , vol. 7(1), pp. 219–254, 1995.
[2] L. E. Dickson, ”Criteria for the irreducibility of functions in a finite field”, Bull. Amer. Math. Soc., vol. 13(1), pp. 1–8, 1906.
Семинарът ще се проведе на 09 февруари (вторник) 2021 г. от 11:00 часа в зала 578, ИМИ.
За онлайн участие:
https://us02web.zoom.us/j/85138863398?pwd=[REDACTED]
Meeting ID: 851 3886 3398
Passcode: [REDACTED]

Семинар на секция "Математически основи на информатиката"
2020-01-16 14:30 - 15:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Секция “Математически основи на информатиката” към ИМИ – БАН,
Ви кани на поредната сбирка на семинара си, на която
Мария Пашинска,
секция МОИ, ИМИ-БАН,
ще изнесе доклад на тема:
Алгоритмична реализация на AES.
Семинарът ще се проведе на 16 януари 2020 г. от 14:00 часа в ИМИ – Велико Търново.

Семинар на секция "Математически основи на информатиката"
2019-10-23 14:30 - 15:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Секция “Математически основи на информатиката” към ИМИ – БАН,
Ви кани на поредната сбирка на семинара си, на която
Светлана Топалова,
ИМИ-БАН,
ще изнесе доклад на тема:
Паралелна реализация на търсене с връщане.
Семинарът ще се проведе на 23 октомври 2019 г. от 14:30 часа в ИМИ – Велико Търново.

Семинар на секция "Математически основи на информатиката"
2019-10-11 14:00 - 15:00 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Секция “Математически основи на информатиката” към ИМИ – БАН,
Ви кани на поредната сбирка на семинара си, на която
Gyula Katona,
MTA Renyi Institute, Budapest, Hungary,
ще изнесе доклад на тема:
The domination number of the graph defined by two levels of the n-cube.
Резюме
Семинарът ще се проведе на 11 октомври 2019 г. от 14:00 часа в зала 503 на ИМИ-БАН.

Семинар на секция "Математически основи на информатиката"
2019-09-17 14:00 - 15:00 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Секция “Математически основи на информатиката” към ИМИ – БАН,
Ви кани на поредната сбирка на семинара си, на която
Grigory Kabatiansky,
Skolkovo Institute of Science and Technology,
ще изнесе доклад на тема:
On combinatorics of tracing traitors codes.
Резюме. Tracing traitors codes were invented by Chor, Fiat and Naor 25 years ago. Later these codes were renamed as IPP-codes (codes with the identifiable parent property). It is an interesting combinatorial object related to separating codes, cover-free family of sets and error-correcting codes also. I’ll discuss some known results as well as open problems.
Семинарът ще се проведе на 17 септември 2019 г. от 14:00 часа в зала 503 на ИМИ-БАН.

Семинар на секция "Математически основи на информатиката"
2019-07-04 14:00 - 15:00 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Секция “Математически основи на информатиката” към ИМИ – БАН,
Ви кани на поредната сбирка на семинара си, на която
Лилия Кралева, Catholic University of Leuven, ще изнесе доклад на тема:
Rotation cryptanalysis on Chaskey.
Резюме. Rotational cryptanalysis is a probabilistic technique mainly used over ARX cryptographic structures. After encryption, if the outputs also form a rotational pair with probability more than for a random permutation we can use that as a distinguisher. Chaskey is a lightweight MAC algorithm for 32-bit microcontrollers. Its underlying block cipher has a permutation using only XOR, rotation and modular addition as operations. We perform a related key attack over Chaskey and find a distinguisher by using rotational probabilities. Having a message we can forge and present a valid tag for that message with probability 2^{-64} for 8 rounds of the permutation.
Семинарът ще се проведе на 4 юли 2019 г. от 15:00 часа в зала 503 на ИМИ-БАН.

Семинар на секция "Математически основи на информатиката"
2019-04-12 14:00 - 16:00 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Секция “Математически основи на информатиката” към ИМИ – БАН,
Ви кани на поредната сбирка на семинара си, на която
Петър Драгнев, Purdue University Fort Wayne, ще изнесе доклад на тема:
Quadrature Domains and Equilibrium on the Spherе.
Резюме. Consider the unit sphere as a conductor, and place a unit charge on it which is free to redistribute into the configuration of lowest possible logarithmic energy. Then place finitely many point charges onto the sphere to constitute an external field. In the presence of this external field, what is the support of the new equilibrium configuration of the initial unit charge? We’ll show that the answer involves planar quadrature domains.
Семинарът ще се проведе на 12 април 2019 г. от 14:00 часа в зала 503 на ИМИ-БАН.

Семинар на секция "Математически основи на информатиката"
2019-02-12 14:00 - 16:00 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Секция “Математически основи на информатиката” към ИМИ – БАН,
Ви кани на поредната сбирка на семинара си, на която
Тодорка Александрова, ИМИ-БАН, ще изнесе доклад на тема:
A study on (t,n) threshold secret sharing schemes based on the generalized vector space construction.
Семинарът ще се проведе на 12 февруари 2019 г. от 14:00 часа в зала 503 на ИМИ-БАН.

Семинар на секция "Математически основи на информатиката"
2018-07-19 15:00 - 17:00 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Семинар
МАТЕМАТИЧЕСКИ ОСНОВИ НА ИНФОРМАТИКАТА
На 19.07.2018 г. от 15:00 часа в Зала 503 на ИМИ-БАН ще се проведе поредната сбирка на семинара, организиран от секция МОИ и Факултет “Математика и информатика” – ВТУ.
Ще бъде изнесен доклад на тема:
Bitcoin Basics and Beyond
от Мирослав Марков.
Поканват се всички желаещи.

Семинар на секция "Математически основи на информатиката"
2018-07-05 15:30 - 17:00 | Великотърновски университет, ул. "Теодосий Търновски" № 2, Велико Търново, 5005, Bulgaria
Семинар
МАТЕМАТИЧЕСКИ ОСНОВИ НА ИНФОРМАТИКАТА
На 05.07.2018 г. от 15:30 часа в аудитория “Джон Атанасов” (102) на ВТУ ще се проведе поредната сбирка на семинара, организиран от секция МОИ и Факултет “Математика и информатика” – ВТУ.
Ще бъде изнесен доклад на тема:
Truth-Seeking in the Age of Disinformation
от Преслав Наков, Senior Scientist at the Qatar Computing Research Institute.
Поканват се всички желаещи.
Резюме. Given the constantly growing proliferation of false claims online in recent years, there has been also a growing research interest in automatically distinguishing false rumors from factually-true claims. In this talk, I will present several related problems. First, in the context of investigative journalism, I will address the problem of automatically identifying which claims in a political debate are most worthy and should be prioritized for fact-checking (QCRI’s ClaimRank tool: http://claimrank.qcri.org/). I will then present a general-purpose deep learning framework for fully-automatic fact-checking using external sources, which taps the potential of the entire Web as a knowledge source to confirm or reject a claim. I will further extend this framework to the context of community question answering, where the goal is to decide whether an answer to a factual question is factually true or false. I will also describe an application of this framework to the problem of fake news and clickbait detection, presenting the architecture of a system that won the 2017 hackaton on this problem, organized by the Data Science Society. I will further cover some related problems such as stance detection, news source reliability, bias and propaganda detection, as well as finding seminar users and opinion manipulation trolls in news community fora.

Семинар на секция "Математически основи на информатиката"
2018-06-14 15:00 - 17:00 | Великотърновски университет, ул. "Теодосий Търновски" № 2, Велико Търново, 5005, Bulgaria
На 14.06.2018 г. от 15.00 часа в аудитория “Джон Атанасов” на Великотърновския университет ще се проведе поредната сбирка на семинара, организиран от секция “Математически основи на информатиката” и Факултет “Математика и информатика” – ВТУ.
Ще бъдат изнесени два доклада на следните теми:
Паралелна реализация на алгоритми, отнасящи се до изоморфизъм на комбинаторни структури
и
Възможности на системите за компютърна математика за реализация на криптоалгоритми,
съответно от Мария Пашинска , ВТУ, и Борислав Анчев, ВТУ.

Поканват се всички желаещи.

Семинар на секция "Математически основи на информатиката"
2017-11-28 16:00 - 18:00 | Великотърновски университет, ул. "Теодосий Търновски" № 2, Велико Търново, 5005, Bulgaria
Семинар
МАТЕМАТИЧЕСКИ ОСНОВИ НА ИНФОРМАТИКАТА

На 28.11.2017 г. от 16:00 часа в аудитория “Джон Атанасов” на ВТУ ще се проведе поредната сбирка на семинара, организиран от секция МОИ и Факултет “Математика и информатика” – ВТУ.
Ще бъдат изнесени два доклада на следните теми:
Oblivious Transfer in Hamming distance computation
и
Simplest Oblivious Transfer Protocol in Python
съответно от Любомир Филипов, ВТУ, и Александра Стоянова, Университет “Гоце Делчев”, Щип.
Поканват се всички желаещи.

Семинар на секция "Математически основи на информатиката"
2017-11-10 15:30 - 17:00 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Семинар
МАТЕМАТИЧЕСКИ ОСНОВИ НА ИНФОРМАТИКАТА
На 10.11.2017 г. от 15.30 часа в аудитория “Джон Атанасов” на ВТУ ще се проведе поредната сбирка на семинара, организиран от секция МОИ и Факултет “Математика и информатика” – ВТУ.
Доклад на тема
Classifying Cubic Surfaces over Small Finite Field
ще изнесе Anton Betten, Colorado State University.
ABSTRACT: This talk will outline some recent results regarding the classi_cation of cubic surfaces with 27 lines over small finite fields by computer. We will discuss several approaches. One approach is associated with the classical theory of Schlaei regarding a double six of lines in projective three-space. Another approach is associated with the blow-up of six general points in a plane. After this, we will present a prolific family of cubic surfaces which exist for all fields of odd order. The generic members of this family are invariant under a symmetric group of degree four semidirect product the automorphism group of the field. The family includes the Clebsch and the Fermat surfaces.
ANTON BETTEN is a leading scientist in the theory of group actions on finite sets and combinatorial objects. He considers applications of combinatorics to coding theory, design theory and finite geometry.
Поканват се всички желаещи.
