VSL 2014: VIENNA SUMMER OF LOGIC 2014
Peter Schneider-Kamp
Organization: University of Southern Denmark
Web site: http://www.imada.sdu.dk/~petersk/
Pages in this Program
All Proceedings Papers
CHR on Friday, July 18th
CHR Program
CICLOPS-WLPE 2014 Papers
CICLOPS-WLPE 2014 Papers: Papers with Abstracts
CICLOPS-WLPE Call for Papers
CICLOPS-WLPE on Friday, July 18th
CICLOPS-WLPE on Thursday, July 17th
CICLOPS-WLPE Program
CICLOPS-WLPE Program Committee
EC2 2014 Short Papers
EC2 2014 Short Papers: Papers with Abstracts
EC2 on Thursday, July 17th
EC2 Program
FRIDA on Thursday, July 24th
FRIDA Program
IJCAR 2014 LNCS proceedings
IJCAR 2014 LNCS proceedings: Papers with Abstracts
IJCAR on Sunday, July 20th
IJCAR Program
Paper: Group Communication Patterns for High Performance Computing in Scala
Paper: Proofs for Optimality of Sorting Networks by Logic Programming
Paper: Proving Termination and Memory Safety for Programs with Pointer Arithmetic
Paper: Proving Termination of Programs Automatically with AProVE
Paper: Symbolic Evaluation Graphs and Term Rewriting - A General Methodology for Analyzing Logic Programs
Program
Program for Friday, July 18th
Program for Sunday, July 20th
Program for Thursday, July 17th
Program for Thursday, July 24th
WST Call for Papers
WST Program Committee
Disclaimer | Powered by EasyChair Smart Program