VSL 2014: VIENNA SUMMER OF LOGIC 2014
Francesco Ricca
Organization: Department of Mathematics University of Calabria
Web site: http://www.mat.unical.it/ricca
Pages in this Program
All Proceedings Papers
ASPOCP 2014 Proceedings
ASPOCP 2014 Proceedings: Papers with Abstracts
ASPOCP Call for Papers
ASPOCP on Wednesday, July 23rd
ASPOCP Program
ASPOCP Program Committee
CAV on Sunday, July 20th
CAV Program
CSF on Sunday, July 20th
CSF Program
CSL-LICS on Sunday, July 20th
CSL-LICS Program
FLoC on Sunday, July 20th
FLoC Program
ICLP 2014 VSL proceedings
ICLP 2014 VSL proceedings: Papers with Abstracts
ICLP DC Program Committee
ICLP on Sunday, July 20th
ICLP on Tuesday, July 22nd
ICLP Program
IJCAR on Sunday, July 20th
IJCAR Program
ITP on Sunday, July 20th
ITP Program
NMR on Thursday, July 17th
NMR Program
NMR Program Committee
Paper: Anytime Computation of Cautious Consequences in Answer Set Programming
Paper: Declarative Specification of Benchmark Sessions via ASP
Paper: On the Implementation of Weak Constraints in WASP
Paper: The Design of the Fifth Answer Set Programming Competition
Program
Program for Sunday, July 20th
Program for Thursday, July 17th
Program for Tuesday, July 22nd
Program for Wednesday, July 23rd
RCRA 2014 Proceedings
RCRA 2014 Proceedings: Papers with Abstracts
RCRA on Thursday, July 17th
RCRA Program
RCRA Program Committee
RTA-TLCA on Sunday, July 20th
RTA-TLCA Program
SAT on Sunday, July 20th
SAT Program
VSL on Sunday, July 20th
VSL Program
Disclaimer | Powered by EasyChair Smart Program