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
  • Fast and Reliable DWARF-based Stack Unwinding
    September 23, 2019
    Francesco Zappa Nardelli
  • Generation of Signals under Temporal Constraints for CPS Testing
    September 30, 2019
    Benoit Barbot
  • Soutenance HDR – Subshifts: aperiodicity, complexity and groups
    October 7, 2019
    Pascal Vanier
© 2019 LACL