Changeset 3645


Ignore:
Timestamp:
Mar 8, 2017, 5:58:23 PM (4 months ago)
Author:
mulligan
Message:

last commit of the day...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/jar-cerco-2017/cerco.tex

    r3637 r3645  
    7272\titlerunning{Certified Complexity}
    7373\date{Received: date / Accepted: date}
    74 \author{Jaap Boender \and Brian Campbell \and Dominic P. Mulligan \and Claudio Sacerdoti~Coen} % who else?
     74\author{Jaap Boender \and Brian Campbell \and Dominic P. Mulligan \and Claudio Sacerdoti~Coen
     75        \and %Roberto
     76Roberto~M. Amadio \and
     77Nicolas Ayache \and
     78Fran\c{c}ois Bobot \and
     79Ilias Garnier \and
     80Antoine Madet \and
     81James McKinna \and
     82Mauro Piccolo \and
     83Randy Pollack \and
     84Yann R\'{e}gis-Gianas \and
     85Ian Stark \and
     86Paolo Tranquilli} % who else?
    7587\authorrunning{Boender, Campbell, Mulligan, and Sacerdoti~Coen}
    76 \institute{Jaap Boender \at
    77               Faculty of Science and Technology, Middlesex University London, United Kingdom.\\
    78               \email{J.Boender@mdx.ac.uk}
     88\institute{Roberto M. Amadio, Antoine Madet, and Yann R\'{e}gis-Gianas \at
     89            Universit\'e Paris Diderot (Paris 7), Paris, France.
    7990           \and
    80            Brian Campbell \at
    81               Department of Informatics, University of Edinburgh, United Kingdom.\\
    82               \email{Brian.Campbell@ed.ac.uk}
     91           Nicolas Ayache \at
     92            IKOS Consulting, France.
     93           \and
     94           Fran\c{c}ois Bobot \at
     95           Software Reliability Laboratory, CEA, France.
     96           \and
     97           Jaap Boender \at
     98              Middlesex University London, United Kingdom.
     99           \and
     100           Brian Campbell, James McKinna, Randy Pollack, and Ian Stark \at
     101              University of Edinburgh, United Kingdom.
     102           \and
     103           Ilias Garnier, \at
     104             \'Ecole Normale Sup\'erieure, Paris, France.
    83105           \and
    84106           Dominic P. Mulligan \at
    85              Computer Laboratory, University of Cambridge, United Kingdom.\\
    86              \email{Dominic.Mulligan@cl.cam.ac.uk}
     107             University of Cambridge, United Kingdom.
    87108           \and
    88109           Claudio Sacerdoti~Coen \at
    89               Dipartimento di Informatica---Scienza e Ingegneria (DISI), University of Bologna, Italy.\\
    90               \email{Claudio.SacerdotiCoen@unibo.it}}
     110              University of Bologna, Italy.}
    91111
    92112\begin{document}
Note: See TracChangeset for help on using the changeset viewer.