The 10th Anniversary Year of the
Seminar of Algebra and Logic
Department of Algebra and Logic, IMI/BAS

Usual time: Fridays, 1 pm. Usual location (for non-online meetings): room 578, IMI/BAS



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 Type-Theory of Algorithms
Video, Slides

November 26


Petar Iliev (IPS-BAS and IMI-BAS)
On a method of proving the non-existence 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

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

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 Kyiv-Mohyla Academy, Kyiv, Ukraine)
Primary decompositions of unital locally matrix algebras and Steinitz numbers
Video, Slides

June 17, 5 pm


Colloquium of Mathematical Logic of FMI-SU
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 Vaughan-Lee (Oxford University Mathematical Institute, United Kingdom)
Schur's exponent conjecture
Video, Slides

May 28


Ilinka Dimitrova (South-West 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)

May 21, 4 pm


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

May 14


Vesselin Drensky
Non-finitely based and limit varieties of algebraic systems
Video, Slides

May 7


Valentin Iliev
On the Degree of Dependence of Two Events

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 super-rings
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

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 Non-hyperbolicity of Hyperkähler Manifolds

March 5, 4 pm


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

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 Makar-Limanov (Wayne State University, Detroit, USA and Weizmann Institute of Science, Rehovot, Israel)
On the Newton polytope of a Jacobian pair

February 5


Roussanka Loukanova
Reduction Calculus of Type-Theory of Acyclic Algorithms, II
Online Seminar via Zoom
View Presentation

January 29


Roussanka Loukanova
Reduction Calculus of Type-Theory 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



Meetings in 2020


Meetings in 2019


Meetings in 2018


Meetings in 2017


Meetings in 2016


Meetings in 2015


Meetings in 2014

Meetings in 2013

Meetings in 2012

Meetings in 2011


Latest update: December 13, 2021.

Department of Algebra and Logic, IMI/BAS

Page maintained by Elitza Hristova, Dimitar P. Guelev.