Changeset 3601


Ignore:
Timestamp:
Mar 6, 2017, 12:28:13 PM (6 months ago)
Author:
boender
Message:

Added my address

File:
1 edited

Legend:

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

    r3600 r3601  
    3333\smartqed
    3434
    35 \title{CerCo: Certified Complexity\thanks{FET Open Grant 243881}}
     35\title{CerCo: Certified Complexity\thanks{The project CerCo acknowledges the
     36financial support of the Future and Emerging Technologies (FET) programme within
     37the Seventh Framework Programme for Research of the European Commission, under
     38FET-Open grant number: 243881}}
    3639\subtitle{The verified lifting of concrete complexity annotations}
    3740\journalname{Journal of Automated Reasoning}
     
    4144
    4245\institute{Jaap Boender \at
    43               first address \\
    44               Tel.: +123-45-678910\\
    45               Fax: +123-45-678910\\
    46               \email{fauthor@example.com}
     46              Faculty of Science and Technology\\
     47                                                        Middlesex University\\
     48                                                        London, United Kingdom\\
     49              \email{J.Boender@mdx.ac.uk}
    4750           \and
    4851           Brian Campbell \at
Note: See TracChangeset for help on using the changeset viewer.