Световният ден на логиката се провежда за първи път на 14 януари 2019 г. Датата не е избрана случайно, а е свързана с двама от най-великите логици на двадесети век. На 14 януари 1978 г. е починал Курт Гьодел, а на 14 януари 1901 г. е роден Алфред Тарски. На 13 ноември 2019 г. ЮНЕСКО обяви 14 януари за Световен ден на логиката и го включи в своя календар на Международните дни на ЮНЕСКО. Събитието се ползва с изключителна популярност. През миналата година то е отбелязано с 60 научни форума в 35 страни, а през тази година към момента вече има заявки за 45 научни форума от 27 страни.

Специалистите по логика в БАН и Софийския университет „Св. Климент Охридски“ ще отбележат заедно Третия световен ден на логиката. Съвместното заседание на Семинара по алгебра и логика на Института по математика и информатика на БАН, на Семинара по математическа логика на Факултета по математика и информатика на Софийския университет и на Семинара по логика на Института по философия и социология на БАН е включено в официалната програма на Третия световен ден на логиката.

На него ще бъдат представени 10 научни доклада от трите институции. Поради многото научни прояви по света, планирани за 14 януари, ръководствата на трите семинара решиха заседанието да се проведе онлайн на 15 януари 2021 година. (още…)

На 3 декември 2020 г. нашата сънародничка и колежка проф. Десислава Кошлукова бе избрана за действителен член на Бразилската академия на науките (membro titular da Academia Brasileira de Ciências (ABC)). Тя е първият българин, удостоен с тази висока чест.

Десислава Кошлукова проявява своя математически талант още като ученичка. На Международните олимпиади по математика тя печели бронзов медал в Куба през 1987 г. и в сребърен медал в Австралия през 1988 г. , а на Балканиадите по математика в Гърция  през 1987 г. и в Кипър през 1988 г. има съответно златен и сребърен медал. Десислава Кошлукова защитава дипломна работа в Катедрата по алгебра на ФМИ на СУ, а след това докторска дисертация в Кеймбридж, Великобритания. Професор е в Университета в Кампинас, Бразилия. През 2015 г. е удостоена с наградата за научни постижения „Зеферино Ваз“ на Университета в Кампинас. Член е на Редколегията на Journal of Group Theory.

Основните научни интереси на Десислава Кошлукова са в теорията на групите и алгебрите на Ли. Нейните по-важни  резултати  са в областта на метабелевите групи, крайно представимите групи, хомологични и хомотопични инваринати на групи, действие на групи върху комплекси, самоподобни групи, хомологични свойства на алгебрите на Ли и други области на съвременната алгебра. Тя е автор на над 80 научни публикации в редица авторитетни международни издания. Освен самостоятелно получени резултати, Десислава Кошлукова работи успешно в съавторство с редица водещи специалисти в областта, сред които Джон Гроувз, Саид Сидки, Лоран Бартолди, Павел Заледски и други.  https://www.ime.unicamp.br/~desi/

ЧЕСТИТО, АКАДЕМИК КОШЛУКОВА! (още…)

На заседание на Общото събрание на БАН за избор на председател, което се проведе онлайн днес, 30 ноември 2020 г., академик Юлиан Ревалски бе избран за председател на Академията за втори мандат.

Математическата и информатическата колегии на Института по математика и информатика изказват сърдечните си поздравления на акад. Ревалски за гласуваното доверие! Уверени сме, че учен и ръководител с неговите визия и опит ще допринесе изключително много за развитието на човешкия научен потенциал в Академията като подкрепя и инициира все по-активното участие на учените от БАН в иновационни разработки, в образователния процес на всички нива и в затвърждаването на Академията като основен експертен център на страната.

Акад. Юлиан Ревалски е председател на Българската академия на науките от 2016 г. Преди това той е директор на Института по математика и информатика. Областите му на научен интерес са свързани с изследване на операциите – оптимизация, вариационен анализ, теория на игрите; функционален анализ  – геометрия на банахови пространства и монотонни оператори и в сферата на общата топология – топологични методи в оптимизацията и многозначни изображения.