Pas de laatste decennia is er hier een theoretische discussie en een internationaal podium met sprekers als James Franklin, Benedikt Löwe en Kevin de Laplante. ###>Formal sciences are disciplines concerned with formal systems, such as logic, mathematics, statistics, theoretical computer science, information theory, game theory, systems theory, decision theory, and portions of linguistics.