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
Robert Harper
Organization:
Carnegie Mellon University
Web page:
http://www.cs.cmu.edu/~rwh
Pages in this Program
All Proceedings Papers
HoTT/UF Abstracts
HoTT/UF Abstracts: Papers with Abstracts
HoTT/UF on Sunday, July 8th
HoTT/UF Program
ITP on Thursday, July 12th
ITP Papers
ITP Papers: Papers with Abstracts
ITP Program
LFMTP Regular papers
LFMTP Regular papers: Papers with Abstracts
LICS on Tuesday, July 10th
LICS PDF files
LICS PDF files: Papers with Abstracts
LICS Program
Paper: Cubical Computational Type Theory
Paper: Guarded Computational Type Theory
Paper: The RedPRL Proof Assistant
Paper: Verified Tail Bounds for Randomized Programs
Program
Program for Sunday, July 8th
Program for Thursday, July 12th
Program for Tuesday, July 10th
Disclaimer

Powered by EasyChair Smart Program