Aucune photo de Manel Barkallah

Manel Barkallah

  • Belgique

  • 0 Citations
  • 0 h-Index
20192019
Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Profil personnel

Qualification académique

Maîtrise d'informatique

sept. 2015juin 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

Résultat de recherche 2019 2019

  • 1 Article dans les actes d'une conférence/un colloque
  • 1 Poster

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érenceArticle 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

  • 3 Participation à une conférence, un congrès
  • 1 Participation à un Colloque, une journée d'étude
  • 1 Participation à un atelier/workshop, un séminaire, un cours
  • 1 Présentation orale

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énementParticipation à 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énementParticipation à 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énementParticipation à une conférence, un congrès

COORDINATION 2019 - 21st International Conference on Coordination Models and Languages

Manel Barkallah (Orateur)
17 juin 201920 juin 2019

Activité: Types de Participation ou d'organisation d'un événementParticipation à 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ésentationPrésentation orale