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
Nina Narodytska
Organization:
University of Toronto and University of New South Wales
Web site:
http://www.cse.unsw.edu.au/~ninan/
Pages in this Program
All Proceedings Papers
CAV 2014 LNCS Proceedings
CAV 2014 LNCS Proceedings: Papers with Abstracts
CAV on Monday, July 21st
CAV Program
CSPSAT Call for Papers
CSPSAT Program Committee
iPRA 2014 Proceedings
iPRA 2014 Proceedings: Papers with Abstracts
iPRA on Friday, July 18th
iPRA on Thursday, July 17th
iPRA Program
Paper: Cores in Core based MaxSat Algorithms: an Analysis
Paper: Interpolants in Two-Player Games
Paper: Practical CNF Interpolants Via BDDs
Paper: Solving Games without Controllable Predecessor
Program
Program for Friday, July 18th
Program for Monday, July 14th
Program for Monday, July 21st
Program for Thursday, July 17th
SAT 2014 LNCS Proceedings
SAT 2014 LNCS Proceedings: Papers with Abstracts
SAT on Monday, July 14th
SAT Program
Disclaimer
|
Powered by EasyChair Smart Program
