Interesting Conferences

March 2015

• LATA 2015 9th International Conference on Language and Automata Theory and Applications, Nice, France, March 2-6, 2015
• PDP 2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, March 4-6, 2015, Turku, Finland
• 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
• LATS 2015 16th IEEE Latin-American Test Symposium, 25-27th March, 2015, Puerto Vallarta, Mexico
• ISPASS 2015 2015 IEEE International Symposium on Performance Analysis of Systems and Software, March 29-31, 2015 Philadelphia, PA

April 2015

• ETAPS 2015 18th European Joint Conferences on Theory and Practice of Software ETAPS 2015 London, UK, April 11-19, 2015
  Including
  • CC 2015 Int. Conf. on Compiler Construction
  • ESOP 2015 European Symposium On Programming
  • FASE 2015 Fundamental Approaches to Software Engineering
  • FOSSACS 2015 Foundations of Software Science and Computation Structures
  • TACAS 2015 Tools and Algorithms for the Construction and Analysis of Systems
  • POST 2015 First Conference on Principles of Security and Trust
• Cyber-Physical Systems Week 2015, April 13th – 16th, 2015, Seattle, WA, USA.
• SAC'15 ACM 2015 Symposium on Applied Computing, Salamanca, Spain, April 13 - 17, 2015
• ICST 2015 8th IEEE International Conference on Software Testing, Verification and Validation, April 13-17, 2015, Graz, Austria
• ISORC 2015 The 18th IEEE International Symposium On Real-Time Computing, Auckland, New Zealand, April 13 - 17, 2015
• FSEN '15 Sixth International Conference on Fundamentals of Software Engineering 2015 Theory and Practice, Tehran, Iran, 22 - 24 April, 2015
• NFM 2015 7th NASA Formal Methods Symposium, 27 - 29 April 2015 Pasadena, California, USA

May 2015

• TYPES 2015 21st International Conference on Types for Proofs and Programs,, Tallinn, Estonia, 18-21 May 2015
• IPDPS 2015 29th IEEE International Parallel and Distributed Processing Symposium May 25-29, 2015, Hyderabad, India.

June 2015

• SCOPES 2015 18th International Workshop on Software and Compilers for Embedded Systems, June 1-3, 2015 Schloss Rheinfels, St. Goar, Germany
• ICCS Inf. Conf. on Computational Science, Reykjavík, Iceland, 1-3 June, 2015
• DisCoTec 2015 10th International Federated Conference on Distributed Computing Techniques, Grenoble, June 2-5, 2015, 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
• SIES 2015 10th IEEE Symposium on Industrial Embedded Systems, University of Siegen, Siegen, Germany, June 8-10, 2015
• DCOSS 2015 International Conference on Distributed Computing in Sensor Systems, Fortaleza, Brazil, June 10 - 12 2015
• FCRC'15 Federated Computing Research Conference, Portland, Oregon, June 12 - 20, 2015, including
  • ISMM 2015 International Symposium on Memory Management, June 13 - 14,
  • PLDI 2015 36th annual ACM SIGPLAN conference on Programming Language Design and Implementation, June 13 - 17,
  • LCTES 2015 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems June 18-19,
  • PADL 2015 17th International Symposium on Practical Aspects of Declarative Languages, June 18-19, 2015
• SIGSIM PADS 2015 ACM SIGSIM Conf. on Principles of advanced Discrete Simulation, June 15-17, 2015, London, UK
• PN 2015 and ACSD 2015 36th International Conference on Application and Theory of Petri Nets and Concurrency, and 15th International Conference on Application of Concurrency to System Design Brussels, Belgium, June 21–26, 2015
• MFPS31 31st Conference on the Mathematical Foundations of Programming Semantics, 22-25 June 2015, Nijmegen, Netherlands
• DSN 2015 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, June 22-25, Rio de Janeiro, Brasil.
• FM 2015 20th International Symposium on Formal Methods, Oslo, Norway, June 22-26, 2015
• FMICS 2015 20th International Workshop on Formal Methods for Industrial Critical Systems, 22-23 June 2015, Oslo, Norway
• MPC 2015 12th International Conference on Mathematics of Program Construction, Königswinter, Germany, 29 June - 1 July 2015
• RDP 2015 International Conference on Rewriting, Deduction, and Programming June 29 - July 3, 2015, Warsaw, Poland, consisting of
  • RTA (Rewriting Techniques and Applications), June 29-July 1
  • TLCA (Typed Lambda Calculi and Applications), July 1-3,

July 2015

• ICALP 2015 42nd International Colloquium on Automata, Languages, and Programming, 6-10 July 2015, Kyoto, Japan.
• LICS 2015 30th ACM/IEEE Symposium on Logic in Computer Science. 6-10 July 2015, Kyoto, Japan.
• ICAC 2015 12th International Conference on Autonomic Computing, Grenoble, France, July 7-10, 2015
• ECRTS 15 Euromicro Conference on Real-Time Systems, Lund, Sweden, 8-10th July 2014
• PPDP 2015 17th International Symposium on Principles and Practice of Declarative Programming Siena, Italy, July 14-16, 2015,
• LOPSTR 2015 25th International Symposium on Logic-Based Program Synthesis and Transformation, Siena, Italy, July 14-16, 2015,
• RC 2015 7th Conference on Reversible Computation, July 16th-17th, 2015, Grenoble, France.
• VSTTE 2015 7th Working Conference on Verified Software: Theories, Tools, and Experiments July 18 - 19, 2015 San Francisco, California, USA
• CAV 2015 27th International Conference on Computer Aided Verification, July 18-24 2015, San Francisco, California
• SAMOS XV International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, Samos, Greece, July 20-23, 2015
• TAP 2015 9th International Conference on Tests and Proofs, L'Aquila, Italy, July 20-24, 2015.
• ICGT 2015 8th International Conference on Graph Transformation, L’Aquila, Italy 20 – 24 July, 2015
• Euro-Par 2015 August 24-28, 2015, Vienna, Austria
• SUMMERSIM'2015 Summer Simulation Multi-Conference, July 26-29, 2015, Chicagoe, USA.

August 2015

• ICESS 2015 The 12th IEEE International Conference on Embedded Software and Systems August 24-26, 2015 in New York, USA
• SPIN 2015 22nd International SPIN Workshop on Model Checking of Software, Stellenbosch, South Africa, 24–26 August 2015.
• Euromicro DSD 2015 18th Euromicro Conference on Digital System Design, Funchal, Madeira, Portugal - August 26-28, 2015
• ICLP 2015 31st International Conference on Logic Programming, Cork, Ireland, August 31 -- September 4, 2015
• CP 2015 21st International Conference on Principles and Practice of Constraint Programming, Cork, Ireland, August 31 -- September 4, 2015
• PaCT-2015 Parallel Computing Technologies, 13th International Conference, August 31-September 4, 2015 Petrozavodsk, Russia

September 2015

• MADRID MEET 2015 Madrid, September 1-4, including
  • QEST 2015 12th International Conference on Quantitative Evaluation of SysTems September 1-3
  • CONCUR 2015 26th Conference on Concurrency Theory September 1-4
  • FORMATS 2015 13th International Conference on Formal Modeling and Analysis of Timed Systems September 2-4
• SAS 2015 Static Analysis Symposium 2015, September 9-11, 2015, Saint-Malo, France
• TASE 2015 9th International Symposium on Theoretical Aspects of Software Engineering, 12-14 September 2015, Nanjing, China
• RV'15 15th International Conference on Runtime Verification, September 22 – September 25 2015, Vienna, Austria
• TIME 2015 22nd International Symposium on Temporal Representation and Reasoning, September 23-25, 2015, Kassel, Germany
• FMCAD 2015 International Conference on Formal Methods in Computer-Aided Design, Austin, Texas, USA, September 27-30, 2015

October 2015

• ATVA 2015 13th International Symposium on Automated Technology for Verification and Analysis, October 12-15, 2015, Shanghai, China,
• Embedded Systems Week 2015 Amsterdam, The Netherlands, October 4 - 9, 2015 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 IEEE Workshop on Embedded Systems for Real-Time Multimedia,
• PACT2015 The 24th International Conference on Parallel Architectures and Compilation Techniques, October 18-21, 2015, San Francisco, CA, USA
• SPLASH 2015 The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity, Pittsburgh, Pennsylvania, USA 25th-30th October, 2015

November 2015

• SETTA 2015 1st Int. Symposium on Dependable Software Engineering: Theories, Tools and Applications, Nanjing University November 4-6, 2015

December 2015

• APLAS 2015 13th Asian Symposium on Programming Languages and Systems Pohang, Korea, November 30 - December 2, 2015

April 2016

• ETAPS 2016 19th European Joint Conferences on Theory and Practice of Software, Eindhoven, The Netherlands, April 2-8, 2016