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
Wolfgang Faber
Organization:
University of Huddersfield
Web site:
http://www.wfaber.com
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
ICLP 2014 VSL proceedings
ICLP 2014 VSL proceedings: Papers with Abstracts
ICLP on Tuesday, July 22nd
ICLP Program
KR Program Committee
LaSh Call for Papers
LaSh Program Committee
NMR on Saturday, July 19th
NMR Program
NMR Program Committee
Paper: Computing Answer Sets for Monadic Logic Programs via MapReduce
Paper: Efficient Computation of the Well-Founded Semantics over Big Data
Paper: Efficient Computation of the Well-Founded Semantics over Big Data
Program
Program for Saturday, July 19th
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
Disclaimer
|
Powered by EasyChair Smart Program
