LARD 2016

LARD 2016
9 June 2016
RISC, Hagenberg
———————————————
Coffee, Welcome
———————————————
13:30 – 14:45
Milan Stehlik
Richard Hofer
Laszlo Merai
Günter Pilz
Peter Fuchs
Ramanujan-Hardy partitioning, statistical invariants and groups
Linear complexity and expansion complexity of periodic
sequences over finite fields
Linear complexity of automatic sequences over finite fields
Parallel computing in algebra
Homogeneous maps over perfect rings
———————————————
Coffee Break
———————————————
15:15 – 16:15
Tim Boykett
Ring-ness in nearrings: distributivity in planar nearrings
Erhard Aichinger Multiplications on lattices
Georg Grasegger Explicit computation of Zolotarev polynomials
Jose Capco
Sufficiency sets for the Collatz conjecture
———————————————
Coffee Break
———————————————
16:30 – 17:30
Manuel Kauers
Armin Biere
Martina Seidl
Xinhua Xiong
Integration of algebraic functions
Algebraic propositional reasoning
Quantified Boolean Formulas
Small values of a Lerch sum