INFORMEL

Indo-French Formal Methods Lab

Aller au contenu
  • Accueil
  • About
    • Theory
    • Applications
  • Partners
  • Exchanges
  • Publications
  • News
  • Contact

ACTS 2017, Chennai

ACTS 2017 the Fifth Workshop on Automata, Concurrency and Timed Systems takes place at CMI (Chennai) on 30 January – 3 February 2017.

Cette entrée a été publiée dans Conferences le janvier 13, 2017 par informel.

FSTTCS 2016, Chennai

FSTTCS 2016, The IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science takes place in Chennai on 13 – 15 December 2016.

Cette entrée a été publiée dans Uncategorized le décembre 18, 2015 par informel.

ICLA 2017, IIT Kanpur

ICLA 2017, the seventh edition of its biennial International Conference on Logic and its Applications will be held at the Indian Institute of Technology Kanpur, from January 5 to 7, 2017. ICLA 2017 will be co-located with the Methods for Modalities Workshop M4M 2017.

Cette entrée a été publiée dans Uncategorized le décembre 16, 2014 par informel.

Upcoming

  • ACTS 2017, Chennai
  • FSTTCS 2016, Chennai
  • ICLA 2017, IIT Kanpur
Fièrement propulsé par WordPress