Fri | Dec 09 | 12:00 | Peter Dalakov | Hitchin base: Seiberg-Witten differentials and their derivatives | |

Fri | Dec 09 | 11:00 | Veselin Filev | AdS/CFT Correspondence, Metropolis-Hastings algorithm and Generative Adversarial Networks | |

Fri | Dec 02 | 11:00 | Dimitrinka Vladeva | Derivations of upper triangular matrix rings vs Derivations of upper triangular matrix semirings | |

Fri | Nov 25 | 11:00 | Roussanka Loukanova | Logic Operators and Quantifiers in Type-Theory of Algorithms | |

Fri | Oct 28 | 10:00 | Dimitar Guelev | Gabbay Separation for the Duration Calculus | |

Fri | Oct 21 | 10:00 | Jörg Koppitz | Ranks and Presentations for Order-Preserving Transformations with One Fixed Point | |

Fri | Oct 14 | 10:00 | Hristo Iliev | Families of triple coverings of algebraic curves | |

Fri | Sep 16 | 11:00 | Alaa Abouhalaka | Almost Prime Ideal and Almost Prime Radical | |

Fri | Sep 09 | 10:00 | Naijun Zhan | Timing delays in cyber-physical systems | |

Fri | Aug 19 | 10:00 | Hristo Iliev | Examples of non-reduced components of the Hilbert Scheme of smooth projective curves using ruled surfaces | |

Fri | Jul 29 | 10:00 | Petar Iliev | Modal Descriptive Complexity | |

Fri | Jul 01 | 10:00 | Lyubomir Borisov | On the parity of the coefficients of minimal polynomial of Kloosterman sums over F_p | |

Fri | Jun 24 | 10:00 | Roussanka Loukanova | Dependent-Type Theory of Situated Information with Context Assessments | |

Fri | Jun 10 | 13:00 | Plamen Koev | Computing Eigenvectors of Symmetric Tridiagonals with the Correct Number of Sign Changes | |

Fri | May 20 | 13:00 | Ivailo Hartarsky | Bootstrap percolation: merging operations for polytopes | |

Fri | May 13 | 10:00 | Diego García-Lucas | A counterexample to the modular isomorphism problem | |

Fri | Apr 29 | 13:00 | Thiago Castilho de Mello | Images of multilinear polynomials on upper triangular matrices | |

Fri | Apr 15 | 10:00 | Alexander V. Mikhailov | Quantisation of free associative dynamical systems. Bi-quantum structure of the stationary KdV hierarchy. Non-deformation quantisation of the Volterra hierarchy | |

Fri | Apr 01 | 10:00 | Altyngul Naurazbekova | Automorphisms of simple quotients of the Poisson and universal enveloping algebras of $\text{sl}_2$ | |

Fri | Mar 25 | 11:00 | Dimitar Guelev | An Application of Separation in Discrete Time Interval Temporal Logic to Branching Time | |

Fri | Mar 18 | 14:00 | Ece Yetkin Celikel | Absorbing ideal structures of commutative rings | |

Fri | Mar 11 | 12:00 | Carsten Schneider | Multi-summation in difference rings and applications | |

Fri | Feb 25 | 11:00 | Valentin Iliev | On the Degree of Dependence of Two Events as a Relative Invariant of the Dihedral Group of Order 8 | |

Fri | Feb 18 | 14:00 | Vesselin Drensky | The Bulgarian Solitaire and Other Games on Partitions | |

Fri | Feb 11 | 11:00 | Yana Rumenova | Modal definability of some classes of modal products | |

Fri | Jan 28 | 11:00 | Vesselin Drensky | Bicommutative algebras from commutative point of view | |

Fri | Jan 21 | 11:00 | Tatyana Todorova | On the distribution of αp modulo one for primes p=aq^2+1 with prime q | |

Fri | Jan 14 | 13:00 | Ivan Georgiev | On the computational complexity of some representations of irrational numbers | |

Fri | Jan 14 | 12:30 | Yana Rumenova and Tinko Tinchev | Modal definability of some classes of modal products | |

Fri | Jan 14 | 11:40 | Petar Iliev | On the formula-size of the parity function | |

Fri | Jan 14 | 11:10 | Stoyan Mihov and Stefan Gerdzhikov | On Space Bounds for Bimachine Constructions | |

Fri | Jan 14 | 09:30 | Lukasz T. Stepien | On a proof of consistency of Arithmetic System | |

Fri | Jan 14 | 09:00 | Elena Tsvetkova | Difference between material and behavioral implicatures | |

Fri | Jan 14 | 08:30 | Rosen Lutskanov | Defeasible Preference Logic | |

Fri | Jan 07 | 11:00 | Antoni Rangachev | A valuation theorem for Noetherian rings | |

Fri | Dec 03 | 11:30 | Roussanka Loukanova | Restricted Quantification in New Type-Theory of Algorithms | |

Fri | Dec 03 | 11:00 | Dimitar Guelev | A Separation Theorem for Discrete Time Interval Temporal Logic | |

Fri | Nov 26 | 11:00 | Petar Iliev | On a method of proving the non-existence of modal formulae satisfying certain syntactic properties and defining a given class of frames | |

Fri | Nov 19 | 11:00 | Alexey V. Kislitsin | Identities of Vector Spaces and Nonassociative Linear Algebras | |

Fri | Nov 05 | 11:00 | Erkko Lehtonen | Permutation groups and permutation patterns | |

Fri | Oct 29 | 14:00 | Kalina Mincheva | Tropical Geometry and the Commutative Algebra of Semirings | |

Fri | Oct 22 | 11:00 | Peter Danchev | On Some Special Decompositions of Matrices over Fields and Finite Commutative Rings | |

Fri | Sep 17 | 08:00 | George Shabat | Dessins d’enfants and moduli spaces of curves | |

Fri | Jul 16 | 10:00 | Stefan Dantchev | Proof Complexity of Resolution over linear inequalities | |

Fri | Jul 09 | 10:00 | Greta Panova | The mysterious Kronecker coefficients of the Symmetric group | |

Fri | Jul 02 | 10:00 | Natalia Iyudu | Noncommutative Poisson structures, Hochschild type complexes and Gröbner bases theory | |

Fri | Jun 25 | 08:00 | Arkadii Slinko | Framing in secret sharing | |

Fri | Jun 18 | 10:00 | Bogdana Oliynik | Primary decompositions of unital locally matrix algebras and Steinitz numbers | |

Fri | Jun 11 | 10:00 | Lyubomir Borissov | Distinctness of the “lifted” Kloosterman sums over the prime field F_p | |

Fri | Jun 04 | 10:00 | Michael Vaughan-Lee | Schur’s exponent conjecture | |

Fri | May 28 | 10:00 | Ilinka Dimitrova | Ranks of Monoids of Endomorphisms, Partial Automorphisms and Injective Partial Endomorphisms of a Finite Undirected Path | |

Fri | May 21 | 13:00 | Ednei Aparecido Santulo Jr. | Group gradings on incidence algebras | |

Fri | May 14 | 10:00 | Vesselin Drensky | Non-finitely based and limit varieties of algebraic systems | |

Fri | May 07 | 10:00 | Valentin Iliev | On the Degree of Dependence of Two Events | |

Thu | Apr 29 | 12:00 | Peter Danchev | Commutative Group Rings and Abelian Groups | |

Fri | Apr 23 | 13:00 | Alexandr Zubkov | On Krull dimension of Noetherian super-rings | |

Fri | Apr 16 | 13:00 | Veselin Filev | The Holographic Principle – Motivation and Applications | |

Fri | Apr 09 | 10:00 | Ivan Penkov | Universal tensor categories and “algebraic functional analysis” | |

Fri | Mar 26 | 11:00 | Dimitar Guelev | Some axioms about rationality in infinite concurrent multiplayer games with ordered objectives and temporary coalitions in QCTL* | |

Fri | Mar 19 | 14:00 | Andreas Weiermann | Some applications of transfinite numbers to algebra and some applications of number theory to transfinite numbers | |

Fri | Mar 12 | 14:30 | Ljudmila Kamenova | Algebraic Non-hyperbolicity of Hyperkähler Manifolds | |

Fri | Mar 05 | 14:00 | Dessislava Kochloukova | Finite presentability for metabelian groups, Lie algebras and restricted Lie algebras | |

Fri | Feb 26 | 11:00 | Hristo Ganchev | Enumeration Reducibility: 60 years of investigation | |

Fri | Feb 19 | 11:00 | Jose Brox | Identities in Prime Rings | |

Fri | Feb 12 | 14:00 | Leonid Makar-Limanov | On the Newton polytope of a Jacobian pair | |

Fri | Feb 05 | 11:00 | Roussanka Loukanova | Reduction Calculus of Type-Theory of Acyclic Algorithms, II | |

Fri | Jan 29 | 11:00 | Roussanka Loukanova | Reduction Calculus of Type-Theory of Acyclic Algorithms | |

Fri | Jan 15 | 14:40 | Dimitar P. Guelev | Temporary Coalitions and Preference in Quantified Computation Tree Logic | |

Fri | Jan 15 | 14:10 | Ivan Chipchakov | Open Problems on Field Extensions of Finite Transcendency Degree and the PAC Property | |

Fri | Jan 15 | 13:30 | Petar Iliev | Why Philosophers and Logicians Should Learn More about Computational Complexity | |

Fri | Jan 15 | 12:50 | Vesselin Drensky | Computational Complexity and Decision Problems in Algebra | |

Fri | Jan 15 | 11:40 | Dimitar Vakarelov | Point-free Theories of Space and Time | |

Fri | Jan 15 | 11:25 | Jean-Yves Beziau | Official Address | |

Fri | Jan 15 | 10:10 | Alexandra Soskova | Effective Coding and Decoding in Classes of Structures | |

Fri | Jan 15 | 09:40 | Rosen Lutskanov | Binary Decision Diagrams for Rational Choice | |

Fri | Jan 15 | 09:00 | Elena Tsvetkova | Explanation of the Conversation Implicatures with the Graded Salience Hypothesis | |

Fri | Jan 15 | 08:30 | Doroteya Angelova | Some Solutions of Sorites Paradoxes | |

Fri | Jan 15 | 08:00 | Martin Tabakov | Challenges of Contemporary Logic to Philosophy | |

Fri | Jan 08 | 11:00 | Dimitrinka Vladeva | Derivations in matrix semirings | |

Fri | Dec 18 | 15:45 | Dimitar Guelev | Strategy Profiles and a Vocabulary for Solving Infinite Concurrent Games with Temporary Coalitions in QCTL* | |

Fri | Dec 18 | 15:15 | Valentin Goranko | Rational coordination in Pure Win-Lose Coordination Games | |

Fri | Dec 18 | 14:55 | Roussanka Loukanova | Type-Theory of Parametric Algorithms | |

Fri | Dec 18 | 14:30 | Tatyana Ivanova | Contact join-semilattices | |

Fri | Dec 18 | 14:00 | Valentin Iliev | The Uncertainty Principle for Screening Tests | |

Fri | Dec 18 | 13:05 | Dimiter Dobrev | Language for Description of Worlds | |

Fri | Dec 18 | 12:50 | Vilislav Buchackchiev | Forecasting of the Bulgarian House price index using some macroeconomic indicators | |

Fri | Dec 18 | 12:25 | Hristo Iliev | Families of curves on ruled surfaces and applications to the Hilbert scheme of curves | |

Fri | Dec 18 | 11:55 | Veselin Filev | Holographic Berkooz-Douglas Matrix Model at Finite Temperature | |

Fri | Dec 18 | 11:30 | Elitza Hristova | Regularity of algebras of $O(n)$-invariants using Hilbert series | |

Fri | Dec 18 | 11:00 | Vladimir S. Gerdjikov | Recursion operators and the hierarchies of MKdV equations related to $D_4^{(1)}$, $D_4^{(2)}$ and $D_4^{(3)}$ Kac-Moody algebras | |

Fri | Dec 18 | 10:15 | Dimitrinka Vladeva | Derivations of skew Ore polynomial semirings | |

Fri | Dec 18 | 09:55 | Jörg Koppitz | The generators of the semigroup of all transformations preserving a crown | |

Fri | Dec 18 | 09:20 | Tatiana Gateva-Ivanova | Associative algebras and Lie algebras defined by Lyndon words | |

Fri | Dec 18 | 08:55 | Ivan Chipchakov | Fields of dimension one, normal over a global or local field | |

Fri | Dec 18 | 08:20 | Vassil Kanev | Hurwitz modular varieties parametrizing coverings with fixed monodromy group | |

Fri | Dec 18 | 07:50 | Vesselin Drensky | New examples of fundamental algebras (joint project with Luisa Carini, University of Messina, Italy) | |

Tue | Dec 15 | 13:00 | Denjoe O'Connor | Hagedorn transitions in Matrix Membranes | |

Fri | Dec 11 | 11:00 | Silvia Boumova | Margarete Wolf, Symmetric Polynomials in Noncommuting Variables and Noncommutative Invariant Theory | |

Fri | Dec 04 | 11:00 | Mikhail Zaicev | Polynomial identities:anomalies of codimension growth | |