ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: 11TH INTERNATIONAL CONFERENCE, AMAST 2006, KURESSAARE, ESTONIA, JULY 5-8, 2006, PROCEEDINGS