Liste de Participants du groupe de travail
Logique, Algèbre et Calcul




PPS, Université Paris 7
curien(at)pps(dot)jussieu(dot)frPierre-Louis Curien(Perm)
kesner(at)pps(dot)jussieu(dot)frDelia Kesner(Perm)
mellies(at)pps(dot)jussieu(dot)fr Paul-André Melliès(Perm)
alexis(dot)saurin(at)pps(dot)jussieu(dot)frAlexis Saurin(Perm)
balat(at)pps(dot)jussieu(dot)frVincent Balat(Perm)
noam(at)pps(dot)jussieu(dot)frNoam Zeilberger(Post-Doc)
staton(at)pps(dot)jussieu(dot)frSam Staton(Post-Doc)
fmoura(at)pps(dot)jussieu(dot)frFlavio Moura(Post-Doc)
renaud(at)pps(dot)jussieu(dot)frFabien Renaud(Doct)
balabons(at)pps(dot)jussieu(dot)frThibaut Balabonski(Doct)
frey(at)pps(dot)jussieu(dot)frJonas Frey(Doct)
TypiCal, LIX, École Polytechnique
gilles(dot)dowek(at)inria(dot)frGilles Dowek(Perm)
benjamin(dot)werner(at)inria(dot)frBenjamin Werner(Perm)
germain(dot)faure(at)inria(dot)fr Germain Faure(Perm)
keller(at)lix(dot)polytechnique(dot)frChantal Keller(Doct)
cohen(at)lix(dot)polytechnique(dot)frCyril Cohen(Doct)
MAX, LIX, École Polytechnique
dmichel(at)lix(dot)polyechnique(dot)fr David Michel(Perm)
LAMA, Université de Savoie
Rene(dot)David(at)univ-savoie(dot)fr René David(Perm)
Noel(dot)Bernard(at)univ-savoie(dot)fr Noel Bernard(Perm)
Karim(dot)Nour(at)univ-savoie(dot)fr Karim Nour(Perm)
Christophe(dot)Raffalli(at)univ-savoie(dot)fr Christophe Raffalli(Perm)
Pierre(dot)Hyvernat(at)univ-savoie(dot)frPierre Hyvernat(Perm)
Tom(dot)Hirschowitz(at)ens-lyon(dot)frTom Hirschowitz(Perm)
Frederic(dot)Ruyer(at)univ-savoie(dot)frFrédéric Ruyer(Associé)
Mohamad(dot)Ziadeh(at)univ-savoie(dot)frMohamad Ziadeh(Associé)
Lionel(dot)Vaux(at)univ-savoie(dot)frLionel Vaux(ATER)
mhuma(at)univ-savoie(dot)frMuhammad Humayoun(Doct)
Florian(dot)hatat(at)univ-savoie(dot)frFlorian Hatat(Doct)
Aurelien(dot)Pardon(at)ens-lyon(dot)frAurelien Pardon(Doct)
Pareo, LORIA
claude(dot)kirchner(at)loria(dot)fr Claude Kirchner(Perm)
Helene(dot)Kirchner(at)inria(dot)frHélène Kirchner(Perm)
horatiu(dot)cirstea(at)loria(dot)fr Horatiu Cirstea(Perm)
pierre-etienne(dot)moreau(at)loria(dot)frPierre-Étienne Moreau(Perm)
yves(dot)guiraud(at)loria(dot)frYves Guiraud(Perm)
stratulat(at)univ-metz(dot)frSorin Stratulat(Assoc)
cody(dot)roux(at)loria(dot)frCody Roux(Doct)
Tony(dot)Bourdier(at)loria(dot)frTony Bourdier(Doct)
Types, LORIA
Didier Galmiche(at)loria(dot)fr Didier Galmiche(Perm)
Dominique(dot)Larchey-Wendling(at)loria(dot)frDominique Larchey-Wendling(Perm)
Daniel(dot)Mery(at)loria(dot)frDaniel Méry(Perm)
Calligramme, LORIA
philippe(dot)degroote(at)loria(dot)frPhilippe de Groote(Perm)
jean-yves(dot)marion(at)loria(dot)fr Jean-Yves Marion(Perm)
adam(dot)cichon(at)loria(dot)fr Adam Cichon(Perm)
bruno(dot)guillaume(at)loria(dot)frBruno Guillaume(Perm)
sylvain(dot)pogodalla(at)loria(dot)frSylvain Pogodalla(Perm)
guillaume(dot)bonfante(at)loria(dot)frGuillaume Bonfante(Perm)
LAC Luitel, Grenoble
dominique(dot)duval(at)imag(dot)frDominique Duval(Perm)
Simon(dot)Perdrix(at)imag(dot)fr Simon Perdrix(Perm)
jean-francois(dot)monin(at)imag(dot)frJean-François Monin(Perm)
thierry(dot)boy-de-la-tour(at)imag(dot)frThierry Boy de la Tour(Perm)
ricardo(dot)caferra(at)imag(dot)frRicardo Caferra(Perm)
jean-guillaume(dot)dumas(at)imag(dot)frJean-Guillaume Dumas(Perm)
rachid(dot)echahed(at)imag(dot)fr Rachid Echahed(Perm)
nicolas(dot)peltier(at)imag(dot)frNicolas Peltier(Perm)
frederic(dot)prost(at)imag(dot)frFrédéric Prost(Perm)
jean-claude(dot)reynaud(at)imag(dot)frJean-Claude Reynaud(Perm)
Laurenti(dot)Fousse(at)imag(dot)frLaurent Fousse(Perm)
sylvain(dot)boulme(at)imag(dot)frSylvain Boulme(Perm)
pierre(dot)corbineau(at)imag(dot)frPierre Corbineau(Perm)
Everest, INRIA Sophia-Antipolis
benjamin(dot)gregoire(at)sophia(dot)inria(dot)fr Benjamin Gregoire(Perm)
Marelle, INRIA Sophia-Antipolis
Yves(dot)Bertot(at)sophia(dot)inria(dot)fr Yves Bertot(Perm)
Laurence(dot)Rideau(at)inria(dot)frLaurence Rideau(Perm)
Vladimir(dot)Komendantsky(at)inria(dot)frVladimir Komendantsky(Post-Doc)
Ekaterina(dot)Komendantskaya(at)inria(dot)frEkaterina Komendantskaya(Post-Doc)
Ioana(dot)Pasca(at)inria(dot)frIoana Pasca(Doct)
Sidi(dot)Ould_Biha(at)inria(dot)frSidi Ould Biha(Doct)
Nicolas(dot)Julien(at)inria(dot)frNicolas Julien(Doct)
LIFO, Université d’Orléans
jean-michel(dot)couvreur(at)univ-orleans(dot)fr Jean-Michel Couvreur(Perm)
pierre(dot)rety(at)univ-orleans(dot)fr Pierre Rety(Perm)
sebastien(dot)limet(at)univ-orleans(dot)frSébastien Limet(Perm)
siva(at)univ-orleans(dot)fr Siva Anantharaman(Perm)
LACL, Universite Paris 12
crolard(at)univ-paris12(dot)frTristan Crolard(Perm)
polonowski(at)univ-paris12(dot)fr Emmanuel Polonowski(Perm)
Plume, Ens-Lyon
pierre(dot)lescanne(at)ens-lyon(dot)fr Pierre Lescanne(Perm)
patrick(dot)baillot(at)ens-lyon(dot)frPatrick Baillot(Perm)
olivier(dot)laurent(at)ens-lyon(dot)fr Olivier Laurent(Perm)
alexandre(dot)miquel(at)ens-lyon(dot)frAlexandre Miquel(Perm)
Philippe(dot)Audebaud(at)ens-lyon(dot)frPhilippe Audebaud(Perm)
Daniel(dot)Hirschkoff(at)ens-lyon(dot)frDaniel Hirschkoff(Perm)
filippo(dot)bonchi(at)ens-lyon(dot)frFilippo Bonchi(Perm)
Marc(dot)Lasson(at)ens-lyon(dot)frMarc Lasson(Doct)
barbara(dot)petit(at)ens-lyon(dot)frBarbara Petit(Doct)
thanos(dot)tsouanas(at)ens-lyon(dot)frAthanasios Tsouanas(Doct)
Parsifal, INRIA Futurs
Joelle(dot)Despeyroux(at)inria(dot)frJoelle Despeyroux(Perm)
lutz(at)lix(dot)polytechnique(dot)frLutz Straßburger(Perm)
dale(at)lix(dot)polytechnique(dot)frDale Miller(Perm)
lengrand(at)lix(dot)polytechnique(dot)fr Stéphane Lengrand(Perm)
kaustuv(at)lix(dot)polytechnique(dot)frKaustuv Chaudhuri(Perm)
Tom(dot)Gundersen(at)lix(dot)polytechnique(dot)frTom Gundersen(Post-Doct)
Clement(dot)Houtmann(at)inria(dot)frClément Houtmann(Post-Doct)
gazeau(at)clipper(dot)ens(dot)frIvan Gazeau(Doct)
nguenot(at)lix(dot)polytechnique(dot)frnicolas guenot(Doct)
poupon(at)clipper(dot)ens(dot)frAnne-Laure Schneider(Doct)
Alexandre(dot)Viel(at)lix(dot)polytechnique(dot)frAlexandre Viel(Doct)
wirion(at)gmail(dot)comFrançois Wirion(Doct)
LIPN, Université Paris 13
cf(at)lipn(dot)univ-paris13(dot)fr Christophe Fouqueré(Perm)
stefano(dot)guerrini(at)univ-paris13(dot)frStefano Guerrini(Perm)
micaela(dot)mayero(at)lipn(dot)univ-paris13(dot)frMicaela Mayero(Perm)
beniamino(dot)accattoli(at)gmail(dot)comBeniamino Accattoli(ATER)
aubert(dot)clement(at)gmail(dot)comClément Aubert(Doct)
SPI, Université Paris 6
therese(dot)hardin(at)lip6(dot)fr Therese Hardin (Perm)
Labri, Université Bordeaux 1
pierre(dot)casteran(at)labri(dot)fr Pierre Casteran (Perm)
Olivier(dot)Ly(at)labri(dot)frOlivier Ly(Perm)
CPR, Cedric, CNAM
pierre(dot)courtieu(at)cnam(dot)frPierre Courtieu(Perm)
david(dot)delahaye(at)cnam(dot)frDavid Delahaye(Perm)
olivier(dot)pons(at)cnam(dot)frOlivier Pons(Perm)
xavier(dot)urbain(at)ensiie(dot)fr Xavier Urbain (Perm)
julien(dot)forest(at)ensiie(dot)frJulien Forest(Perm)
Irit, Université Paul Sabatier
Sergei(dot)Soloviev(at)irit(dot)frSergei Soloviev(Perm)
matthes(at)irit(dot)fr Ralph Matthes(Perm)
feraud(at)irit(dot)frLouis Féraud(Perm)
strecker(at)irit(dot)frMartin Strecker(Perm)
rebout(at)irit(dot)frMaxime Rebout(Post-Doc)
picard(at)irit(dot)frCelia Picard(Doct)
mariemag(at)irit(dot)frLionel Marie-Magdeleine(Doct)
giorgino(at)irit(dot)frMathieu Giorgino(Doct)
FORMES, INRIA-LIAMA et Tsinghua University
jouannaud(at)lix(dot)polytechnique(dot)frJean-Pierre Jouannaud(Perm)
frederic(dot)blanqui(at)inria(dot)fr Frederic Blanqui(Perm)
MIRHO, Sophia-Antipolis
luigi(dot)liquori(at)mines(dot)u-nancy(dot)fr Luigi Liquori(Perm)
LIF, Université de Provence
Solange(dot)Coupet(at)cmi(dot)univ-mrs(dot)fr Solange Coupet-Grimal(Perm)
(MCF) delobel(at)cmi(dot)univ-mrs(dot)frWilliam Delobel(Doct)
ONERA, Centre de Châtillon
Romain(dot)Kervarc(at)onera(dot)fr Romain Kervarc(Perm)
David(dot)Chemouil(at)onera(dot)frDavid Chemouil(Perm)

This document was translated from LATEX by HEVEA.