Tallinna Tehnikaülikool

23. rahvusvaheline sümpoosion Principles and Practice of Declarative Programming - PPDP 2021 koondab deklaratiivse programmeerimise kogukondade teadlasi, sealhulgas neid, kelle pärusmaa on funktsionaalsed, loogikalised, vastuste hulga ja kitsenduste käsitlemise programmeerimise paradigmad. PPDP eesmärk on stimuleerida uurimistööd loogikaliste formalismide ja meetodite kasutamiseks arvutuste analüüsimisel, sooritamisel, täpsustamisel ja põhjendamisel, sealhulgas samaaegsuse, turvalisuse, staatilise analüüsi ja verifitseerimise mehhanismide kasutamine.

Ajakohane info PPDP 2021 kohta sümpoosioni kodulehel: https://ppdp2021.github.io/

PPDP 2021 toimub kõrvuti sümpoosioniga LOPSTR 2021 6.-8. septembril, 2021 hübriidsündmusena nii kohapeal Tallinna Õpetajate Majas (Raekoja plats 14) kui ka virtuaalselt. Ühine informatsioon toimumiskoha, registreerimise ja kohalesõitmise kohta veebilehel PPDP-LOPSTR.
Korraldustoimkonda juhib Niccolò Veltri tarkvarateaduse instituudist.

Laeb infot...