Dept. of Computer Systems |
Formal Methods and Software Technology
Ninth International Symposium on
Practical Aspects of Declarative Languages 2007,
January 14-15, 2007
The Eighth International Conference on Verification, Model
Checking, and Abstract Interpretation,
Nice, France, January 14-16, 2007.
ACM SIGPLAN 2007 Workshop on
Partial Evaluation and Program Manipulation
January 15-16, 2007
The 34th Annual
Symposium on Principles of Programming Languages.
January 17-19, 2007,
International Symmetry Conference
Thistle Hotel, Edinburgh, 14-17 January, 2007
The 7th International B Conference,
Lifc, Besancon, France, 17-19 January 2007
6th Symposium Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, January 25-26, 2007.
2007 International Conference on
High Performance Embedded Architectures & Compilers
Ghent, BELGIUM, January 29-30, 2007
15th Euromicro Conference on Parallel, Distributed
and Network-based Processing,
Naples, Italy, February 7-9, 2007
International Conference on Tests And Proofs (TAP 2007)
12-14 February 2007
ETH Zurich, Switzerland
24th Int. Symposium on
Theoretical Aspects of Computer Science,
February 22-24, 2007
Fifth Annual IEEE/ACM International Symposium on
Code Generation and Optimization,
March 11-14, 2007 - San Jose, California
ACM 2007 Symposium on Applied Computing,
March 11 - 15, 2007
Architecture of Computing Systems
Swiss Federal Institute of Technology (ETH) Zurich,
March 12-15, 2007.
6th Conference on Aspect-Oriented Software Development,
Vancouver, British Columbia, March 12-16, 2007
with workshops, including
Seventh Workshop on Runtime Verification,
European Joint Conferences on
Theory And Practice of Software,
March 24 - April 1, 2007
with workshops, including (sparse sample)
Int. Conf. on Compiler Construction
European Symposium On Programming
Fundamental Approaches to Software Engineering
Foundations of Software Science and Computation Structures
Tools and Algorithms for the Construction and Analysis of Systems
Third Workshop on Model Based Testing
The Fifteenth International Workshop on Parallel and Distributed
March 26th and 27th,
Long Beach, California, USA.
21st IEEE International Parallel & Distributed Processing Symposium
March 26-30, 2007,
Long Beach, California USA.
12th IEEE Workshop on Dependable Parallel, Distributed and
March 26-30, 2007
Long Beach, California USA
1st International Conference on Language and Automata Theory and Applications,
Tarragona, Spain, March 29 - April 4, 2007.
Model-driven High-level Programming of Embedded Systems,
31 March 2007 , Braga (Portugal).
International LISP Conference 2007
Clare College, Cambridge, England - April 1-4, 2007.
Trends in Functional Programming 2007,
New York, USA.
April 2-4, 2007
23rd British Colloquium for Theoretical Computer Science,
2-5 April 2007,
St Anne's College, Oxford
Hybrid Systems: Computation and Control,
9th Int. Workshop,
13th IEEE Real-Time and Embedded Technology and Applications Symposium ,
Bellevue, Washington, United States April 3 - April 6, 2007.
International Symposium on Performance Analysis of Systems and Software,
April 8-10, 2007,
San Jose, California, USA.
The Second International Conference on Availability, Reliability and Security,
April 10-13, 2007, Vienna University of Technology, Austria.
The Twenty-third Conference on the Mathematical Foundations of
Tulane University, New Orleans, LA USA
April 11 - 14, 2007.
Design, Automation, and Test in Europe, Nice,
16 - 20 April 2007, with
Second International Symposium on
Fundamentals of Software Engineering.
Theory and Practice,
April 17-19 2007
10th IEEE Int. Symp. on Object/component/service-oriented Real-time Distributed
May 7-9, 2007,
Santorini Island, Greece.
The 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems,
May 7-8, 2007.
2007 ACM International Conference on Computing Frontiers,
May 7-9, 2007
The International Conference on Computational Science
May 27-30, 2007, University of Beijing, China
Fourth International Workshop on
Practical Aspects of High-level Parallel Programming,
5th Object Oriented Technologies 2007
International Conference in Central Europe on Object Oriented
lzen (Pilsen), Czech Republic,
May 28 - 31, 2007
Fifth ACM-IEEE International Conference on
Formal Methods and Models for Codesign,
May 30 - June 1st, Nice, France
The federated conferences on Distributed Computing Techniques,
Paphos, Cyprus, 05-08 June 2007, including:
9th International Conference on Coordination Models and Languages
Seventh IFIP International Conference on Distributed Applications
and Interoperable Systems
9th IFIP International Conference on
Formal Methods for Open Object-Based Distributed Systems,
1st IEEE & IFIP International Symposium on
Theoretical Aspects of Software Engineering,
June 6 - 8, 2007, Shanghai, China
2007 Federated Computing Research Conference
June 8-16, 2007
San Diego, California
Including (sparse sample)
ACM SIGPLAN/SIGBED 2007 Conference on Languages
Compilers, and Tools for Embedded Systems
7th ACM SIGPLAN-SIGSOFT Workshop on
Program Analysis for Software Tools and Engineering,
Programming Languages and Analysis for Security Workshop
ACM SIGPLAN Conference on Programming Language Design and Implementation,
Annual ACM Symposium on the Theory of Computing,
Third European Conference on Model Driven Architecture, Foundations and Applications
Haifa - Israel
June 11 - 15, 2007.
The Third Workshop on Aspect-Oriented and
Model-Driven Software Development
Computability in Europe 2007: Computation and Logic in the Real World
University of Siena
Siena, 18-23 June 2007
The Third International Conference on Networking and Services,
June 19-25, 2007 - Athens, Greece
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.
Property Verification for Software Components and Services, June 27
The Int. Conf. on Dependable Systems and Networks.
June 25 - 28 2007, Edinburgh, UK.
28th International Conference on Application and Theory of Petri Nets
and Other Models of Concurrency,
Siedlce, Poland, June 25-29, 2007
Federated Conference on Rewriting, Deduction, and Programming
June 25 -29, 2007, Paris.
Conference on Rewriting Techniques and Applications
Paris, France, June 26-28, 2007.
8th International Conference on
Typed Lambda Calculi and Applications.
and many workshops
TESTCOM / FATES '07
19th IFIP Int. Conference on Testing Communication Systems
7th Int. Workshop on Formal Approaches to Testing of
June 26 -29, 2007.
26th IFIP Int. Conference on Formal Techniques for Networked and Distributed
June 27 -29, 2007.
14th Symp. on the Integration of Symbolic Computation and Mechanized Reasoning,
June 27-30, 2007, Hagenberg, Austria.
12th International Workshop on
Formal Methods for Industrial Critical Systems,
1-2 July 2007, Berlin, Germany
14th International SPIN Workshop on Model Checking of Software
July 1-3, 2007, Berlin, Germany
Second International Conference on Algebraic Biology,
July 2-4, 2007, Castle of Hagenberg, Austria.
4th Workshop on Logic, Language, Information and Computation,
Rio de Janeiro, Brazil
July 2-5, 2007.
Sixth International Conference on Integrated Formal Methods
2nd - 6th July 2007, Oxford, UK
International Conference Automated Reasoning with Analytic Tableaux
and Related Methods,
Aix en Provence, France
3-6 July 2007
Computer Aided Verification, 19th International Conference
July 3-7, 2007, Berlin, Germany
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
20th IEEE Computer Security Foundations Workshop,
Venice, Italy, July 6 - 8, 2007.
Workshop on Reachability Problems
July 7-8, 2007, Turku, Finland
Developments in Language Theory Conference
July 7-8, 2007, Turku, Finland
18th IEEE International Conference on
Application-specific Systems, Architectures and Processors,
July 9-11, 2007 - Montreal, Canada.
10th International ACM SIGSOFT Symposium on
Component-Based Software Engineering,
Tufts University, Medford (Boston area), Massachusetts, USA,
July 9 - 11, 2007
OMG Workshop on
Distributed Object Computing for
Real-time and Embedded Systems
July 9-12, 2007
Washington, DC, USA
34th International Colloquium on
Automata, Languages and Programming,
9-13 July 2007, Wroclaw, Poland.
7th International Conference on Application of Concurrency to System Design,
10-13 July 2007, Bratislava, Slovakia
22nd Annual IEEE Symposium on Logic in Computer Science,
10-14 July 2007, Wroclaw, Poland.
The Twelfth IEEE International Conference on Engineering of Complex Computer
The University of Auckland, New Zealand, 11-14 July 2007
9th ACM-SIGPLAN International Symposium on
Principles and Practice of Declarative Programming,
Wroclaw, Poland, July 14-16, 2007.
International Symposium on Systems, Architectures, MOdeling, and
Simulation, Samos, Greece, July 16-19, 2007
31st Annual International Computer Software and Applications Conference,
Beijing, July 24-27, 2007,
2nd IEEE Asia-Pacific Workshop on Software Architectures and Component Technologies,
Joint iTrust and PST Conferences on Privacy,
Trust Management and Security
July 30th -- August 2nd, 2007
Moncton, New Brunswick, Canada.
26th Annual ACM SIGACT-SIGOPS
Symposium on the Principles of
Portland, Oregon, August 12-15, 2007
2nd Conference on Algebra and Coalgebra in Computer Science,
August 20-24, 2007, Bergen, Norway
The 13th IEEE International Conference on Embedded and Real-Time
Computing Systems and Applications,
21-24 August, 2007,
Daegu, South Korea
Static Analysis Symposium
22-24 August 2007, Kongens Lyngby, Denmark
2007 International Conference on Field Programmable Logic and Applications,
Amsterdam, August 27 - 29, 2007
33rd Euromicro Conference on
Software Engineering and Advanced Applications,
Component-Based Software Engineering Track
Lübeck, Germany, August 27-31, 2007
10th Euromicro Conference on Digital System Design,
Architectures, Methods and Tools,
August 29th - 31st, 2007, Lübeck in Germany
Design and Technology of Integrated
Systems in Nanoscale Era DTIS, Rabat, Morocco, Sept 2 - 5, 2007.
PATMOS workshop on Power and Timing
Modeling, Optimization and Simulation, Chalmers
University Göteborg, Sweden, September 3-5, 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
6th Workshop on Specification and Verification of
Component-Based Systems, September 3-4.
18th International Conference on Concurrency Theory,
Lisbon, Portugal, September 4-7, 2007
1st Workshop on Verification and Analysis
of Multi-threaded Java-like Programs
September 3, 2007
Principles and Practices of Programming in Java
September 5 - 7, 2007
FCT/UNL (Universidade Nova de Lisboa)
Games and Automata for Synthesis and Validation,
Tutorials and Annual Meeting.
September 10 - 13, 2007,
Machines, Computations and Universality
September, 10-15, 2007.
International Conference "Mathematical Methods, Models and Architectures
for Computer Networks Security",
September 13-15, 2007, St. Petersburg, Russia
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.
Fundamental Aspects of Component Software,
19-21 september 2007.
12th European Symposium on Research in Computer Security,
Dresden, Germany - September 24-26, 2007
12th IEEE International Conference on Emerging Technologies and
September 25-28, 2007, Patras, Greece.
Real-Time and (Networked) Embedded Systems.
The 5th Workshop on
Java Technologies for Real-Time and Embedded Systems
26-28 September 2007,
19th International Symposium on
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.
ACM/IEEE 10th International Conference on
Model-Driven Engineering Languages and Systems,
September 30 - October 5, 2007
Nashville (TN), USA
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,
CODES + ISSS 2007
Fifth International Conference on
Hardware/Software Codesign and System Synthesis
Seventh International Conference on Embedded Software
International Conference on Compilers, Architecture
and Synthesis for Embedded Systems
Sixth International Conference on
Generative Programming and Component Engineering,
October 1-3, 2007
Workshop on Automatic Program Generation for Embedded Systems,
5th International Conference on
Formal Modelling and Analysis of Timed Systems,
Salzburg, Austria, October 3-5, 2007
International Conference on Software Maintenance -
October 2-5, 2007
The 10th Italian Conference on
Theoretical Computer Science,
Rome, Italy, October 3-6, 2007
21st Workshop on (Constraint) Logic Programming,
October 4-6, 2007.
NOrdic workshop and Doctoral Symposium on
DEpendability and Security,
Oslo, Norway, October 9, 2007
First Workshop on Formal Languages and Analysis of
Oslo, Norway, 9-10 October, 2007.
The 19th Nordic Workshop on Programming Theory
Oslo, Norway, 10-12 October, 2007
2nd IFIP Central and East European Conference on
Software Engineering Techniques,
Poznan (Poland), October 10-12, 2007.
The Seventh International Conference on
11-12, October, 2007
Portland, Oregon, USA.
The 12th Nordic Workshop on Secure IT Systems,
October 11 - 12 2007, Reykjavik, Iceland.
ACM SIGPLAN Int. Conf. on Object-Oriented Programming, Systems, Languages, and Applications,
October 21-25, 2007
Montreal, Quebec, Canada.
Fifth International Symposium on
Automated Technology for Verification and Analysis,
Tokyo, Japan, October 22-24, 2007
Software Technologies Concertation on
Formal Methods for Components and Objects
24 - 26 October 2007, CWI, Amsterdam, The Netherlands.
IEEE International Symposium on Service-Oriented System Engineering,
October 24-26, 2007, Hong Kong, China
22nd IEEE/ACM International Conference on
Automated Software Engineering
Atlanta, Georgia, USA, November 5-9, 2007
Second International Workshop on
November 6, 2007
The 10th IEEE High Assurance Systems Engineering Symposium,
November 14-16, 2007, Dallas, Texas,
International Open Workshop on Synchronous Programming,
November, 26th to 30th, 2007
The Fifth ASIAN Symposium on
Programming Languages and Systems,
November 29 - December 1, 2007.
The 28th IEEE Real-Time Systems Symposium,
December 3-6, 2007,
Tucson, Arizona, USA
13th International Conference on Parallel and
Hsinchu, Taiwan, Dec. 5-7.
Foundations of Software Technology and Theoretical Computer Science,
December 12--14, 2007, New Delhi, India.
2007 ISoLA Workshop on Leveraging Applications of Formal Methods,
Validation and Verification
12-14 December 2007
ENSMA, Poitiers-Futuroscope. France
3rd International Workshop on Automated
Specification and Verification
of Web Systems,
San Servolo island, Venice (Italy)
December 14, 2007.
11th International Conference On Principles Of Distributed Systems,
Guadeloupe, French West Indies,
December 17-20th, 2007.