Mihail-Octavian STAICU

• présentation
• projets
• activités
• publications (1)
• fiche complète

Téléphone: 081/724993
Fax: 081/724967
Mail:

Charges aux FUNDP

• Pôle sémantique, logique et calcul (Chercheur)
• Groupe de recherche en informatique fondamentale (Scientifique)
• Faculté d'informatique (Chercheur)

Anciens projets

• Application de modèles de coordination temporels à l'analyse d'images (Bach-image) (2008-2009)
  Jean-Marie JACQUET, Isabelle LINDEN, Mihail-Octavian STAICU

Activités : poster

Réunion : Annual GRASCOMP contact day (Liege, ULG, 2010)

This contact day aims at bringing together researchers involved in the GRASCOMP doctoral school in computer science and engineering.

All universities from the French-speaking Community of Belgium (FUNDP, UCL, ULB, ULg, UMons) are involved.

Activités avec simple participation

Formation : LEX 2010 - MANAGING LEGAL RESOURCES IN THE SEMANTIC WEB (Ravenna - Italy, Law Faculty - University of Bologna, 2010)

The school aims at providing knowledge of the most significant ICT standards emerging for legislation, judiciary, parliamentary and administrative documents. The course provides understanding of their impact in the different phases of the legislative and administrative process, awareness of the tools based on legal XML standards and of their constellations, and the ability to participate in the drafting and use of standard-compliant documents throughout law-making process. In particular we would like to create consciousness in the stakeholders in the legal domain about the benefits and the possibilities provided by the correct usage of Semantic Web technologies such as XML standards, ontologies, natural language processing techniques applied to legal texts, legal knowledge modelling and reasoning tools.

Autre : 5th International School on Rewriting (Part of Summerschool Utrecht 2010) (Utrecht, Utrecht Summer School, 2010)

Term rewriting is a powerful model of computation underlying much of declarative programming and which is heavily used in symbolic computation in logic and computer science. Applications cand be found in theorem proving and protocol verification, but also in fields as diverse as mathematics, philosophy and biology.

Following the editions in Nancy (twice, France), Obergurgl (Austria), and Brasilia (Brazil), the 5th International School on Rewriting takes place in Utrecht.

Formation : Quantitative Model Checking - PhD School (Copenhagen, IT University, 2010)

The lectures will present advances within this broad field of quantitative model checking, providing an in-depth account of state-of-the-art modeling and logical formalisms, model checking algorithms as well as practical applications and offering hands-on experience of state-of-the art quantitative model checking tools.

Publications (1)

Actes de colloques