Autumn workshop II: Programming Languages and Notations