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
Rajeev Gore
Organization:
The Australian National University
Web site:
http://arp.anu.edu.au/~rpg
Pages in this Program
ADDCT Call for Papers
ADDCT Program Committee
All Proceedings Papers
ARQNL Call for Papers
ARQNL Program Committee
ARW-DT on Wednesday, July 23rd
ARW-DT Program
IJCAR 2014 LNCS proceedings
IJCAR 2014 LNCS proceedings: Papers with Abstracts
IJCAR on Monday, July 21st
IJCAR on Saturday, July 19th
IJCAR on Sunday, July 20th
IJCAR Program
Paper: A History-Based Theorem Prover for Intuitionistic Propositional Logic using Global Caching: IntHistGC System Description
Paper: And-Or Tableaux for Fixpoint Logics with Converse: LTL, CTL, PDL and CPDL
Paper: Implementing Tableaux Calculi Using BDDs: BDDTab System Description
Program
Program for Monday, July 21st
Program for Saturday, July 19th
Program for Sunday, July 20th
Program for Wednesday, July 23rd
VERIFY on Wednesday, July 23rd
VERIFY Program
WING on Wednesday, July 23rd
WING Program
Disclaimer
|
Powered by EasyChair Smart Program
