FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
PROGRAM
AUTHORS
KEYWORDS
SLIDES
VOLUMES
FLoC
|
LICS
|
ICLP
|
FSCD
|
NMR
|
KR
|
ITP
|
CP
|
SAT
|
CSF
|
DL
|
CAV
|
IJCAR
|
Olympic Games
|
SYNT
|
HoTT/UF
|
PC
|
TERMGRAPH
|
FoMLAS
|
ABR
|
PAAR
|
FOMEO
|
XLoKR
|
PERR
|
CHANGE
|
VeriProp
|
NSV
|
PLP
|
WST
|
IFIP-WG1.6
|
QBF
|
ThEdu
|
DECFOML
|
ModRef
|
ASPOCP
|
MC
|
LMML
|
GDE
|
WPTE
|
GuttmanFest
|
iPRA
|
FCS
|
BCORE
|
UNIF
|
Coq
|
WOLVERINE
|
PDAR
|
Isabelle
|
SMT
|
ASL
|
DatalogMTL
|
TLLA-LINEARITY
|
LFMTP
|
IWC
|
ARQNL
|
REAI
|
PCCR
|
VardiFest
|
WiL
|
FMBC
|
Mentoring Workshop
|
SC^2
|
LogTeach
|
POS
|
FRIDA
|
DSV
Akihisa Yamada
Affiliation:
AIST
Web page:
https://akihisayamada.github.io/
Pages in this Program
Accepted Papers
All Proceedings Papers
IJCAR 2022 Proceedings of IJCAR 2022
IJCAR 2022 Proceedings of IJCAR 2022: Papers with Abstracts
IJCAR on Monday, August 8th
IJCAR Program
IWC on Monday, August 1st
IWC Program
Paper: Efficient Formalization of Simplification Orders
Paper: Term Ordering for Non-Reachability of (Conditional) Rewriting
Program
Program for Friday, August 12th
Program for Monday, August 1st
Program for Monday, August 8th
Program for Sunday, July 31st
WPTE on Sunday, July 31st
WPTE Program
WST on Friday, August 12th
WST Program
WST22 Program papers
WST22 Program papers: Papers with Abstracts
Disclaimer
|
Powered by EasyChair Smart Program