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