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
Sarah Grebing
Organization:
Karlsruhe Institute of Technology
Pages in this Program
All Proceedings Papers
ARW-DT 2014 - Automated Reasoning Workshop/Deduktionstreffen Proceedings
ARW-DT 2014 - Automated Reasoning Workshop/Deduktionstreffen Proceedings: Papers with Abstracts
ARW-DT on Wednesday, July 23rd
ARW-DT Program
Paper: Automating Regression Verification
Paper: How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers
Paper: Towards Evaluating the Usability of Interactive Theorem Provers
Program
Program for Thursday, July 17th
Program for Wednesday, July 23rd
UITP 2014 Proceedings
UITP 2014 Proceedings: Papers with Abstracts
UITP on Thursday, July 17th
UITP Program
VERIFY on Wednesday, July 23rd
VERIFY Program
VSTTE on Thursday, July 17th
VSTTE Program
WING on Wednesday, July 23rd
WING Program
Disclaimer
|
Powered by EasyChair Smart Program
