VSL 2014: VIENNA SUMMER OF LOGIC 2014
Carsten Fuhs
Organization: University College London
Web site: http://www.cs.ucl.ac.uk/staff/C.Fuhs/
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 Program
CICLOPS-WLPE Program Committee
CSL-LICS 2014 Full and Final Proceedings
CSL-LICS 2014 Full and Final Proceedings: Papers with Abstracts
CSL-LICS on Wednesday, July 16th
CSL-LICS Program
IJCAR 2014 LNCS proceedings
IJCAR 2014 LNCS proceedings: Papers with Abstracts
IJCAR on Sunday, July 20th
IJCAR Program
Paper: A Decision Procedure for Satisfiability in Separation Logic with Inductive Predicates
Paper: First-Order Formative Rules
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 Tuesday, July 15th
Program for Wednesday, July 16th
RTA-TLCA 2014 LNCS Proceedings
RTA-TLCA 2014 LNCS Proceedings: Papers with Abstracts
RTA-TLCA on Tuesday, July 15th
RTA-TLCA Program
WST 2014 Informal Proceedings
WST 2014 Informal Proceedings: Papers with Abstracts
WST Call for Papers
WST on Friday, July 18th
WST on Thursday, July 17th
WST Program
WST Program Committee
Disclaimer | Powered by EasyChair Smart Program