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

DSFM

EICNCL

FIDE

FCS

FRIDA

GraMSec

GS

HCVS

HDRA

HOR

HoTT/UF

ICLPDC

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 FOLtranslations in Vampire
AhmadSaher AziziSultan
PseudoPropositional Logic
Jul 18 15:00
Tomer Libal
A Simple Semiautomated Proof Assistant for Firstorder Modal Logics
Jul 18 11:30
Daniel Mery
and
Didier Galmiche
Labelled Connectionbased Proof Search for Multiplicative Intuitionistic Linear Logic
Jul 18 12:00
Eugenio Orlandelli
and
Giovanna Corsi
Labelled calculi for QMLs with nonrigid and nondenoting terms
Jul 18 11:00
Alexander Steen
and
Christoph Benzmüller
System Demonstration: The HigherOrder Prover LeoIII
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