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
Stefan Woltran
Organization:
Vienna University of Technology
Web site:
http://www.dbai.tuwien.ac.at/staff/woltran
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
KR 2014 Proceedings
KR 2014 Proceedings: Papers with Abstracts
KR on Monday, July 21st
KR Program
KR Program Committee
LaSh 2014 Proceedings
LaSh 2014 Proceedings: Papers with Abstracts
LaSh on Friday, July 18th
LaSh Program
NMR on Saturday, July 19th
NMR on Thursday, July 17th
NMR Program
NMR Program Committee
Paper: Characteristics of Multiple Viewpoints in Abstract Argumentation
Paper: Computing Secure Sets in Graphs using Answer Set Programming
Paper: The D-FLAT System for Dynamic Programming on Tree Decompositions
Program
Program for Friday, July 18th
Program for Monday, July 21st
Program for Saturday, July 19th
Program for Thursday, July 17th
Program for Wednesday, July 23rd
RCRA Program Committee
Disclaimer
|
Powered by EasyChair Smart Program
