Diplômes, Honneurs ...
Deux périodes sont à considérer
jusqu'à 1983 (vie en Tchécoslovaquie, doctorat en mathématiques, ...),
à partir de 1983 (vie en France, doctorat en intelligence artificielle, ...).
Vie en Tchécoslovaquie
1975-1982
formation individuelle à la recherche scientifique et l’épistémologie sous la direction de Prof. Milan Hejny (professeur à la Faculté des mathématiques de l’Université de Comenius), de Prof. Jan Gatial (professeur et directeur du département des mathématiques de la Faculté d’Electronique) et Prof. Vojtech Filkorn (membre de l’Académie des Sciences de la République Slovaque, professeur à la faculté dePhilosophie de l’Université de Comenius).
3 juin 1977
Baccalauréat
1 juin 1982
Diplôme de fin d'études (Université de Bratislava)
Titre de "Docteur en Sciences Naturelles", en abrégé "RNDr" (doctorat en mathématiques)
Titre du mémoire du diplôme: Logique multivaluée avec les valeurs de vérité ordonnées dans une chaîne de n-éléments, 1982.
30 juin 1982
Prix du Ministère de l'Éducation de la République Socialiste Slovaque
juillet 1982
l'article Credo du docteur Franova dans le quotidien slovaque SMENA (peut être consulté ici)
Quelques travaux de cette époque
Ne sont mentionnés ici que des prix décernés aux concours à caractère national.
1976
1er prix au concours national des travaux des étudiants de Slovaquie, pour le mémoire:
Des systèmes axiomatiques.
1978
3ème prix au concours des travaux de recherche d'étudiants des écoles supérieures de Tchécoslovaquie en section: Épistémologie, logique et philosophie, pour le mémoire:
Quelques problèmes méthodologiques.
1979
1er prix au concours des travaux de recherche d'étudiants des écoles supérieures de Tchécoslovaquie en section: Épistémologie, logique et philosophie, pour le mémoire:
L'isomorphisme de structures comme une méthode d'apprentissage du réel.
1980
1er prix au concours des travaux de recherche d'étudiants des écoles supérieures de Tchécoslovaquie en section: Épistémologie, logique et philosophie, pour le mémoire:
Des systèmes déductifs.
Autres publications de cette époque
Un problème dans le transport de marchandises, 1981.
A problem of the goods traffic; Acta Mathematica Universatis Comenianae, Publ. 44-45, Alfa, Bratislava, 1983.
Izomorfismus struktur a modelovanie (L'isomorphisme des structures et la modélisation); (en slovaque) Zbornik Prac EF SVST, Bratislava, 1983, 176-182.
Vie en France
1984
Diplôme d'études approfondies, spécialité Informatique
1988
Nouvelle thèse, l'Université Paris Sud, Orsay (doctorat en intelligence artificielle)
Fundamentals of a new methodology for Program Synthesis from Formal Specifications: CM-construction of atomic formulae; Novembre, 1988.
1988
Prêt (1 an) d'une machine par Apple France pour le développement du système PRECOMAS
1992
Best Paper Award of the Meeting (EMCSR'92)
et
Best Paper Award for the Symposium Artificial Intelligence (EMCSR'92)
pour
M. Franova, A. Galton: Failure Analysis in Constructive Matching Methodology: A Step Towards Autonomous Program Synthesizing Systems; in: R. Trappl, (ed): Cybernetics and System Research '92; World Scientific, 1992, 1553-1560.
1994
Best Paper Award for the Symposium Artificial Intelligence (EMCSR'94)
pour
M. Franova: Proving Implications in Inductive Theorem Proving; in: R. Trappl, ed.: Cybernetics and Systems'94; World Scientific, 1994, 1777-1784.
1998-2003
Formation sur le Droit de la Propriété Idustrielle (à Orsay)
organisée par SAIC de l’Université Paris-Sud
2008
Parution du Livre Fondateur de la Créativité Formelle
2010
Le 1. Avril 2010, Création du site officiel de l' Atelier de la Créativité Formelle
2017
pour
Marta Franova, Yves Kodratoff:
A Model of Pulsation for Evolutive Formalizing Incomplete Intelligent Systems
pour
Yves Kodratoff, Marta Franova:
Resonance Thinking and Inductive Machine Learning