BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Institute of Mathematics and Informatics - ECPv6.0.8//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://math.bas.bg/?lang=en
X-WR-CALDESC:Events for 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:20260329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0300
TZOFFSETTO:+0200
TZNAME:EET
DTSTART:20261025T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20260526
DTEND;VALUE=DATE:20260531
DTSTAMP:20260524T075802
CREATED:20260512T130124Z
LAST-MODIFIED:20260512T130124Z
UID:19244-1779753600-1780185599@math.bas.bg
SUMMARY:International Conference on Mathematical Quantum Field Theory
DESCRIPTION:Mathematical Quantum Field Theory\n\n\n\nInternational conference in memory of Ivan Todorov\n\n\nStart date: 26 May 2026\nEnd date: 30 May 2026\nEvent location: Hall “Prof. Marin Drinov”\, BAS\, Sofia\, Bulgaria \n\n\nOrganized by the Institute for Nuclear Research and Nuclear Energy (INRNE) and the International Center for Mathematical Sciences at the Institute of Mathematics and Informatics at the Bulgarian Academy of Sciences \nThe conference encompasses a wide range of modern topics at the intersection of physics and mathematics\, including conformal field theory\, vertex operator algebras\, integrable systems\, supersymmetry\, gauge theory\, gravity\, cosmology\, quantum information\, and the mathematical structures that connect them. \nIvan Todorov (1933-2024) was a leading Bulgarian theoretical physicist whose contributions to mathematical physics\, conformal field theory\, and the algebraic approach to quantum field theory shaped generations of researchers. He spent his career at the Institute for Nuclear Research and Nuclear Energy (INRNE-BAS) and held many fruitful collaborations with colleagues around the world. This conference brings together former students\, collaborators\, and friends to celebrate his scientific legacy and international recognition. \nRead more on https://indico.global/event/16645/overview
URL:https://math.bas.bg/event/international-conference-on-mathematical-quantum-field-theory/?lang=en
LOCATION:Bulgarian Academy of Sciences\, 1\, 15th November Str.\, Sofia\, Sofia City\, 1040\, Bulgaria
CATEGORIES:Conference
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20260526T100000
DTEND;TZID=Europe/Sofia:20260526T113000
DTSTAMP:20260524T075802
CREATED:20260522T001544Z
LAST-MODIFIED:20260522T001742Z
UID:19405-1779789600-1779795000@math.bas.bg
SUMMARY:Digital Culture Seminar
DESCRIPTION:The next meeting of the Digital Culture Seminar \nwill be held on May 26\, 2026 (Tuesday) at 10:00 a.m. in Room 278 of IMI – BAS. \nA talk on: \nLogics for Strategic Reasoning about Socially Interacting Rational Agents\nwill be delivered by Valentin Goranko\, Stockholm University\, Sweden. \nAbstract: An important aspect of socially interacting rational agents are the strategic abilities of individual agents and groups (coalitions) of agents to guarantee the achievement of their desired goals\, while acting and interacting within an entire society of agents. Several logical systems have been proposed for formalising and capturing such reasoning were introduced the early 2000s\, starting with the Coalition Logic (CL)\, the Alternating Time Temporal Logic (ATL)\, and some extensions of these. \nCoalition Logic provides a natural\, but rather restricted perspective: the agents in the proponent coalition are viewed as acting in full cooperation with each other but in complete opposition to all agents outside of the coalition\, which are thus treated as adversaries. The Alternating Time Temporal Logic extends Coalition Logic with temporal operators allowing for expressing long-term temporised goals. \nThe strategic interaction in real societies is much more complex\, usually involving various patterns combining cooperation and competition. To capture these\, more expressive and versatile logical frameworks are needed. \nIn this talk I will give a brief overview of some of these logics and will illustrate their use with some examples. \nZoom link:\nhttps://us06web.zoom.us/j/82219689652?pwd=VbWffI8RD4aPYC8TaNrasukEW7uePV.1
URL:https://math.bas.bg/event/digital-culture-seminar-4/?lang=en
LOCATION:Institute of Mathematics and Informatics\, BAS\, Akad.G.Bonchev St\, bl. 8\, 1113\, Sofia\, Bulgaria
CATEGORIES:Regular Seminar
END:VEVENT
END:VCALENDAR