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
Michael Codish
Organization:
Ben-Gurion University of the Negev
Web site:
http://www.cs.bgu.ac.il/~mcodish/
Pages in this Program
All Proceedings Papers
CICLOPS-WLPE 2014 Papers
CICLOPS-WLPE 2014 Papers: Papers with Abstracts
CICLOPS-WLPE Call for Papers
CICLOPS-WLPE on Thursday, July 17th
CICLOPS-WLPE Program
CICLOPS-WLPE Program Committee
Paper: Proofs for Optimality of Sorting Networks by Logic Programming
Paper: Simplifying Pseudo-Boolean Constraints in Residual Number Systems
POS Call for Papers
POS Program Committee
Program
Program for Thursday, July 17th
Program for Wednesday, July 16th
SAT 2014 LNCS Proceedings
SAT 2014 LNCS Proceedings: Papers with Abstracts
SAT on Wednesday, July 16th
SAT Program
Disclaimer
|
Powered by EasyChair Smart Program
