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
Christophe Ringeissen
Organization:
LORIA-INRIA
Web site:
http://www.loria.fr/~ringeiss/
Pages in this Program
ADDCT 2014 Proceedings
ADDCT 2014 Proceedings: Papers with Abstracts
ADDCT on Friday, July 18th
ADDCT Program
All Proceedings Papers
CAV on Saturday, July 19th
CAV Program
IJCAR 2014 LNCS proceedings
IJCAR 2014 LNCS proceedings: Papers with Abstracts
IJCAR on Saturday, July 19th
IJCAR Program
Paper: A Gentle Non-Disjoint Combination of Satisfiability Procedures
Paper: Hierarchical Combination of Matching Algorithms (Extended Abstract)
Paper: On Asymmetric Unification and the Combination Problem in Disjoint Theories (Extended Abstract)
Paper: Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions
Program
Program for Friday, July 18th
Program for Saturday, July 19th
Program for Sunday, July 13th
UNIF 2014 Short Papers
UNIF 2014 Short Papers: Papers with Abstracts
UNIF Call for Papers
UNIF Home Page
UNIF on Sunday, July 13th
UNIF Program
UNIF Program Committee
Disclaimer
|
Powered by EasyChair Smart Program
