Aktualności Instytutu Podstaw Informatyki PAN

Narodowe Centrum Nauki przyznało finansowanie projektom z list rezerwowych

Dwóch naukowców Instytutu Podstaw Informatyki PAN otrzyma finansowanie z Narodowego Centrum Nauki w ramach konkursów OPUS 25 i MAESTRO 15 na badania podstawowe.

322 badaczek i badaczy, których projekty były na listach rezerwowych w konkursach OPUS 25, PRELUDIUM 22, MAESTRO 15 i SONATA BIS 13 otrzymało decyzje o finansowaniu. Sfinansowanie dodatkowych projektów badawczych w tych konkursach było możliwe dzięki zwiększeniu budżetu NCN przez MNiSW.

• dr hab. inż. Paweł Morawiecki pt. "Ochrona danych i prywatność a generatywne sieci neuronowe" - OPUS 25,
• dr hab. Maciej Ogrodniczuk, pt.: "Universal Discourse: wielojęzyczny model relacji dyskursywnych", - MAESTRO 15.

10 czerwca rusza rekrutacja do Szkoły Doktorskiej Technologii Informacyjnych i Biomedycznych Instytutów PAN (TIBPAN). TIBPAN prowadzi kształcenie interdyscyplinarne przygotowujące do uzyskania stopnia doktora w następujących dyscyplinach:

• informatyka techniczna i telekomunikacja,
• inżynieria biomedyczna,
• nauki medyczne.

Termin nadsyłania zgłoszeń na adres Instytutu Podstawowych Problemów Techniki PAN mija 21 czerwca 2024 r.

Naukowcy z Instytutu Podstaw Informatyki PAN uzyskali finansowanie projektu w ramach wspólnego programu Narodowej Agencji Wymiany Akademickiej z amerykańską National Science Foundation (U.S.NSF) wsparcia dla ukraińskich naukowców - IMPRESS-U. Projekt „IMPRESS-U: DARE: wykrywanie i rozpoznawanie eufemizmów” koordynuje dr Witold Kieraś z Zespołu Inżynierii Lingwistycznej. To wspólny projekt realizowany we współpracy z badaczami z Montclair State University i Ivan Franko National University of Lviv, którego celem jest rozszerzenie badań nad wykrywaniem i interpretacją eufemizmów w językach ukraińskim, polskim i rosyjskim. Inicjatywa koncentruje się na opracowaniu zaawansowanych algorytmów rozpoznawania eufemizmów i badaniu możliwości interpretacji w tym kontekście modeli językowych opartych na sieciach neuronowych. Projekt opiera się na istniejących zbiorach danych w językach: angielskim, joruba, hiszpańskim i chińskim mandaryńskim oraz łączy metody motywowane lingwistycznie z podejściem opartym na sieciach neuronowych (transformatorach), aby rozwiązać zniuansowany problem wykrywania eufemizmów w danych wielojęzycznych.

Naukowcy z Zespołu Teorii Systemów Rozproszonych i Obliczeniowych IPI PAN opublikowali 4 artykuły na konferencji AAMAS 2024 w Auckland (Nowa Zelandia). AAMAS to największa i najbardziej prestiżowa konferencja w tematyce systemów wieloagentowych i autonomicznych, z rangą A* wg rankingu CORE i materiałami punktowanymi za 200 pkt. Artykuły, autorstwa Wojciecha Jamrogi, Mateusza Kamińskiego, Damiana Kurpiewskiego i Wojciecha Penczka, przedstawiają nowe wyniki związane z weryfikacją takich systemów. Dwa z artykułów koncentrują się na własnościach teoretycznych (złożoność obliczeniowa weryfikacji i siła wyrazu proponowanych języków specyfikacji). Pozostałe dwie prace prezentują najnowsze osiągnięcia w implementacji algorytmów weryfikacji w narzędziach STV i SMT4SMTL, rozwijanych przez Zespół. STV+KH zdobył miano Best Demo Award.