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
Nikolaj Bjorner
Organization:
Microsoft Research
Web site:
http://research.microsoft.com/~nbjorner
Pages in this Program
All Proceedings Papers
CAV 2014 LNCS Proceedings
CAV 2014 LNCS Proceedings: Papers with Abstracts
CAV Call for Papers
CAV on Saturday, July 19th
CAV on Tuesday, July 22nd
CAV Program
CAV Program Committee
IJCAR 2014 LNCS proceedings
IJCAR 2014 LNCS proceedings: Papers with Abstracts
IJCAR on Sunday, July 20th
IJCAR on Tuesday, July 22nd
IJCAR Program
Paper: Computing All Implied Equalities via SMT-based Partition Refinement
Paper: Monadic Decomposition
Paper: Property-Directed Shape Analysis
Program
Program for Friday, July 18th
Program for Saturday, July 19th
Program for Sunday, July 20th
Program for Tuesday, July 22nd
QUANTIFY Call for Papers
QUANTIFY Home Page
QUANTIFY on Friday, July 18th
QUANTIFY Program
QUANTIFY Program Committee
Disclaimer
|
Powered by EasyChair Smart Program
