<?xml version="1.0" encoding="UTF-8"?>

<doc base="/" url="research/publications" title="Publications">
  <para>
    <en>Look no further for my
    bibtex <link url="res/msozeau.bib">entries</link>.
    All my papers and slides are available from <link url="research/publications">this</link>
      directory.</en>
    <fr>
      Mes <link url="res/msozeau.bib">entrées</link> bibtex.
      Mes articles et présentations sont disponibles <link url="research/publications">ici</link>.
    </fr>
  </para>

  <!-- <para> -->
  <!--   In 2009 I presented my paper on type classes at the GDR GPL  -->
  <!--   <cite-paper key="sozeau.Coq/classes/ctpc"/> and -->
  <!--   published papers on a new generalized rewriting tactic -->
  <!--   <cite-paper key="sozeau.Coq/rewrite/JFR" type="long"/> -->
  <!--   (superseding <cite-paper key="sozeau.Coq/rewrite/newlook"/>). -->
  <!--   I've been concentrating on integrating the compilation of dependent -->
  <!--   pattern-matching in Coq <cite-paper key="sozeau.Coq/dpm/equations"/>, the latest version is -->
  <!--   available <link url="http://github.com/mattam82/Coq-dev/tree/equations">here</link>. -->

  <!--   In 2008 I implemented a type class extension in Coq which I designed -->
  <!--   with Nicolas Oury <cite-paper key="sozeau.Coq/classes/fctc" -->
  <!--   type="long"/>. -->
  <!--   I also designed a new setoid-rewriting algorithm -->
  <!--   using type classes which is described in -->
  <!--   my <cite-paper key="sozeau.thesis">thesis</cite-paper>. -->
    
  <!--   In 2007 I made the implementation of Program usable and robust and developed an example -->
  <!--   application. The <cite-paper key="sozeau.Coq/FingerTrees/article" type="long">paper</cite-paper> describing -->
  <!--   it was accepted at ICFP'07. I've given a talk about it -->
  <!--   at <cite-paper key="sozeau.Coq/FingerTrees/types07">TYPES'07</cite-paper> too.  -->
    
  <!--   In 2006, I have given -->
  <!--   a <cite-paper key="sozeau.Coq/Russell/types06">talk</cite-paper> at -->
  <!--   the <link url="http://www.cs.nott.ac.uk/types06/">TYPES'06 Workshop</link> and -->
  <!--   published a paper on the beginning of my thesis -->
  <!--   <cite-paper key="sozeau.Coq/Russell/article" type="long"/>. -->
  <!-- </para> -->

<!--   <section> -->
<!--     <title> -->
<!--       <fr>Articles soumis</fr> -->
<!--       <en>Submitted articles</en> -->
<!--     </title> -->
<!--   </section> -->

  <section>
    <title>
      <fr>Revues internationales avec comité de lecture</fr>
      <en>Journals</en>
    </title>
    <cvitem><cite-paper inline="true" key="BoveKraussSozeau2011"/></cvitem>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/rewrite/JFR"/></cvitem>    
  </section>

  <section>
    <title>
      <fr>Conférences internationales avec comité de sélection</fr>
      <en>International Conferences</en>
    </title>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/Equations/ITP10"/></cvitem>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/classes/fctc"/> (18/40)</cvitem>
    <cvitem><cite-paper inline="true"
    key="sozeau.Coq/FingerTrees/article"/> (26/103)</cvitem>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/Russell/article"/> (17/29)</cvitem>    
  </section>

  <section>
    <title>
      <fr>Groupes de travail internationaux avec comité de sélection</fr>
      <en>International Workshops</en>
    </title>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/rewrite/newlook"/></cvitem>
  </section>

  <section>
    <title>
      <fr>Conférences nationales avec comité de sélection</fr>
      <en>National Conferences</en>
    </title>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/classes/ctpc"/></cvitem>
  </section>

  <section>
    <title><fr>Mémoires</fr><en>Theses</en></title>
    <cvitem><cite-paper inline="true" key="sozeau.thesis"/></cvitem>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/Russell/report"/></cvitem>
  </section>

  <section>
    <title>
      <en>Reference Manual Chapters</en>
      <fr>Chapitres de manuel de référence</fr>
    </title>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/manual/typeclasses"/></cvitem>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/manual/setoid"/></cvitem>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/manual/Program"/></cvitem>
  </section>


  <section>
    <title>
      <en>Invited Talks and Seminars</en>
      <fr>Présentations invitées et séminaires extérieurs</fr>
    </title>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/classes/Kent11"/></cvitem>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/classes/IMDEA11"/></cvitem>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/classes/PPS11"/></cvitem>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/Equations/Shonan11"/></cvitem>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/Equations/Chalmers11"/></cvitem>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/Equations/UPenn10"/></cvitem>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/Elaborations/DTP10"/></cvitem>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/Equations/PPS10"/></cvitem>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/Programing/PPS09"/></cvitem>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/Programing/Orleans09"/></cvitem>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/Programing/Nijmegen09"/></cvitem>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/classes/Gallium08"/></cvitem>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/Programing/nottingham08"/></cvitem>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/Programing/harvard08"/></cvitem>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/Programing/psu08"/></cvitem>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/Programing/gallium07"/></cvitem>
  </section>

  <section>
    <title>
      <en>Conference Talks and Local Seminars</en>
      <fr>Présentations en conférences et séminaires locaux</fr>
    </title>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/Equations/TYPES10"/></cvitem>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/Equations/ITP10slides"/></cvitem>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/rewrite/coq09"/></cvitem>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/rewrite/types09"/></cvitem>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/classes/GDRGPL09"/></cvitem>
    <cvitem><cite-paper inline="true" key="sozeau.thesis-slides"/></cvitem>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/classes/tphols08"/></cvitem>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/classes/proval08"/></cvitem>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/FingerTrees/dtp08"/></cvitem>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/FingerTrees/icfp07"/></cvitem>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/FingerTrees/types07"/></cvitem>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/Programing/proval07"/></cvitem>
    <cvitem><cite-paper inline="true" key="sozeau.Coq/Russell/types06"/></cvitem>    
  </section>

</doc>

