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
PARIS CONTRIBUTED PAPERS
Papers
Papers with Abstracts
Preface
Author Index
Keyword Index
Editors:
Alexis Saurin
,
David Baelde
and
Radu Calinescu
Authors
Title
Paper
Talk
Patrick Bahr
,
Bassel Mannaa
and
Rasmus Ejlers Møgelberg
What makes guarded types tick?
Jul 07 17:15
Florian Bruse
,
Martin Lange
and
Etienne Lozes
Collapses of Fixpoint Alternation Hierarchies in Low TypeLevels of HigherOrder Fixpoint Logic
Jul 07 11:45
David Cerna
and
Michael Lettmann
Towards the Automatic Construction of Schematic Proofs
Jul 07 14:45
Anupam Das
On the logical complexity of cyclic arithmetic
Jul 08 16:45
Yue Li
and
Ekaterina Komendantskaya
Coinductive Uniform Proofs: An Extended Abstract
Jul 08 11:45
Rémi Nollet
Local validity for circular proofs in linear logic with fixed points
Jul 07 11:00
Colin Riba
and
Pierre Pradic
LMSO: A CurryHoward Approach to Church’s Synthesis via Linear Logic
Jul 08 11:00
Reuben Rowe
and
Liron Cohen
Transitive Closure Logic: Infinitary and Cyclic Proof Systems
Jul 08 16:00
Sorin Stratulat
Useless Explicit Induction Reasoning
Jul 07 14:00
Disclaimer

Powered by EasyChair Smart Program