Interesting Conferences

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
• HPCC 2014 16th IEEE International Conference on High Performance Computing and Communications, Aug 20-22, 2014, Paris, France
• 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
• PPDP 2014 16th International Symposium on Principles and Practice of Declarative Programming University of Kent, Canterbury, UK, September 8-10, 2014
• LOPSTR 2014 24th International Symposium on Logic-Based Program Synthesis and Transformation, University of Kent, Canterbury, UK, September 10-11, 2014
• GandALF 2014 5th International Symposium on Games, Automata, Logics, and Formal Verification September 10 - 12, 2014, Verona, Italy
• 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
• RP 2014 The 8th International Workshop on Reachability Problems, 22 - 24 September 2014, University of Oxford, United Kingdom.
• 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
• SBMF 2014 17th Brazilian Symposium on Formal Methods, September 29 to October 01, 2014. Maceio', AL, Brazil

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
• MEMICS 2014 9th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, October 17--19, 2014, TelÄŤ, Czech Republic
• 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.
• FSTTCS 2014 Foundations of Software Technology and Theoretical Computer Science, India International Centre, New Delhi. December 15–17, 2014
• OPODIS 2014 18th Int. Conf. on the Principles of Distributed Systems 17–19 December 2014 Cortina d'Ampezzo, Italy

January 2015

• POPL 2015 The 42st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Mumbai, India, January 11-18, 2015
• PEPM 2015 ACM SIGPLAN 2015 Workshop on Partial Evaluation and Program Manipulation, January 13-14, Mumbai, India, 2015
• HiPEAC 2015 10th International Conference on High-Performance and Embedded Architectures and Compilers January 19-21, 2015, Amsterdam, The Netherlands

March 2015

• LATA 2015 9th International Conference on Language and Automata Theory and Applications, Nice, France, March 2-6, 2015
• STACS 2015 32nd International Symposium on Theoretical Aspects of Computer Science, March 4 - 7, 2015, Garching near Munich, Germany
• DATE 2015 Design, Automation, and Test in Europe, Grenoble, France, 9-13 March, 2015
• ASPLOS 2015 20th International Conference on Architectural Support for Programming Languages and Operating Systems, Istanbul, Turkey, March 14-18, 2015

April 2015

• ETAPS 2015 18th European Joint Conferences on Theory and Practice of Software ETAPS 2015 London, UK, April 11-19, 2015
• FSEN '15 Sixth International Conference on Fundamentals of Software Engineering 2015 Theory and Practice, Tehran, Iran, 22 - 24 April, 2015
• 7th NASA Formal Methods Symposium 27 - 29 April 2015 Pasadena, California, USA

June 2015

• FM 2015 20th International Symposium on Formal Methods, Oslo, Norway, June 22-26, 2015