Victor Winter, HATS – A System for Developing and Manipulating Software through Higher-Order Transformation, slides I and slides II

Feedback

Both speakers and organizers are anxious to get feedback from the summer school participants. In case you have not yet filled out the summer school assessment from, please do so now! Feedback on specific lectures can be sent directly to the speakers, or via the organizers. Such feedback will be very useful when preparing the contributions for the final LNCS proceedings of the summer school and when organizing follow-up events.

Toque de Caixa

After the summer school banquet on July 6 in the restaurant "Três Séculos" of the Taylor's Port wine cellars, the music group Toque de Caixa gave their performance. You can find the home page of Toque de Caixa at: