Truth-functional logics are the central topic of this workshop. Please see the Workshop web site for more details.