Conférence CAI 2013 à Porquerolles

Mardi, 3. Septembre 2013 à Vendredi, 6. Septembre 2013

La cinquième conférence internationale sur l'informatique algébrique aura lieu à Porqueroles du 3 au 6 septembre.
Les sujets abordés sont la spécification algébrique, le codage, la cryptographie, la sémantique algébrique, etc. 

Une session dédiée aux entreprises sera organisée le jeudi 5 septembre après-midi avec des représentants de Clearsy, Inside Secure, Orange Labs, ST Microelectronics, Technicolor, Microsoft Research.

Plus d'information sur ce lien.