FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
PROGRAM
AUTHORS
KEYWORDS
VOLUMES
FLoC
|
FoPSS
|
ITP
|
CSF
|
FSCD
|
SAT
|
CAV
|
IJCAR
|
ICLP
|
FM
|
LICS
|
ADHS
|
ADSL
|
ARQNL
|
ASPOCP
|
AVOCS
|
CL&C
|
COALG
|
Coq
|
DCM
|
Domains13
|
DS-FM
|
EICNCL
|
F-IDE
|
FCS
|
FRIDA
|
GraMSec
|
GS
|
HCVS
|
HDRA
|
HOR
|
HoTT/UF
|
ICLP-DC
|
IFIP WG 1.6
|
Isabelle
|
ITRS
|
IWC
|
LaSh
|
LCC
|
LearnAut
|
LFMTP
|
Linearity/TLLA
|
LMW
|
LOLA
|
LPOP
|
LSB
|
MLP
|
MoRe
|
MSFP
|
NLCS
|
NSV
|
Overture
|
PAAR
|
PARIS
|
PC
|
PLR
|
POS
|
PRUV
|
QBF
|
RCRA
|
REFINE
|
ReMOTE
|
rv4rise
|
SCSC
|
SMT
|
SoMLMFM
|
SR
|
SYNT
|
TERMGRAPH
|
Tetrapod
|
ThEdu
|
TLA
|
TYDI
|
UITP
|
UNIF
|
Vampire
|
VaVAS
|
VDMW
|
VEMDP
|
VSTTE
|
WiL
|
WPTE
|
WST
PROGRAM
|
AUTHORS
|
KEYWORDS
|
VOLUME
ARQNL FULL PAPERS, DEMO PAPERS AND INVITED CONTRIBUTIONS
Papers
Papers with Abstracts
Preface
Author Index
Keyword Index
Editors:
Christoph Benzmüller
and
Jens Otten
Authors
Title
Paper
Talk
Lawrence Moss
Implementations of Natural Logics
Giles Reger
Some thoughts about FOL-translations in Vampire
Ahmad-Saher Azizi-Sultan
Pseudo-Propositional Logic
Jul 18 15:00
Tomer Libal
A Simple Semi-automated Proof Assistant for First-order Modal Logics
Jul 18 11:30
Daniel Mery
and
Didier Galmiche
Labelled Connection-based Proof Search for Multiplicative Intuitionistic Linear Logic
Jul 18 12:00
Eugenio Orlandelli
and
Giovanna Corsi
Labelled calculi for QMLs with non-rigid and non-denoting terms
Jul 18 11:00
Alexander Steen
and
Christoph Benzmüller
System Demonstration: The Higher-Order Prover Leo-III
Jul 18 16:30
Wieger Wesselink
and
Tim Willemse
Evidence Extraction from Parameterised Boolean Equation Systems
Jul 18 10:00
Disclaimer
|
Powered by EasyChair Smart Program
