Passer à la navigation principale
Passer à la recherche
Passer au contenu principal
Portail de la recherche de l'Université de Namur Accueil
English
Français
Accueil
Profils
Unités de recherche
Projets
Résultat de recherche
Thèses de l'étudiant
Équipement
Ensembles de données
Prix
Activités
Presse/médias
Recherche par expertise, nom ou affiliation
Logic-based Program Synthesis and Transformation (LOPSTR) (Evénement)
Vanhoof, W.
(Membre)
Faculte d'informatique
Research Group on the Foundations of Computer Sciences
Activité
:
Affiliations
›
Membre d'un comité
Description
Program Committee
Période
10 sept. 2014
→
11 sept. 2014
Titre de l'événement
Logic-based Program Synthesis and Transformation (LOPSTR)
Type d'événement
Comité scientifique
Emplacement
Kent, Royaume-Uni
Afficher sur la carte