|
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
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 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)
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
Non-finitely
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 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
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
Non-hyperbolicity 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
Makar-Limanov (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
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
|
|