Event title | 14th International Symposium on Logic Based Program Synthesis and Transformation |
---|---|
Location | Verona, ItalyShow on map |
Period | 26 Aug 2004 → 28 Aug 2004 |
"most influential paper" of the PPDP'04 conference
- Gabbay, Jamie (Recipient)
Prize: Prize (including medals and awards)