EEkiro
JEUDI · 19 NOV. · 00:00–23:59TECHLangue de l'événement: Anglais

36e atelier nordique de théorie de la programmation (NWPT)

Ujula 4, 51008 Tartu
PAYANT 300 EUR SUR PLACEPLACES ILLIMITÉES · ÉVÉNEMENT PUBLIC · TARTU
QUANDJEUDI · 19 NOV. · 00:00–23:59OÙUniversity of Tartu's Institute of Sport Sciences and Physiotherapy - Ujula 4, 51008 Tartu

NWPT est un atelier régional annuel consacré à la théorie de la programmation, destiné en particulier aux jeunes chercheurs. En 2026 il se tient à Tartu : les doctorants et post-doctorants peuvent y présenter des résultats récents ou des travaux en cours et rencontrer des collègues des pays nordiques et baltes.

Les thèmes comprennent notamment : la sémantique des langages de programmation ; la conception des langages et la méthodologie de programmation ; les logiques de programmation ; la spécification formelle et la vérification des programmes ; la construction, la transformation et le raffinement de programmes ; les outils de vérification et de construction ; les systèmes temps réel, hybrides et cyber-physiques ; les modèles de concurrence et de calcul distribué ; le model checking ; le test fondé sur les modèles ; la sécurité basée sur le langage.

Université de Tartu, Institut des sciences du sport et de la physiothérapie, Ujula 4, Tartu.

Événement payant. Les billets à partir de 300 EUR sont vendus en ligne par l'organisateur ; l'application n'intervient pas dans les paiements.
ACHETER DES BILLETS
CMHÔTE
Chad Mitchell Nester
a organisé 1
OUVRIR DANS EKIRO

Avec un compte gratuit, vous voyez la fiche complète et pouvez demander une place à Chad Mitchell Nester. L'organisateur répond dans l'application.

36e atelier nordique de théorie de la programmation (NWPT) · Ekiro