VSL 2014: VIENNA SUMMER OF LOGIC 2014
Jesse Alama
Organization: Theory and Logic Group, Technical University of Vienna
Web site: http://countersatisfiable.org
Pages in this Program
ARQNL on Wednesday, July 23rd, 2014
ARQNL Program
LG Call for Papers
LG Program Committee
Program
Program for Wednesday, July 23rd, 2014