SEMINAIRES DU GOTHA ____________________ Vendredi 8 Avril, 14h a Jussieu. (RDV vers 13h45 : bureau de Philippe Chretienne tour 55-65 4eme etage porte 28) Expose de Olivier DUBOIS (LAFORIA - Paris) TITRE : "Nouveautes sur le probleme SAT et ses consequences sur d'autres problemes" =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= Pierre LOPEZ Systemes de Production Tel: (33) 61 33 62 98 LAAS - CNRS Fax: (33) 61 55 35 77 7, av. du Colonel Roche Net: lopez@droopy.laas.fr F-31077 TOULOUSE Cedex =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=