Conferences 2015

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

February 2015

• CGO 2015 2015 International Symposium on Code Generation and Optimization, San Francisco Bay Area, CA, February 7-11, 2015
• Frontiers of Formal Methods in Computer Science Young Researchers' Conference, Aachen, Germany February 25 – 27, 2015

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
• ESEC/FSE 2015 0th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Bergamo, Italy, Aug. 30 - Sept. 4, 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

• AVoCS 2015 15th International Workshop on Automated Verification of Critical Systems, 1-4 September 2015, Edinburgh, UK
• 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
• SEFM 2015 13th International Conference on Software Engineering and Formal Methods, York, UK, 7-11 September 2015
• SAS 2015 Static Analysis Symposium 2015, September 9-11, 2015, Saint-Malo, France
• VECoS 2015 9th International Workshop on Verification and Evaluation of Computer and Communication Systems, Bucharest, Romania, September 10-11, 2015
• TASE 2015 9th International Symposium on Theoretical Aspects of Software Engineering, 12-14 September 2015, Nanjing, China
• HIGHLIGHTS 2015 Highlights of Logic, Games and Automata, Prague, 15-18 september 2015
• SR 2015 3rd International Workshop on Strategic Reasoning, Oxford, 21-22 September, 2015
• MEMOCODE 2015 13th ACM/IEEE International Conference on Formal Methods and Models for Codesign, Univ. of Texas, Austin, USA, September 23-25, 2015
• RP 2015 The 9th International Workshop on Reachability Problems, 21 - 23 September 2015, University of Warsaw, Poland
• FroCoS 2015 10th International Symposium on Frontiers of Combining Systems, Wroclaw, Poland, September 19-24, 2015
• TABLEAUX 2015 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Wroclaw, Poland, September 21-24, 2015
• 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
• LPNMR 2015 13th International Conference on Logic Programming and Non-monotonic Reasoning, Lexington, KY, USA September 27-30, 2015
• MODELS 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, Ottawa, Canada, September 27 - October 2, 2015.

October 2015

• 3rd ETH Workshop on Software Correctness and Reliability October 02-03, 2015, ETH Zurich, Switzerland
• 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,
• FACS 2015 12th International Conference on Formal Aspects of Component Software, Rio de Janeiro, Brazil, October 14-16, 2015
• PACT2015 The 24th International Conference on Parallel Architectures and Compilation Techniques, October 18-21, 2015, San Francisco, CA, USA
• ICCD 2015 33rd IEEE International Conference on Computer Design, New York City, USA, October 19-21
• NWPT'15 27th Nordic Workshop on Programming Theory, October 21-23, 2015, Reykjavik, Iceland
• MEMICS 2015 10th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, October 23--25, 2015, Telc, Czech Republic
• SPLASH 2015 The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity, Pittsburgh, Pennsylvania, USA 25th-30th October, 2015
• ICTAC 2015 12th International Colloquium on Theoretical Aspects of Computing 29-31 October 2015, Cali, Colombia

November 2015

• ICFEM 2015 17th International Conference on Formal Engineering Methods, CNAM, Paris, France, November 3-6, 2015
• SETTA 2015 1st Int. Symposium on Dependable Software Engineering: Theories, Tools and Applications, Nanjing University November 4-6, 2015
• HVC 2015 Eleventh Haifa Verification Conference 2015 November 17-19, 2015 Haifa, Israel
• LPAR-20 The 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Suva, Fiji, 24-28 November 2015
• MCC15 8th Swedish Workshop on Multicore Computing, November 25-26, 2015, Copenhagen, Denmark
• SYNCHRON 2015 International Open Workshop on Synchronous Programming November 30 to December 4, 2015 Kiel, Germany

December 2015

• APLAS 2015 13th Asian Symposium on Programming Languages and Systems Pohang, Korea, November 30 - December 2, 2015
• RTSS 2015 35th IEEE Real-Time Systems Symposium, December 1 - 4, 2015 San Antonio, Texas,
• OPODIS 2015 19th Int. Conf. on the Principles of Distributed Systems 14–17 December 2015, Rennes, France
• FSTTCS 2015 Foundations of Software Technology and Theoretical Computer Science, Bangalore. December 16–18, 2015