Skip to content
LACL Logo
  • Presentation
    • Organisation chart
  • Teams
    • Logic, Computation and Programming
    • Systems Specification and Verification
  • Members
  • Publications
  • Seminar
  • Contact
    • How to get here?
  • Log In
  • Français
LACL Logo
  • Presentation
    • Organisation chart
  • Teams
    • Logic, Computation and Programming
    • Systems Specification and Verification
  • Members
  • Publications
  • Seminar
  • Contact
    • How to get here?
  • Log In
  • Français

SCW’14

SCW’14: Spatial Computing Workshop

Events

Post navigation

TPMCC’14

Next seminars
  • Completeness for Identity-free Kleene Lattices
    March 25, 2019
    Amina Doumane
  • Ontology-Mediated Query Answering with OWL 2 QL Ontologies: Combined Complexity and Succinctness of Rewritings
    April 1, 2019
    Meghyn Bienvenu
  • The recurrence function of a random Sturmian word
    April 8, 2019
    Pablo Rotondo
© 2019 LACL