diff -r cf7a5c863831 -r 6c13f76c070b thys3/document/root.tex
--- a/thys3/document/root.tex	Wed Feb 15 11:52:22 2023 +0000
+++ b/thys3/document/root.tex	Thu Feb 16 23:23:22 2023 +0000
@@ -1,5 +1,5 @@
-\documentclass[runningheads]{llncs}
-%!\documentclass[runningheads]{lipics-v2021}
+%!\documentclass[runningheads]{llncs}
+\documentclass[runningheads]{lipics-v2021}
 \usepackage{times}
 \usepackage{isabelle}
 \usepackage{isabellesym}
@@ -62,11 +62,11 @@
 %!\bibliographystyle{plainurl}
 \bibliographystyle{plain}
 
-\title{{POSIX} {L}exing with {B}itcoded {D}erivatives}
-\titlerunning{POSIX Lexing with Bitcoded Derivatives}
-\author{Chengsong Tan\inst{1,2} \and Christian Urban\inst{2}}
-\institute{Imperial College London \and King's College London\\
-\email{\{chengsong.tan,christian.urban\}@kcl.ac.uk}}
+%\title{{POSIX} {L}exing with {B}itcoded {D}erivatives}
+%\titlerunning{POSIX Lexing with Bitcoded Derivatives}
+%\author{Chengsong Tan\inst{1,2} \and Christian Urban\inst{2}}
+%\institute{Imperial College London \and King's College London\\
+%\email{\{chengsong.tan,christian.urban\}@kcl.ac.uk}}
 %!\author{Chengsong Tan}{King's College London}{chengsong.tan@kcl.ac.uk}{}{}
 %!\author{Christian Urban}{King's College London}{christian.urban@kcl.ac.uk}{}{}
 %!\authorrunning{C.~Tan and C.~Urban}
@@ -78,6 +78,19 @@
 %!\renewcommand{\DOIPrefix}{}
 %!\nolinenumbers
 
+\title{{POSIX} {L}exing with {B}itcoded {D}erivatives}
+\titlerunning{POSIX Lexing with Bitcoded Derivatives}
+\author{Chengsong Tan}{Imperial College London}{ctan1@ic.ac.uk}{}{}
+\author{Christian Urban}{King's College London}{christian.urban@kcl.ac.uk}{}{}
+\authorrunning{C.~Tan and C.~Urban}
+\keywords{POSIX matching and lexing, derivatives of regular expressions, Isabelle/HOL}
+\category{}
+\ccsdesc[100]{Design and analysis of algorithms}
+\ccsdesc[100]{Formal languages and automata theory}
+\Copyright{\mbox{}}
+\renewcommand{\DOIPrefix}{}
+\nolinenumbers
+
 
 \begin{document}
 \maketitle