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

ldemol liesbeth.demol at univ-lille3.fr
Mon Jul 23 02:10:45 PDT 2018

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:

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 

with best wishes,
Liesbeth De Mol

More information about the Members mailing list