Contact Person : Laurent Fribourg; Last Date for the submission of abstract : Not Available ; Description : automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, linear logic, logical aspects of computational complexity, finite model theory, higher order logic, logic program