Olivier Hermant, Ph.D

On this web page

This page is obsolete. Please visit my new, up to date, web page at CRI, MINES ParisTech, where I am currently a research assistant, if you are not redirected to it within 3 seconds.

My Ph.D. Thesis
My publications
A small resume
My teachings
My web page at PPS, Université Denis Diderot, where was working last year.
How to reach me
J'ai signé cette lettre

Some biographical elements

Curriculum Vitæ in english: ps or pdf
CV en français: ps ou pdf
CV en français (long version, new): pdf

The Ph.D Thesis manuscript (in french) : ps, ps.gz, pdf, pdf.gz, bibtex
The thesis report and the thesis pre-report are no more available. Please ask me if you need it.
A resume of my PhD Thesis (english and french).

Publications

In international conferences

O. Hermant, A Model-based cut elimination proof, 2nd St-Petersburg Days of Logic and Computability, St-Petersburg, 2003: ps, pdf, bibtex
O. Hermant, Semantic cut elimination in the Intuitionnistic Sequent Calculus, proceedings of TLCA'05, Nara, Japan, LNCS 3461, pp. 221-233, 2005: ps, pdf, bibtex
R. Bonichon and O. Hermant, A semantic completeness proof for TaMeD, proceedings of LPAR'06, Phnom Penh, Cambodia, LNCS 4246, pp. 167-181, 2006: ps and pdf, bibtex.
R. Bonichon and O. Hermant, A constructive semantic cut elimination theorem in intuitionistic deduction modulo as a tableau method, post-proceedings of TYPES'06, 2007 (to appear): ps, pdf
G. Dowek and O. Hermant, A simple proof that super consistency implies cut elimination, proceedings of RTA'07, 2007 (to appear): ps, pdf.

Submitted papers

to be completed.

Drafts

O. Hermant, Resolution Modulo as the cut-free fragment of sequent calculus modulo, 2002, Master's Thesis (draft, in french with an italian foreword): ps
O. Hermant, Completness of Cut-Free Sequent Calculus Modulo (2004, draft, 28p.):ps, pdf. Extension of the Saint-Petersburg paper.
O. Hermant, A semantical proof of Skolem Theorem in intuitionistic frames (2006, draft, 8p.): ps

Enseignements

cours LI260 année 2005-2006, ps et pdf, non maintenu pour l'instant.
ma page d'enseignements 2006-2007 de PPS.

Reaching me

Bureau 5C16 PPS 175, rue du Chevaleret 75013 Paris - France Tel: +33 (0)1 44 27 77 67 Fax: +33 (0)1 44 27 86 54	LOGICAL Laboratoire d'Informatique (LIX) École Polytechnique 91128 Palaiseau Cedex - France Tel: +33 (0)1 69 33 28 69 Fax: +33 (0)1 69 33 30 14
Email: Name_Surname_at_lix.polytechnique.fr (please replace Name by olivier, Surname by hermant and _at_ by @)	Email: Surname_at_lix.polytechnique.fr (please replace Surname by hermant and _at_ by @)

URL originale de cette page: http://www.lix.polytechnique.fr/~hermant. Modifiée pour la dernière fois le: 28/03/2007

Tous les documents fournis le sont sous la responsabilité de leurs auteurs, et ne représentent pas nécessairement les positions officielles de l'École polytechnique. Les informations données le sont de bonne foi, mais leur véracité ne saurait être garantie.