IEEE International Conference on Formal Engineering Methods (ICFEM)

Venue statistics

records by year

document access 

    frequent authors

      22nd ICFEM 2020: Singapore

      21st ICFEM 2019: Shenzhen, China

      20th ICFEM 2018: Gold Coast, QLD, Australia

      19th ICFEM 2017: Xi'an, China

      18th ICFEM 2016: Tokyo, Japan

      17th ICFEM 2015: Paris, France

      16th ICFEM 2014: Luxembourg

      15th ICFEM 2013: Queenstown, New Zealand

      14th ICFEM 2012: Kyoto, Japan

      13th ICFEM 2011: Durham, UK

      12th ICFEM 2010: Shanghai, China

      11th ICFEM 2009: Rio de Janeiro, Brazil

      10th ICFEM 2008: Kitakyushu-City, Japan

      9th ICFEM 2007: Boca Raton, FL, USA

      8th ICFEM 2006: Macao, China

      7th ICFEM 2005: Manchester, UK

      6th ICFEM 2004: Seattle, WA, USA

      5th ICFEM 2003: Singapore

      4th ICFEM 2002: Shanghai, China

      3rd ICFEM 2000: York, England, UK

      2nd ICFEM 1998: Brisbane, Queensland, Australia

      1st ICFEM 1997: Hiroshima, Japan

      a service of  Schloss Dagstuhl - Leibniz Center for Informatics