Dept. of Computer Systems |
Formal Methods and Software Technology
Fourth International Conference on
Verification, Model Checking, and Abstract Interpretation
NYU, January 9--11, 2003.
Fifth International Symposium on
Practical Aspects of Declarative Languages,
New Orleans, Louisiana, USA
Jan 13-14, 2002
The 30th Annual ACM
SIGPLAN - SIGACT Symposium on
Principles of Programming Languages,
New Orleans, Louisiana, USA
Jan 15-17, 2002
Computing: The Australasian Theory Symposium,
Adelaide, South Australia, 4-7th February,
Second International Conference on
Mathematical Knowledge Management,
February 16-18 2003
Bertinoro - Italy
The 9th International Conference on Real-Time and Embedded
Computing Systems and Applications,
February 18 - 20, 2003
National Cheng-Kung University
Tainan City, Taiwan, R.O.C.
20th International Symposium on
Theoretical Aspects of Computer Science,
February 27 - March 1, 2003
6th Design, Automation and Test in Europe Conference,
Munich, Germany, March 3-7, 2003.
ACM Symposium on Applied Computing,
9-12/03/2003 in Melbourne (USA)
First International Conference on
Security in Pervasive Computing,
March 12 - 14, 2003
in Boppard, Germany
First Annual IEEE/ACM International Symposium on
Code Generation and Optimization,
March 23-26, 2003,
San Francisco, California
THE FUN OF PROGRAMMING
A symposium in honour of
Professor Richard Bird's 60th birthday,
Examination Schools, Oxford.
24-25 March 2003
Seventh European Conference on
Software Maintenance and Reengineering
March 26-28, 2003
on Automated Verification of Critical Systems, April 2-3,
2003, Southampton, UK.
Sixth International Workshop on
Hybrid Systems: Computation and Control,
Prague, The Czech Republic,
April 3-5 2003,
The European Joint Conferences on Theory and Practice of Software,
5-13 April 2003,
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
SAIS & SSLS 2003
Swedish Artificial Intelligence Society (SAIS)
and the Swedish Society for Learning Systems (SSLS).
First Joint Workshop
Örebro, April 10-11, 2003
The First International Workshop on
Verification and Validation of
Enterprise Information Systems.
April 22, 2003 - Angers, France
8th International Workshop on
Formal Methods for Parallel Programming:
Theory and Applications,
April 22-26, 2003
Nice Acropolis Convention Center, Nice, France
6th Iberoamerican Workshop on Requirements Engineering
and Software Environments,
30th April - 2nd May 2003
International Conference on Software Engineering
May 3-10, 2003
2nd Int. Workshop on Scenarios
and State Machines: Models, Algorithms, and Tools, May 3
6th Workshop on Component-Based Software Engineering:
Automated Reasoning and Prediction.
May 3-4, 2003
The 10th Int. SPIN Workshop on Model Checking of Software,
WORKSHOP on SEMANTICS and VERIFICATION of HARDWARE and SOFTWARE SYSTEMS
MAY 20-22 Tel Aviv, Israel
International Conference on Testing of Communicating Systems, May, 26th -
Sophia Antipolis, France.
Workshop on Formal Methods for Industrial Critical Systems,
Trondheim, Norway, June 5-7, 2003
ACM SIGPLAN 2003 Workshop on
Partial Evaluation and Semantics Based Program Manipulation,
San Diego, California, Saturday June 7, 2003
Federated Conference on Rewriting, Deduction and Programming (RDP)
Valencia, Spain, June 8 - 14, 2003.
14th Int. Conference on Rewriting Techniques and Applications,
6th Int. Conference on Typed Lambda Calculi and Applications,
4th Int. Workshop on First Order Theorem Proving,
- IFIP Working Group 1.6 on Term Rewriting
4th Int. Workshop on Rule Based Programming,
16th Int. Workshop on Unification,
12th Int. Workshop on Functional and Logic Programming,
3rd Int. Workshop on Red. Strat. in Rewriting and Programming,
6th Int. Workshop on Termination,
ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems,
San Diego, California, June 9-11, 2003
7th Int. Workshop on Feature Interactions in
Telecommunications and Software Systems,
June 9-11, 2003,
The 30th Annual International Symposium on Computer Architecture
San Diego, California, USA June 9-11, 2003
ACM Symposium on Software Visualization,
June 11-13, 2003, San Diego, USA
10th Annual International Static Analysis Symposium
June 11-13, 2003 : San Diego, California
ACM SIGPLAN Conference on
Languages, Compilers, and Tools for Embedded Systems,
San Diego, California, June 11-13, 2003
Reliable Software Technologies 2003
June 16 - 20, 2003, Toulouse, France
Quality of Service in
Component-Based Software Engineering
International Conference on Application of Concurrency to System Design,
18-20th of June 2003
IEEE Symposium On Logic In Computer Science 2003,
Ottawa, Ontario, Canada, 22-25 June 2003
The International Conference on Dependable Systems and Networks,
San Francisco, CA, June 22rd - 25th, 2003
with workshop on
Workshop on Issues in
Security and Petri Nets
23 June 2003
The 2003 International Conference on Parallel and Distributed Processing Techniques and Applications,
June 23 - 26, 2003
Monte Carlo Resort, Las Vegas, Nevada, USA
with a special session on
Coordination and Component-Oriented Computing
(Languages, Models, Systems)
24th Int. Conf. on Application and Theory of Petri Nets,
Eindhoven, The Netherlands, June 23-27, 2003.
Formal Methods and Models for Codesign,
Mont Saint-Michel, France, June 24-26, 2003.
1st International Conference on
Software Engineering Research & Applications,
Crowne Plaza Union Square, San Francisco, USA.
June 25 - 27, 2003
16th IEEE Computer Security Foundations Workshop,
June 30 - July 2, 2003,
Asilomar, Pacific Grove, CA, USA
Thirtieth International Colloquium on Automata, Languages and Programming.
Eindhoven, The Netherlands, June 30 - July 4, 2003
Pre-conference workshops (June 28-29)
Post-conference workshops (July 5-6)
Synchronous Languages, Applications, and Programming.
Tuesday July 1st, 2003, Porto, Portugal
15th Euromicro Conference on Real-Time Systems
Porto, Portugal, 2-4 July, 2003
5th IFAC International Conference on Fieldbus Systems
and their Applications,
July 7 - 8, 2003, Universidade de Aveiro, Aveiro, Portugal
15th Computer-Aided Verification conference.
Boulder, Colorado, USA, July 8--12, 2003.
5th IFAC Symposium on Intelligent Components
and Instruments for Control Applications,
July 9-11, 2003, Universidade de Aveiro,
Andrei Ershov Fifth International Conference
Perspectives of System Informatics,
9 - 12 July 2003, Novosibirsk (Siberia), Russia
Twenty-second Annual ACM SIGACT-SIGOPS Symposium on
Principles of Distributed Computing.
13-16 July 2003
Boston, Massachusetts, USA
Eighth International Conference on Implementation and Application of Automata
July 16-18, 2003, Santa Barbara, CA, USA
European Conference on Object-Oriented Programming,
July 21 - July 25, 2003, Darmstadt, Germany
SNART Real-Time in Sweden Conference 2003,
M=E4lardalen University, V=E4ster=E5s, Sweden.
August 18-19, 2003
CSL'03 & KGC
Annual Conference of the European Association for
Computer Science Logic
8th Kurt Goedel Colloquium,
25 August afternoon - 30 August 2003, Vienna, Austria
August 26-29, 2003.
International Symposium on
Logic-based Program Synthesis and Transformation,
August 25 - 27, 2003 Uppsala, Sweden
Principles, Logics, and Implementations of High-Level Programming Languages,
Uppsala, Sweden, 25-29 August 2003, containing:
8th ACM SIGPLAN International Conference on Functional Programming
Fifth ACM-SIGPLAN International Conference on
Principles and Practice of Declarative Programming
2003 Illinois International Multiconference on Measurement,
Modelling, and Evaluation of Computer-Communication Systems,
Urbana, Illinois, USA
September 2-7, 2003
the 10th International Workshop on Petri Nets and Performance Models,
September 2-5, 2003
13th International Conference on Modelling
Techniques and Tools for Computer Performance Evaluation,
September 2-5, 2003
International Conference on the Numerical Solution of Markov Chains,
September 3-5, 2003
29th EUROMICRO CONFERENCE
COMPONENT-BASED SOFTWARE ENGINEERING TRACK
Antalya - Turkey, September 3rd-5th, 2003.
The Sixth International Workshop on Performability Modeling of Computer and Communication Systems,
September 5-7, 2003
14th International Conference on Concurrency Theory
2-6 September 2003, Marseille, France.
First International Workshop on Formal Modeling and Analysis of Timed Systems.
September 6-7 2003, Marseille, France
The 16th International Conference on
Theorem Proving in Higher Order Logics,
Monday 8 September - Friday 12 September.
The 12th International Formal Methods Europe Symposium,
Pisa, Italy - September 8-14, 2003
Thirteenth International Workshop on
Power And Timing Modeling, Optimization and Simulation,
September 10-11-12, 2003
Tha 9th IEEE International Conference on
Emerging Technologies and Factory Automation;
September 16-19, 2003, Lisbon, Portugal
The 3rd International Symposium on Domain Theory.
September 19-23, 2003, Xi'an, China
The International Conference on Generative Programming
and Component Engineering.
September 22, 2003
International Conference on
Logic for Programming, Artificial Intelligence, and
September 22-26th, 2003, Almaty, Kazakhstan
IEEE International Conference
on Software Maintenance, 22-26 September, 2003 in Amsterdam,
ELISA, SCAM, WSE.
The 22nd International Conference on
Computer Safety, Reliability and Security,
23-26 September 2003,
Edinburgh, Scotland, United Kingdom
S E F M 2 0 0 3
International Conference on
Software Engineering and Formal Methods,
Brisbane - Australia
22nd - 27th September, 2003
7th International Workshop on Code Generation for
Vienna, Austria, September 24-26, 2003.
Third International Conference on Quality Software,
Beijing, September 25-26, 2003
12th International Conference on
Parallel Architectures and Compilation Techniques
September 27 - October 1, 2003.
Chateau Sonesta Hotel, New Orleans, LA
IFIP TC 6 / WG 6.1
The 23rd IFIP International Conference
Formal Techniques for Networked and Distributed Systems.
Berlin,Germany, September 29th - October 2nd, 2003.
IEEE International Symposium on Empirical Software Engineering, Roma, Italy,
September 30 - Oct. 1
Sept 30 - Oct 3 2003
CODES-ISSS 2003 Merged Conference
on Hardware/Software Codesign and System Synthesis.
Marriott Hotel, Newport Beach, California, USA
Oct. 1-3, 2003
18th IEEE Int'l Conference on Automated Software Engineering,
Montreal, Canada, October 6-10th, 2003.
3rd Int'l Workshop on Formal Approaches to Testing of Software,
3rd International Conference on Embedded Software,
October 13 -- 15, 2003.
ESORICS 2003 8th European Symposium on Research in Computer Security,
October 13-15, 2003
Eight Italian Conference on
Theoretical Computer Science,
University Center, Bertinoro, Italy
October, 13 - 15, 2003
Sixth International Conference on
UML - Modeling Languages and Applications,
October 20-24, 2003, San Francisco, USA
International Workshop on
Specification and Validation of UML Models for Real Time and Embedded Systems
October 20, 2003.
Specification, Implementation and Validation of Object-oriented Embedded
Systems - Model Driven Architecture
Oct 20 or 21.
Compositional Verification of UML Models
The 12th Advanced Research Working Conference on:
Correct Hardware Design and Verification Methods,
21-24 October 2003, University of L'Aquila, L'Aquila, Italy
The 15th Nordic Workshop on Programming Theory.
Aabo Akademi University,
Turku, Finland, October 29-31, 2003
Int. Conf. on Compilers, Architecture and Synthesis for Embedded Systems
Doubletree Hotel, San Jose, California.
October 30 - November 1, 2003
Second International Symposium on
Formal Methods for Components and Objects,
4 - 7 November 2003,
Lorentz Center, Leiden University, Leiden, The Netherlands.
Fifth International Conference on
Formal Engineering Methods.
5-7 November 2003
National University of Singapore
Third International Conference on Quality Software
Omni Richardson Hotel, Dallas, USA, Nov. 6-7, 2003
IEEE International High Level Design Validation and Test Workshop 2003
November 12-14, 2003, Hyatt Regency Hotel, San Francisco, California
The 10th Working Conference on Reverse Engineering
Victoria, British Columbia, Canada
November 13 - 16, 2003
9th International Erlang/OTP User Conference,
Tuesday November 18, 2003. Ericsson, Älvsjö, Sweden
Fourth International IFIP Working Conference
Distributed Applications and Interoperable Systems.
19-21 November 2003, Paris, France
International Conference on Formal Methods for Open Object-based
Distributed Applications Systems
19-21 November 2003, Paris, France
The 2nd Nordic Conference on Web Services.
20 - 21 November 2003
Metamodelling for MDA
November 24th - 25th
The First Asian Symposium on
Programming Languages and Systems,
Beijing, China. November 27-29, 2003
16emes Journees Internationales "Genie Logiciel & Ingenierie de Systemes et leurs Applications",
Paris - 2 - 4 Dec. 2003
28th Annual IEEE/NASA Software Engineering Workshop
Greenbelt Marriott Hotel, Greenbelt, MD, USA
December 3-4, 2003
Thursday December 4, 2003
Amphitheatre of INRIA Rhône-Alpes
The 24th IEEE Real-Time Systems Symposium.
December 3-5, 2003
Nineteenth International Conference on Logic Programming,
9-13 Dec, 2003
Mumbai (Bombay), INDIA.
International Workshop on Software Verification and Validation.
Mumbai (India), December 2003
Eighth Asian Computing Science Conference
Tata Institute of Fundamental Research, Mumbai, India.
December 10-13, 2003
1st International Workshop on
Automated Technology for Verification and Analysis
National Taiwan University, Wednesday-Saturday 10-13 December 2003.
7th International Conference
On Principles of Distributed Systems.
December 10-13 2003, La Martinique, France
Fifth International Workshop on Distributed Computing
December 27-30, 2003