Logic-based Program Synthesis and Transformation (LOPSTR) (Evénement)

Activité: Types de MembreMembre d'un comité

Description

Program Committee
Période10 sept. 201411 sept. 2014
Titre de l'événementLogic-based Program Synthesis and Transformation (LOPSTR)
Type d'événementComité scientifique
LieuKent, Royaume-Uni