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:20190331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0300
TZOFFSETTO:+0200
TZNAME:EET
DTSTART:20191027T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20190830T130000
DTEND;TZID=Europe/Sofia:20190830T150000
DTSTAMP:20260405T064233
CREATED:20190824T070347Z
LAST-MODIFIED:20190824T070347Z
UID:7335-1567170000-1567177200@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:Следващото заседание на семинара “Алгебра и логика” ще се проведе на 30 август 2019 г. (петък) от 13:00 часа в зала 578 на ИМИ – БАН. \nДоклад на тема \nTYPE-THEORY OF ACYCLIC RECURSION AND ITS REDUCTION CALCULUS\nще изнесе Русанка ЛУКАНОВА. \nПоканват се всички желаещи. \nОт секция „Алгебра и логика” на ИМИ – БАН \nРезюме. In this talk\, I will introduce Moschovakis typed-theory of algorithms.  I shall present its formal language and original reduction calculus\, which reduces the terms to their canonical forms. Distinctively\, the reduction calculus associates the formal theory with denotational and algorithmic semantics. The canonical forms determine the relation of algorithmic equivalence between terms. \nIf time allows\, I will extend the formal system by gamma-reduction and algorithmic gamma-equivalence.  The gamma-calculus reduces the algorithmic complexity\, by simplifying recursion terms that have superfluous lambda-abstraction and corresponding functional applications. \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-25/
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