VSL 2014: VIENNA SUMMER OF LOGIC 2014
VSL FOREWORD
VSL
PROGRAM
VOLUMES
VSL
|
FLoC
|
CAV
|
CSF
|
CSL-LICS
|
ICLP
|
IJCAR
|
ITP
|
RTA-TLCA
|
SAT
|
LC
|
LATD
|
KR
|
DL
|
NMR
|
2FC
|
ACL2
|
ADDCT
|
AISS
|
APPA
|
ARQNL
|
ARW-DT
|
ASA
|
ASPOCP
|
Automatheo
|
CHR
|
CICLOPS-WLPE
|
CLC
|
Coq
|
CSPSAT
|
DCM
|
DTP
|
EC2
|
FCS-FCC
|
FRIDA
|
FWFM
|
GeTFun
|
GSB
|
HCVS
|
HOL
|
HOPA
|
HOR
|
HSB
|
IFIP-WG16
|
INFINITY
|
iPRA
|
ITRS
|
IWC
|
Isabelle
|
KInAR
|
KR4HC
|
LaSh
|
LCC
|
LFMTP
|
LG
|
Linearity
|
LOLA
|
LSB
|
NCPROOFS
|
NLCS
|
NLSR
|
NSV
|
ORE
|
PAAR
|
ParSearchOpt
|
PAS
|
PC
|
PCCR
|
PLP
|
POS
|
PRUV
|
PSC
|
QBF
|
QED
|
QUANTIFY
|
RCRA
|
REORDER
|
RS
|
SMT
|
SD
|
SSV
|
STAST
|
SYNT
|
TermGraph
|
UITP
|
UNIF
|
Vampire
|
VEMDP
|
VERIFY
|
VeriSure
|
VPT
|
VSTTE
|
WING
|
WIR
|
WPTE
|
WST
|
WWV
Peter J. Stuckey
Organization:
University of Melbourne
Web site:
http://www.cs.mu.oz.au/~pjs
Pages in this Program
All Proceedings Papers
CHR Home Page
ICLP 2014 VSL proceedings
ICLP 2014 VSL proceedings: Papers with Abstracts
ICLP on Monday, July 21st
ICLP on Saturday, July 19th
ICLP on Sunday, July 20th
ICLP Program
LaSh 2014 Proceedings
LaSh 2014 Proceedings: Papers with Abstracts
LaSh on Friday, July 18th
LaSh Program
Paper: Grounding Bound Founded Answer Set Programs
Paper: Laziness is next to Godliness
Paper: Lazy Model Expansion: Interleaving Grounding with Search
ParSearchOpt Call for Papers
ParSearchOpt Program Committee
Program
Program for Friday, July 18th
Program for Monday, July 21st
Program for Saturday, July 19th
Program for Sunday, July 20th
Disclaimer
|
Powered by EasyChair Smart Program
