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
Mirek Truszczynski
Organization:
Computer Science Department, University of Kentucky
Web site:
http://www.cs.uky.edu/~mirek/
Pages in this Program
All Proceedings Papers
ASPOCP Call for Papers
ASPOCP Program Committee
CAV on Saturday, July 19th
CAV Program
CSF on Saturday, July 19th
CSF Program
CSL-LICS on Saturday, July 19th
CSL-LICS Program
FLoC on Saturday, July 19th
FLoC Program
ICLP 2014 VSL proceedings
ICLP 2014 VSL proceedings: Papers with Abstracts
ICLP on Monday, July 21st
ICLP on Saturday, July 19th
ICLP Program
IJCAR on Saturday, July 19th
IJCAR Program
ITP on Saturday, July 19th
ITP Program
KR on Tuesday, July 22nd
KR Program
KR Program Committee
LaSh Call for Papers
LaSh on Friday, July 18th
LaSh Program
LaSh Program Committee
NMR Program Committee
Paper: A Measure of Arbitrariness in Abductive Explanations
Program
Program for Friday, July 18th
Program for Monday, July 21st
Program for Saturday, July 19th
Program for Tuesday, July 22nd
RCRA Program Committee
RTA-TLCA on Saturday, July 19th
RTA-TLCA Program
SAT on Saturday, July 19th
SAT Program
VSL on Saturday, July 19th
VSL Program
Disclaimer
|
Powered by EasyChair Smart Program
