Fundamenta Informaticae
Fundamenta Informaticae est une revue scientifique en informatique théorique. Comme il est d'usage, les articles proposés sont évalués par les pairs. Le rédacteur en chef est, en 2018, Damian Niwiński.

Historique 
La revue a été créée en 1977 par la Société mathématique de Pologne en tant que série IV des  . Le journal est publié et distribué par  sous les auspices de l’European Association for Theoretical Computer Science.

Thèmes 
La revue est principalement orientée vers les fondements mathématiques de l’informatique et notamment la recherche de solutions, par des méthodes mathématiques, à des problèmes issus de l’informatique, et l'étude de problèmes de nature mathématique issus de l'informatique.

Les thèmes couverts par la revue sont notamment :

Théorie du calcul, théorie de la complexité , conception et analyse des algorithmes, théorie des langages de programmation, sémantique et vérification des programmes, logique en informatique, théorie de la base de données, programmation logique et déduction automatique, langages formels et automates, concurrence  et informatique distribuée,  cryptographie et sécurité, problèmes théoriques de l'intelligence artificielle, exploration de données et découverte de connaissances, apprentissage automatique et reconnaissance des formes, théorie algorithmique des jeux, théorie des systèmes multi-agents, bio-informatique et biologie informatique, informatique naturelle, réseaux de neurones, informatique quantique, ensembles flous, théorie des ensembles approximatifs et informatique granulaire.

Les articles sont indexés et les résumés publiés par les principales bases bibliographiques.

Bibliographie 
 .

Lien externe 
 
 
 

Revue d'informatique
Informatique théorique
Titre de presse créé en 1977
Presse écrite en anglais
Fundamenta Informaticae est une revue scientifique en informatique théorique . Comme il est d' usage , les articles proposés sont évalués par les pairs . Le rédacteur en chef est , en Damian Niwiński . Historique La revue a été créée enpar la Société mathématique de Pologne en tant que série IV de les \ . Le journal est publié et distribué par sous les auspices de l’ European Association for Theoretical Computer Science . Thèmes La revue est principalement orientée vers les fondements mathématiques de l’ informatique et notamment la recherche de solutions , par de les méthodes mathématiques , à de les problèmes issus de l’ informatique , et l' étude de problèmes de nature mathématique issus de l' informatique . Les thèmes couverts par la revue sont notamment \ : Théorie de le calcul , théorie de la complexité , conception et analyse de les algorithmes , théorie de les langages de programmation , sémantique et vérification de les programmes , logique en informatique , théorie de la base de données , programmation logique et déduction automatique , langages formels et automates , concurrence et informatique distribuée , cryptographie et sécurité , problèmes théoriques de l' intelligence artificielle , exploration de données et découverte de connaissances , apprentissage automatique et reconnaissance de les formes , théorie algorithmique de les jeux , théorie de les systèmes multi-agents , bio-informatique et biologie informatique , informatique naturelle , réseaux de neurones , informatique quantique , ensembles flous , théorie de les ensembles approximatifs et informatique granulaire . Les articles sont indexés et les résumés publiés par les principales bases bibliographiques . Bibliographie \ . Lien externe Revue d' informatique Informatique théorique Titre de presse créé en Presse écrite en anglais