Skip to main navigation
Skip to search
Skip to main content
the Research Portal - University of Namur Home
English
Français
Home
Profiles
Research units
Projects
Research output
Student theses
Equipment
Datasets
Prizes
Activities
Press/Media
Search by expertise, name or affiliation
Logic-based Program Synthesis and Transformation (LOPSTR) (Event)
Vanhoof, W.
(Member)
Faculty of Computer Science
Research Group on the Foundations of Computer Science
Activity
:
Membership types
›
Membership of committee
Description
Program Committee
Period
10 Sept 2014
→
11 Sept 2014
Event title
Logic-based Program Synthesis and Transformation (LOPSTR)
Event type
Scientific committee
Location
Kent, United Kingdom
Show on map