UU |
Dept. of Computer Systems |
Research |
Education |
Information |
Staff |
Students
Formal Methods and Software Technology
Interesting Conferences
This page includes conferences in many subjects, also of not-so-close
relation to Software Technology.
Here is a page with conferences
that have already taken place.
October 2020
-
RV 2020
19th International Conference on Runtime Verification,
Los Angeles, CA, USA, October 6-9, 2020
-
Embedded Systems Week 2020
Shanghai, China, October 11 - 16, 2020,
including
-
CODES + ISSS
International Conference on
Hardware/Software Codesign and System Synthesis
-
EMSOFT
International Conference on Embedded Software
-
CASES
International Conference on Compilers, Architecture
and Synthesis for Embedded Systems
-
Trustworty IoT Day
Special Day on Trustworthy Internet-of-Things
-
ATVA 2020
18th International Symposium on Automated Technology for Verification
and Analysis,
October 19-23, 2020, Hanoi, Vietnam
November 2020
-
SPLASH 2020 (w. OOPSLA)
The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity,
November 15-20, 2020, Chicago, Illinois, United States
-
iFM 2020
16th International Conference on integrated Formal Methods,
16-20 December 2019,
Lugano, Switzerland
-
SAS 2020
27th Static Analysis Symposium
Chicago, Illinois, United States, November 18-20, 2020
-
Nordsec 2020
The 25th Nordic Conference on Secure IT Systems,
Linköping, Sweden, November 23-25 2020,
(virtual conference)
-
ICTAC 2020
17th International Colloquium on Theoretical Aspects of Computing,
Macao S.A.R., China, 30 November- 4 December, 2020
December 2020
-
MEMOCODE'20
18th ACM-IEEE International Conference on Formal Methods and Models for System Design,
December 02-04, 2020, Jaipur, India
January 2021
-
VMCAI 2021
22nd International Conference on Verification, Model Checking, and
Abstract Interpretation,
17-19 January 2021, Copenhagen, Denmark
-
POPL 2021
The 48th Annual
ACM SIGPLAN-SIGACT
Symposium on Principles of Programming Languages.
17-22 January 2021, Copenhagen, Denmark
-
CPP 2021
Certified Programs and Proofs,
18-19 January 2021, Copenhagen, Denmark
-
CSL 2021
Computer Science Logic,
25-28 January 2021, Ljubljana, Slovenia.
March 2021
-
ETAPS 2021
24th European Joint Conferences on Theory and Practice of Software,
Luxembourg, Luxembourg, 27 March - 1 April 2021.
-
ISPASS 2021
IEEE International Symposium on Performance Analysis of Systems and Software,
March 28-30, Stony Brook, NY.
May 2021
-
IPDPS 2021
35th IEEE International Parallel and Distributed Processing Symposium,
May 17-21, 2021.
Portland, Oregon
-
FSEN '21
9th International Conference on
Fundamentals of Software Engineering 2019,
Theory and Practice,
Tehran, Iran
May 19-21, 2021
-
NFM 2021
The 13th NASA Formal Methods Symposium,
24-28 May 2021
Norfolk, VA, USA
June 2021
-
PLDI 2021
ACM Conference on Programming Language Design and Implementation
June 23-25, 2021, online.
July 2021
November 2021
-
FM 2021
24th International Symposium on Formal Methods
Beijing, China Nov. 20-26, 2021.