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
Marco Maratea
Organization:
DIBRIS, University of Genova
Web site:
http://www.star.dist.unige.it/~marco/
Pages in this Program
All Proceedings Papers
ASPOCP 2014 Proceedings
ASPOCP 2014 Proceedings: Papers with Abstracts
ASPOCP Call for Papers
ASPOCP Program Committee
CAV on Sunday, July 20th
CAV Program
CSF on Sunday, July 20th
CSF Program
CSL-LICS on Sunday, July 20th
CSL-LICS Program
FLoC on Sunday, July 20th
FLoC Program
ICLP 2014 VSL proceedings
ICLP 2014 VSL proceedings: Papers with Abstracts
ICLP on Sunday, July 20th
ICLP Program
IJCAR on Sunday, July 20th
IJCAR Program
ITP on Sunday, July 20th
ITP Program
NMR on Thursday, July 17th
NMR Program
Paper: The Design of the Fifth Answer Set Programming Competition
Program
Program for Sunday, July 20th
Program for Thursday, July 17th
RCRA Program Committee
RTA-TLCA on Sunday, July 20th
RTA-TLCA Program
SAT on Sunday, July 20th
SAT Program
VSL on Sunday, July 20th
VSL Program
Disclaimer
|
Powered by EasyChair Smart Program
