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
Mario Alviano
Organization:
Department of Mathematics, University of Calabria
Web site:
http://www.alviano.net
Pages in this Program
All Proceedings Papers
ASPOCP 2014 Proceedings
ASPOCP 2014 Proceedings: Papers with Abstracts
ASPOCP on Wednesday, July 23rd
ASPOCP Program
ICLP 2014 VSL proceedings
ICLP 2014 VSL proceedings: Papers with Abstracts
ICLP on Tuesday, July 22nd
ICLP Program
NMR on Saturday, July 19th
NMR on Thursday, July 17th
NMR Program
Paper: Anytime Computation of Cautious Consequences in Answer Set Programming
Paper: Declarative Specification of Benchmark Sessions via ASP
Paper: On the Implementation of Weak Constraints in WASP
Program
Program for Saturday, July 19th
Program for Thursday, July 17th
Program for Tuesday, July 22nd
Program for Wednesday, July 23rd
RCRA 2014 Proceedings
RCRA 2014 Proceedings: Papers with Abstracts
RCRA on Thursday, July 17th
RCRA Program
RCRA Program Committee
Disclaimer
|
Powered by EasyChair Smart Program
