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 2019
-
VECoS 2019
13th International Conference on
Verification and Evaluation of Computer and Communication Systems,
October 7-9, 2019, Porto, Portugal
-
FM 2019
23rd International Symposium on Formal Methods - 3rd World Congress on Formal Methods,
Porto, Portugal, October 7-11, 2019
-
SAS 2019
26th Static Analysis Symposium,
Porto, Portugal, 8-11 October 2019
-
LOPSTR 2019
29th International Symposium on
Logic-Based Program Synthesis and Transformation
Porto, Portugal, 8-10 October 2019
-
RV 2019
19th International Conference on Runtime Verification
Porto, Portugal, 8-11 October 2019
-
MEMOCODE 2019
17th ACM-IEEE International Conference on Formal Methods and Models for System Design,
San Diego, USA, October 9-11, 2019
-
Embedded Systems Week 2019
New York City, USA, October 13 - 18, 2019,
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
-
IoMT
Internet of Medical Things
-
IFIP-ICTSS 2019
The 31st IFIP International Conference on Testing Software and Systems,
Paris, France, October 15-17, 2019
-
TIME 2019
26th International Symposium on Temporal Representation and Reasoning
Málaga (Spain), 16th-19th October 2019
-
SPLASH 2019 (w. OOPSLA)
The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity,
October 20-25, 2019, Athens, Greece.
-
7th Scandinavian Conference on
System and Software Safety, Stockholm, October 22-23, 2019
-
FMCAD 2019
International Conference on
Formal Methods in Computer-Aided Design,
San Jose, CA, October 22-25, 2019
-
FACS 2019
16th International Conference on Formal Aspects of Component Software,
23-25 October 2019, Amsterdam
-
ATVA 2019
17th International Symposium on Automated Technology for Verification
and Analysis,
October 28-31, 2019, Taipei, Taiwan.
-
ICTAC 2019
16th International Colloquium on Theoretical Aspects of Computing,
30th October to 4th November 2019, in Hammamet, Tunisia.
November 2019
-
ICFEM 2019
21st International Conference on Formal Engineering Methods, November 5th-9th
Shenzhen, China
-
CCS 2019
26th ACM Conference on Computer and Communications Security,
London, United Kingdom, November 11 - 15, 2019
-
NWPT'19
31st Nordic Workshop on Programming Theory,
13-15 November 2019,
Tallinn, Estonia
-
NordSec 2019
The 24th Nordic Conference on Secure IT Systems,
Aalborg, Denmark, 18 - 20 November 2019
-
MCC2019
12th Nordic Workshop on Multi-Core Computing,
Karlskrona, Sweden, November 27-28, 2019.
December 2019
-
iFM 2019
15th International Conference on integrated Formal Methods,
2-6 December 2019,
Bergen, Norway
-
RTSS 2019
40th IEEE Real-Time Systems Symposium, Hong Kong, China, December 3-6, 2019
-
FSTTCS 2019
Foundations of Software Technology and Theoretical Computer Science
December 11-13, 2019,
IIT BOMBAY, Mumbai, India
January 2020
-
CSL 2020
Computer Science Logic,
13-16 January 2020, Barcelona, Spain
-
POPL 2020
The 47th Annual
ACM SIGPLAN-SIGACT
Symposium on Principles of Programming Languages.
19-25 January 2020, New Orleans, Louisiana, United States.
-
CPP 2020
Certified Programs and Proofs,
20-21 January 2020 in New Orleans, Louisiana, United States
-
HiPEAC 2020
15th International Conference on
High-Performance and Embedded Architectures and Compilers,
January 20-22, 2010, Bologna, Italy.
-
SOFSEM 2020
46th International Conference on Current Trends in Theory and
Practice of Computer Science,
Limassol, Cyprus,
January 20-24, 2020
-
ERTS 2020
Embedded Real Time Systems,
29 - 31 January 2020,
Toulouse France
Febrary 2020
-
CGO 2020
International Symposium on Code Generation and Optimization
February 22-26, 2019, San Diego, CA.
-
PPoPP 2020
25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming,
February 22-26, 2019, San Diego, CA.
-
HPCA 2020
25th IEEE International Symposium on High-Performance Computer Architecture,
February 22-26, 2019, San Diego, CA.
Febrary 2020
-
DATE 2020
9 - 13 March 2020, Grenoble, France
April 2020
-
ETAPS 2020
22nd European Joint Conferences on Theory and Practice of Software,
Dublin, Ireland, 25-30 April 2020
May 2020
-
SCOPES 2020
International Workshop on Software and Compilers for Embedded Systems,
May 25-26, 2020, Schloss Rheinfels, St. Goar, Germany
June 2020
-
IEEE EuroSP 2020
5th IEEE European Symposium on Security and Privacy,
June 16-18 2020, Genova, Italy
-
PLDI 2020
ACM Conference on Programming Language Design and Implementation
June 17-19, 2020 in London, UK.
July 2020
-
LICS 2020
Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science,
8-12 July 2020, Beijing, China
-
ICALP 2020
47th International Colloquium on Automata, Languages and Programming,
8-12 July 2020, Beijing, China
August 2020