LOPSTR 2010

Activity: Participating in or organising an event › Organising a conference, workshop, ...

Description

20th International Symposium on Logic-Based Program Synthesis and Transformation
Period23 Jul 2010 → 25 Jul 2010
Event typeConference
LocationAustriaShow on map

Fields of science

  • 101013 Mathematical logic
  • 102 Computer Sciences

JKU Focus areas

  • Computation in Informatics and Mathematics

Documents & Links