onzième réunion du
groupe de travail LAC du GDR-ALP
CALCULS SYMBOLIQUES
:
calcul formel, réécriture,
logique et preuve
les 15 et 16 décembre 2005
à Grenoble
Participants
- Pierre Berlioux (LSR-IMAG Grenoble)
- Didier Bert (LSR-IMAG Grenoble)
- Sylvain Boulmé (LSR-IMAG Grenoble)
- Thierry Boy de la Tour (Leibniz-IMAG Grenoble)
- Ricardo Caferra (Leibniz-IMAG Grenoble)
- René David (LAMA Chambéry)
- Jean-Guillaume Dumas (LMC-IMAG Grenoble)
- Dominique Duval (LMC-IMAG Grenoble)
- Rachid Echahed (Leibniz-IMAG Grenoble)
- Mnacho Echenim (Leibniz-IMAG Grenoble)
- Delia Kesner (PPS Paris 7)
- Claude Kirchner (LORIA Nancy)
- Stéphane Lengrand (PPS Paris 7)
- Pierre Lescanne (ENS Lyon)
- Michel Lévy (LSR-IMAG Grenoble)
- Claude Marché (LRI Orsay)
- Jean-François Monin (Verimag-IMAG Grenoble)
- Karim Nour (LAMA Chambéry)
- Nicolas Peltier (Leibniz-IMAG Grenoble)
- Caroline Priou (PPS Paris 7)
- Frédéric Prost (Leibniz-IMAG Grenoble)
- Silvio Ranise (LORIA Nancy)
- Jean-Claude Reynaud (LSR-IMAG Grenoble)
- Renaud Rioboo (LIP6 Paris 6)
- Olivier Ruatta (LACO Limoges)
- Khelifa Saber (LAMA Chambéry)
- André Verdillon (IMAG Grenoble)
- Laurent Vuillon (LAMA Chambéry)
- Benjamin Wack (LORIA Nancy)
- Dragisa Zunic (ENS Lyon)