Title: Symbolic dynamics for Kuramoto-Sivashinsky PDE on the line --- a computer-assisted proof,
Abstract: The Kuramoto-Sivashinsky PDE on the line with odd and periodic boundary
conditions and with parameter $\nu=0.1212$ is considered. We give a
computer-assisted proof the existence of symbolic dynamics and countable
infinity of periodic orbits with arbitrary large periods.