Conferences 2007

January 2007

• PADL'07 Ninth International Symposium on Practical Aspects of Declarative Languages 2007, Nice, France January 14-15, 2007
• VMCAI'07 The Eighth International Conference on Verification, Model Checking, and Abstract Interpretation, Nice, France, January 14-16, 2007.
• PEPM'07 ACM SIGPLAN 2007 Workshop on Partial Evaluation and Program Manipulation January 15-16, 2007 Nice, France.
• POPL 2007 The 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. January 17-19, 2007, Nice, France.
• International Symmetry Conference Thistle Hotel, Edinburgh, 14-17 January, 2007
• B 2007 The 7th International B Conference, Lifc, Besancon, France, 17-19 January 2007
• FORMS/FORMAT 2007 6th Symposium Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, January 25-26, 2007.
• HiPEAC 2007 2007 International Conference on High Performance Embedded Architectures & Compilers Ghent, BELGIUM, January 29-30, 2007

February 2007

• PDP 2007 15th Euromicro Conference on Parallel, Distributed and Network-based Processing, Naples, Italy, February 7-9, 2007
• TAP 2007 International Conference on Tests And Proofs (TAP 2007) 12-14 February 2007 ETH Zurich, Switzerland
• STACS 2007 24th Int. Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007

March 2007

• CGO-5 Fifth Annual IEEE/ACM International Symposium on Code Generation and Optimization, March 11-14, 2007 - San Jose, California
• SAC'07 ACM 2007 Symposium on Applied Computing, March 11 - 15, 2007 Seoul, Korea
• ARCS'07 Architecture of Computing Systems Swiss Federal Institute of Technology (ETH) Zurich, March 12-15, 2007.
• AOSD 2007 6th Conference on Aspect-Oriented Software Development, Vancouver, British Columbia, March 12-16, 2007 with workshops, including
  • RV'07 Seventh Workshop on Runtime Verification, March 13.
• ETAPS 2007 European Joint Conferences on Theory And Practice of Software, March 24 - April 1, 2007 Braga, Portugal
  Including
  • CC 2007 Int. Conf. on Compiler Construction
  • ESOP 2007 European Symposium On Programming
  • FASE 2007 Fundamental Approaches to Software Engineering
  • FOSSACS 2007 Foundations of Software Science and Computation Structures
  • TACAS 2007 Tools and Algorithms for the Construction and Analysis of Systems
  with workshops, including (sparse sample)
  • MBT 2007 Third Workshop on Model Based Testing
• WPDRTS 2007 The Fifteenth International Workshop on Parallel and Distributed Real-Time Systems, March 26th and 27th, Long Beach, California, USA.
• IPDPS 2007 21st IEEE International Parallel & Distributed Processing Symposium March 26-30, 2007, Long Beach, California USA.
• DPDNS07 12th IEEE Workshop on Dependable Parallel, Distributed and Network-Centric Systems, March 26-30, 2007 Long Beach, California USA
• LATA 2007 1st International Conference on Language and Automata Theory and Applications, Tarragona, Spain, March 29 - April 4, 2007.
• SLA++P'07 Model-driven High-level Programming of Embedded Systems, 31 March 2007 , Braga (Portugal).

April 2007

• International LISP Conference 2007 Clare College, Cambridge, England - April 1-4, 2007.
• TFP 2007 Trends in Functional Programming 2007, New York, USA. April 2-4, 2007
• BCTCS 2007 23rd British Colloquium for Theoretical Computer Science, 2-5 April 2007, St Anne's College, Oxford
• HSCC 2007 Hybrid Systems: Computation and Control, 9th Int. Workshop, Pisa, Italy, April 3-5.
• RTAS 2007 13th IEEE Real-Time and Embedded Technology and Applications Symposium , Bellevue, Washington, United States April 3 - April 6, 2007.
• ISPASS-2007 International Symposium on Performance Analysis of Systems and Software, April 8-10, 2007, San Jose, California, USA.
• ARES 2007 The Second International Conference on Availability, Reliability and Security, April 10-13, 2007, Vienna University of Technology, Austria.
• MFPS XXIII The Twenty-third Conference on the Mathematical Foundations of Programming Semantics, Tulane University, New Orleans, LA USA April 11 - 14, 2007.
• DATE 2007 Design, Automation, and Test in Europe, Nice, 16 - 20 April 2007, with
  • Subtrack on Real-Time systems
• FSEN '07 Second International Symposium on Fundamentals of Software Engineering. Theory and Practice, Tehran, Iran April 17-19 2007

May 2007

• ISORC 2007 10th IEEE Int. Symp. on Object/component/service-oriented Real-time Distributed Computing, May 7-9, 2007, Santorini Island, Greece. with workshop
  • SEUS 2007 The 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems, May 7-8, 2007.
• CF'07 2007 ACM International Conference on Computing Frontiers, Ischia, Italy May 7-9, 2007
• ICCS 2007 The International Conference on Computational Science May 27-30, 2007, University of Beijing, China
  With workshop
  • PAPP 2007 Fourth International Workshop on Practical Aspects of High-level Parallel Programming,
• 5th Object Oriented Technologies 2007 International Conference in Central Europe on Object Oriented Technologies, lzen (Pilsen), Czech Republic, May 28 - 31, 2007
• MEMOCODE'2007 Fifth ACM-IEEE International Conference on Formal Methods and Models for Codesign, May 30 - June 1st, Nice, France

June 2007

• DisCoTec 07 The federated conferences on Distributed Computing Techniques, Paphos, Cyprus, 05-08 June 2007, including:
  • COORDINATION 2007 9th International Conference on Coordination Models and Languages
  • DAIS'07 Seventh IFIP International Conference on Distributed Applications and Interoperable Systems
  • FMOODS 07 9th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems,
• TASE 2007 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering, June 6 - 8, 2007, Shanghai, China
• FCRC'07 2007 Federated Computing Research Conference June 8-16, 2007 San Diego, California
  Including (sparse sample)
  • LCTES07 ACM SIGPLAN/SIGBED 2007 Conference on Languages Compilers, and Tools for Embedded Systems
  • PASTE 2007 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, June 13-14
  • PLAS 2007 Programming Languages and Analysis for Security Workshop
  • PLDI 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation, June 10-13
  • STOC 2007 Annual ACM Symposium on the Theory of Computing, June 11-13
• ECMDA 2007 Third European Conference on Model Driven Architecture, Foundations and Applications Haifa - Israel June 11 - 15, 2007. with workshop
  • AOMD-2007 The Third Workshop on Aspect-Oriented and Model-Driven Software Development June 12.
• CiE 2007 Computability in Europe 2007: Computation and Logic in the Real World University of Siena Siena, 18-23 June 2007
• ICNS 2007 The Third International Conference on Networking and Services, June 19-25, 2007 - Athens, Greece
• ICAS 2007 The Third International Conference on Autonomic and Autonomous Systems June 19-25, 2007 - Athens, Greece
• TOOLS EUROPE 2007 Objects, Models, Components, Patterns ETH Zurich, Switzerland 24-28 June 2007.
  • PROVECS Property Verification for Software Components and Services, June 27
• DSN-2007 The Int. Conf. on Dependable Systems and Networks. June 25 - 28 2007, Edinburgh, UK.
• ATPN 2007 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Siedlce, Poland, June 25-29, 2007
• RDP 2007 Federated Conference on Rewriting, Deduction, and Programming June 25 -29, 2007, Paris.
  Including
  • RTA 2007 Conference on Rewriting Techniques and Applications Paris, France, June 26-28, 2007.
  • TLCA'07 8th International Conference on Typed Lambda Calculi and Applications. June 26-28.
  • and many workshops
• TESTCOM / FATES '07 19th IFIP Int. Conference on Testing Communication Systems and 7th Int. Workshop on Formal Approaches to Testing of Software, Tallinn, Estonia June 26 -29, 2007.
• FORTE'07 26th IFIP Int. Conference on Formal Techniques for Networked and Distributed Systems. Tallinn, Estonia June 27 -29, 2007.
• Calculemus 2007 14th Symp. on the Integration of Symbolic Computation and Mechanized Reasoning, June 27-30, 2007, Hagenberg, Austria.

July 2007

• FMICS 2007 12th International Workshop on Formal Methods for Industrial Critical Systems, 1-2 July 2007, Berlin, Germany
• SPIN 2007 14th International SPIN Workshop on Model Checking of Software July 1-3, 2007, Berlin, Germany
• AB 2007 Second International Conference on Algebraic Biology, July 2-4, 2007, Castle of Hagenberg, Austria.
• WOLLIC'2007 4th Workshop on Logic, Language, Information and Computation, Rio de Janeiro, Brazil July 2-5, 2007.
• IFM 2007 Sixth International Conference on Integrated Formal Methods 2nd - 6th July 2007, Oxford, UK
• TABLEAUX 2007 International Conference Automated Reasoning with Analytic Tableaux and Related Methods, Aix en Provence, France 3-6 July 2007
• CAV 2007 Computer Aided Verification, 19th International Conference July 3-7, 2007, Berlin, Germany
• SIES'2007 IEEE Second Symposium on Industrial Embedded Systems, July 4-6, 2007, Hotel Costa da Caparica, Lisbon, Portugal
• 19th Euromicro Conference on Real-Time Systems Pisa, Italy July 4-6, 2007
• CSFW 20 20th IEEE Computer Security Foundations Workshop, Venice, Italy, July 6 - 8, 2007.
• RP'07 Workshop on Reachability Problems July 7-8, 2007, Turku, Finland
• DLT'07 Developments in Language Theory Conference July 7-8, 2007, Turku, Finland
• ASAP 2007 18th IEEE International Conference on Application-specific Systems, Architectures and Processors, July 9-11, 2007 - Montreal, Canada.
• CBSE 10 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering, Tufts University, Medford (Boston area), Massachusetts, USA, July 9 - 11, 2007
• OMG Workshop OMG Workshop on Distributed Object Computing for Real-time and Embedded Systems July 9-12, 2007 Washington, DC, USA
• ICALP 2007 34th International Colloquium on Automata, Languages and Programming, 9-13 July 2007, Wroclaw, Poland.
• ACSD 2007 7th International Conference on Application of Concurrency to System Design, 10-13 July 2007, Bratislava, Slovakia
• LICS 2007 22nd Annual IEEE Symposium on Logic in Computer Science, 10-14 July 2007, Wroclaw, Poland.
• ICECCS 2007 The Twelfth IEEE International Conference on Engineering of Complex Computer Systems, The University of Auckland, New Zealand, 11-14 July 2007
• PPDP 2007 9th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming, Wroclaw, Poland, July 14-16, 2007.
• SAMOS VII International Symposium on Systems, Architectures, MOdeling, and Simulation, Samos, Greece, July 16-19, 2007
• COMPSAC 2007 31st Annual International Computer Software and Applications Conference, Beijing, July 24-27, 2007, with workshop
  • SACT 2007 2nd IEEE Asia-Pacific Workshop on Software Architectures and Component Technologies,
• IFIPTM 2007 Joint iTrust and PST Conferences on Privacy, Trust Management and Security July 30th -- August 2nd, 2007 Moncton, New Brunswick, Canada.

August 2007

• PODC 2007 26th Annual ACM SIGACT-SIGOPS Symposium on the Principles of Distributed Computing, Portland, Oregon, August 12-15, 2007
• CALCO 2007 2nd Conference on Algebra and Coalgebra in Computer Science, August 20-24, 2007, Bergen, Norway
• RTCSA-07 The 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 21-24 August, 2007, Daegu, South Korea
• SAS 2007 Static Analysis Symposium 22-24 August 2007, Kongens Lyngby, Denmark
• FPL 07 2007 International Conference on Field Programmable Logic and Applications, Amsterdam, August 27 - 29, 2007
• Euromicro CBSE 33rd Euromicro Conference on Software Engineering and Advanced Applications, Component-Based Software Engineering Track Lübeck, Germany, August 27-31, 2007
• DSD 2007 10th Euromicro Conference on Digital System Design, Architectures, Methods and Tools, August 29th - 31st, 2007, Lübeck in Germany

September 2007

• DTIS 2007 Design and Technology of Integrated Systems in Nanoscale Era DTIS, Rabat, Morocco, Sept 2 - 5, 2007.
• PATMOS'07 PATMOS workshop on Power and Timing Modeling, Optimization and Simulation, Chalmers University Göteborg, Sweden, September 3-5, 2007.
• ESEC/FSE 2007 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering Dubrovnik, Croatia, September 3-7, 2007 with workshop
  • SAVCBS'07 6th Workshop on Specification and Verification of Component-Based Systems, September 3-4.
• CONCUR 2007 18th International Conference on Concurrency Theory, Lisbon, Portugal, September 4-7, 2007 with workshop
  • VAMP 2007 1st Workshop on Verification and Analysis of Multi-threaded Java-like Programs September 3, 2007
• Pppj07 Principles and Practices of Programming in Java September 5 - 7, 2007 FCT/UNL (Universidade Nova de Lisboa) Lisbon, Portugal
• GAMES 2007 Games and Automata for Synthesis and Validation, Tutorials and Annual Meeting. September 10 - 13, 2007, Lausanne
• MCU 2007 International Conference Machines, Computations and Universality Orleans, France September, 10-15, 2007.
• MMM-ACNS-07 International Conference "Mathematical Methods, Models and Architectures for Computer Networks Security", September 13-15, 2007, St. Petersburg, Russia
• QEST'07 4th International Conference on Quantitative Evaluation of SysTems. September 16th-19th, 2007, University of Edinburgh, Scotland, UK.
• 13th SDL Forum Design for Dependable Systems 18-21 September, 2007, Paris, France.
• FACS 07 Fundamental Aspects of Component Software, Sophia-Antipolis, France, 19-21 september 2007.
• ESORICS 2007 12th European Symposium on Research in Computer Security, Dresden, Germany - September 24-26, 2007
• ETFA 2007 12th IEEE International Conference on Emerging Technologies and Factory Automation, September 25-28, 2007, Patras, Greece. Track on Real-Time and (Networked) Embedded Systems.
• JTRES 2007 The 5th Workshop on Java Technologies for Real-Time and Embedded Systems 26-28 September 2007, Vienna, Austria 19th International Symposium on
• IFL 2007 Implementation and Application of Functional Languages 27th-29th September 2007, Freiburg, Germany
• Between Control and Software Workshop dedicated to Paul Caspi, VERIMAG, Grenoble, France 28/9/2007.
• MODELS 2007 ACM/IEEE 10th International Conference on Model-Driven Engineering Languages and Systems, September 30 - October 5, 2007 Nashville (TN), USA
• SCAM 2007 7th IEEE International Working Conference on Source Code Analysis and Manipulation, September 30 - October 1, 2007 Maison Internationale, Paris, France
• Embedded Systems Week 2007 September 30 - October 5, 2007, Salzburg, Austria, containing
  • CODES + ISSS 2007 Fifth International Conference on Hardware/Software Codesign and System Synthesis
  • EMSOFT 2007 Seventh International Conference on Embedded Software
  • CASES 2007 International Conference on Compilers, Architecture and Synthesis for Embedded Systems

October 2007

• GPCE'07 Sixth International Conference on Generative Programming and Component Engineering, October 1-3, 2007 Salzburg, Austria. with workshop
  • APGES 2007 Workshop on Automatic Program Generation for Embedded Systems, Oct. 4.
• FORMATS'07 5th International Conference on Formal Modelling and Analysis of Timed Systems, Salzburg, Austria, October 3-5, 2007
• ICSM International Conference on Software Maintenance - October 2-5, 2007 Paris, France
• ICTCS'07 The 10th Italian Conference on Theoretical Computer Science, Rome, Italy, October 3-6, 2007
• WLP 2007 21st Workshop on (Constraint) Logic Programming, Wuerzburg, Germany October 4-6, 2007.
• NODES 07 NOrdic workshop and Doctoral Symposium on DEpendability and Security, Oslo, Norway, October 9, 2007
• FLACOS'07 First Workshop on Formal Languages and Analysis of Contract-Oriented Software, Oslo, Norway, 9-10 October, 2007.
• NWPT'07 The 19th Nordic Workshop on Programming Theory Oslo, Norway, 10-12 October, 2007
• CEE-SET 2007 2nd IFIP Central and East European Conference on Software Engineering Techniques, Poznan (Poland), October 10-12, 2007.
• QSIC 2007 The Seventh International Conference on Quality Software, 11-12, October, 2007 Portland, Oregon, USA.
• NordSec 2007 The 12th Nordic Workshop on Secure IT Systems, October 11 - 12 2007, Reykjavik, Iceland.
• OOPSLA 2007, ACM SIGPLAN Int. Conf. on Object-Oriented Programming, Systems, Languages, and Applications, October 21-25, 2007 Montreal, Quebec, Canada.
• ATVA 2007 Fifth International Symposium on Automated Technology for Verification and Analysis, Tokyo, Japan, October 22-24, 2007 Software Technologies Concertation on
• FMCO 2007 Formal Methods for Components and Objects 24 - 26 October 2007, CWI, Amsterdam, The Netherlands.
• SOSE 2007 IEEE International Symposium on Service-Oriented System Engineering, October 24-26, 2007, Hong Kong, China

November 2007

• ASE 2007 22nd IEEE/ACM International Conference on Automated Software Engineering Atlanta, Georgia, USA, November 5-9, 2007 with workshop
  • RT 2007 Second International Workshop on Random Testing, November 6, 2007
• HASE 07 The 10th IEEE High Assurance Systems Engineering Symposium, November 14-16, 2007, Dallas, Texas,
• SYNCHRON'07 International Open Workshop on Synchronous Programming, November, 26th to 30th, 2007 Bamberg, Germany
• APLAS 2007 The Fifth ASIAN Symposium on Programming Languages and Systems, Singapore, November 29 - December 1, 2007.

December 2007

• RTSS 2007 The 28th IEEE Real-Time Systems Symposium, December 3-6, 2007, Tucson, Arizona, USA
• ICPADS 2007 13th International Conference on Parallel and Distributed Systems, Hsinchu, Taiwan, Dec. 5-7.
• FSTTCS 2007 Foundations of Software Technology and Theoretical Computer Science, December 12--14, 2007, New Delhi, India.
• ISoLA 2007 2007 ISoLA Workshop on Leveraging Applications of Formal Methods, Validation and Verification 12-14 December 2007 ENSMA, Poitiers-Futuroscope. France
• WWV'07 3rd International Workshop on Automated Specification and Verification of Web Systems, San Servolo island, Venice (Italy) December 14, 2007.
• OPODIS'07 11th International Conference On Principles Of Distributed Systems, Guadeloupe, French West Indies, December 17-20th, 2007.