(Q105692827)

13 February 2021

inception

1997

1 reference

13 February 2021

short name

ICFEM (English)

1 reference

13 February 2021

title

IEEE International Conference on Formal Engineering Methods (English)

1 reference

Institute of Electrical and Electronics Engineers

13 February 2021

organizer

1 reference

based on heuristic

inferred from title

described at URL

https://www.openresearch.org/wiki/ICFEM

1 reference

https://www.openresearch.org/wiki/ICFEM

Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015

13 February 2021

has part(s)

17

1 reference

https://dblp.org/db/conf/icfem/icfem2015.html

Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012

8 March 2021

14

1 reference

https://dblp.org/db/conf/icfem/icfem2012.html

Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019

8 March 2021

21

1 reference

https://dblp.org/db/conf/icfem/icfem2019.html

Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018

8 March 2021

20

1 reference

https://dblp.org/db/conf/icfem/icfem2018.html

Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011

8 March 2021

13

1 reference

https://dblp.org/db/conf/icfem/icfem2011.html

Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007

8 March 2021

9

1 reference

https://dblp.org/db/conf/icfem/icfem2007.html

Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005

8 March 2021

7

1 reference

https://dblp.org/db/conf/icfem/icfem2005.html

Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004

8 March 2021

6

1 reference

https://dblp.org/db/conf/icfem/icfem2004.html

Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, Brisbane, Queensland, Australia, December 9-11, 1998

8 March 2021

2

1 reference

https://dblp.org/db/conf/icfem/icfem1998.html

Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021

8 March 2021

22

1 reference

https://dblp.org/db/conf/icfem/icfem2020.html

Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014

8 March 2021

16

1 reference

https://dblp.org/db/conf/icfem/icfem2014.html

Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009

8 March 2021

11

1 reference

https://dblp.org/db/conf/icfem/icfem2009.html

Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006

8 March 2021

8

1 reference

https://dblp.org/db/conf/icfem/icfem2006.html

Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003

8 March 2021

5

1 reference

https://dblp.org/db/conf/icfem/icfem2003.html

Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002

8 March 2021

4

1 reference

https://dblp.org/db/conf/icfem/icfem2002.html

3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000

8 March 2021

3

1 reference

https://dblp.org/db/conf/icfem/icfem2000.html

8 March 2021

Identifiers

VIAF ID

134183893

1 reference

Virtual International Authority File

2 March 2021

1 reference

3 March 2021

Library of Congress authority ID

no98044101

1 reference

Integrated Authority File

3 March 2021

1 reference

13 February 2021

Microsoft Academic ID

1 reference

Microsoft Academic Graph (English)

DOI

10.5281/ZENODO.2628216

WikiCFP conference series ID

13 February 2021

1365

1 reference