Past Conferences

Date Acronym Venue Conference name
October 11 – 13, 2017 IDC 2017 Belgrade, Serbia 11th International Symposium on Intelligent Distributed Computing
September 18 – 22, 2017 iFM 2017 Turin, Italy 13th International Conference on integrated Formal Methods
July 24 – 28, 2017 CAV 2017 Heidelberg, Germany 29th International Conference on Computer-Aided Verification
June 19 – 23, 2017 ECOOP 2017 Barcelona, Spain European Conference on Object-Oriented Programming
June 15 – 16, 2017 EASE 2017 Karlskrona, Sweden 21ST INTERNATIONAL CONFERENCE ON EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING
June 12 – 16, 2017 CAiSE 2017 Essen, Germany 29th International Conference on Advanced Information Systems Engineering
May 29 – 31, 2017 ICSR 2017 Salvador, Brazil 16th International Conference on Software Reuse
May 22 – 26, 2017 XP 2017 Cologne, Germany 18th International Conference on Agile Software Development
May 22 – 23, 2017 SEAMS 2017 Buenos Aires, Argentina 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
May 22 – 23, 2017 ICGSE 2017 Buenos Aires, Argentina 12th IEEE International Conference on Global Software Engineering
May 20 – 28, 2017 ICSE 2017 Buenos Aires, Argentina 39th International Conference on Software Engineering
May 20 – 28, 2017   Buenos Aires, Argentina Software Engineering Education and Training at ICSE 2017
May 20 – 28, 2017   Buenos Aires, Argentina New Ideas and Emerging Results at ICSE 2016
May 16 – 19, 2017 ANT 2017 Madeira, Portugal 8th International Conference on Ambient Systems, Networks and Technologies
May 16 – 18, 2017 NFM 2017 Moffett Field, CA, USA 9th NASA Formal Methods Symposium
May 16 – 19, 2017 THPC-2017 Madeira, Portugal Tasks on High Performance Computing Workshop
May 16 – 19, 2017   Madeira, Portugal International Workshop on Agent-based Modeling and Applications with SARL
May 10 – 12, 2017 RCIS 2017 Brighton, United Kindgom IEEE Eleventh International Conference on Research Challenges in Information Science
April 26 – 28, 2017 FSEN 2017 Tehran, Iran 7th IPM International Conference on Fundamentals of Software Engineering
April 24 – 26, 2017 IoTBDS 2017 Porto, Portugal 2nd International Conference on Internet of Things, Big Data and Security
April 24 – 26, 2017 CLOSER 2017 Port, Portugal 7th International Conference on Cloud Computing and Services Science
April 22 – 29, 2017 ETAPS 2017 Uppsala, Sweden European Joint Conferences on Theory and Practice of Software (ESOP, FASE, FoSSaCS, POST, TACAS)
April 22 – 26, 2017 ICPE 2017 LAquila, Italy 8th ACM/SPEC International Conference on Performance Engineering
April 22, 2017 FESCA 2017 Uppsala, Sweden 14th International Workshop on Formal Engineering approaches to Software Components and Architectures
April 10 – 12, 2017 ITNG 2017 Las Vegas, Nevada, USA 14th International Conference on Information Technology: New Generations
April 4 – 7, 2017 IC2E 2017 Vancouver, Canada IEEE International Conference on Cloud Engineering
April 4 – 7, 2017 ICSA 2017 Gothenburg, Sweden IEEE International Conference on Software Architecture
April 4 – 6, 2017 ICICS2017 Irbid, Jordan 8th International Conference on Information and Communication Systems
April 3 – 7, 2017 SAC 2017 Marrakech, Morocco 32nd ACM SIGAPP Symposium On Applied Computing
March 13 – 18, 2017 ICST 2017 Tokyo, Japan 10th IEEE International Conference on Software Testing, Verification and Validation
February 27 – March 2, 2017 REFSQ 2017 Essen, Germany 23rd International Working Conference on Requirements Engineering: Foundation for Software Quality
February 20 – 24, 2017 SANER 2017 Klagenfurt, Austria 24th IEEE International Conference on Software Analysis, Evolution, and Reengineering
February 19 – 21, 2017 MODELSWARD 2017 Porto, Portugal 5th International Conference on Model-Driven Engineering and Software Development
February 19 – 21, 2017 AMARETTO Porto, Portugal International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn
February 1 – 3, 2017 VAMOS 2017 Eindhoven, The Netherlands 11th International Workshop on Variability Modelling of Software-intensive Systems
January 18 – 20, 2017 POPL 2017 Paris, France 44th ACM SIGPLAN Symposium on Principles of Programming Languages
January 17 – 20, 2017 SWQD Vienna, Austria 9th Software Quality Days (SWQD) Conference
January 16 – 17, 2017 PEPM 2017 Paris, France Workshop on Partial Evaluation and Program Manipulation
January 16 – 20, 2017 SOFSEM 2017 Limerick, Ireland 43rd International Conference on Current Trends in Theory and Practice of Computer Science
January 15 – 17, 2017 VMCAI 2017 Paris, France 18th International Conference on Verification, Model Checking, and Abstract Interpretation
January 4 – 7, 2017 ICDCN 2017 Hyderabad, India 18th International Conference on Distributed Computing and Networking
December 13 – 16, 2016 OPODIS 2016 Madrid, Spain 20th International Conference on Principles of Distributed Systems
December 12 – 16, 2016 Middleware 2016 Trento, Italy ACM/IFIP/USENIX Middleware Conference
December 12 – 16, 2016 MECC 2016 Trento, Italy 1st Workshop on Middleware for Edge Clouds & Cloudlets
December 12 – 16, 2016 ARM 2016 Trento, Italy 15th Workshop on Adaptive and Reflective Middleware
December 12 – 16, 2016 M4IOT 2016 Trento, Italy 3rd Workshop on Middleware for Context-Aware Applications in the IoT
December 6 – 9, 2016 APSEC 2016 Hamilton, New Zealand 23rd Asia-Pacific Software Engineering Conference
November 28 – December 2, 2016 ECSA 2016 Copenhagen, Denmark 10th European Conference on Software Architecture
November 21 – 23, 2016 APLAS 2016 Hanoi, Vietnam 14th Asian Symposium on Programming Languages and Systems
November 18, 2016   Seattle, WA, USA Java Pathfinder Workshop 2016
November 18 – 20, 2016 MEMOCODE 16 Kanpur, India 14th ACM-IEEE International Conference on Formal Methods and Models for System Design
November 14 – 18, 2016 ICFEM 2016 Tokyo, Japan 18th International Conference on Formal Engineering Methods
November 14, 2016 FM&MDD Tokyo, Japan Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems
November 13 – 19, 2016 FSE 2016 Seattle, WA, USA 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering
November 9 – 11, 2016 SETTA 2016 Beijing, China Symposium on Dependable Software Engineering
November 7 – 11, 2016 FM 2016 Limassol, Cyprus 21st International Symposium on Formal Methods
October 31 – November 1, 2016 SLA 2016 Amsterdam, Netherlands 9th ACM SIGPLAN International Conference on Software Language Engineering
October 31 – November 1, 2016 GPCE 2016 Amsterdam, The Netherlands 15th International Conference on Generative Programming: Concepts & Experiences
October 30 – November 4, 2016 SPLASH 2016 Amsterdam, The Netherlands ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity
October 30, 2016 META 2016 Amsterdam, Netherlands Workshop on Meta-Programming Techniques and Reflection
October 26 – 28, 2016   TAORMINA, ITALY 10th EAI International Conference on Performance Evaluation Methodologies and Tools
October 24 – 31, 2016 ICTAC 2016 Taipei, Taiwan, ROC 13th International Colloquium on Theoretical Aspects of Computing

Maintained by Petr Hnetynka

Logo of Faculty of Mathematics and Physics
  • Phone: +420 951 554 267, +420 951 554 236
  • Email: info<at-sign>d3s.mff.cuni.cz
  •  
  • How to find us?
Modified on 2016-05-03