Dominique PASTRE professeur d'informatique honoraire / emeritus professor of computer science UFR de mathématiques et informatique/ department of mathematics and computer science Université Paris Descartes 45 rue des Saints Pères, F-75270 Paris Cedex 06, France tél : +33 (0)1 44 55 35 62 fax. : +33 (0)1 44 55 35 35 courriel : pastre (chez) math (tiret) info (point) univ (tiret) paris5 (point) fr /e-mail : pastre (at) math (hyphen) info (dot) univ (hyphen) paris5 (dot) fr bureau/office : pavillon Bichat 705D3

Membre du/Member of LIPADE (ex Crip5)
Laboratoire d'Informatique de PAris DEscartes/ Laboratory for computer science at University Paris Descartes
ex Centre de Recherche en Informatique de Paris 5 / Center of research in computer science of Paris 5

• équipe/group IAD
  Intelligence Artificielle / Artificial Intelligence

Recherche / Research

Thème : Intelligence Artificielle / Artificial intelligence

• Démonstration automatique de théorèmes / Automated theorem proving

• Automatisation du raisonnement mathématique / Automatisation of mathematical reasoning

Réalisation / Implementation : démonstrateur / prover Muscadet

Applications sur la base TPTP Problem Library

Participation aux compétitions CASC / Participation to CASC competitions
organisées dans le cadre des conférences CADE / held at CADE (Conferences on Automated DEduction) conferences
(dans les divisions FOF (premier ordre avec (FEQ) ou sans (NEQ) égalité) / in FOF divisions (first-order with (FEQ) or without (NEQ) equality)

Quelques publications / Some publications

• principales anciennes descriptions du système Muscadet et de son ancêtre Datte
  / main old descriptions of the Muscadet system and of the first Datte prover
  
  
• publications récentes / recent publications

Principaux enseignements effectués et quelques supports de cours
/ Main teaching

• Programmation orientée objet / Object-oriented programming, Programmation JAVA

• Méthodes numériques / Numerical methods

• Calcul Formel / Symbolic manipulation

et aussi / and also

• Structures de données et algorithmes / Data structures and algorithms
• Systèmes et langages de programmation / Systems and programming languages, commandes shell
• Compilation
• Algoritmique numérique / Numerical algorithms
• Architecture des ordinateurs
• Initiation à l'informatique / Initiation to computer science
  (filières scientifiques et filières sciences humaines / for scientific and non scientific students)
• Mathématiques/ Mathematics
  en 1er cycle scientifique et 1er cycle sciences humaines

langages enseignés et/ou utilisés / languages
Algol, Fortran, Basic, PL1, LSE, Pascal, C, Java
Shell
Lex, Yacc
Lisp, Prolog
Reduce, Mapple, Macsyma, MuPAD
Scilab

Tout savoir sur / To know everything about

• L'AFIA (Association Française pour l'Intelligence Artificielle / French association for artifical intelligence)

• SPECIF (Société des Personnels Enseignants et Chercheurs en Informatique de France
  / Association for computer science teachers and researchers)

• Les associations Femmes et Mathématiques
  European woomen in mathematics (EWM)
  Association for Women in Mathematics (USA)

• Le GUMS (Groupe Universitaire de Montagne et de Ski (qui n'est pas seulement universitaire ...))
  / Association for mountaineering and cross-country skiing

• Amnesty international (prix Nobel de la Paix / Nobel Peace prize 1977)
  Participez à la pétition photographique mondiale pour un traité international sur le commerce des armes / Visual petition for an International Arms Trade Treaty

• Handicap international,
  une des six ONG fondatrices de la / one of the six NGO founder of
  Campagne Internationale pour l'interdiction des mines antipersonnel / International Campaign to ban landmines (ICBL), prix Nobel de la Paix / Nobel Peace prize 1997
  Signez la pétition contre les bombes à sous-munitions / the petition against cluster bombs
  
  Les 16èmes Pyramides de chaussures ont été construites le Samedi 25 septembre 2010 à Paris et dans une trentaine d'autres villes de France
  Les prochaines auront lieu le Samedi 24 Septembre 2011

Et quelques photos / And some pictures

• du Népal et deux textes Fragile Népal, terre de contrastes (Le Crampon, revue du GUMS, n° 308, juin 2001) et Autour du Manaslu (Le Crampon, revue du GUMS, n° 318, juin 2003)

• de l'Ile de la Réunion et un texte L'île de la Réunion, de la forêt tropicale primaire à l'hélicoptère (Le Crampon, revue du GUMS, n° 310, décembre 2001)

• de Patagonie (Argentine)

• d' Inde : Ladakh + Agra

• de Norvège/Norway

• des Alpes ( Suisse/Switzeerland (Bernina-Albula) et Italie )