Dept. of Computer Systems |
Formal Methods and Software Technology
10th International Conference on Database Theory,
January 5-7, 2005, Edinburgh, Scotland
2005 IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS,
Workshop on Issues in the Theory of Security,
January 10-11, 2005, Long Beach, California.
Seventh International Symposium on
Practical Aspects of Declarative Languages 2005,
Long Beach, California, USA,
January 10-11, 2005
The 31st Annual
Symposium on Principles of Programming Languages.
January 12-14, 2005,
Long Beach, California.
Sixth International Conference on
Verification, Model Checking and Abstract Interpretation
January 17-20, 2005, Paris, France, with workshop
First International Workshop on Abstract Interpretation of
22nd International Symposium on
Theoretical Aspects of Computer Science,
February 24-26, 2005
11th IEEE Real-Time and Embedded Technology and Applications Symposium
March 7 - 10, 2005,
San Francisco, California.
7-11 March, 2005
ICM, MESSE, Munich, Germany
Subtrack on Real-Time systems
"Embedded Systems Design: An Emerging Unified Discipline" on March 11.
International Workshop on Abstract State Machines,
Paris, France, March 8-11, 2005
Hybrid Systems: Computation and Control,
8th International Workshop
Swiss Federal Institute of Technology (ETH)
March 9-11, 2005.
The 11th International Conference on
Artificial Intelligence and
March 14-18, 2005
Fourth International Conference on Aspect-Oriented Software Development,
March 14-18, 2005
1st International Workshop on Automated
Specification and Verification
of Web Sites,
March 14-15 2005, Valencia, Spain
NATO Advanced Research Workshop
Verification of Infinite State Systems with Applications to Security,
March 17--22, 2005,
International Symposium on Performance Analysis of Systems and Software,
March 20-22, 2005
International Symposium on Code Generation and Optimization,
March 20-23, 2005 --- San Jose, California
OMG Workshop on MDA, SOA and Web Services
Designing and Building the Integrated Enterprise – Practice, not Promise,
March 21-24, 2005.
21st British Colloquium for Theoretical Computer Science,
22-24 March 2005, University of Nottingham, England
6th IEEE International Symposium on
Quality Electronic Design,
March 28-30, 2005
San Jose, CA, USA.
European Joint Conferences on
Theory And Practice of Software,
2-10 April 2005.
Edinburgh, Scotland, United Kingdom
International Conference 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
13th International Workshop on Parallel and Distributed Real-Time Systems,
Omni Interlocken Hotel, Denver, Colorado
19th International Parallel and
Distributed Processing Symposium
April 4-8, 2005, Denver, Colorado
13th International Conference on Real-Time Systems,
April 5-6, 2005, Paris, France (Paris-Expo, Porte de
2nd International Conference on
Security in Pervasive Computing,
April 6-8, 2005 Boppard, Germany
4th International Conference of B and Z Users,
13-15 April 2005
University of Surrey, Guildford, UK
Federated Conference on Rewriting, Deduction and Programming,
Nara, Japan, April 19 - 23, 2005, containing
International Conference on Rewriting Techniques and Applications,
April 19 - 21, 2005
Seventh International Conference on Typed Lambda Calculi and
21-23 April 2005
5th European Dependable Computing Conference,
Budapest, Hungary, 20-22 April, 2005.
7th International Conference on Coordination Languages and Models,
20-23 April 2005
3rd International Conference on
May 8-13, 2005 Munich, Germany
International Embedded and Hybrid Systems Conference,
10 May - 13 MAY 2005,
27th Int. Conf. on Software Engineering,
St. Louis, Missouri, USA,
May 15-21, 2005.
CBSE8International Symposium on Component-based Software Engineering.
May 14 - 15, 2005.
Mathematical Foundations of Programming Semantics,
May 18 - May 21, 2005
University of Birmingham
Edgbaston, Birmingham, UK.
.NET TECHNOLOGIES 2005
3rd International Conference on .NET Technologies,
University of West Bohemia
Pilsen (Czech Republic),
May 30 - June 1, 2005
International Conference on Automated
Planning and Scheduling, Monterey, CA USA, June 5-10 2005.
1st Workshop on
Verification and Validation of
Model-Based Planning and Scheduling Systems.
June 6, 7 - 2005
Fifth International Conference on Application of Concurrency to
6-9th of June 2005, Palais du Grand Large, St Malo, France.
25th International Conference on Distributed Computing Systems
Columbus, Ohio, June 6-9, 2005
4th International Workshop on Distributed Event-Based Systems,
ACM Symposium on Principles of Database Systems,
Baltimore, Maryland, USA, June 13 - 15, 2005
RadioVetenskap och Kommunikation,
Linköping 14-16 juni, 2005.
ACM SIGPLAN 2005 Conference on
Programming Language Design and Implementation,
Chicago, Illinois, USA,
June 12-15, 2005.
The 2nd IEEE International Conference on Autonomic
June 13-16, 2005, Renaissance Seattle Hotel, Seattle, WA.
ACM SIGPLAN/SIGBED 2005 Conference on Languages, Compilers, and Tools for Embedded Systems.
Chicago, Illinois, June 15-17, 2005.
7th th IFIP International conference on
Formal Methods for Open Object-based Distributed Systems,
15-17 June, 2005 Athens, Greece
Workshop on Real-World Wireless Sensor Networks,
June 20-21, 2005
Computer Security Foundations Workshop,
June 20 - 22, 2005,
SDL Forum 2005
12th SDL Forum: Integration of System Design Languages,
June 20-24, 2005, Grimstad, Norway
26th International Conference on
Application and Theory of Petri Nets and Other Models of Concurrency,
Miami, Florida, June 20-25, 2005
Temporal Representation and Reasoning,
Burlington, Vermont, USA, June 23-25, 2005
10th International Conference on
Implementation and Application of Automata,
June 27-29, Sophia Antipolis, France.
The International Conference on Dependable Systems and Networks.
Sheraton Society Hill, Philadelphia, PA, USA.
Sunday June 25 - Wednesday June 28, 2006,
17th EUROMICRO Conference on Real-Time Systems
Palma de Mallorca, Balearic Islands, Spain.
July 6-8, 2005
Eighth European Conference on Symbolic and Quantitative
Approaches to Reasoning with Uncertainty,
July 6-9, 2005
Computer Aided Verification,
17th International Conference,
July 6 -- 10 , 2005, University of Edinburgh, Scotland, UK
Formal Approaches To Testing of Software.
Seventh ACM-SIGPLAN International Symposium on
Principles and Practice of Declarative Programming
Lisboa, Portugal, 11-13 July 2005
32nd International Colloquium on Automata, Languages and Programming,
July 11-15, 2005
Third International Conference on Methods and Models for Codesign,
July 11-15, 2005, Verona, Italy.
The 12th International Workshop on
Design, Specification and Verification of Interactive Systems
The Devonshire Building,
University of Newcastle-upon-Tyne, England July 13-15, 2005
Fourth International Conference on
Mathematical Knowledge Management.
15. - 16. July 2005.
Bremen --- Germany.
SAMOS - V
Embedded Computer Systems: Architectures, Modeling, and
July 18 - 20, 2005, Greece.
13th Formal Methods Symposium,
Newcastle, UK, 18-22 July 2005.
20th International Conference on Automated Deduction,
Tallinn, Estonia, July 22 - July 27, 2005.
2nd European Lisp and Scheme Workshop
July 26, Glasgow, Scotland.
7th ECOOP Workshop on Formal Techniques for Java-like Programs,
July 25 or 26, 2005
29th IEEE Annual
International Computer Software and Applications Conference,
Edinburgh, Scotland, July 25-28, 2005.
Fourth International Joint Conference on
Autonomous Agents and Multiagent Systems,
Utrecht University, Utrecht (The Netherlands),
July 25-29, 2005
The 19th European Conference on Object Oriented Programming,
Scottish Exhibition and Conference Centre, Glasgow, Scotland, 25-29 July.
The 20th IEEE Symposium on Logic In Computer Science,
July 26-29, 2005.
19th International Joint Conference
on Artificial Intelligence,
Edinburgh, Scotland, UK
July 30 Aug. 5 , 2005.
Algebraic Process Calculi: The First Twenty Five Years and Beyond
University of Bologna, Residential Center,
Bertinoro (Forlì), Italy, August 1-5, 2005.
European Summer School in Logic, Language and Information.
8-19 August, Edinburgh
Real-Time in Sweden,
the 8th biennial SNART conference on real-time systems
August 16-17, in Skövde
Eighteenth International Conference on Systems Engineering,
Las Vegas, USA,
August 16-18, 2005.
12th International SPIN Workshop on Model Checking of Software,
August 22-24, 2005, San Francisco, USA
Computer Science Logic,
22-25 August 2005.
16th International Conference on Concurrency Theory
Aug 23-26, San Francisco, California.
With Workshops, e.g.,
Foundations of Interface Technologies, August 21.
31st EUROMICRO CONFERENCE
on Software Engineering and Advanced Applications,
Porto, Portugal, August 30th - September 3rd, 2005
8th EUROMICRO CONFERENCE ON
DIGITAL SYSTEM DESIGN
Architectures, Methods and Tools
Porto, Portugal, August August 30th - September 3rd, 2005
August 30 - September 2, 2005
Universidade Nova de Lisboa, Portugal,
2nd International Workshop on
Web Services and Formal Methods,
1-3 September 2005, Versailles, France.
Parallel Computing Technologies,
Eighth International Conference
September 5-9, 2005
10th European Software Engineering Conference / 13th ACM SIGSOFT
Symposium on the Foundations of Software Engineering,
September 5-9, 2005 - Lisbon, Portugal
The 12th International Static Analysis Symposium
7-9 September 2005, London, UK.
Third IEEE International Conference on
Software Engineering and Formal Methods,
7-9 September 2005
28th German Conference on Artificial Intelligence,
September 11-14, 2005
Fifth International Workshop on
Automated Verification of Critical Systems,
University of Warwick, UK, 12-13 September 2005.
International Conference on
Parallel Architectures and Compilation Techniques.
Saint Louis, Missouri, September 17-21, 2005.
Third IEEE/ACM/IFIP International Conference on
Hardware/Software Codesign and System Synthesis,
September 19-21, 2005
New York Metropolitan area
Hyatt Regency Jersey City, Jersey City, USA
5th International Workshop on Frontiers of Combining Systems,
Vienna, Austria, September 19-21, 2005
Fifth International Conference on Quality Software,
Melbourne, Australia, September 19 -21, 2005.
Sixth International Symposium on
Automated and Analysis-Driven Debugging,
Monterey, California, September 19-21, 2005
2nd International Conference on Quantitative Evaluation of SysTems,
September 19 -- 22, 2005
10th IEEE International Conference on Emerging Technologies
and Factory Automation,
September 19-22, 2005, Catania, Italy
September 19-22, 2005,
Jersey City Hyatt (New York City area).
Annual Meeting of the Research Training Network GAMES,
Paris, September 21 - 24, 2005
2nd International Symposium on Leveraging Applications of Formal Methods,
23-24 September 2005,
Loyola College Graduate Center, Columbia, MD
Special track theme: Formal Methods in Human and Robotic Space Exploration.
2005 International Conference on Compilers, Architecture and Synthesis for Embedded Systems,
San Francisco, CA.
24 - 27 September 2005
IEEE International Conference on Software Maintenance 2005, 25-30 September 2005, Budapest, Hungary.
3rd International Conference on
Formal Modelling And Analysis of Timed Systems,
September 26-28, 2005, Uppsala, Sweden
ICFP 2005The 10th ACM SIGPLAN International Conference on Functional Programming, Tallinn, Estonia,
September 26-28, 2005.
UK Model Checking Days York, UK, 27-28 September 2005.
4th International Conference on
Generative Programming and Component Engineering
Sep 29 - Oct 1, 2005, Tallinn (Estonia).
IPM Int. Workshop on Foundations of Software Engineering,
1-3 October 2005, Tehran, Iran.
Twenty first Int. Conf. on Logic Programming
2-5 October, 2005
Sitges (Barcelona) Spain
25th IFIP WG 6.1 Int. Conf. on
Formal Techniques for Networked and Distributed Systems,
National Taiwan University,
2 - 5 October 2005.
Third Int. Symposium on Automated Technology for Verification and Analysis.
Taipei, Taiwan, October 4-7, 2005
Twenty first Int. Conf. on Logic Programming,
2-5 October, 2004
8th Int. Conf. on
Model Driven Engineering Languages and Systems,
Half Moon Resort, Montego Bay, Jamaica, Oct. 2-7.
13th Advanced Research Working Conf. on
Correct Hardware Design and Verification Methods,
3-6 October 2005
IRISA 30TH Anniversary
Colloquium in Honor of David Harel and Alan S. Willsky,
10-11 October 2005, IRISA, Rennes, France
Eight Italian Conf. on
Theoretical Computer Science,
Certosa di Pontignano, Siena,
12 - 14 October 2005
High Assurance Systems Engineering Conf., Heidelberg, Germany, Oct 12-13, 2005.
3rd Workshop on Object-oriented Modeling
of Embedded Real-Time Systems.
October 13 and 14, 2005,
Heinz Nixdorf MuseumsForum, Paderborn, Germany.
1st Doctoral Workshop on Mathematical and Engineering Methods in
October 14 - 17, 2005, Znojmo, Czech Republic
Int. Colloquium on
Theoretical Aspects of Computing,
Hanoi, Vietnam - 17--21 October, 2005.
The 17th Nordic Workshop on Programming Theory,
19-21 October, 2005,
Fifth Conf. on Software Engineering Research and Practice in Sweden
Västerås, October 20th-21st, 2005.
II Int. Workshop on
Formal Aspects of Component Software,
October 24-25, 2005
4th Symposium on
Reliable Distributed Systems,
October 26-28, 2005, Orlando, Florida.
3rd Int. Workshop on
Software Verification and Validation,
October 31, 2005,
Seventh Int. Conf. on Formal Engineering Methods
1-4 November 2005, Manchester, UK.
The Third Asian Symposium on Programming Languages and Systems,
November 3-5, 2005
European Conf. on Model Driven Architecture® -
Foundations and Applications,
November 7-10, 2005, Nürnberg, Germany
The 16th IEEE Int. Symposium on
Software Reliability Engineering,
November 8-11, 2005,
Chicago, Illinois, USA
11th Int. Erlang/OTP User Conf.,
Stockholm, Nov. 10.
The 17th IASTED Int. Conf. on
Parallel and Distributed Computing and Systems,
November 14-16, 2005
Phoenix, AZ, USA
2005 Int. Conf. on
High Performance Embedded
Architectures & Compilers,
Barcelona, Spain, 17-18 November 2005
Perspectives in Verification
in honour of Prof. Dr. Wolfgang Thomas (RWTH Aachen),
on the occasion of his doctorate Honoris Causa, Cachan, Nov. 18, 2005,
November 17-18, 2005, Cachan.
2nd South-Eastern European Workshop on Formal Methods
Theme: "Practical dimensions: Challenges in the business world"
Ohrid, 18-19 November 2005
Innovative testing and feasible Verification & Validation of Software Systems,
Eindhoven University of Technology, Eindhoven, the Netherlands.
24th of November 2005
Fifth Int. Conf. on Integrated Formal Methods,
November 29 - December 2, 2005
Eindhoven, The Netherlands.
IEEE Int. High-Level Design Validation and Test Workshop
Napa Valley Marriott Hotel & Spa, Napa, California
Nov. 30 - Dec. 2, 2005
12th Int. Conf. on Logic for Programming Artificial
Intelligence and Reasoning,
2nd-6th December 2005, Montego Bay, Jamaica
26th IEEE Real-Time Systems Symposium
December 5-8, 2005
Miami, Florida, USA.
The 2005 IFIP Int. Conf. on
Embedded And Ubiquitous Computing,
Nagasaki, Japan, 6-9 December 2005
9th Int. Conf. on
Principles of Distributed Systems,
Pisa, Italy, December 12-14, 2005
3rd Int. Conf.
on Service-Oriented Computing,
Amsterdam, the Netherlands
December 12-15, 2005.
The 25th Conf. on
Foundations of Software Technology and
Theoretical Computer Science,
December 15--18, 2004,
The 2005 Int. Conf. on Embedded
Software and Systems,
December 16-18, 2005
Northwestern Polytechnical University, Xi'an, P.R. China.
4th WSEAS Int. Conf. on
Information Security, Communications and Computers
Puerto De La Cruz, Tenerife, Canary Islands, Spain, December 16-18,