BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Institute of Mathematics and Informatics - ECPv6.0.8//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Institute of Mathematics and Informatics
X-ORIGINAL-URL:https://math.bas.bg
X-WR-CALDESC:Събития за Institute of Mathematics and Informatics
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Sofia
BEGIN:DAYLIGHT
TZOFFSETFROM:+0200
TZOFFSETTO:+0300
TZNAME:EEST
DTSTART:20230326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0300
TZOFFSETTO:+0200
TZNAME:EET
DTSTART:20231029T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20231103T130000
DTEND;TZID=Europe/Sofia:20231103T143000
DTSTAMP:20260420T005253
CREATED:20231026T161427Z
LAST-MODIFIED:20231026T161427Z
UID:15287-1699016400-1699021800@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 3 ноември 2023 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. \nДоклад на тема: \nA Reduction of Temporary Coalitions in Infinite Multiplayer Games\nще изнесе Димитър Гелев. \nАбстракт. We propose a transformation of Concurrent Game Models which enables the reduction of infinite multiplayer games where players can form temporary coalitions to games with no coalitions by extending moves to include the negotiation steps that lead to the formation of coalitions. We adopt conditional promises as the building blocks of negotiation. Temporary coalitions and their agendas arise as the logical consequences of mutual promises. The transformation enables the use of established solution concepts about games with no coalitions for the analysis of games with temporary coalitions. \n\nЛинк към Zoom-стаята на семинара:\nhttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 \n\n\n\n\nОт секция „Алгебра и логика” на ИМИ – БАН\nhttp://www.math.bas.bg/algebra/seminarAiL/\n============================== =====================
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b0%d0%bb%d0%b3%d0%b5%d0%b1%d1%80%d0%b0-%d0%b8-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0-104/
LOCATION:Zoom
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%20%D0%B8%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20231110T130000
DTEND;TZID=Europe/Sofia:20231110T143000
DTSTAMP:20260420T005253
CREATED:20231106T101108Z
LAST-MODIFIED:20231106T101108Z
UID:15351-1699621200-1699626600@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 10 ноември 2023 г. (петък) от 13:00 часа ще се проведе хибридно заседание (присъствено в зала 578 на ИМИ-БАН и онлайн чрез платформата zoom) на семинара по „Алгебра и логика”. \nДоклад на тема: \nTransfinite version of the Mittag-Leffler condition for the vanishing of the derived limit\nще изнесе \nMishel Carelli (Technion – Israel Institute of Technology\, Israel). \nАбстракт. We give a necessary and sufficient condition for an inverse sequence  S0 ← S1 ← . . . indexed by natural numbers to have lim¹S = 0. This condition can be treated as a transfinite version of the Mittag-Leffler condition. We consider inverse sequences in the category of abelian groups. We also show that the class of inverse sequences S such that lim S = lim¹S = 0 is the least class of inverse sequences containing the trivial inverse sequence and closed with respect to small limits and a certain type of extensions. \nЛинк към Zoom-стаята на семинара:\nhttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 \n\n\n\nОт секция „Алгебра и логика” на ИМИ – БАН\nhttp://www.math.bas.bg/algebra/seminarAiL/\n============================== =====================
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b0%d0%bb%d0%b3%d0%b5%d0%b1%d1%80%d0%b0-%d0%b8-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0-105/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%20%D0%B8%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20231117T130000
DTEND;TZID=Europe/Sofia:20231117T143000
DTSTAMP:20260420T005253
CREATED:20231114T182803Z
LAST-MODIFIED:20231114T182803Z
UID:15410-1700226000-1700231400@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 17 ноември 2023 г. (петък) от 13:00 часа ще се проведе хибридно заседание (присъствено в зала 578 на ИМИ-БАН и онлайн чрез платформата zoom) на семинара по „Алгебра и логика”. \nДоклад на тема: \nNoncommutative invariants of dihedral groups\nще изнесе \nБоян Костадинов\, ИМИ – БАН. \nАбстракт. We consider the 2-generated free metabelian associative and Lie algebras over the complex field and the invariants of the dihedral groups of finite order acting on these algebras. In the associative case we find a finite set of generators of the algebra of invariants. In the Lie case\, when the algebra of invariants is not finitely generated\, we give a minimal system of generators of the invariants in the commutator ideal as a module of the algebra of the invariants in the polynomial algebra in two variables. In both associative and Lie cases we compute the Hilbert series of the algebras of invariants.\nThe results are obtained jointly with Vesselin Drensky. \nЛинк към Zoom-стаята на семинара:\nhttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 \n\n\n\nОт секция „Алгебра и логика” на ИМИ – БАН\nhttp://www.math.bas.bg/algebra/seminarAiL/\n============================== =====================
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b0%d0%bb%d0%b3%d0%b5%d0%b1%d1%80%d0%b0-%d0%b8-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0-106/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%20%D0%B8%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20231124T130000
DTEND;TZID=Europe/Sofia:20231124T150000
DTSTAMP:20260420T005253
CREATED:20231120T160634Z
LAST-MODIFIED:20231121T083451Z
UID:15474-1700830800-1700838000@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 24 ноември 2023 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”\, на който ще бъдат изнесени два доклада. \nОт 13:00 ч. Димитринка Владева (ИМИ-БАН) ще изнесе доклад на тема \nCatalan numbers and additively idempotent semirings\nОт 14:00 ч. Русанка Луканова (ИМИ-БАН) ще изнесе доклад на тема \nSemantics of Propositional Attitudes in Type-Theory of Algorithms\n  \nЗаглавие: Catalan numbers and additively idempotent semirings \nАбстракт. The purpose of the present talk is to provide new applications of remarkable Catalan numbers. In Richard Stanley’s book Enumerative Combinatorics\, Volume II (Cambridge University Press) there are many combinatorial objects that are counted by the Catalan numbers as well as applications in graph theory\, Young diagrams\, lattice theory\, real matrices\, real polynomials and so on. We show applications of Catalan numbers in some additively idempotent semirings which appeared in my results in 5 papers published between 2011 and 2023. \nThe set of nilpotent endomorphisms in the endomorphism semiring of a finite chain is a semiring of order (n – 1)th Catalan number and is an ideal in another semiring of order n th Catalan number. The semiring of k th nilpotent endomorphisms\, where 0 ≤ k ≤ n – 1 is of order a product of two Catalan numbers. By complex products of Catalan numbers we describe the roots of arbitrary idempotent of the endomorphism semiring of a finite chain.\nIn an additively idempotent semiring which is a generalization of the endomorphism semiring of a finite chain considered as a simplex we prove that the subsimplex of nilpotent elements is of order (n – 1) th Catalan number and it is closed under derivations which are projections of the simplex to some simplices.\nIn the last paper\, 2023\, we prove that an additively idempotent semiring which is an S0-semialgebra\, where S0 is a commutative additively idempotent semiring\, and with a finite basis of a special type is isomorphic to a matrix semiring. As a consequence we obtain two different semirings of upper triangular matrices over the Boolean semiring\, which are of order (n + 1) th Catalan number.\n\n\nЗаглавие: Semantics of Propositional Attitudes in Type-Theory of Algorithms \nАбстракт. Natural language (NL) is notorious for various kinds of ambiguities.  Among the most difficult ones\, for computational handling of NL\, are expressions with multiple occurrences of quantifiers\, which contribute to quantifier scope ambiguities. Far more difficult for computational linguistics are NL expressions having occurrences of so-called attitude components designating knowledge\, believes\, statements\, and similar semantic information. \nOften\, the syntactic complement of an attitude lexeme is a sentential expression. The sentential complement may have subexpressions that designate semantic information belonging to varying scopes.  Depending on context\, some components can be semantic parts of the attitudinal information\, which is in the scope of the propositional attitude\, or external to it. \nThe first formal representation of NL attitudes was by Montague\, 1973\, along with the quantifier scope ambiguities\, by the notions of extension and intension\, and using extra-syntactic disambiguation of NL expressions. That approach\, while unsatisfactory in important aspects\, was adopted and adapted by some variants of Montague grammars\, for specific purposes. The problem has been largely open\, due to its purely semantic nature and computational difficulties\, without direct syntactic appearance. \nThe semantic phenomena of attitudes include statements in natural language\, including in the domains of mathematical texts and proofs. \nIn this presentation of a recent paper\, I extend the type-theory of algorithms\, to cover algorithmic semantics of some of the major attitude expressions and their semantic underspecification. I provide reduction calculus for deriving semantic specifications in contexts. \n  \n\nЛинк към Zoom-стаята на семинара:\nhttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 \n\n\n\nОт секция „Алгебра и логика” на ИМИ – БАН\nhttp://www.math.bas.bg/algebra/seminarAiL/\n============================== =====================
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b0%d0%bb%d0%b3%d0%b5%d0%b1%d1%80%d0%b0-%d0%b8-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0-107/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%20%D0%B8%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
END:VCALENDAR