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
Joel Ouaknine
Organization:
Department of Computer Science, Oxford University
Web site:
http://www.cs.ox.ac.uk/people/Joel.Ouaknine/home.html
Pages in this Program
AISS on Friday, July 18th
AISS Program
CAV on Saturday, July 19th
CAV Program
CSF on Saturday, July 19th
CSF Program
CSL-LICS on Saturday, July 19th
CSL-LICS Program
CSL-LICS Program Committee
FLoC on Saturday, July 19th
FLoC Program
ICLP on Saturday, July 19th
ICLP Program
IJCAR on Saturday, July 19th
IJCAR Program
ITP on Saturday, July 19th
ITP Program
Program
Program for Friday, July 18th
Program for Saturday, July 19th
RTA-TLCA on Saturday, July 19th
RTA-TLCA Program
SAT on Saturday, July 19th
SAT Program
VSL on Saturday, July 19th
VSL Program
Disclaimer
|
Powered by EasyChair Smart Program
