[SIGCIS-Members] PROGRAMme autumn workshop, 16-17 october 2018, Bertinoro

[ldemol]

Dear all,

I am happy to announce the autumn workshop of the PROGRAMme project 
which will be organised from 16 to 17 October 2018 at Bertinoro
University center in Italy.

It is the first in a series of four workshops. Each will focus on one of 
the project’s main clusters in connection to the other three. The first 
workshop will focus on the cluster Logic and so concentrates on logic at 
the interface with machines, languages and systems.

In order to register, please send a mail with your affiliation to: 
liesbeth.demol at univ-lille3.fr before September 15 2018. Registration is 
free but required in order to attend.

For more details, including a provisional program, see:
https://programme.hypotheses.org/autumn-workshop-formalisms-at-the-interface-with-machines-languages-and-systems

Organizers: Liesbeth De Mol (CNRS, Université de Lille) and Simone 
Martini (Universita di Bologna).


Supported by the Agence Nationale de la Recherche and the  Department of 
Computer Science and Engineering of Alma Mater Studiorum-Università di 
Bologna.

with best wishes,
Liesbeth De Mol