conferences.computer.science

All conferences / Cities / Norway / Bergen

Bergen 🇳🇴

CountryNorway Editions6 Series6 Covered2019–2025

Editions held here

YearConferenceHeldPaper deadline
2025 VORTEX Workshop on Verification and Monitoring at Runtime Execution 4 Jul 2025 2 May 2025
2022 NWPT Nordic Workshop On Programming Theory 2–4 Nov 2022 2 Oct 2022
2022 Petri Nets International Conference on Application and Theory of Petri Nets and Concurrency 19–24 Jun 2022 27 Jan 2022
2022 PNSE International Workshop on Petri Nets and Software Engineering 21 Jun 2022 29 Mar 2022
2020 TAP Tests and Proofs 22–26 Jun 2020 2 Feb 2020
2019 iFM International Conference on integrated Formal Methods 4–6 Dec 2019 5 Jul 2019

Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the call for papers and/or the Web sites and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers might then move deadlines without telling anyone, which may lead to inconsistencies. So, treat this small page as a well-meaning notebook rather than an authority 🤓