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
Torsten Schaub
Organization:
University of Potsdam
Web page:
http://www.cs.uni-potsdam.de/~torsten
Pages in this Program
All Proceedings Papers
ASPOCP on Wednesday, July 18th
ASPOCP Program
ICLP on Monday, July 16th
ICLP on Sunday, July 15th
ICLP on Tuesday, July 17th
ICLP Proceedings of ICLP 2018
ICLP Proceedings of ICLP 2018: Papers with Abstracts
ICLP Program
LPOP on Wednesday, July 18th
LPOP Position Papers
LPOP Position Papers: Papers with Abstracts
LPOP Program
Paper: Experimenting with robotic intra-logistics domains
Paper: How to upgrade ASP for true dynamic modelling and solving?
Paper: Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming
Paper: Temporal Answer Set Programming on Finite Traces
Program
Program for Monday, July 16th
Program for Sunday, July 15th
Program for Tuesday, July 17th
Program for Wednesday, July 18th
Disclaimer
|
Powered by EasyChair Smart Program