Manuel Maarek

Manuel Maarek's picture

Je m'appelle Manuel Maarek, je suis chercheur en informatique. Vous trouverez sur cette page des informations sur mon activité professionnelle. Si vous avez besoin d'un complément d'informations, n'hésitez pas à me contacter. My name is Manuel Maarek. I am a researcher in computer science. This page is dedicated to my work-related activities. Feel free to contact me for any additional information.

Recherche Research

logo INRIA logo LICIT

Depuis octobre 2008, je suis postdoctorant dans l'équipe LICIT de l'INRIA Grenoble Rhône-Alpes. Je travaille sous la direction de Daniel Le Métayer dans le projet LISE sur la responsabilités en matière de logiciels [ICSE'10]. Since October 2008, I am a postdoctoral fellow in the LICIT Team at INRIA Grenoble Rhône-Alpes. I am working under the supervision of Daniel Le Métayer within the LISE Project on liability in software engineering [ICSE'10].

logo ERCIM logo CRPHT

De septembre 2007 à août 2008, j'étais postdoctorant du programme ERCIM "Alain Bensoussan" au CITI du Centre de Recherche Public Henri Tudor à Luxembourg. J'ai travaillé sous la direction de Thibaud Latour, conjointement avec Yannick Naudet et Patrick Plichart, sur l'élaboration d'un processeur pour le Web sémantique [JFO'08]. During the September 2007 - August 2008 period, I was a postdoctoral fellow (ERCIM "Alain Bensoussan") in the CITI of the Centre de Recherche Public Henri Tudor in Luxembourg where I worked under the supervision of Thibaud Latour, and jointly with Yannick Naudet and Patrick Plichart on the elaboration of a processor for the semantic Web [JFO'08].

logo HWU logo ULTRA

Je suis membre affilié du Groupe ULTRA du département MACS de l'Université Heriot-Watt d'Édimbourg. J'y ai effectué ma thèse de doctorat [PhD 2007] sous la direction du Professeur Fairouz Kamareddine et du Docteur Joe Wells au sein du Projet MathLang. I am an affiliate member of the ULTRA Group in the School of Mathematical and Computer Sciences (MACS) at Heriot-Watt University in Edinburgh where I carried out my PhD research [PhD 2007] under the supervision of Professor Fairouz Kamareddine and Doctor Joe Wells working on the MathLang Project

logo ESSLLI05 logo FOLLI

J'ai fait partie du comité d'organisation de ESSLLI'05, école d'été européenne de logique, linguistique et informatique de FoLLI. I was involved in the organising committee of FoLLI's 17th European Summer School in Logic, Language and Information ESSLLI'05.

logo LIP6 logo UPMC

J'étais membre de l'équipe SPI du LIP6. Au sein du Projet FoCaLize (anciennement FoC puis FoCal), j'ai travaillé, avec Virgile Prevosto, à l'élaboration de FoCDoc [Calculemus'03], le système de documentation de FoC. I was a member of the SPI Team at LIP6. I worked in the FoCaLize Project (formally FoC then FoCal) with Virgile Prevosto on designing FoC's documentation system: FoCDoc [Calculemus'03].

Publications Publications

Liste de publications List of publications

[ICSE'10]
Daniel Le Métayer, Manuel Maarek, Eduardo Mazza, Marie-Laure Potet, Stéphane Frénot, Valérie Viet Triem Tong, Nicolas Craipeau, and Ronan Hardouin. Liability in software engineering - Overview of the LISE approach and illustration on a case study. In 32nd International Conference on Software Engineering, ICSE 2010, May 2-8, 2010, Cap Town, South Africa, Proceedings. ACM, 2010. To appear.
[NLELA'08]
Daniel Le Métayer and Manuel Maarek. Deriving legal arguments from software traces, position paper. In Workshop on the Natural Language Engineering of Legal Argumentation: Language, Logic, and Computation., Faculty of Law, University of Florence, Florence, Italy, December 13 2008.
[JFO'08]
Manuel Maarek, Yannick Naudet, Patrick Plichart, and Thibaud Latour. Ontologies, règles et services : vers une connaissance actionnable. In ACM Digital Library, editor, Actes des deuxièmes Journées Francophones sur les Ontologies (JFO) 2008, 1 à 3 Décembre 2008, Lyon, France, 2008. To appear.
[MKM'07 a]
Fairouz Kamareddine, Robert Lamar, Manuel Maarek, and J. B. Wells. Restoring natural language as a computerised mathematics input method. In Towards Mechanized Mathematical Assistants (Calculemus 2007 and MKM 2007 Joint Proceedings), volume 4573 of Lecture Notes in Artificial Intelligence, pages 280-295. Springer Verlag, 2007. (pdf, black and white pdf) (example supplement pdf, black and white pdf)
(slides of the talk pdf given by my colleague Robert Lamar)
[MKM'07 b]
Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, and J. B. Wells. Narrative structure of mathematical texts. In Towards Mechanized Mathematical Assistants (Calculemus 2007 and MKM 2007 Joint Proceedings), volume 4573 of Lecture Notes in Artificial Intelligence, pages 296-311. Springer Verlag, 2007. (pdf)
(slides of the talk pdf given by my colleague Krzysztof Retel)
[NCD'07]
Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, and J. B. Wells. Digitised mathematics: Computerisation vs. formalisation. In Review of the National Center for Digitization, volume 10, pages 1-8, Faculty of Mathematics, Belgrade, Serbia, 2007. (pdf)
[AT65 2007]
Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, and J. B. Wells. Gradual computerisation/formalisation of mathematical texts into Mizar. In Roman Matuszewski and Anna Zalewska, editors, From Insight to Proof: Festschrift in Honour of Andrzej Trybulec, volume 10(23) of Studies in Logic, Grammar and Rhetoric, pages 95-120. University of Białystok, 2007. Under the auspices of the Polish Association for Logic and Philosophy of Science. (pdf)
[MKM'05]
Fairouz Kamareddine, Manuel Maarek, and J. B. Wells. Toward an object-oriented structure for mathematical text. In Mathematical Knowledge Management, 4th Int'l Conf., Proceedings, volume 3863 of Lecture Notes in Artificial Intelligence, pages 217-233. Springer Verlag, 2006. (pdf)
(slides of the talk pdf)
[MKMSymp'03]
Fairouz Kamareddine, Manuel Maarek, and J. B. Wells. Mathlang: Experience-driven development of a new mathematical language. In Proc. [MKMNET] Mathematical Knowledge Management Symposium, volume 93 of ENTCS, pages 138-160, Edinburgh, UK (2003-11-25/---29), February 2004. Elsevier Science. (ps, pdf) (appendix ps, pdf)
(slides of the talk pdf) [ DOI ]
[MKM'04]
Fairouz Kamareddine, Manuel Maarek, and J. B. Wells. Flexible encoding of mathematics on the computer. In Mathematical Knowledge Management, 3rd Int'l Conf., Proceedings, volume 3119 of Lecture Notes in Computer Science, pages 160-174. Springer Verlag, 2004. (pdf)
(slides of the talk pdf)
[Calculemus'03]
Manuel Maarek and Virgile Prevosto. FoCDoc: The documentation system of FoC. In 11th Calculemus Symposium, September 2003. (pdf)
(slides of the talk ps)

Thèse de doctorat et rapports PhD thesis and reports

[INRIA RR 2009]
Christophe Alleaume, Valérie-Laure Benabou, Denis Beras, Christophe Bidan, Nicolas Craipeau, Stéphane Frénot, Gregor Goessler, Ronan Hardouin, Julien Le Clainche, Daniel Le Métayer, Manuel Maarek, Eduardo Mazza, Ludovic Mé, Marie-Laure Potet, Sylvain Steer, and Valérie Viet Triem Tong. Liability in software engineering: Overview of the LISE approach and illustration on a case study. Research Report RR-7148, INRIA, December 2009. [ http ]
[PhD 2007]
Manuel Maarek. Mathematical Documents Faithfully Computerised: the Grammatical and Text & Symbol Aspects of the MathLang Framework. PhD thesis, Heriot-Watt University, Edinburgh, Scotland, June 2007. Supervised by Professor Fairouz Kamareddine and Doctor Joe Wells. (pdf) (http://hdl.handle.net/10399/73)
[Report 2003]
Manuel Maarek. First year PhD report. Technical report, Heriot-Watt University, August 2003. (pdf)
(slides of the viva pdf)
[Master 2002]
Manuel Maarek. Conception d'une librairie OMDoc pour FoC. Technical report, Université Pierre et Marie Curie Paris VI, September 2002. Rapport de DEA. (pdf)

Exposés Talks

Supports d'exposés Slides of talks

[1]
Deriving legal arguments from software traces. NaLELA at JURIX 08, Florence, Italy, December 13, 2008. (pdf)
[2]
Ontologies, règles et services : vers une connaissance actionnable. JFO 08, Lyon, France, December 1, 2008. (pdf)
[3]
Mathematical documents faithfully computerised: the grammatical and text & symbol aspects of the MathLang framework. EXMO seminars, Grenoble, France, June 10, 2008. (pdf) (demonstration)
[4]
Ontologies, règles et services : vers une connaissance actionnable. EXMO seminars, Grenoble, France, June 10, 2008. (pdf)
[5]
Mathematical documents faithfully computerised: the grammatical and text & symbol aspects of the MathLang framework. Transnational Access Programme, RISC, Linz, Austria, February 26, 2008. (pdf) (demonstration)
[6]
Prototyping of a processor for the semantic web. CITI, Centre de Recherche Public Henri Tudor, Luxembourg-Kirchberg, Luxembourg, October 26, 2007. (pdf)
[7]
Mathematical documents faithfully computerised: the grammatical and text & symbol aspects of the MathLang framework. CITI, Centre de Recherche Public Henri Tudor, Luxembourg-Kirchberg, Luxembourg, October 26, 2007. (pdf) (demonstration)
[8]
Digitised mathematics: Computerisation vs. formalisation. The Sixth NCD Conference, Faculty of Mathematics, Belgrade University, Belgrade, Serbia, June 21, 2007. (pdf) (demonstration)
[9]
The implementation of MathLang's CGa checker and CGa-TSa interface. Omega/ULTRA/TeXmacs mini-workshop, Saarbruecken, Germany, March 22, 2007. (pdf) (demonstration)
[10]
Restoring natural language as a computerised mathematics input method. Protheo seminars, Loria, Nancy, France, March 16, 2007. (pdf) (demonstration)
[11]
Restoring natural language as a computerised mathematics input method. SPI seminars, LIP6, Paris, France, March 15, 2007. (pdf) (demonstration)
[12]
Design and development of the core grammatical aspect of MathLang. Invited talk at Faculty of Science and Mathematics, Niš University, Niš, Serbia, June 9, 2006. (pdf)
[13]
Toward an object-oriented structure for mathematical text. Theorema-Ultra-Omega'05 Workshop, Saarbruecken, Germany, November 14, 2005. (pdf)
[14]
Toward an object-oriented structure for mathematical text. MKM 05, International University Bremen, Bremen, Germany, July 16, 2005. (pdf)
[15]
Toward an object-oriented structure for mathematical text. ULTRA seminars, Heriot-Watt University, Edinburgh, UK, July 12, 2005. (pdf)
[16]
The object-oriented structure of mathematical text. Omega Talks, DFKI, Saarbruecken, Germany, May 17, 2005.
[17]
Flexible encoding of mathematics on the computer. MKM 04, University of Białystok, Białowieża, Poland, September 19, 2004. (pdf)
[18]
Experience-driven development of a mathematical language. MACS postgraduate seminars, Heriot-Watt University, Edinburgh, UK, January 21, 2004. (ps)

Contact Contact

par courriel by email
Manuel.Maarek@inrialpes.fr
Manuel.Maarek@macs.hw.ac.uk
par courrier by snail mail
Manuel Maarek
INRIA Grenoble - Rhône-Alpes
655, avenue de l'Europe
Montbonnot
F-38334 Saint Ismier Cedex
France
à mon bureau in my office
D217
par téléphone by phone
+33 4 76 61 53 98

Divers Miscellaneous

Il y a quelques années j'ai développé xmllexer: un lexeur XML pour Camlp4. Some years ago, I have developed xmllexer: an XML lexer for Camlp4.