Interesting Conferences

April 2014

• ETAPS 2014 European Joint Conferences on Theory And Practice of Software, April 5-13, 2014 Grenoble, France
  Including
  • CC 2014 Int. Conf. on Compiler Construction
  • ESOP 2014 European Symposium On Programming
  • FASE 2014 Fundamental Approaches to Software Engineering
  • FOSSACS 2014 Foundations of Software Science and Computation Structures
  • TACAS 2014 Tools and Algorithms for the Construction and Analysis of Systems
  • POST 2014 First Conference on Principles of Security and Trust
  • PLACES 2014 Programming Language Approaches to Concurrency and Communication-Centric Software.
• CPSWEEK 2014 Cyber Physical Systems Week, Berlin, Germany, April 14-17, 2014.
  including
  • HSCC 2014 Hybrid Systems: Computation and Control, April 15-17
  • ICCPS 2014 5th ACM/IEEE International Conference on Cyber-Physical Systems, April 14-17,
  • IPSN 2014 13th ACM/IEEE International Conference on Information Processing in Sensor Networks, April 15-17,
  • HiCoNS 3nd ACM International Conference on High Confidence Networked Systems April 15-17,
  • RTAS 2014 20th IEEE Real-Time and Embedded Technology and Applications Symposium, April 15-17
• NFM 2014 The Sixth NASA Formal Methods Symposium, 29 April - 1 May 2014 NASA Johnson Space Center, Houston, Texas, USA.

May 2014

• UTP 2014 5th International Symposium on Unifying Theories of Programming, May 12 - 13, 2014 Singapore
• AVM 2014 Alpine Verification Meeting 2014, May 12-14, 2014 -- Frejus, Cote d'Azur, France
• EDCC 2014 Tenth European Dependable Computing Conference, Newcastle upon Tyne, UK, May 13-16, 2014
• FM 2014 19th International Symposium on Formal Methods, Singapore, May 14-16, 2014
• IPDPS 2014 28th IEEE International Parallel & Distributed Processing Symposium May 19-23, 2014, Phoenix (Arizona) USA
• DCOSS 2014 10th IEEE International Conference on Distributed Computing in Sensor Systems, Marina Del Rey, California, May 25 - 27, 2014
• TFP 2014 15th Symposium on Trends in Functional Programming, May 26-28, 2014 Utrecht University Soesterberg, The Netherlands

June 2014

• DAC 2014 Design Automation Conference 2014, San Francisco, CA June 1 - 5, 2014
• ICSE 2014 International Conference on Software Engineering, June 1-7, Hyderabad, India.
• DisCoTec 2014 9th International Federated Conference on Distributed Computing Techniques, Berlin, June 3-6, 2014, containing
  • FORTE 2014 15th Formal Methods for Open Object-Based Distributed Systems and 33rd Formal Techniques for Networked and Distributed Systems,
  • DAIS 2014 14th IFIP international conference on Distributed Applications and Interoperable Systems,
  • Coordination 2014 Languages, Models, and Architectures for Concurrent and Distributed Software, 16th International Conference,
• ABZ 2014 4th International ABZ 2014 Conference ASM, Alloy, B, TLA, VDM, Z, June 2-6, 2014 Toulouse, France
• PLDI 2014 35th ACM SIGPLAN conference on Programming Language Design and Implementation, Edinburgh, UK 9-11 June 2014.
• ISMM 2014 International Symposium on Memory Management,Edinburgh, Scotland, UK
• LCTES 2014 ACM SIGPLAN conference on languages, compilers, and tools for embedded systems, Edinburgh, UK, June 12 -- 13, 2014
• SCOPES 2014 17th International Workshop on Software and Compilers for Embedded Systems, June 10-11, 2014, Schloss Rheinfels, St. Goar, Germany
• ISORC 2014 17th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing, June 10 - 12, 2014 Reno, Nevada, USA
• MFPS XXX Thirtieth Conference on the Mathematical Foundations of Programming Semantics, Cornell University Ithaca, NY USA 12 - 15 June 2014
• ISCA 2014 41st International Symposium on Computer Architecture, Minneapolis, Minnesota, June 14-18, 2014
• SIES 2014 IEEE Symposium on Industrial Embedded Systems, June 18-20, 2014, Scuola Superiore S. Anna, Pisa, Italy
• ACSD 2014 14th International Conference on Application of Concurrency to System Design, Tunis, Tunisia, June 23-27, 2014
• Petri Nets 2014 35th International Conference on Application and Theory of Petri Nets and Concurrency, Tunis, Tunisia, June 23-27, 2014
• PSI'14 Ershov Informatics Conference, 24 June - 27 June, 2014, Peterhof, St. Petersburg, Russia
• CompArch 2014 Federated conference, Lille, France, June 30 - July 4, 2014, including
  • CBSE 17th ACM SigSoft International Symposium on Component-Based Software Engineering
  • QoSA: 11th ACM SigSoft International Conference on Quality of Software Architecture
  • WCOP: 19th International Doctoral Symposium on Components and Architecture

July 2014

• WCET 2014 14th International Workshop on Worst-Case Execution Time Analysis, July 8th, 2014 Madrid, Spain
• ECRTS 2014 Euromicro Conference on Real-Time Systems, Madrid, Spain, 9-11th July 2014
• RC 2014 6th Conference on Reversible Computation, July 10-11, 2014, Kyoto, Japan
• Vienna Summer of Logic 9-24 July, 2014, including
  • CAV 2014 26th International Conference on Computer Aided Verification July 18-22
  • CSF 2014 27th IEEE Computer Security Foundations Symposium 2014, July 19-22
  • ICLP 2014 30th International Conference on Logic Programming, July 19-22
  • ITP 2014 5th Conference on Interactive Theorem Proving, July 14-17
  • IJCAR 2014 7th International Joint Conference on Automated Reasoning, July 19-22
  • CSL and LICS 2014 23rd EACSL Annual Conference on Computer Science Logic, and 29th ACM/IEEE Symposium on Logic in Computer Science, July 14-18
  • VSTTE 2014 6th Working Conference on Verified Software: Theories, Tools, and Experiments, July 17 - 18
  • RTA and TLCA 2014 25th International Conference on Rewriting Techniques and Applications, joint with the 12th International Conference on Typed Lambda Calculi and Applications, July 14-17
  • SAT 2014 17th International Conference on Theory and Applications of Satisfiability Testing, July 14-17
• SAMOS XIV International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, Samos, Greece, July 14-17, 2014.
• SPIN 2014 21st International Symposium on Model Checking of Software, San Jose, CA, USA, July 21-23, 2014
• ICMT 2014 7th International Conference on Model Transformation, July 21-25, 2014
• COMPSAC 2014 The 38th Annual International Computers, Software & Applications Conference, VästerÃ¥s, Sweden - July 21-25, 2014
• ISSTA 2014 International Conference on Software Testing and Analysis, Bay Area, California, July 21 – 26, 2014
• ICGT 2014 8th International Conference on Graph Transformation - Modeling and Analysis of Dynamic Structures - York, UK. 22-24 July, 2014
• TAP 2014 8th International Conference on Tests and Proofs, York, UK, July 24-25, 2014.
• ECOOP 2014 European Conference on Object-Oriented Programming, Uppsala, Sweden July 28th -- August 1st, 2014

August 2014

• ICECCS 2014 19th IEEE International Conference on Engineering of Complex Computer Systems, 4-7 August 2014, Tianjin University, China
• RTCSA 2014 20th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 20-22, 2014, Chongqing, China
• MFCS 2014 39th International Symposium on Mathematical Foundations of Computer Science, Budapest, August 25--29, 2014,
• EUC 2014 The 12th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, Milan, Italy, August 26-28, 2014
• IEEE ISPA 2014 International Symposium on Parallel and Distributed Processing with Applications, 26th-28th August, Milan
• SEAA 2014 40th Euromicro Conference on Software Engineering and Advanced Applications, Verona, Italy, August 27-29, 2014

September 2014

• TASE 2014 The 8th International Symposium on Theoretical Aspects of Software Engineering, 1-3 September 2014, Changsha, China
• TCS 2014 8th IFIP International Conference on Theoretical Computer Science, September 1-3, 2014 Rome, Italy
• SEFM 2014 12th International Conference on Software Engineering and Formal Methods, Grenoble, France, September 1-5, 2014
• CONCUR 2014 25th International Conference on Concurrency Theory, September 1-6, 2014 - Rome, Italy d
• Florence 2014 Florence, 8-12 September 2014, Comprising
  • FORMATS2014 International Conference on Formal Modeling and Analysis of Timed Systems
  • QEST 2014 Int. Conf. on Quantitative Evaluation of SysTems, September 8th-11th
  • SAFECOMP2014 - International Conference on Computer Safety, Reliability and Security
  • EPEW2014 - European Workshop on Performance Engineering
  • FMICS2014 - International Workshop on Formal Methods for Industrial Critical System
• iFM 2014 and FACS 2014, 11th International Conference on integrated Formal Methods, and 11th International Symposium on Formal Aspects of Component Software, September 9 - 12, 2014 - Bertinoro, Italy
• LOPSTR 2014 24th International Symposium on Logic-Based Program Synthesis and Transformation, University of Kent, Canterbury, UK, September 10-11, 2014
• SAS 2014 Static Analysis Symposium 2014, Munich, Germany, September 11-13, 2014
• ICGI 2014 12th International Conference on Grammatical Inference, September 17-19, 2014, Kyoto University, Kyoto, Japan.
• ICTAC 2014 11th International Colloquium on Theoretical Aspects of Computing, 17-20 September 2014, Bucharest, Romania
• RV 2014 14th International Conference on Runtime Verification September 22-25, 2014 Toronto, Canada
• AVoCS 2014 14th Automated Verification of Critical Systems 2014 Workshop, 24-26th September, 2014, University of Twente, Netherlands

October 2014

• RTNS 2014 22nd International Conference on Real-Time Networks and Systems, Versailles, France, October 8-10, 2014
• Embedded Systems Week 2014 New Dehli, IndiaTampere, Finland, October 12-17, 2014, including (old links)
  • 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
  • ESTIMedia 9th IEEE Workshop on Embedded Systems for Real-Time Multimedia,
• ASE 2014 The 29th IEEE/ACM International Conference on Automated Software Engineering, September 15 - 19, 2014 VästerÃ¥s, Sweden
• MEMOCODE 2014 12th ACM/IEEE International Conference on Formal Methods and Models for Codesign, Lausanne, Switzerland October 21-23, 2014
• FMCAD 2014 International Conference on Formal Methods in Computer-Aided Design, Lausanne, Switzerland October 21-24, 2014

Nobember 2014

• SenSys 2014 Memphis, TN, USA, November 3-6, 2014
• ATVA 2014 12th International Symposium on Automated Technology for Verification and Analysis, Sydney, November 3-7, 2014
• ICFEM 2014 16th International Conference on Formal Engineering Methods, Luxembourg, 3-7 November 2014
• ECS 2014 Embedded Conference Scandinavia, Kista, 4-5 Nov. 2014
• FSE 2014 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering, Hong Kong, China November 16-22, 2014

December 2014

• RTSS 2014 35th IEEE Real-Time Systems Symposium, December 2 - 5, 2014 Rome Italy.

April 2015

• ETAPS 2015 18th European Joint Conferences on Theory and Practice of Software ETAPS 2015 London, UK, April 11-19, 2015