Conferences 2012

January 2012

• VMCAI 2012 The 13th International Conference on Verification, Model Checking, and Abstract Interpretation, Philadelphia, USA, January 22-24, 2012.
• PADL'12 14th International Symposium on Practical Aspects of Declarative Languages, Philadelphia, USA, January 23-24, 2012.
• POPL 2012 The 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Philadelphia, USA, January 25-27, 2012.
• PEPM 2012 ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, January 23-24, 2012. Philadelphia, Pennsylvania, USA.
• HiPEAC 2012 7th International Conference on High-Performance and Embedded Architectures and Compilers January 23-25, 2012, Paris, FRANCE
• VSTTE 2012 Verified Software: Theories, Tools and Experiments, January 28-29, 2012, Philadelphia, USA

February 2012

• WST 2012 12th International Workshop on Termination, Feb 19 - 23, 2012, Obergurgl, Innsbruck.
• PPoPP 2012 17th ACM SIGPLAN Ann. Symp. on Principles and Practice of Parallel Programming, February 25-29, 2012, New Orleans, LA.
• HPCA-18 The 18th IEEE International Symposium on High Performance Computer Architecture, February 25-29, 2012, New Orleans, LA.
• ARCS 2012 Architecture of Computing Systems Feb. 28, to March 02, 2012 Garching/Munich, Germany
• STACS 2012 29th International Symposium on Theoretical Aspects of Computer Science, Feb 29th to March 3rd, 2012, Paris, France

March 2012

• ASPLOS 2012 17th International Conference on Architectural Support for Programming Languages and Operating Systems, London, UK, March 3-7, 2012.
• LATA 2012 6th International Conference on Language and Automata Theory and Applications, A Coruña, Spain, March 5-9, 2012
• LPAR-18 The 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Merida, Venezuela - March 11-15, 2012.
• DATE 2012 Design, Automation, and Test in Europe, ICC, Dresden, Germany March 12-16, 2012
• ETAPS 2012 European Joint Conferences on Theory And Practice of Software, 24 March - 1 April 2012 Tallinn, Estonia.
  Including
  • CC 2012 Int. Conf. on Compiler Construction
  • ESOP 2012 European Symposium On Programming
  • FASE 2012 Fundamental Approaches to Software Engineering
  • FOSSACS 2012 Foundations of Software Science and Computation Structures
  • TACAS 2012 Tools and Algorithms for the Construction and Analysis of Systems
  • POST 2012 First Conference on Principles of Security and Trust
  • PLACES'12 Programming Language Approaches to Concurrency and Communication-Centric Software, March 31.
• CAM 12 2nd International Workshop on Context Aware Middleware for Ubiquitous Computing Environments, 26 Mar 2012 - 29 Mar 2012; Fukuoka, Japan
• CSMR 2012 16th European Conference on Software Maintenance and Reengineering March 27-30, 2012, Szeged, Hungary.

April 2012

• NFM 2012 Fourth NASA Formal Methods Symposium, Norfolk, Virginia, USA, April 3 - 5, 2012
• LATW 2012 13th IEEE Latin American Test Workshop, April 10th-13th, 2012 Quito, Ecuador
• Map2MPSoC/SCOPES 2012 5th Workshop on Mapping of Applications to MPSoCs and 15th International Workshop on Software and Compilers for Embedded Systems, May 15-16, 2012, Schloss Rheinfels, St. Goar, Germany.
• Robin Milner Symposium 16-18 April 2012, Edinburgh, Scotland.
• CSEDU 2012 4th International Conference on Computer Supported Education, Porto, Portugal, 16-18 April, 2012
• CPSWEEK 2012 Cyber Physical Systems Week, Beijing, China, April 16-19, 2012, including
  • IPSN 2012 International Conference on Information Processing in Sensor Networks April 16-20,
  • RTAS 2012 18th IEEE Real-Time and Embedded Technology and Applications Symposium, April 13-16
  • HSCC 2012 Hybrid Systems: Computation and Control, 15th Int. Workshop,
  • ICCPS 2012 ACM/IEEE Third International Conference on Cyber-Physical Systems April 17-19,
• ICST 2012 5th IEEE International Conference on Software Testing, Verification and Validation, April 17-21 2012, Montreal, Canada
• ICPE 2012 International Conference on Performance Engineering, April 22-25, 2012 Boston, MA USA

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
• GAMES 2012 Annual Workshop of the ESF Networking Programme on Games for Design and Verification, 7th - 12th September 2012 - Napoli, Italy
• RR 2012 The 6th International Conference on Web Reasoning and Rule Systems, Vienna, Austria, 10-12 September 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
• 17th Wessex theory seminar 20 September at Queen Mary, University of London
• 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
• MEMICS 2012 Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, October 25-28, Znojmo, Czech Republic,
• NWPT'12 24th Nordic Workshop on Programming Theory, Bergen, Norway 31 October - 2 Nov. 2012.

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.
• SYNCHRON'12 19th open international workshop on synchronous programming, Port aux Rocs, Nov. 18-23.
• ICTSS'12 International Conference of Testing Software and Systems, November 19-21 2012, Aalborg, Denmark
• MCC 2012 5th Swedish Workshop on Multi-Core Computing, November 22-23, 2012, KTH, Stockholm.
• SSV 2012 7th Systems Software Verification Conference, November 28--30, 2012 Sydney, Australia

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
• OPODIS 2012 16th International Conference On Principles Of DIstributed Systems - December 17-20, Rome, Italy.