Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

International Workshop on Formal Aspects of Component Software (FACS)

> Home > Conferences and Workshops

Venue statistics

records by year

document access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

frequent authors

19th FACS 2023: Virtual Event

- view
  authority control:
- export record
  dblp key:
  - conf/facs2/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/2023
Javier Cámara, Sung-Shik Jongmans:
Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers. Lecture Notes in Computer Science 14485, Springer 2024, ISBN 978-3-031-52182-9 [contents]

18th FACS 2022: Virtual Event

- view
  authority control:
- export record
  dblp key:
  - conf/facs2/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/2022
Silvia Lizeth Tapia Tarifa, José Proença:
Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings. Lecture Notes in Computer Science 13712, Springer 2022, ISBN 978-3-031-20871-3 [contents]

17th FACS 2021: Virtual Event

- view
  authority control:
- export record
  dblp key:
  - conf/facs2/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/2021
Gwen Salaün, Anton Wijs:
Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings. Lecture Notes in Computer Science 13077, Springer 2021, ISBN 978-3-030-90635-1 [contents]

16th FACS 2019: Amsterdam, The Netherlands

- view
  authority control:
- export record
  dblp key:
  - conf/facs2/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/2019
Farhad Arbab, Sung-Shik Jongmans:
Formal Aspects of Component Software - 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings. Lecture Notes in Computer Science 12018, Springer 2020, ISBN 978-3-030-40913-5 [contents]

15th FACS 2018: Pohang, South Korea

- view
  authority control:
- export record
  dblp key:
  - conf/facs2/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/2018
Kyungmin Bae, Peter Csaba Ölveczky:
Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings. Lecture Notes in Computer Science 11222, Springer 2018, ISBN 978-3-030-02145-0 [contents]

14th FACS 2017: Braga, Portugal

- view
  authority control:
- export record
  dblp key:
  - conf/facs2/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/2017
José Proença, Markus Lumpe:
Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings. Lecture Notes in Computer Science 10487, Springer 2017, ISBN 978-3-319-68033-0 [contents]

13th FACS 2016: Besançon, France

- view
  authority control:
- export record
  dblp key:
  - conf/facs2/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/2016
Olga Kouchnarenko, Ramtin Khosravi:
Formal Aspects of Component Software - 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10231, 2017, ISBN 978-3-319-57665-7 [contents]

12th FACS 2015: Niterói, Brazil

- view
  authority control:
- export record
  dblp key:
  - conf/facs2/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/2015
Christiano Braga, Peter Csaba Ölveczky:
Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9539, Springer 2016, ISBN 978-3-319-28933-5 [contents]

11th FACS 2014: Bertinoro, Italy

- view
  authority control:
- export record
  dblp key:
  - conf/facs2/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/2014
Ivan Lanese, Eric Madelaine:
Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8997, Springer 2015, ISBN 978-3-319-15316-2 [contents]

10th FACS 2013: Nanchang, China

- view
  authority control:
- export record
  dblp key:
  - conf/facs2/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/2013
José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue:
Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8348, Springer 2014, ISBN 978-3-319-07601-0 [contents]

9th FACS 2012: Mountain View, CA, USA

- view
  authority control:
- export record
  dblp key:
  - conf/facs2/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/2012
Corina S. Pasareanu, Gwen Salaün:
Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers. Lecture Notes in Computer Science 7684, Springer 2013, ISBN 978-3-642-35860-9 [contents]

8th FACS 2011: Oslo, Norway

- view
  authority control:
- export record
  dblp key:
  - conf/facs2/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/2011
Farhad Arbab, Peter Csaba Ölveczky:
Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7253, Springer 2012, ISBN 978-3-642-35742-8 [contents]

7th FACS 2010: Guimarães, Portugal

- view
  authority control:
- export record
  dblp key:
  - conf/facs2/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/2010
Luís Soares Barbosa, Markus Lumpe:
Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6921, Springer 2012, ISBN 978-3-642-27268-4 [contents]

6th FACS@FMWeek 2009: Eindhoven, The Netherlands

- view
- export record
  dblp key:
  - conf/facs2/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/2009
Sun Meng, Bernhard Schätz:
Proceedings of the 6th International Workshop on Formal Aspects of Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands, November 2-3, 2009. Electronic Notes in Theoretical Computer Science 263, Elsevier 2010 [contents]

5th FACS 2008: Malaga, Spain

- view
- export record
  dblp key:
  - conf/facs2/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/2008
Carlos Canal, Corina S. Pasareanu:
Proceedings of the 5th International Workshop on Formal Aspects of Component Software, FACS 2008, Malaga, Spain, September 10-12, 2008. Electronic Notes in Theoretical Computer Science 260, Elsevier 2010 [contents]

4th FACS 2007: Sophia-Antipolis, France

- view
- export record
  dblp key:
  - conf/facs2/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/2007
Markus Lumpe, Eric Madelaine:
Proceedings of the 4th International Workshop on Formal Aspects of Component Software, FACS 2007, Sophia-Antipolis, France, September 19-21, 2007. Electronic Notes in Theoretical Computer Science 215, Elsevier 2008 [contents]

3rd FACS 2006: Prague, Czech Republic

- view
- export record
  dblp key:
  - conf/facs2/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/2006
Vladimir Mencl, Frank S. de Boer:
Proceedings of the Third International Workshop on Formal Aspects of Component Software, FACS 2006, Prague, Czech Republic, September 20-22, 2006. Electronic Notes in Theoretical Computer Science 182, Elsevier 2007 [contents]

2nd FACS 2005: Macao

- view
- export record
  dblp key:
  - conf/facs2/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/2005
Zhiming Liu, Luís Soares Barbosa:
Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005. Electronic Notes in Theoretical Computer Science 160, Elsevier 2006 [contents]

1st FACS@FM 2003: Pisa, Italy

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.