diff options
Diffstat (limited to 'main.tex')
-rw-r--r-- | main.tex | 31 |
1 files changed, 0 insertions, 31 deletions
@@ -99,28 +99,7 @@ \begin{document} -%% Title information \title[Formal Verification of HLS]{Formal Verification of High-Level Synthesis} - %% when present, will be used in - %% header instead of Full Title. -%\titlenote{with title note} %% \titlenote is optional; - %% can be repeated if necessary; - %% contents suppressed with 'anonymous' -%\subtitle{Subtitle} %% \subtitle is optional -%\subtitlenote{with subtitle note} %% \subtitlenote is optional; - %% can be repeated if necessary; - %% contents suppressed with 'anonymous' - - -%% Author information -%% Contents and number of authors suppressed with 'anonymous'. -%% Each author should be introduced by \author, followed by -%% \authornote (optional), \orcid (optional), \affiliation, and -%% \email. -%% An author may have multiple affiliations and/or emails; repeat the -%% appropriate command. -%% Many elements are not rendered, but should be provided for metadata -%% extraction tools. %% Author with single affiliation. \author{Yann Herklotz} @@ -197,16 +176,6 @@ \input{related} \input{conclusion} -%% Acknowledgments -%\begin{acks} %% acks environment is optional - %% contents suppressed with 'anonymous' - %% Commands \grantsponsor{<sponsorID>}{<name>}{<url>} and - %% \grantnum[<url>]{<sponsorID>}{<number>} should be used to - %% acknowledge financial support and will be used by metadata - %% extraction tools. -%\end{acks} - - %% Bibliography \bibliography{references.bib} |