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
Jørgen Villadsen
Organization:
Technical University of Denmark
Web page:
http://people.compute.dtu.dk/jovi/
Pages in this Program
6th Workshop on practical aspects of automated reasoning
All Proceedings Papers
Isabelle on Friday, July 13th
Isabelle Papers
Isabelle Papers: Papers with Abstracts
Isabelle Program
PAAR on Thursday, July 19th
PAAR papers
PAAR papers: Papers with Abstracts
PAAR Program
Paper: A Verified Simple Prover for FirstOrder Logic
Paper: Drawing Trees
Paper: Formalization of FirstOrder Syntactic Unification
Paper: Natural Deduction Assistant (NaDeA)
Paper: Proving in the Isabelle Proof Assistant that the Set of Real Numbers is not Countable
Paper: Students' Proof Assistant (SPA)
Paper: Substitutionless FirstOrder Logic: A Formal Soundness Proof
Program
Program for Friday, July 13th
Program for Saturday, July 7th
Program for Thursday, July 19th
Program for Wednesday, July 18th
ThEdu Extended Abstracts
ThEdu Extended Abstracts: Papers with Abstracts
ThEdu on Wednesday, July 18th
ThEdu Program
UITP on Friday, July 13th
UITP Program
UNIF Extended abstracts
UNIF Extended abstracts: Papers with Abstracts
UNIF on Saturday, July 7th
UNIF Program
Disclaimer

Powered by EasyChair Smart Program