The list of accepted papers and their abstracts are shown below, in no particular order. Regular Research Papers: Jeroen Weijers, Jurriaan Hage and Stefan Holdermans ...

The abstracts are available here and here. Monday, January 21, 2013 Program Chairs' Report and Best Paper Award Announcement: 8:45 9:00 Invited Talk: 9:00 10:00 ...

Homepage: http://www.iasi.rm.cnr.it/~proietti/system.html The MAP Transformation System is a tool which is designed to support the interactive transformation of logic ...