[Haskell] Call for Papers: FormaliSE 2026 (submission deadline approaching)

2025-10-06 Thread Claudio MENGHI
Call for Papers: FORMALISE 2026 14th International Conference on Formal Methods in Software Engineering 12 and 13 April, 2026 co-located with ICSE 2026 (April 12 - April 18, 2026), Rio de Janeiro, Brazil https://conf.researchr.org/home/Formalise-202

[Haskell] Call for Papers: FORMALISE 2026

2025-08-29 Thread Claudio MENGHI
Call for Papers: FORMALISE 2026 14th International Conference on Formal Methods in Software Engineering 12 and 13 April, 2026 co-located with ICSE 2026 (April 12 - April 18, 2026), Rio de Janeiro, Brazil https://conf.researchr.org/home/Formalise-202