Séminaire Logique de Lyon, Université Claude Bernard Lyon 1