Interesting Conferences

May 2012

• SCOPES 2012 15th International Workshop on Software and Compilers for Embedded Systems, May 15-16, 2012, Schloss Rheinfels, St. Goar, Germany.
• IPDPS 2012 26th IEEE International Parallel & Distributed Processing Symposium, Shanghai, China, 21 May - 25 May 2012.
• FLOPS 2012 Eleventh International Symposium on Functional and Logic Programming, May 23-25, 2012, Kobe, Japan
• TOOLS 2012 Federated conferences, May 28 - June 1, 2012, Prague, Czech Republic, containing
  • Tools Europe 2012 50th International Conference Objects, Models, Components, Patterns, May 29-31
  • SC 2012International Conference on Software Composition, May 31 - June 1,
  • ICMT 2012 International Conference on Model Transformation. May 28-29.
  • TAP 2012 6th International Conference on Tests & Proofs. May 31 - June 1, 2012.

June 2012

• DAC 2012 Design Automation Conference, San Francisco, June 3-7, 2012
• SIGMETRICS '12 ACM SIGMETRICS/PERFORMANCE Joint International Conference on Measurement and Modeling of Computer Systems, 04 Jun 2012 - 08 Jun 2012; London, United Kingdom
• ICSE 2012 34th Int. Conf. on Software Engineering, June 6-9, Zürich, Switzerland, including workshops, e.g.,
  • SESENA 2012 3rd International Workshop on Software Engineering for Sensor Network Applications, 2 June.
• ISCA-39 The 39th Annual International Symposium on Computer Architecture, Portland, OR, USA June 9-13, 2012
• ICC 2012
• International Conf. on Communications, June 10-15, 2012, Ottawa, CANADA ACM SIGMETRICS/Performance 2012 Joint International Conference on Measurement and Modeling of Computer Systems, Imperial College London June 11-15, 2012, London, United Kingdom.
• Ada-Europe 2012 17th International Conference on Reliable Software Technologies, 11-15 June 2012, Stockholm, Sweden
• TFP12 13th International Symposium on Trends in Functional Programming 2012, St Andrews, U.K., June 12-14, 2012.
• DisCoTec 2012 7th International Federated Conferences on Distributed Computing Techniques, Stockholm, Sweden, 13-16 June 2012, containing
  • FMOODS/FORTE 2012 14th Formal Methods for Open Object-Based Distributed Systems and 20th Formal Techniques for Networked and Distributed Systems,
  • DAIS 2012: 12th IFIP international conference on Distributed Applications and Interoperable Systems,
  • Coordination 2012 Languages, Models, and Architectures for Concurrent and Distributed Software, 14th International Conference, June 14-15.
• PLDI 2012 33rd ACM SIGPLAN conference on Programming Language Design and Implementation, June 11-16, Beijing, China
• ECOOP 2012 26th European Conference on Object-Oriented Programming, June 11-16, Beijing, China
• LCTES 2012 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems, Beijing, China, 12-13 June, 2012.
• ISMM 2012 International Symposium on Memory Management, June 15-16, Beijing, China
• SAT 2012 15th International Conference on Theory and Applications of Satisfiability Testing, Trento, Italy, June 17-20th, 2012
• HPDC'12 The 21st International ACM Symposium on High-Performance Parallel and Distributed Computing, Delft University of Technology, Delft, the Netherlands, June 18-22, 2012
• iFM 2012 9th International Conference on Integrated Formal Methods, June 18 - 22, 2012 - CNR - Pisa - ITALY.
• Turing Centenary Conference Computability in Europe 2012: How the World Computes University of Cambridge, Cambridge, 18-23 June 2012
• SIES'2012 7th IEEE International Symposium on Industrial Embedded Systems Karlsruhe Institute of Technology, Germany, 20-22 June 2012.
• SERE 2012 The Sixth IEEE International Conference on Software Security and Reliability, Washington, D.C., USA, 20-22 June, 2012
• MPC 2012 11th International Conference on Mathematics of Program Construction, Madrid, Spain, 25-27 June 2012
• CompArch 2012 Federated conference, Bertinoro, Italy, June 25-28, 2012, including
  • CBSE: 15th ACM SigSoft International Symposium on Component-Based Software Engineering
  • QoSA: 9th ACM SigSoft International Conference on Quality of Software Architecture
  • ISARCS: 3rd ACM SigSoft International Symposium on Architecting Critical Systems
  • WCOP: 17th International Doctoral Symposium on Components and Architecture
  • ROSS: Workshop on Reusing Open-Source Software Components
• LICS 2012 27th Annual IEEE Symposium on Logic in Computer Science, June 25–28, 2012, Dubrovnik, Croatia.
• ACSD 2012 12th International Conference on Application of Concurrency to System Design, Hamburg, Germany, June 27-29, 2012
• PETRI NETS 2012 33rd International Conference on Application and Theory of Petri Nets and Concurrency, Hamburg, Germany, June 25–29, 2012
• IJCAR 2012 The 6th International Joint Conference on Automated Reasoning, 26 June - 1 July, 2012 containing
  • CADE
  • FroCoS
  • FTP
  • TABLEAUX
• ENASE 2012 7th International Conference on Evaluation of Novel Approaches to Software Engineering, 28 Jun 2012 - 01 Jul 2012; Wroclaw , Poland

July 2012

• TASE 2012 The Sixth IEEE International Symposium on Theoretical Aspects of Software Engineering, 4-6 July 2012, Beijing, China.
• CAV 2012 24th International Conference on Computer Aided Verification CAV 2012 July 7-13, 2012 Berkeley, California, USA,
• ASAP 2012 23rd IEEE International Conference on Application-specific Systems, Architectures and Processors 9-11 July 2012, Delft, The Netherlands
• ICALP 2012 38th International Colloquium on Automata, Languages and Programming, July 9-13, University of Warwick, UK
• ISPA 2012 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, Madrid, Spain, 10-13 July 2012 .
• ECRTS 12 24th Euromicro Conference on Real-Time Systems, Pisa, Italy, 11-13th July 2012
• MEMOCODE 2012 ACM/IEEE Tenth International Conference on Formal Methods and Models for Codesign, Arlington, Virginia, July 16-18, 2012. PODC 2012 31st Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, Madeira, Portugal, July 16-18, 2012
• SAMOS XII International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, Samos, Greece, July 16-19, 2012
• ICECCS 2012 17th Annual IEEE International Conference on the Engineering of Complex Computer Systems, July 18-20,2012 Ecole Normale Superieure, Paris - FRANCE
• iFM and ABZ 2012 Joint conference in honour of Egon Börger's 65th birthday Pisa, Italy, 18 - 21 June 2012
• SPIN 2012 19th International Workshop on Model Checking Software, Oxford, July 23-24 2012

August 2012

• RTCSA 2012 The 18th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, August 20 - 22, 2012 Seoul, Korea
• QSIC 2012 12th International Conference on Quality Software, Xi’an, China, August 27th – 29th, 2012.
• MFCS 2012 37th International Symposium on Mathematical Foundations of Computer Science, August 27 - 31, 2012, Bratislava, Slovakia.
• FM 2012 The 18th International Symposium on Formal Methods, Paris, France, August 27-31, 2012.
• FMICS 2012 17th International Workshop on Formal Methods for Industrial Critical Systems, August 27/28, 2012, Paris, France

September 2012

• ASE 2012 The 27th IEEE/ACM International Conference on Automated Software Engineering, Sept. 3-7, Essen, Germany,
• CONCUR 2012 22nd International Conference on Concurrency Theory, September 3-8, 2012, Newcastle upon Tyne, UK
• ICLP 2012 28th International Conference on Logic Programming, Budapest, Hungary, September 4-8, 2012
• DSD 2012 15th Euromicro Conference on Digital System Design: Architectures; Methods & Tools September 5th-8th 2012 - Izmir - Turkey
• GandALF 2012, Third International Symposium on Games, Automata, Logics, and Formal Verification, Napoli, Italy, September 6th-8th, 2012
• SAS 2012 19th International Static Analysis Symposium 11-13 September 2012, Deauville, France
• FACS 2012 9th International Symposium Formal Aspects of Component Software, Mountain View, USA, September 12-14, 2012
• TIME 2012 Nineteenth International Symposium on Temporal Representation and Reasoning, Leicester, UK, September 12-14, 2012
• QEST 2012 9th International Conference on Quantitative Evaluation of SysTems, 17th-20th September, 2012, Imperial College, London, United Kingdom
• FORMATS 2012 10th International Conference on Formal Modeling and Analysis of Timed Systems 18th-20th September, 2012, Imperial College, London, United Kingdom
• RAMiCS 13 13th International Conference on Relational and Algebraic Methods in Computer Science, 17--21 September 2012, Cambridge University, UK
• AVoCS 2012 12th International Workshop on Automated Verification of Critical Systems 18-20th September 2012 Bamberg, Germany
• LOPSTR 2012 22nd International Symposium on Logic-Based Program Synthesis and Transformation, Leuven, Belgium, September 18-20, 2012
• PPDP 2012 14th International ACM SIGPLAN Symposium on Association for Computing Machinery Principles and Practice of Declarative Programming, Leuven, Belgium, September 19-21, 2012
• ESOCC 2012 European Conference on Service-Oriented and Cloud Computing, September 19-21, 2012 Bertinoro, Italy
• PACT '12 International Conference on Parallel Architectures and Compilation Techniques, 16 - 21 Sep 2012; Minneapolis, MN, United States
• RP'12 6th International Workshop on Reachability Problems, September 17-19, 2012, Bordeaux, France
• SBMF 2012 15th Brazilian Symposium on Formal Methods, Natal, Brazil September 23-28, 2012.
• ICTAC 2012 9th International Colloquium on Theoretical Aspects of Computing, 24 - 27 September 2012, Bangalore, India.
• ICGT 2012 Sixth International Conference on Graph Transformation - Modeling and Analysis of Dynamic Structures - University of Bremen, Germany 24 - 29 September, 2012
• MBT User Conference 25 - 27 September 2012, Tallinn, Estonia
• RV 2012 3rd International Conference on Runtime Verification September 25 - 28, 2012 Istanbul, Turkey.
• TCS 2012 The 7th IFIP Conference on Theoretical Computer Science 2012 September 26 - 28, Amsterdam, The Netherlands
• SYNASC 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, September 26-29, 2012, Timisoara, Romania
• ICCD 2012 XXX IEEE International Conference on Computer Design, Montreal, Quebec, Canada SEP 30 — OCT 3, 2012

October 2012

• SSS 2012 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems, October 1-4, 2012 Toronto, Canada
• MODELS '12 ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems, 01 Oct 2012 - 05 Oct 2012; Innsbruck, Austria
• ATVA 2012 10th International Symposium on Automated Technology for Verification and Analysis Kerala, India, October 3–6, 2012
• Embedded Systems Week 2012 Tampere, Finland, October 7-12, 2012, including (old links)
  • CODES + ISSS 2012 7th International Conference on Hardware/Software Codesign and System Synthesis
  • EMSOFT 2012 9th International Conference on Embedded Software
  • CASES 2012 International Conference on Compilers, Architecture and Synthesis for Embedded Systems
  • ESTIMedia 2012 9th IEEE Workshop on Embedded Systems for Real-Time Multimedia,
• ISoLA 2012 Creta Maris Hersonissos, Heraklion, Crete 15-18 October 2012,
• CCS 2012 19th ACM Conference on Computer and Communications Security, Sheraton Raleigh Hotel, Raleigh, North Carolina, US-- October 16-18, 2012
• FMCAD 2012 Formal Methods in Computer-Aided Design, Microsoft Research Cambridge, UK, October 22 - 25, 2012
• ICFP 2011 The 17th ACM SIGPLAN International Conference on Functional Programming, Copenhagen, Denmark September 9 – 15, 2012
• HASE 2012 14th IEEE International Symposium on High Assurance Systems Engineering, Omaha NE. October 25-27

November 2012

• FSE 2012 ACM SIGSOFT International Symposium on the Foundations of Software Engineering, Research Triangle Park, NC, USA, Nov. 10-17, 2012.
• ICFEM 2012 the 14th International Conference on Formal Engineering Methods. Kyoto, Japan, 12-16 November, 2012.
• ICTSS'12 International Conference of Testing Software and Systems, November 19-21 2012, Aalborg, Denmark

December 2012

• RTSS 2012 33rd IEEE Real-Time Systems Symposium, December 4 - 7, 2012 San Juan, Puerto Rico, USA
• WCS 12 Winter Simulation Conference, December 9-12, 2012 Hotel Intercontinental, Berlin, Germany
• MSN 2012 IEEE International Conference on Mobile Ad-hoc and Sensor Networks, December 14-16, 2012 Chengdu, China
• FSTTCS 2012 Foundations of Software Technology and Theoretical Computer Science, Dec. 15-17, 20121, IIT Hyderabad, India.
• ICPADS 2012 18th IEEE International Conference on Parallel and Distributed Systems, Singapore, December 17-19, 2012

January 2013

• POPL 2013 The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Rome, Italy, January 20-22, 2013.
• HiPEAC 2013 8th International Conference on High-Performance and Embedded Architectures and Compilers January 21-23, 2013, Berlin, GERMANY

February 2013

• STACS 2013 30th International Symposium on Theoretical Aspects of Computer Science, February 27-March 2, 2013, Kiel, Germany.Submission Deadline: Sep 21, 2012

March 2013

• ETAPS 2013 European Joint Conferences on Theory And Practice of Software, March 16th – 24th, 2013 Rome, Italy

May 2013

• ICSE 2013 International Conference on Software Engineering 17 May 2013 - 27 May 2013; San Francisco, California, United States

Other Conference Pages

• Conference Service Mandl