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
Olaf Beyersdorff
Organization:
University of Leeds
Web site:
http://www.engineering.leeds.ac.uk/people/computing/staff/o.beyersdorff
Pages in this Program
All Proceedings Papers
IJCAR 2014 LNCS proceedings
IJCAR 2014 LNCS proceedings: Papers with Abstracts
IJCAR on Tuesday, July 22nd
IJCAR Program
LCC Call for Papers
LCC Program Committee
NMR on Saturday, July 19th
NMR Program
Paper: The Complexity of Theorem Proving in Circumscription and Minimal Entailment
Paper: Unified characterisations of resolution hardness measures
PC 2014 Abstracts
PC 2014 Abstracts: Papers with Abstracts
PC Home Page
PC on Saturday, July 12th
PC Program
PC Program Committee
Program
Program for Saturday, July 12th
Program for Saturday, July 19th
Program for Tuesday, July 15th
Program for Tuesday, July 22nd
SAT 2014 LNCS Proceedings
SAT 2014 LNCS Proceedings: Papers with Abstracts
SAT on Tuesday, July 15th
SAT Program
SAT Program Committee
Disclaimer
|
Powered by EasyChair Smart Program
