Projets par année
Profil personnel
Qualification académique
Maîtrise d'informatique
sept. 2015 → juin 2017
Empreinte digitale Examinez les sujets de recherche où Manel Barkallah est actif. Ces libellés de rubriques sont le fruit de recherches menées par cette personne. Ensemble, ils forment une empreinte digitale unique.
- 1 Profils similaires
Temporal logic
Ingénierie et Science des Matériaux
Algebra
Ingénierie et Science des Matériaux
Linear Temporal Logic
mathématiques
Programming Environments
mathématiques
Process Algebra
mathématiques
Concurrent Systems
mathématiques
Fragment
mathématiques
Reasoning
mathématiques
Projets 2019 2019
- 1 Actif
STS-Bach: a Contextual Coordination Model for Socio-Technical Systems
1/10/19 → …
Projet: Projet de thèse
Résultat de recherche 2019 2019
Scan: A simple coordination workbench
Jacquet, J. M. & Barkallah, M., 5 juin 2019, Coordination Models and Languages - 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Proceedings. Tuosto, E., Tuosto, E. & Riis Nielson, H. (eds.). Springer Verlag, p. 75-91 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 11533 LNCS).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
Temporal logic
Algebra
Linear Temporal Logic
Programming Environments
Process Algebra
Scan: A Simple Coordination Workbench
Barkallah, M. & Jacquet, J-M., 6 déc. 2019. 1 p.Résultats de recherche: Contribution à un événement scientifique (non publié) › Poster
Activités 2018 2019
FOCUS Research Seminar
Wim Vanhoof (Organisateur), Jean-Marie Jacquet (Organisateur), Manel Barkallah (Membre du Comité d'Organisation), Gonzague Yernaux (Membre du Comité d'Organisation), Pierre-Yves Schobbens (Membre du Comité d'Organisation), James Jerson Ortiz Vega (Membre du Comité d'Organisation), Moussa Amrani (Membre du Comité d'Organisation), Isabelle Linden (Membre du Comité d'Organisation), Christian Colot (Membre du Comité d'Organisation)6 déc. 2019
Activité: Types de Participation ou d'organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
Vie privée, liberté d'expression et démocratie dans la société du numérique - Espoirs ou menaces ? Transparences et opacités
Manel Barkallah (Participant)28 nov. 2019
Activité: Types de Participation ou d'organisation d'un événement › Participation à un Colloque, une journée d'étude
Grascomp Doctoral Day
Manel Barkallah (Participant)22 nov. 2019
Activité: Types de Participation ou d'organisation d'un événement › Participation à une conférence, un congrès
COORDINATION 2019 - 21st International Conference on Coordination Models and Languages
Manel Barkallah (Orateur)17 juin 2019 → 20 juin 2019
Activité: Types de Participation ou d'organisation d'un événement › Participation à une conférence, un congrès
Symbolic Reasoning in Artificial Intelligence Allows for the Development of `Correct-by-Construction' Systems
Manel Barkallah (Orateur), Jean-Marie Jacquet (Orateur), Isabelle Linden (Orateur)23 oct. 2018
Activité: Types de discours ou de présentation › Présentation orale