THE NOVI SAD Seminar

 

PROGRAM

---

Plan rada Novosadskog seminara za DECEMBAR 2024.

Registracija za učešće na seminaru je dostupna na sledećem linku:
https://miteam.mi.sanu.ac.rs/asset/Xqhz2H88SoxmX53xw
Ukoliko ste već registrovani predavanje možete pratiti na sledećem linku (nakon sto se ulogujete):
https://miteam.mi.sanu.ac.rs/asset/den7QsS2NK8N8oHwQ
Neulogovani korisnici mogu pratiti prenos predavanja na ovom linku (ali ne mogu postavljati pitanja osim putem chata i ne ulaze u evidenciju prisustva):
https://miteam.mi.sanu.ac.rs/call/den7QsS2NK8N8oHwQ/mEOVHCS6ddid6VfVLgrXxcDb0A2IoJ2Ln5_c7pVQw9J

---

Ponedeljak, 09.12.2024. u 12:00, svečana sala, Ogranak SANU u Novom Sadu, Nikole Pašića 6 i Online
Aleksandar Minja, Katedra za telekomunikacije i obradu signala, Fakultet tehničkih nauka, Univerzitet u Novom Sadu
DEKODOVANJE LINEARNIH KODOVA NAD PRSTENOM
Nelinearni binarni kodovi sa odličnim performansama (poput Kerdock, Preparata, Goethals, Delsarte-Goethals, i drugih), mogu se efikasno predstaviti kao binarne slike linearnih kodova nad prstenom $\mathbb{Z}_4$ pomoću Grejeve mape. Generalizacija ovih kodova, definisanih nad konačnim prstenima, pružaju značajne prednosti u tehničkim aplikacijama, imaju bolju spektralnu efikasnost, omogućavaju direktno mapiranje kodnih simbola na PSK modulacijone simbole, omogućavaju poboljšane karakteristike tajnosti i pouzdanosti u komunikacionim sistemima, kao i konstrukciju kvantnih kodova za komunikacione i računarske sisteme. Jedna od bitnih prepreka u njihovoj svakodnevnoj primeni jeste nedostatak efikasnih algoritama za dekodovanje.
U ovom predavanju predstavljeni su savremeni algoritmi za dekodovanje ovih kodova. Razrađeno je (optimalno) MAP (Maximum A Posteriori) dekodovanje generalizovanih Kerdock i Preparata kodova, sa složenošću $\mathcal{O}(N^S\log_2 N)$, kao i nova metoda dekodovanja za kodove nad prstenom $\mathbb{Z}_{2^S}$. Za generalizovane Kerdock i Preparata kodove ovaj dekoder postiže kompleksnost $\mathcal{O}(S\cdot N\log_2 N)$, omogućavajući visok stepen efikasnosti. Biće prikazana primena ovih kodova u savremenim komunikacionim šemama sa ciljem unapređenja performansi komunikacionih sistema.

---

Utorak, 24.12.2024. u 12:00, svečana sala, Ogranak SANU u Novom Sadu, Nikole Pašića 6 i Online
Nobuko Yoshida, University of Oxford, UK
SEPARATION AND ENCODABILITY IN MIXED CHOICE MULTIPARTY SESSIONS
Multiparty session types (MPST) are a type discipline for enforcing the structured, deadlock-free communication of concurrent and message-passing programs. Traditional MPST have a li mited form of choice in which alternative communication possibilities are offered by a single participant and selected by another. Mixed choice multiparty session types (MCMP) extend the choice construct to include both selections and offers in the same choice. This talk presents a mixed choice synchronous multiparty session calculus and its typing system, which guarantees communication safety and deadlock-freedom. We then talk expressiveness of nine subcalcli of MCMP-calculus by examining their encodability (there exists a good encoding from one to another) and separation (there exists no good encoding from one calculus to another). The highlight is the binary (2-party) mixed sessions by Casal et al (2022) is strictly less expressive than the MCMP-calculus.
A joint work with Kirstin Peters appeared in LICS'24 (https://arxiv.org/abs/2405.08104).

---