ARC QUOTIENT: Utilisation certifiée de types concrets non-libres

Présentation  |  Participants  |  Publications  |  Historique  |  Séminaires  |  Conférences  |  Liens utiles

Nous développons le logiciel MOCA [accès cvs] [cvs web]

Mailing list: for announcements and discussions about Moca, create an account on websympa.loria.fr, log in and subscribe to moca.

Actualités

• 31 décembre 2008: fin de l'ARC Quotient

• 1-2 octobre 2008: Journée nationale des ARCs [slides]

• 9-13 juin 2008: 10e séminaire Quotient (Nancy)

• 14-18 avril 2008: 9e séminaire Quotient (Nancy)

• 3 avril 2008: 8e séminaire Quotient (Paris)

• 22 février 2008: fin du stage de Laura Lowenthal

• 13 février 2008: nouvelle release de Moca

• 11-15 février 2008: 7e séminaire Quotient (Nancy)

• 28 janvier 2008: exposé invité de Pierre Weis sur les types à relations aux JFLA'08

Last updated on 17 March 2009. Come back to main page.