default search action

combined dblp search
author search
venue search
publication search

ask others

Symposium on Working Formal Methods (FROM)

> 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

9th FROM 2025: Iaşi, Romania

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2509-11877
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2509-11877
Andrei Arusoaie, Horatiu Cheval, Radu Iosif:
Proceedings 9th edition of Working Formal Methods Symposium, FROM 2025, Iaşi, Romania, 17 September 2025. EPTCS 427, 2025 [contents]

8th FROM 2024: Timişoara, Romania

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-23020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-23020
Mircea Marin, Laurentiu Leustean:
Proceedings Eighth Symposium on Working Formal Methods, FROM 2024, Timişoara, Romania, September 16-18. EPTCS 410, 2024 [contents]

7th FROM 2023: Bucharest, Romania

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-12959
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-12959
Horatiu Cheval, Laurentiu Leustean, Andrei Sipos:
Proceedings 7th Symposium on Working Formal Methods, FROM 2023, Bucharest, Romania, 21-22 September 2023. EPTCS 389, 2023 [contents]

6th FROM 2022: Iaşi, Romania

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-09208
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-09208
Vlad Rusu:
Proceedings of the Sixth Working Formal Methods Symposium, FROM 2022, "Al. I. Cuza University", Iasi, Romania, 19-20 September, 2022. EPTCS 369, 2022 [contents]

3rd FROM 2019: Timişoara, Romania

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1909-00584
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-00584
Mircea Marin, Adrian Craciun:
Proceedings Third Symposium on Working Formal Methods, FROM 2019, Timişoara, Romania, 3-5 September 2019. EPTCS 303, 2019 [contents]

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.