FLoC Workshops

FLoC 2014 will host over 70 workshops, each affiliated with at least one of the eight FLoC conferences. The following table shows all FLoC workshops grouped by their hosting conference(s). For a chronological listing, see FLoC workshops (by block). For further information, please consult the FLoC workshop guide.

CAV   CICLOPS-WLPE International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014
  EC2 7th International Workshop on Exploiting Concurrency Efficiently and Correctly
  FRIDA Workshop on Formal Reasoning in Distributed Algorithms
  FWFM 2nd International Workshop Fun With Formal Methods
  HCVS Workshop on Horn Clauses for Verification and Synthesis
  HOPA Higher Order Program Analysis
  HSB 3rd International Workshop on Hybrid Systems Biology
  iPRA Interpolation: From Proofs to Applications
  NSV 7th International Workshop on Numerical Software Verification
  PAS Third International Seminar on Program Verification, Automated Debugging and Symbolic Computation
  REORDER Third International Workshop on Memory Consistency Models
  RS Reactive Systems: Directions in Development and Analysis
  SMT 12th International Workshop on Satisfiability Modulo Theories
  SYNT 3rd Workshop on Synthesis
  VEMDP International Workshop on Verification of Engineered Molecular Devices and Programs 2014
  VeriSure Second VeriSure Workshop
  VPT Second International Workshop on Verification and Program Transformation
  VSTTE Working Conference on Verified Software: Theories, Tools, and Experiments
  WING 5th International Workshop on Invariant Generation
  WST 14th International Workshop on Termination
CSF   ASA 7th International Workshop on Analysis of Security APIs
  FCS-FCC Joint Workshop on Foundations of Computer Security and Formal and Computational Cryptography
  STAST 4th International Workshop on Socio-Technical Aspects in Security and Trust
CSL-LICS   AISS Algorithmics of Infinite State Systems 2014
  APPA All about Proofs, Proofs for All
  CICLOPS-WLPE International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014
  CL&C Fifth International Workshop on Classical Logic and Computation
  DCM 10th International Workshop on Developments in Computational Models
  DTP Dependently-Typed Programming
  FCS-FCC Joint Workshop on Foundations of Computer Security and Formal and Computational Cryptography
  GSB Workshop on Gentzen Systems and Beyond 3
  HOPA Higher Order Program Analysis
  LCC Workshop on Logic and Comptuational Complexity
  LFMTP 9th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice
  LINEARITY 3rd International Workshop on Linearity
  LOLA 5th Workshop on Syntax and Semantics of Low-Level Languages
  LSB 5th International Workshop on Logic and Systems Biology
  NLCS Second Workshop on Natural Language and Computer Science
  PC FLoC Workshop on Proof Complexity
  PCCR 2nd Workshop on the Parameterized Complexity of Computational Reasoning
  PSC Proof, Structure and Computation
  SD 3rd Workshop on Structures and Deduction
ICLP   ASPOCP 7th Workshop on Answer Set Programming and Other Computing Paradigms
  CHR 11th International Workshop on Constraint Handling Rules
  CICLOPS-WLPE International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014
  HCVS Workshop on Horn Clauses for Verification and Synthesis
  LaSh 4th International Workshop on Logic and Search
  ParSearchOpt Parallel Methods for Search & Optimization
  PLP Workshop on Probabilistic Logic Programming
  RCRA 21st RCRA International Workshop on “Experimental Evaluation of Algorithms for solving problems with combinatorial explosion”
  VPT Second International Workshop on Verification and Program Transformation
IJCAR   ADDCT Automated Deduction: Decidability, Complexity, Tractability
  APPA All about Proofs, Proofs for All
  ARQNL Automated Reasoning in Quantified Non-Classical Logics
  ARW-DT Joint Automated Reasoning Workshop and Deduktionstreffen
  automatheo Automated Mathematical Theory Exploration (Automatheo 2014)
  CICLOPS-WLPE International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014
  KInAR Knowledge Intensive Automated Reasoning 2014
  LFMTP 9th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice
  ORE The 3rd OWL Reasoner Evaluation Workshop
  PAAR 4th Workshop on Practical Aspects of Automated Reasoning
  ParSearchOpt Parallel Methods for Search & Optimization
  PCCR 2nd Workshop on the Parameterized Complexity of Computational Reasoning
  PRUV First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness
  QED Twenty Years of the QED Manifesto
  QUANTIFY First International Workshop on Quantification
  RCRA 21st RCRA International Workshop on “Experimental Evaluation of Algorithms for solving problems with combinatorial explosion”
  SMT 12th International Workshop on Satisfiability Modulo Theories
  UITP User Interfaces for Theorem Provers
  UNIF The 28th International Workshop on Unification
  Vampire The Vampire Workshop
  VERIFY 8th International Verification Workshop
  WING 5th International Workshop on Invariant Generation
  WST 14th International Workshop on Termination
  WWV 10th International Workshop on Automated Specification and Verification of Web Systems
ITP   ACL2 12th International Workshop on the ACL2 Theorem Prover and its Applications
  APPA All about Proofs, Proofs for All
  Coq The 6th Coq Workshop
  HOL 2014 International Workshop on the HOL Theorem Proving System
  Isabelle Isabelle Workshop 2014
  QED Twenty Years of the QED Manifesto
  UITP User Interfaces for Theorem Provers
  VSTTE Working Conference on Verified Software: Theories, Tools, and Experiments
  WING 5th International Workshop on Invariant Generation
RTA-TLCA   2FC Two Faces of Complexity 2014
  ADDCT Automated Deduction: Decidability, Complexity, Tractability
  CHR 11th International Workshop on Constraint Handling Rules
  CICLOPS-WLPE International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014
  HOR Higher Order Rewriting
  IFIP-WG16 Annual Meeting of the IFIP Working Group 1.6 (Term Rewriting)
  ITRS 7th Workshop on Intersection Types and Related Systems
  IWC 3rd International Workshop on Confluence
  LINEARITY 3rd International Workshop on Linearity
  NLSR Natural Language Services for Reasoners
  TERMGRAPH 8th International Workshop on Computing with Terms and Graphs
  UNIF The 28th International Workshop on Unification
  VSTTE Working Conference on Verified Software: Theories, Tools, and Experiments
  WING 5th International Workshop on Invariant Generation
  WIR Workshop on Infinitary Rewriting
  WPTE Workshop on Rewriting Techniques for Program Transformations and Evaluation
  WST 14th International Workshop on Termination
SAT   APPA All about Proofs, Proofs for All
  CICLOPS-WLPE International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014
  CSPSAT Fourth International Workshop on the Cross-Fertilization Between CSP and SAT, in conjunction with SAT 2014
  HOPA Higher Order Program Analysis
  iPRA Interpolation: From Proofs to Applications
  LaSh 4th International Workshop on Logic and Search
  ParSearchOpt Parallel Methods for Search & Optimization
  PC FLoC Workshop on Proof Complexity
  PCCR 2nd Workshop on the Parameterized Complexity of Computational Reasoning
  POS Fifth Pragmatics of SAT workshop
  QBF Second International Workshop on Quantified Boolean Formulas
  RCRA 21st RCRA International Workshop on “Experimental Evaluation of Algorithms for solving problems with combinatorial explosion”
  SMT 12th International Workshop on Satisfiability Modulo Theories
  VSTTE Working Conference on Verified Software: Theories, Tools, and Experiments