Aktualności Instytutu Podstaw Informatyki PAN

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.

25 kwietnia (w godz. 11:30–14:15, w IPI PAN, Jana Kazimierza 5 w Warszawie w sali 5 na parterze) odbędzie się seminarium prezentujące Korpus Współczesnego Języka Polskiego, Dekada 2011−2020 (https://kwjp.pl) powstały w projekcie Dariah.lab.

Projekt ma być zlokalizowany w Instytucie Podstaw Informatyki Polskiej Akademii Nauk w Zakładzie Sztucznej Inteligencji, który w swoich badaniach intensywnie wykorzystuje głębokie uczenie maszynowe do rozwiązywania szeregu problemów analizy danych. Gratulujemy laureatowi i życzymy owocnej pracy w nowo tworzonym zespole badawczym w IPI PAN.