Steering Committee of the Logic-Based Program Synthesis and Transformation Symposium (External organisation) - Employees in the Programming Language & Theory of Computation Section

Department of Computer Science

Steering Committee of the Logic-Based Program Synthesis and Transformation Symposium (External organisation)

Activity: Membership types › Membership in committee, council, board

Links

http://lopstr.webs.upv.es/

Robert Glück - Board member

Programming Languages and Theory of Computing

Body type: Steering Committee

2024 → …

External organisation

Name	Steering Committee of the Logic-Based Program Synthesis and Transformation Symposium

ID: 372260036