
Upcoming
meetings







Past
meetings




December 10, 9:30 am


2021 Annual Report Session of the Department of Algebra and Logic
Program and Slides

December 3


Dimitar Guelev (joint work with Ben Moszkowski)
A Separation Theorem for Discrete Time Interval Temporal Logic
Video, Slides

December 3, 1:30 pm


Roussanka Loukanova
Restricted Quantification in New TypeTheory of Algorithms
Video, Slides

November 26


Petar Iliev (IPSBAS and IMIBAS)
On a method of proving the nonexistence of modal formulae satisfying certain syntactic properties and defining a given class of frames
Video, Slides

November 19


Alexey V. Kislitsin and Ismail M. Isaev (Altai State Pedagogical University, Barnaul, Russia)
Identities of Vector Spaces and Nonassociative Linear Algebras
(The talk will be presented by Alexey V. Kislitsin)
Video, Slides

November 5


Erkko Lehtonen (Universidade Nova de Lisboa, Portugal)
Permutation groups and permutation patterns
Video, Slides

October 29, 5 pm


Kalina Mincheva (Tulane University, New Orleans, USA)
Tropical Geometry and the Commutative Algebra of Semirings
Video, Slides

October 22, 2 pm


Peter Danchev
On Some Special Decompositions of Matrices over Fields and Finite Commutative Rings
Online Seminar via Zoom

September 17, 11 am


George Shabat
(Russian State University for the Humanities and Independent University of
Moscow, Russia)
Dessins
d’enfants and moduli spaces of curves
Video

July 16


Stefan Dantchev
(Durham University, United Kingdom)
Proof
Complexity of Resolution over linear inequalities
Video, Slides

July 09


Greta Panova
(University of Southern California, USA)
The
mysterious Kronecker coefficients of the Symmetric group
Video, Slides

July 02


Natalia Iyudu
(Lancaster University, UK)
Noncommutative Poisson
structures, Hochschild type complexes and Gröbner bases theory
Video

June 25, 11 am


Arkadii Slinko
(The University of Auckland, New Zealand)
Framing
in secret sharing
Video, Slides

June 18


Bogdana Oliynyk
(National University of KyivMohyla Academy, Kyiv, Ukraine)
Primary
decompositions of unital locally matrix algebras and Steinitz numbers
Video, Slides




June 17, 5 pm


Colloquium of
Mathematical Logic of FMISU
Cycle of Popular Lectures "Mathematical Logic in the 21st
Century"
Dimiter
Skordev (Sofia University "St. Kliment Ohridski")
A variant of the system PA: with
exponentiation instead of addition and multiplication
Online Colloquium via Google Meet
Video,
Slides

June 11


Lyubomir Borissov
Distinctness
of the “lifted” Kloosterman sums over the prime field F_p
Online Seminar via Zoom

June 04


Michael
VaughanLee (Oxford University Mathematical Institute, United Kingdom)
Schur's
exponent conjecture
Video,
Slides

May 28


Ilinka Dimitrova
(SouthWest University "Neofit Rilski", Blagoevgrad),
Vitor H. Fernandes (Universidade Nova de Lisboa, Caparica, Portugal),
Jörg Koppitz (Institute of Mathematics and Informatics, Bulgarian
Academy of Sciences),
Teresa M. Quinteiro (Universidade Nova de Lisboa, Caparica, Portugal)
Ranks
of Monoids of Endomorphisms, Partial Automorphisms and Injective Partial
Endomorphisms of a Finite Undirected Path
(The talk will be presented by Ilinka Dimitrova)
Video

May 21, 4
pm


Ednei Aparecido
Santulo Jr (Departamento de Matemática, Universidade Estadual de
Maringá, Paraná, Brazil)
Group
gradings on incidence algebras
Video

May 14


Vesselin Drensky
Nonfinitely
based and limit varieties of algebraic systems
Video, Slides

May 7


Valentin Iliev
On
the Degree of Dependence of Two Events
Video

April 29, 3 pm


Peter Danchev
Commutative
Group Rings and Abelian Groups
Online Seminar via Zoom
Video, Slides

April 23, 4 pm


Alexandr Zubkov
(United Arab Emirates University, Al Ain, UAE and Sobolev Institute of
Mathematics (Omsk branch), Omsk, Russia)
On
Krull dimension of Noetherian superrings
Video, Slides

April 16, 4 pm


Veselin Filev
The
Holographic Principle – Motivation and Applications
Video, Slides

April 9


Ivan Penkov
(Jacobs University Bremen, Germany)
Universal
tensor categories and "algebraic functional analysis"
Video, Presentation

March 26


Dimitar P. Guelev
Some
axioms about rationality in infinite concurrent multiplayer games with
ordered objectives and temporary coalitions in QCTL*
Online Seminar via Zoom

March 19, 4 pm


Andreas Weiermann
(Ghent University, Belgium)
Some
applications of transfinite numbers to algebra and some applications of
number theory to transfinite numbers
Video

March 12,
4:30 pm


Joint meeting of
the Seminar of Algebra and Logic and the Seminar of Analysis, Geometry and
Topology
Ljudmila Kamenova (Stony Brook University, USA)
Algebraic
Nonhyperbolicity of Hyperkähler Manifolds
Video

March 5, 4 pm


Dessislava
Kochloukova (University of Campinas, Brazil)
Finite
presentability for metabelian groups, Lie algebras and restricted Lie
algebras
Video

February 26


Hristo Ganchev
(Faculty of Mathematics and Informatics, Sofia University)
Enumeration
Reducibility: 60 years of investigation
Video, Slides

February 19


Jose Brox (Centre
for Mathematics of the University of Coimbra, Portugal)
Identities in Prime
Rings
Video, Slides

February 12,
4 pm


Leonid
MakarLimanov (Wayne State University, Detroit, USA and Weizmann Institute
of Science, Rehovot, Israel)
On the Newton polytope
of a Jacobian pair
Video

February 5


Roussanka
Loukanova
Reduction Calculus of
TypeTheory of Acyclic Algorithms, II
Online Seminar via Zoom
View Presentation

January 29


Roussanka
Loukanova
Reduction Calculus of
TypeTheory of Acyclic Algorithms, I
Online Seminar via Zoom

January 15, 9:30 am


World Logic Day 2021
Joint Meeting with
the Seminar of the
Department of Mathematical Logic and Its Applications of the Faculty of Mathematics and Informatics
of Sofia University and the Seminar of Logic at the Institute of Philosophy and Sociology of BAS
Online Event via Zoom

January 8


Dimitrinka
Vladeva (University of Forestry, Sofia)
Derivations in matrix
semirings
Online Seminar via Zoom

