Summary
Liste de diffusion des annonces du GdT Log&Prog
Les exposés informels du groupe de travail « Logique et Programmation » abordent des sujets autour de la théorie de la démonstration et ses liens avec la programmation fonctionnelle, la complexité algorithmique implicite, et la modélisation du parallélisme et de la concurrence. Le séances ont lieu le vendredi après-midi, en salle B107.
Les annonces sont diffusées sur cette liste.
To contact the list owners, use the following email address: gdtlogprog-owner@lipn.univ-paris13.fr
Archives
Subscription / Unsubscription
To subscribe or unsubscribe from this list, please sign in first. If you have not previously signed in, you may need to set up an account with the appropriate email address.
You can also subscribe without creating an account. If you wish to do so, please use the form below.