Algebra and Logic Seminar

An online session of the Algebra and Logic Seminar will be held on February 26, 2021 (Friday) at 1:00 p.m. A talk on Enumeration Reducibility: 60 years of investigation will be delivered by Hristo Ganchev (Faculty of Mathematics and Informatics of the Sofia University). Abstract. We will make an overview of the main results and problems in Еnumeration reducibility – one of the two main reducibilities used to compare the complexity of the information content in sets of natural numbers.   The seminar will be held via Zoom and everyone can join via the link: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 Topic: Онлайн семинар на секция "Алгебра и логика" Time: Feb 26, 2021 01:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647   Algebra and Logic Department, IMI-BAS http://www.math.bas.bg/algebra/seminarAiL/ [...]

2021-02-21T22:10:39+02:00Sunday, 21 February 2021|Categories: |Tags: |

Algebra and Logic Seminar

An online session of the Algebra and Logic Seminar will be held on February 19, 2021 (Friday) at 1:00 p.m. A talk on Identities in Prime Rings will be delivered by Jose Brox (Centre for Mathematics of the University of Coimbra, Portugal). Abstract. Given a ring, a generalized polynomial identity (GPI) is a polynomial identity in which the coefficients can be taken from the ring. Prime rings are a class of rings very well suited to manage problems related to identities, as for example those coming from Herstein's theory, which is the study of nonassociative objects and structures arising from associative rings. After a motivating introduction to prime rings, with some examples from Herstein's theory, I will show the usefulness of Martindale's lemma, the [...]

2021-02-15T11:08:22+02:00Monday, 15 February 2021|Categories: |Tags: |

Algebra and Logic Seminar

An online session of the Algebra and Logic Seminar will be held on February 12, 2021 (Friday) at 4:00 p.m. A talk on On the Newton polytope of a Jacobian pair will be delivered by Leonid Makar-Limanov (Wayne State University, Detroit, USA and Weizmann Institute of Science, Rehovot, Israel). The seminar will be held via Zoom and everyone can join via the link: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 Topic: Онлайн семинар на секция "Алгебра и логика" Time: Feb 12, 2021 04:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647 Abstract.First, I remind what is the Jacobian Conjecture and talk about some history related to it. Then I'll briefly explain what is the “shape” of a minimal counterexample to the conjecture. After that the Newton polytope related to [...]

2021-02-07T18:05:16+02:00Sunday, 7 February 2021|Categories: |Tags: |

Algebra and Logic Seminar

An online session of the Algebra and Logic Seminar will be held on February 5, 2021 (Friday) at 1:00 p.m. A talk on Reduction Calculus of Type-Theory of Acyclic Algorithms, II will be delivered by Roussanka Loukanova, IMI - BAS. This is a continuation of the talk given on January 29, 2021. The seminar will be held via Zoom and everyone can join via the link: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09  Topic: Онлайн семинар на секция "Алгебра и логика" Time: Feb 05, 2021 01:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647 Abstract. In 1989, Moschovakis [1] initiated a new theory of the mathematical notion of algorithm, within untyped, full recursion. In 2006, Moschovakis [2] introduced the formal language of Type-Theory of Recursion (TTR), which models the [...]

2021-02-01T13:15:52+02:00Monday, 1 February 2021|Categories: |Tags: |

Algebra and Logic Seminar

An online session of the Algebra and Logic Seminar will be held on January 29, 2021 (Friday) at 1:00 p.m. A talk on Reduction Calculus of Type-Theory of Acyclic Algorithms will be delivered by Roussanka Loukanova, IMI - BAS. The seminar will be held via Zoom and everyone can join via the link:https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09  Topic: Онлайн семинар на секция "Алгебра и логика" Time: Jan 29, 2021 01:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647 Abstract. In 1989, Moschovakis [1] initiated a new theory of the mathematical notion of algorithm, within untyped, full recursion. In 2006, Moschovakis [2] introduced the formal language of Type-Theory of Recursion (TTR), which models the notion of algorithm and concepts of meaning in typed semantic structures. The focus of [...]

2021-01-27T09:04:49+02:00Wednesday, 27 January 2021|Categories: |Tags: |

The Third World Logic Day – January 14, 2021

To mark the day the logicians from the Bulgarian Academy of Sciences and from Sofia University “St. Kliment Ohridski” have decided to organize a joint event on the occasion of the World Logic Day 2021. The event is included in the official program of the Third World Logic Day.

2021-01-13T13:11:30+02:00Friday, 8 January 2021|Categories: News|Tags: , , |

Algebra and Logic Seminar

An online session of the Algebra and Logic Seminar will be held on January 8, 2021 (Friday) at 1:00 p.m. A talk on Derivations in matrix semirings will be delivered by Dimitrinka Vladeva (University of Forestry, Sofia). Abstract. The seminar will be held via Zoom and everyone can join via the link: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 Topic: Онлайн семинар на секция "Алгебра и логика" Time: Jan 08, 2021 01:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647 Algebra and Logic Department, IMI-BAS http://www.math.bas.bg/algebra/seminarAiL/  

2021-01-04T08:54:29+02:00Monday, 4 January 2021|Categories: |Tags: |

Algebra and Logic Seminar

An online session of the seminar will be held on December 15, 2020 (Tuesday) at 3:00 p.m. A talk on Hagedorn transitions in Matrix Membranes will be delivered by Denjoe O'Connor (School of Theoretical Physics, Dublin Institute for Advanced Studies). Abstract. Matrix models that originate in non-commutative deformations of Membranes result in models related to dimensional reductions of higher dimensional Yang-Mills theories. The confining/deconfining transition becomes a Hagedorn transition in this setting and the models are believed to have gravitational duals. I will discuss recent progress in understanding these models and their physics. The seminar will be held via Zoom and everyone can join via the link: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 Topic: Онлайн семинар на секция "Алгебра и логика" Time: Dec 15, 2020 03:00 PM Sofia Meeting ID: [...]

2020-12-12T12:59:21+02:00Saturday, 12 December 2020|Categories: |Tags: |

Algebra and Logic Seminar

An online session of the seminar will be held on December 11, 2020 (Friday) at 1:00 p.m. A talk on Margarete Wolf, Symmetric Polynomials in Noncommuting Variables and Noncommutative Invariant Theory will be delivered by Silvia Boumova (FMI-SU and IMI-BAS). (Joint project with Vesselin Drensky) Satellite talk to the Webinar Women in Mathematics in South-Eastern Europe organized by the International Center for Mathematical Sciences - Sofia. The seminar will be held via Zoom and everyone can join via the link: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 Topic: Онлайн семинар на секция "Алгебра и логика" Time: Dec 11, 2020 01:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647 Algebra and Logic Department, IMI-BAS http://www.math.bas.bg/algebra/seminarAiL/  

2020-12-08T12:05:02+02:00Tuesday, 8 December 2020|Categories: |Tags: |

Algebra and Logic Seminar

An online session of the seminar will be held on December 4, 2020 (Friday) at 1:00 p.m. A talk on Polynomial identities: anomalies of codimension growth will be delivered by Mikhail Zaicev (Moscow State University). The seminar will be held via Zoom and everyone can join via the lin: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 Meeting ID: 851 3737 5021 Passcode: 035647 Abstract We consider numerical invariants associated with polynomial identities of algebras over a field of characteristic zero. Given an algebra A, one can construct a sequence of non-negative integers {c_n(A)}, n = 1, 2, . . . , called the codimensions of A, which is an important numerical characteristic of identical relations of A. In the present talk, we discuss asymptotic behavior of codimension sequence in different [...]

2020-12-01T23:18:49+02:00Tuesday, 1 December 2020|Categories: |Tags: |
Go to Top