Logo Se connecter
Actualisé le 11 juin 2024, Faustine Oliva

Domaines d’expertise (AOE) et de compétence (AOC)

AOE
Philosophie et épistémologie des mathématiques, Philosophie de l'informatique
AOC
Philosophie des sciences, Logique, Epistémologie

Positions académiques

Doctorante contractuelle, Aix-Marseille Université, Aix-en-Provence, Intitulé de thèse : Des programmes qui prouvent : étude de la signification des démonstrations assistées par ordinateur pour la connaissance mathématique.

Formation

Licence de Sciences L2 Mathématiques à distance

, Université d'Angers, Angers, Mention en attente

Master de SHS mention Épistémologie, Logique, Histoire des Sciences (MADELHIS)

, Université de Lorraine, Mention Très bien

Maîtrise de Sciences Humaines et Sociales mention Philosophie

, Université Jean Moulin Lyon 3, Lyon, Mention Bien

Licence de Sciences Humaines et Sociales mention Philosophie

, Université Jean Moulin Lyon 3, Lyon, Mention Bien

Licence de Sciences, Technologies, Santé mention Mathématiques-Informatique

, Université Claude Bernard Lyon 1, Lyon, Semestres 1 et 2 validés

Baccalauréat scientifique Spécialité Mathématiques

, Lycée Jean Moulin, Albertville, Savoie, Mention Très bien

Enseignements

Passés

L1

Chargée de cours

, TD Philosophie des sciences et épistémologie, Université Jean Moulin Lyon 3, Lyon
Terminale

Enseignante contractuelle (temps partiel)

, Enseignements de philosophie et moral et civique, Lycée Ambroise Croizat, Moûtiers

Communications

 Que font les assistants de preuve aux mathématiques ? 

— Dans le cadre du Séminaire Jeunes Chercheurs en Philosophie Argumentative, En ligne

 In what sense are (computer-assisted) proofs experiments ? 

— Dans le cadre du Séminaire d’équipe PhilInBioMed, laboratoire ImmunoConcept, Bordeaux, France

 Que font les assistants de preuve aux mathématiques? 

— Dans le cadre des Vingt-quatrièmes Rencontres enseignants-chercheurs, Aix-en-Provence

 En quel sens les démonstrations assistées par ordinateur sont-elles des expérimentations ? 

— Dans le cadre du Séminaire d’équipe MeTAH, Laboratoire d’Informatique de Grenoble, Grenoble, France

 Comment l’hypercarte peut-elle nous guider à travers la démonstration du théorème des quatre couleurs en Coq? 

— Dans le cadre du Séminaire d’équipe LIRICA, Laboratoire d’Informatique et des Systèmes, Marseille, France

 Quatre couleurs et un ordinateur : à la découverte de la première démonstration assistée par ordinateur 

— Dans le cadre du cycle Philosopher au quotidien organisé à la Bibliothèque l'Alcazar, Marseille, France

 From maps on paper to bits in computer: which proof of the Four Color Theorem is the most intuitive? 

— Dans le cadre de The Nancy-Liège Workshops on Mathematical Intuition, Liège, Belgique

 What does the computer-assisted proof of the Four Color Theorem prove? 

— Dans le cadre du Quinzième colloque français de philosophie des mathématiques, Paris, France

 How can hypermaps guide us through the computer-assisted proof of the Four Colour Theorem? 

— Dans le cadre du Logic Colloquium 2023, Milan, Italie

 En quel sens les démonstrations assistées par ordinateur sont-elles des expérimentations ? 

— Dans le cadre du Neuvième Congrès de la Société de philosophie des sciences, Nanterre, France

 100 couleurs suffisent ! Présentation succincte et partielle des démonstrations assistées par ordinateur 

— Dans le cadre du Séminaire doctoral HypoThèse, Aix-en-Provence, France

Organisation de colloques, workshops, journées d’étude

Les Assises du Centre Granger 2024/ 2e édition : été

Quatre couleurs et un ordinateur : à la découverte de la première démonstration assistée par ordinateur