Skip to main content
Instytut Podstaw Informatyki PAN (baner)

Aktualności Instytutu Podstaw Informatyki PAN

08.06.2026 — Seminarium "Przetwarzania Języka Naturalnego" — godz. 11:00

Maciej Rapacz, Aleksander Smywiński-Pohl (AGH University)

Odnośnik do spotkania w MS Teams (nowe okno)

+ - Ile w przekładzie jest tłumacza? Korpus Targum i ilościowy pomiar interwencji translatorskiej Click to collapse

Streszczenie (autorskie):

Podczas wystąpienia zaprezentujemy zbudowany przez nas korpus Targum oraz wstępne badania nad możliwością ilościowego ujęcia indywidualnego wpływu tłumacza na tworzony przez niego przekład (interwencji translatorskiej). W pierwszej części przedstawimy sam korpus – zbiór 651 przekładów Nowego Testamentu w pięciu językach: polskim, angielskim, francuskim, włoskim i hiszpańskim. Głównym założeniem przy tworzeniu korpusu nie jest zgromadzenie przekładów w jak największej liczbie języków, lecz możliwie najgłębsze odwzorowanie historii przekładu Nowego Testamentu w każdym z nich – od XVI wieku po wersje współczesne. Omówimy strukturę korpusu – teksty i metadane – oraz proces jego tworzenia, a także możliwości analizy ilościowej przekładu, jakie otwiera ten zasób. W drugiej części pokażemy jedno z takich zastosowań: metodę pomiaru interwencji tłumacza, w której przekład interlinearny pełni rolę neutralnego punktu odniesienia. Interwencję tłumacza definiujemy jako różnicę między reprezentacjami wektorowymi przekładu literackiego i jego interlinearnego odpowiednika. Przedstawimy wstępne wyniki wskazujące, że metoda ta pozwala uporządkować przekłady na osi od najbardziej dosłownych, przez dynamiczne, aż po parafrazy.

Więcej…08.06.2026 - Seminarium "Przetwarzania Języka Naturalnego"

Warszawa, 26 maja 2026 r.

Rada Naukowa Instytutu Podstaw Informatyki PAN
uprzejmie zawiadamia, że publiczna obrona rozprawy doktorskiej

mgr. inż. Damiana Kurpiewskiego

pt. E-voting, Card Games, and Drone Teams: Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information

(dziedzina nauk inżynieryjno-technicznych, dyscyplina: informatyka techniczna i telekomunikacja),

która odbędzie się w dniu w trybie hybrydowym, w siedzibie Instytutu Podstaw Informatyki PAN w Warszawie przy ul. Jana Kazimierza 5 w sali nr 12 na parterze oraz w formie wideokonferencji.

Więcej…Damian Kurpiewski - obrona rozprawy

01.06.2026 - Seminarium Instytutowe — godz. 12:00

Damian Kupiewski, Teofil Sidoruk (Instytut Podstaw Informatyki PAN)

+ - Weryfikacja systemów wieloagentowych: od protokołów e‑głosowania do rakiet suborbitalnych Click to collapse

Streszczenie (autorskie):

Weryfikacja własności strategicznych w systemach wieloagentowych jest zarówno istotna, jak i wysoce złożona. Od kilku lat nasz zespół opracowuje narzędzia i algorytmy modelowej weryfikacji, ze szczególnym uwzględnieniem modeli z niepełną informacją. Dzięki nim można odpowiadać na pytania typu: „Czy przymuszacz posiada strategię wymuszającą na wyborcy oddanie głosu na kandydata A?”. W trakcie wystąpienia przedstawimy rozwijane techniki, nasze autorskie narzędzia oraz praktyczne wyniki eksperymentów, obejmujące m.in. protokoły e‑głosowania oraz symulacje lotu rakiety suborbitalnej. Zaprezentujemy także najnowsze możliwości naszego systemu - w tym weryfikację modeli probabilistycznych - i omówimy, jak mogą one wspierać dalsze badania nad bezpieczeństwem i niezawodnością systemów wieloagentowych.

Więcej…01.06.2026 - Seminarium Instytutowe

Instytut Podstaw Informatyki Polskiej Akademii Nauk

zatrudni osobę na stanowisko

Specjalista ds. Zamówień Publicznych

 

Zakres zlecanych zadań:

  • przygotowywanie dokumentacji postępowań o udzielenie zamówień publicznych (m.in. specyfikacji warunków zamówienia oraz treści ogłoszeń),
  • udzielanie pracownikom jednostek merytorycznych wyjaśnień lub porad przy opracowywaniu opisu przedmiotu zamówienia lub ustalaniu wartości szacunkowej zamówienia,
  • udzielanie zamawiającemu wyjaśnień lub porad przy wyborze trybu postępowania,
  • przygotowywanie i publikacja w oficjalnych publikatorach (BZP i DU UE) ogłoszeń zgodnie z wymogami ustawy Pzp,
  • udział w charakterze sekretarza w pracach komisji przetargowej i czuwanie nad prawidłowością przebiegu postępowania,
  • przekazywanie wymaganych ustawą Pzp informacji do Prezesa Urzędu Zamówień Publicznych dotyczących prowadzonych postępowań,
  • prowadzenie obsługi procedur przetargowych,
  • przygotowywanie protokołów z przeprowadzanych procedur przetargowych,
  • publikowanie i aktualizacja planu postępowań o udzielenie zamówień,
  • samodzielna obsługa platform zakupowych, w szczególności Marketplanet.

Dokumenty należy przesyłać do 31 maja 2026 r. 

Więcej…Specjalista ds. zamówień publicznych 2026.05

Prof. Sławomir T. Wierzchoń laureatem konkursu Polskiego Towarzystwa Informatycznego

Okładka książki Metaheurystyki

Dyplom nagroda PTI

Prof. Sławomir T. Wierzchoń z Zespołu Podstaw Sztucznej Inteligencji został laureatem prestiżowego konkursu Polskiego Towarzystwa Informatycznego. Książka pt. "Metaheurystyki. Algorytmy optymalizacji numerycznej" napisana wspólnie z dr Grzegorzem Sroką z Wydziału Matematyki i Fizyki Stosowanej Politechniki Rzeszowskiej zdobyła nagrodę I stopnia w Konkursie na Najlepszą Polską Książkę Informatyczną 2026 r. organizowanym przez Polskie Towarzystwo Informatyczne.

W tegorocznym konkursie konkurencja musiała być bardzo duża, ponieważ kapituła przyznała nagrody jeszcze czterem innym książkom przyznając po dwie nagrody ex aequo II i III stopnia. Gala wręczenia nagród konkursu Polskiego Towarzystwa Informatycznego na Najlepszą Książkę Informatyczną była punktem kulminacyjnym obchodów Światowego Dnia Telekomunikacji i Społeczeństwa Informacyjnego oraz 45-lecia PTI.

Więcej…Prof. Sławomir T. Wierzchoń laureatem konkursu Polskiego Towarzystwa Informatycznego

Więcej artykułów…

© 2021 INSTYTUT PODSTAW INFORMATYKI PAN | Polityka prywatności | Deklaracja dostępności