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
Beniamino Accattoli
Organization:
University of Bologna
Web site:
https://sites.google.com/site/beniaminoaccattoli/
Pages in this Program
2FC on Saturday, July 12th
2FC Program
All Proceedings Papers
CSL-LICS 2014 Full and Final Proceedings
CSL-LICS 2014 Full and Final Proceedings: Papers with Abstracts
CSL-LICS on Monday, July 14th
CSL-LICS Program
HOR 2014 Workshop Proceedings
HOR 2014 Workshop Proceedings: Papers with Abstracts
HOR Call for Papers
HOR Home Page
HOR on Saturday, July 12th
HOR Program
IWC 2014 Workshop Proceedings
IWC 2014 Workshop Proceedings: Papers with Abstracts
IWC on Sunday, July 13th
IWC Program
Paper: Beta Reduction is Invariant, Indeed
Paper: Distilling Abstract Machines (Extended Abstract)
Paper: On the Formalization of Lambda-Calculus Confluence and Residuals
Program
Program for Monday, July 14th
Program for Saturday, July 12th
Program for Sunday, July 13th
TermGraph on Sunday, July 13th
TermGraph Program
TERMGRAPH Program Committee
Disclaimer
|
Powered by EasyChair Smart Program
