Commit ab02ec2e authored by Mihaela SIGHIREANU's avatar Mihaela SIGHIREANU
Browse files

first submission

parent cfda8adf
......@@ -15,20 +15,20 @@
%\title{Decision Procedures for Heap-lists}
%%
\author{%
Mihaela Sighireanu\inst{1}\orcidID{0000-0002-1925-089X} \and
Wanyun Su\inst{2} \and
Zhilin Wu\inst{2}\orcidID{0000-0003-0899-628X}
Zhilin Wu\inst{2}\orcidID{0000-0003-0899-628X} \and
Mihaela Sighireanu\inst{1}\orcidID{0000-0002-1925-089X}
}
\institute{%
LMF, ENS Paris-Saclay, University Paris-Saclay and CNRS, France
%\email{firstname.lastname@labmf.fr}
\and
State Key Laboratory of Computer Science, \\
Institute of Software, Chinese Academy of Sciences, China \\
%\email{wuzl@ios.ac.cn}
\and
LMF, ENS Paris-Saclay, University Paris-Saclay and CNRS, France
%\email{firstname.lastname@labmf.fr}
}
\date{}
\authorrunning{M. Sighireanu, W. Su and Z. Wu}
\authorrunning{W. Su, Z. Wu and M. Sighireanu}
\setlength{\parskip}{0eX}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment