Changeset 3602


Ignore:
Timestamp:
Mar 6, 2017, 12:32:07 PM (10 months ago)
Author:
mulligan
Message:

fixed up addresses, names, etc. for consistency

File:
1 edited

Legend:

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

    r3601 r3602  
    4141\titlerunning{Certified Complexity}
    4242\date{Received: date / Accepted: date}
    43 \author{Jaap Boender \and Brian Campbell \and Dominic P. Mulligan \and Claudio Sacerdoti Coen}
    44 
     43\author{Jaap Boender \and Brian Campbell \and Dominic P. Mulligan \and Claudio {Sacerdoti Coen}}
    4544\institute{Jaap Boender \at
    46               Faculty of Science and Technology\\
    47                                                         Middlesex University\\
    48                                                         London, United Kingdom\\
     45              Faculty of Science and Technology,\\
     46                                                        Middlesex University London,\\
     47                                                        United Kingdom.\\
    4948              \email{J.Boender@mdx.ac.uk}
    5049           \and
    5150           Brian Campbell \at
    52               second address
     51              Department of Informatics,\\
     52              University of Edinburgh,\\
     53              United Kingdom.\\
     54              \email{Brian.Campbell@ed.ac.uk}
    5355           \and
    5456           Dominic P. Mulligan \at
    55               this address
     57             Computer Laboratory,\\
     58             University of Cambridge, \\
     59             United Kingdom.\\
     60             \email{Dominic.Mulligan@cl.cam.ac.uk }
    5661           \and
    5762           Claudio Sacerdoti Coen \at
    58               fourth address}
     63              Dipartimento di Informatica---Scienza e Ingegneria (DISI),\\
     64              University of Bologna,\\
     65              Italy.\\
     66              \email{Claudio.SacerdotiCoen@unibo.it}}
    5967
    6068\begin{document}
Note: See TracChangeset for help on using the changeset viewer.