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.
December 2018
-
RTSS 2018
The 39th IEEE Real-Time Systems Symposium,
Nashville, Tennessee, USA,
11-14th, December 2018
January 2019
-
VMCAI 2019
20th International Conference on Verification, Model Checking, and Abstract Interpretation,
Cascais/Lisbon, Portugal, January 13th-January 15th, 2019
-
POPL 2019
The 46th Annual
ACM SIGPLAN-SIGACT
Symposium on Principles of Programming Languages.
13 - 19 January 2019, Cascais/Lisbon, Portugal.
-
HiPEAC 2019
14th International Conference on
High-Performance and Embedded Architectures and Compilers,
January 21-23, 2019, Valencia, Spain.
March 2019
-
DATE 2019
Design, Automation, and Test in Europe,
Florence, Italy, 25-29 March, 2019
April 2019
-
2019 : The Art, Science, and Engineering of Programming,
April 1-4, 2019, Genova, Italy
-
ETAPS 2019
22nd European Joint Conferences on Theory and Practice of Software,
Prague, Czech Republic, April 6-12, 2019
-
SAC 2019
34st Annual ACM Symposium on Applied Computing,
Limassol, Cyprus
April 8 - 12, 2019
-
ICST 2019
12th IEEE International Conference on Software Testing,
Verification and Validation,
22-27 April 2019, Xian, China
May 2019
-
FSEN '19
Seventh International Conference on
Fundamentals of Software Engineering 2019,
Theory and Practice,
Tehran, Iran
May 1-3, 2019
-
ISORC 2019
The 22nd IEEE International Symposium on Real-Time Distributed Computing,
Valencia, Spain, May 7-9, 2019
-
ICSE 2019
The 41st International Conference on Software Engineering, 25-31 May 2019, Montreal Canada
-
CPS-IoT Week 2019
Cyber Physical Systems and Internet-of-Things Week,
Montreal, CA, April 15-18, 2019.
including
May 2019
-
CF'18
ACM International Conference on Computing Frontiers 2019,
May 1 - 3, 2018, Alghero, Italy
-
NFM 2019
The Eleventh NASA Formal Methods Symposium,
7 - 9 May 2019
Rice University, Houston, Texas, USA
June 2019
-
EuroS and P 2019
4th IEEE European Symposium on Security and Privacy
June 17-19, 2019 in Stockholm, Sweden
-
DisCoTec 2019
14th International Federated Conference on
Distributed Computing Techniques,
Copenhagen, 18-21 June 2019
-
FORTE 2019
37th
Formal Techniques for Networked and Distributed Systems,
-
DAIS 2019
19th IFIP international conference on Distributed Applications and Interoperable Systems,
-
Coordination 2019
Languages, Models, and Architectures for
Concurrent and Distributed Software,
-
PLDI 2019
ACM Conference on Programming Language Design and Implementation
June 22-26, 2019 in Phoenix, Arizona.
Submissions: 16 Nov 2018
ACSD 2019
-
ACSD 2019
19th International Conference on Application of Concurrency to System Design
Aachen, Germany, June 23-28, 2019
-
CSSR
Computer Science Summer in Russia (CSSR)
June 24 - July 5, 2019, including
Summer School, CSR, and
PSI.
The 12th Ershov Informatics Conference, and
CSSR
The 14th Computer Science Symposium in Russia.
July 2019
-
ICALP 2019
The 46th International Colloquium on Automata, Languages, and Programming,
Patras, Greece, on 8-12 July 2019
-
ECRTS 19
31st EUROMICRO Conference on Real-Time Systems,
July 9-12, 2019 | Stuttgart, Germany
-
SPIN 2019
24th International Symposium on Model Checking of Software,
Beijing, China, July 15-19, 2019
-
TASE 2019
The 13th International Symposium on
Theoretical Aspects of Software Engineering,
July 29-31, Guilin, China
August 2019
-
FORMATS 2019
August 26-31, Amsterdam, the Netherlands
-
CONCUR 2019
The 30th International Conference on Concurrency Theory,
Amsterdam, The Netherlands, 27-30 August 2019
September 2019
-
FedCSIS
2019 Federated Conference on Computer Science and Information Systems,
Leipzig, 1 - 4 September, 2019
-
SEFM 2019
17th International Conference on Software Engineering and Formal Methods,
16-20 September 2019, Oslo, Norway.
October 2019
-
FM 2019
23rd International Symposium on Formal Methods - 3rd World Congress on Formal Methods,
Porto, Portugal, October 7-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
January 2020
-
SOFSEM 2020
46th International Conference on Current Trends in Theory and
Practice of Computer Science,
Limassol, Cyprus,
January 20-24, 2020