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
Damiano Mazza
Organization:
CNRS, UMR 7030, LIPN, Université Paris 13, Sorbonne Paris Cité
Web site:
http://www-lipn.univ-paris13.fr/~mazza
Pages in this Program
2FC on Saturday, July 12th
2FC Program
All Proceedings Papers
CSL-LICS on Thursday, July 17th
CSL-LICS on Wednesday, July 16th
CSL-LICS Program
CSL-LICS Program Committee
HOR 2014 Workshop Proceedings
HOR 2014 Workshop Proceedings: Papers with Abstracts
HOR on Saturday, July 12th
HOR Program
LCC on Saturday, July 12th
LCC Program
Paper: Distilling Abstract Machines (Extended Abstract)
Program
Program for Saturday, July 12th
Program for Thursday, July 17th
Program for Wednesday, July 16th
TERMGRAPH Program Committee
WIR on Saturday, July 12th
WIR Program
Disclaimer
|
Powered by EasyChair Smart Program
