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