Links to People (Alphabetic Order)

Universities & Research Institutions

Europe

Austria

• TU Wien

  Belgium

• UFSIA (Antwerpen)

Denmark

• Aalborg University
• Alexandra Institute
• BRICS at Aalborg (Distributed Systems)
• BRICS in Ĺrhus
• DIKU in Copenhagen
• IT-hřjskolen i Křbenhavn
• Niels Bohr Institute in Copenhagen (NBI)
• Technical University of Denmark (DTU)

Finnland

• Tampere University

France

• École Nationale Supérieure des Télécommunications de Bretagne
• INRIA
• IRISA
• Nantes
• Paris - École normale supérieure

Germany

RWTH Aachen Freie Universität Berlin TU Berlin Uni Bremen TU Darmstadt Uni Dortmund TU Dresden Friedrich-Alexander Universität Erlangen-Nürnberg Uni Freiburg, Informatik Fern-Uni Haagen Martin-Luther-Universität Halle-Wittenberg Uni Hamburg Uni Kaiserslauten Uni Karlsruhe (TH)

Christian-Albrechts-Universität zu Kiel Uni Koblenz (AI department) Uni Konstanz (Constance) Uni Mannheim Max-Planck-Institut, Saarbrücken LMU München Uni Münster Uni Oldenburg Uni Paderborn Uni Siegen Uni Trier Uni Thübingen (formale Sprachen) University of Ulm Uni Würzburg

Great Britain

• University of Birmingham
• University of Cambridge
• University of Leicester
• Queen Mary University, London
• University College London
• University of Manchester
• Oxford: Centre for Quantum Computation
• University of Nottingham
• Sussex
• Warwick

Ireland

• Univerisity College Cork

Italy

• University of Bologna
• University of Firenze
• University of Latvia
• Universitŕ di Pisa
• University of Trento:
  • Mechanized Reasoning Group
  • Laboratory for Experimental Algorithmics - LEA

Netherlands

• Amsterdam - Centrum voor Wiskunde en Informatika (CWI)
• ILLC: Institue for Logic, Language and Computation (University of Amsterdam)
• Amsterdam - vrije Universität (VU)
• Technical University Eindhoven
• University of Twente

Norway

• Bergen

Scotland

• University of Edinburgh (Research)
• University of Glasgow
• University of Stirling

Spain

• Universitat Polytecnica de Catalunia (Barcelona)

Sweden

• Chalmers University in Götheborg
• Uppsala University (Design and Analysis of Real-Time Systems)

Middle & far East

India

• Indian Institute of Technology (Delhi)

Israel

• Weizmann Institute

North America

Canada

• University of British Columbia (Vancouver)
• Concordia University, Montreal
• McGill University, Montreal
• L'Université du Québec ŕ Trois-Rivičres
• Waterloo [Math Dept.]
• York University

USA

Aerospace Albany (State University of New York) Alberta Almaden (IBM) Ames Research Center (NASA) AT&T labs NJ Texas: UTA Bell Laboratories Berkely Boston University Brown University Carnegie Mellon University Cornell University DIMACS Harvard University in Boston Indiana University John Hopkins University Baltimore

Kansas State University University of Southern California (USC) Massachusetts Institute of Technology (MIT) University of Michigan Michigan State University Western Michigan University University of PENNsylvania Pittsburgh, Carnegie Mellon University (CMU) Princeton University Purdue University Santa Fe Institute Stanford Research Institute (SRI) or Stanford University Stony Brook (State Uni.o.New York) University of California in Santa Barbara (UCSB) University of North Carolina [Charlotte] Yale Computer Science

South America

Columbia

Australia

• Monasch University (Melbourne)
• Murdoch University (Perth)
• RMIT University (Melbourne)

Searching for Literature...

BLIP project

AA-J : DAIMI Library at Aarhus -- online Journals (restricted access) ADL : ACM Digital library AMS-A : American Mathematical Society - author [of reviews] lookup AMS-J : American Mathematical Society Journals ANBAR : Journal abstracts database (restricted access) BRICS BRICS publications CERN : CERN Library Catalouge CSB : Computer Science BibTeX entries database by Alf-Christian Achilles CSB-M1 : Mirror site of CSB (Canada) CSB-M2 : Mirror site of CSB (Czech Republik) CRR : Computing Research Repository (ACM) [-] [1991-] DAIMI Library : BRICS library in Ĺrhus DFKI : German Research Center for Artificial Intelligence GmbH in Saarbrücken, LIDOS Search System for BibTeX ECCC : Electronic Colloquium on Computational Complexity FUB : Freie Uni Berlin HBP : Hypertext Bibliography Project [+ Journals/Books BibTeX] IEEE : IEEE Computer Society IN-J : Index of Journals IN-J2 : Index of Journals [-] IN-T : Index of Technical Reports

LNCS : Lecture Notes of Computer Science (Database in Karlsruhe) MIT : MIT Libraries Database Query MIT-A : Author of Theses at the MIT MIT-T : Theses at MIT MPI : Max-Planck Institute (IBIS, General Search) MPI-A : Authors at MPI MPI-J : Journals at MPI MPI-P : Proceedings at the MPI MSN : MathSciNet [via Bielefeld] NECI : Citeseer - Research Index that allows literature to be seen in (citation-) context NZ-DL : New Zealand Digital Library [including magazines] NZ-TR : New Zealand Digital Library [Technical Reports] NASA-TR : NASA technical report server SIAM : Science and industry advance with mathematics - online journals SPR-S : Springer Search UNC : UnCover Journal Data Base (charges for full-text orders) UT : Uni Trier UT-A : Uni Trier Author Index (finds several Homepages!) ZFM : Zentralblatt für Mathematik (Math) - European Mathematical Society [1931-]

Some Major Online Available Journals

• CJTCS : Chicago Journal of Theoretical Computer Science
• ELS : Elsevier Gateway to Science (e.g. IPL or JLAP)
• IC : Information and Computation - An international journal of Theoretical Computer Science
• JASS : Journal of Applied Systems Studies Methodologies and Applications for Systems Approaches
• SPR-J : Springer online Journals

Meta Indices to obtain Technical Reports

• HYP : Hypatia (UK) - Index for Autors, Topics and Mirror to Technical Reports
• HYP-I : Hypatia's Alphabetical Index to institutions providing technical reports online
• JB-I : Jim Blythe (CMU) links to available Technical Reports (CS)
• NCSTRL : Texas A & M University Networked Computer Science Technical Reports Library (also at here)
• UCSTR-I : Unified Computer Science TR Index
• YAHOO-I : Yahoo's Index for Technical Reports (mainly CS)

Technical Reports at selected places

• THA-R : RWTH Aaachen, Germany
• BER-R : Berkeley RAID Project
• IN-ALG : INRIA Algorithms Project reports
• IOS-R : University of Iowa, Technical Reports concerning Self-Stabilization
• OFAI-R Austrian Research Institute for Artificial Intelligence (ÖFAI)
• SRI-R : SRI technical reports [1987-]
• STA-R : Stanford Technical Reports
• STA-RG : Stanford technical reports (general)
• Y-R : Yale Technical Reports
• S-R : Sussex; reports available from COGS

Tutorials, Course Material and Lecture Notes

• L-MAT : Lessons, Tutorials and Lecture Notes on Math subjects
• ECCC-L : ECCC Pointers to Lecture Notes on Combinatorics and Complexity

Some nice but not yet classified links

• BBS : Mathematical BBS - connection to organizations
• BS-CA : University of Cambridge Computer Lab - Bibliographic Searching (Meta-index)
• CAIN : Computer Algebra Information Network
• CoRR : The Computing Research Repository (with link to NCSTRL)
• DL : Digital Library (Meta Index)
• HBP-E : Hypertext Bibliography Project - Experimental bibliography parser
• IN-NP : Compendium of NP Complete Problems
• INRIA : Algorithms Project at INRIA
• ISI : Institute for Science Information [restricted to domain daimi.au.dk!]
• LL-BIB : Linear Logic Bibliography
• Meta-OO : Optimization Online
• MIT-J : MIT links to electronic journals [restricted access]
• MIT-L : The MIT Libraries at Cambridge
• ORA : ORA Canada - Bibliography of Automated Deduction

Current (and past) Conferences

Search at ICM

1997

• June, 22-25 [Haifa, Israel] Conference of Computer-Aided Verification (CAV)
• June, 24-27 [Ulm, Germany] 12th IEEE Conference on Computational Complexity
• July, 7-11 [Bologna, Italy] International Colloquium on Automata, Languages and Programming (ICALP)
• July, 13-17 [Townsville, Australia] Conference of automated Deduction (CADE)
• August, 19-22 [Murray Hill, USA] Theorem Proving and Higher Order Logics (TPHOLs)
• August, 23-29 [Nagoya, Japan] International Joint Conference of Artificial Intelligence (IJCAI)
• September, 9-13 [San Jose, USA] International Conference on Computer Aided Design (ICCAD)
• September, 17-19 [Graz, Austria] Formal Methods Europe (FME)

  1998

• January, HICSS-31
• March, 31 - April, 2 [Passau] TACAS 1998
• September, 9-11 [Como, Italy]IFAC Workshop on Distributed Computer Control Systems
• September, 14th [Karlsruhe, Germany] 2nd GI/ITG/GMM-Workshop Reuse Techniques for VLSI Design
• September, 14-18 [Lyngby, Denmark]Formal Techniques in Real-Time and Fault-Tolerant Systems FTRTFT'98
• September, 28 - October, 1 [Canberra, Australia] Theorem Proving and Higher Order Logics (TPHOLs)
• October 14-16, [Turku, Finland] Nordic Workshop on Programming Theory (NWPT'98)
• October 21-23, [Boca Raton, Florida] Workshop on Industrial-Strength Formal Specification Techniques WIFT'98
• November 4-6, [Palo Alto, California] Formal Methods in Computer-Aided Design (FMCAD)
• November 8-11 [Paolo Alto, California] Foundations of Computer Science (FOCS)
• December 16-18 [Marseille, France] Workshop on Modelling and Verification, C.I.R.M.

  1999

• January, 6-8 [San Jose California] Dependable Computing for Critical Applications (DCCA)
• February, 15-18, [Florence, Italy] Formal Methods for Open Object-Based Distributed Systems (FMOODS'99)
• 24-26 February, 24-26 [St. Pölten Austria] FMRail Workshop (Part 3)
• March , 9-12 [Munich, Germany] Design, Automation and Test in Europe (DATE)
• March, 15- 17 [Munich, Germany] Workshop on Formal Design of Safety Critical Embedded Systems (FEmSys '99)
• April, 12 [San Juan, Puerto Rico] Formal Methods for Parallel Programming: Theory and Applications FMPPTA'99
• May, 1-4 [Atlanta, Georgia, USA] ACM Symposium on Theory of Computing (STOC'99)
• June, 1-4 [Warsaw, Poland] European Simulation Multiconference ESM
• June, 7-10 [Nancy, France] Tools Europe '99
• June, 21-23 [Colmar, France] International IEEE Conference on ATM (ICATM)
• Part of Federated Logic Conference (FLoC'99):
  • July, 2 - 4 [Trento, Italy] Tenth International Conference on Rewriting Techniques and Applications (RTA'99)
  • July 2 - 5 [Trento, Italy] Logic in Computer Science (LICS)
  • July 6 [Trento, Italy] Symbolic Model Checking Workshop (SMC99)
  • July, 7-10 [Trento, Italy] Conference on Computer-Aided Verification (CAV'99)
  • July, 7-10 [Trento, Italy] 16th International Conference on Automated Deduction (CADE'99)
• August, 24-27 [Eindhoven, The Netherlands] http://www.win.tue.nl/concur99/
• September, 2-3 [Iasi, Romania] Workshop on Distributed Systems - WDS'99 (Satellite workshop to FCT'99)
• September, 3-6 [Pacific Grove, California] First International Workshop on Rewriting Logic and its Applications (RWLRW)
• September, 6-10 [Toulouse, France] 7th European Software Engineering Conference (ESEC) and 7th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE-7)
• September, 15-18 [Bonas, France] Workshop on Algebraic Development (WAD ' 98)
• September 14-17 [Nice, France] Theorem Proving in Higher Order Logics (TPHOLs'99)
• September 20-24 [Toulouse, France] World Congress on Formal Methods FM'99
  in collaboration with this: PVS User Group Meeting
• September 20-15 [Madrid, Spain] Annual Conference of the European Association for Computer Science Logic (CSL'99)
• September 27-29 [Bad Herrenalb, Germany] Conference on Correct Hardware Design and Verification Methods CHARME'99
• September 28 [ Paris, France] Workshop on Logical Frameworks and Meta-languages (LFM'99)
• October 5-8 [Beijing, China] Formal Description Techniques For Distributed Systems and Communication Protocols & Protocol Specification, Testing, And Verification FORTE/PSTV '99
• October 6-8 [Uppsala University, Sweden] 11th Nordic Workshop on Programming Theory (NWPT'99)
• October, 11-15 [Alexandria, Virginia, USA] International Conference on Principles and Practice of Constraint Programming (CP'99)
• October, 11-15 [Aarhus, Denmark] Second Workshop and Tutorial on Practical Use of Coloured Petri Nets and Design (CPN'99)
• October 16 [Alexandra, Virginia] International Workshop on "REAL-TIME CONSTRAINTS" (RTC'99)
• October 17-19 [New York City, NY] Symposium on Foundations of Computer Science (FOCS'99)
• October 17-21 [Redondo Beach, CA, USA] The Engineering of Industrial Strength REAL-TIME Software & DISTRIBUTED Systems Using Ada and Related Technologies (SIGAda'99)
• October 28-30 [Fort Collins, Colorado, USA] Unified Modeling Language UML'99
• December 1-3 [Phoenix, Arizona, USA] 20th IEEE Real-Time Systems Symposium (RTSS99)
• December 16-17 [Hong Kong, China] Pacific Rim International Symposium on Dependable Computing (PRDC 1999)

  2000

• January, 17 [University of York, UK] The Third Workshop on Rigorous Object Oriented Methods (ROOM 3)
• February 17-19 [Lille, France] 17th International Symposium on Theoretical Aspects of Computer Science (STACS'2000)
• March 19-24 [Monte Verita, Ticino, Switzerland] Abstract State Machine Workshop (ASM 2000)
• March 22-24 [Monastir, Tunisia] International Conference on Artificial and Computational Intelligence For Decision, Control and Automation In Engineering and Industrial Applications (ACIDCA'2000)
• March 22-24 [Nancy, France] Third International Workshop ``Frontiers of Combining Systems'' (FroCoS'2000)
• March 25-26 [TU Berlin, Germany] Workshop on Coalgebraic Methods in Computer Science (CMCS'2000)
• March 25-April 2 [Berlin, Germany] European Joint Conferences on Theory and Practice of Software (ETAPS):
  Encompassing
  • ESOP, FOSSACS, FASE, TACAS, and CC
• April 10-13 [Taipei, Taiwan] Distributed System Validation and Verification (DSVV'2000)
• May 5 [Cancun, Mexico] International Workshop on Formal Methods for Parallel Programming: Theory and Applications (FMPPTA'2000)
• June 13-15 [Hampton, Virginia, U.S.A.] Lfm2000: Fifth NASA LaRC Formal Methods Workshop
• June 18 [Budapest, Hungary] Workshop on Formal Techniques for Java Programs (in conjunction with ECOOP 2001)
• June 26-29 [Santa Barbara, California] Logic in Computer Science, LICS'2000
• June 26-30 [Ĺrhus, Denmark] 21st International Conference on Application and Theory of Petri Nets
• June 26-28 [Grenoble, France] 2nd Workshop on SDL and MSC (SAM 2000)
• June 29-July 1 [University of California, Santa Barbara, USA] International Static Analysis Symposium (SAS2000)
• July, 3-5 [St Andrews, Scotland] International Workshop on First-Order Theorem Proving (FTP'2000)
• July 4-7 [St Andrews, Scotland] Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2000)
• July 15 [Geneva, Switzerland] 8th International Workshop on Process Algebra and Performance Modelling (PAPM 2000)
• July 15-19 [Chicago, USA] Conference on Computer Aided Verification (CAV 2000)
• July 24-28 [Imperial College, London, UK] First International Conference on Computational Logic, (CL2000)
• August 14 - 18 [Portland, Oregon, USA] 13th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2000)
• August 17-19 [Tohoku University, Sendai, Japan] IFIP International Conference on Theoretical Computer Science (IFIP TCS2000)
• August 22-25 [State College, Pennsylvania] 11th International Conference on Concurrency Theory (CONCUR 2000)
• August 28 - September 1 [Bratislava, Slovak Republic] 25th International Symposium on Mathematical Foundations of Computer Science (MFCS 2000)
• August 29 - September 1 [Ottawa, Ontario, Canada] IFIP 13th International Conference on Testing of Communicating Systems (TestCom 2000)
• August 30 - September 1 [Stanford University California, USA] The 7th International SPIN Workshop on Model Checking of Software (SPIN 2000)
• September 18-19 [Dortmund, Germany] Automation of Mixed Processes: Hybrid Dynamic Systems (ADPM2000)
• October 10-13 [Pisa, Italy] IFIP TC6/WG6.1 Joint International Conference FORMAL DESCRIPTION TECHNIQUES for Distributed Systems and Communication Protocols (FORTE XIII) PROTOCOL SPECIFICATION, TESTING, AND VERIFICATION (PSTV XX)
• October 16-18 [Colmar, France] 1st IEEE European Conference on Universal Multiservice Networks IP Networks Versus Conventional Switched Networks (ECUMN'2000)
• November 1-3 [Austin Texas] Third International Conference on Formal Methods in Computer-Aided Design (FMCAD 2000)
• November 15-16 [Lyon, France] Workshop on Certified Arithmetic
• November 28-December 1 [Hong Kong, China] 12th International Symposium on Software Reliability Engineering (ISSRE 2001)
• December 11-13 [Hong Kong, China] 4th International Conference on Algroithms and Architectures for Parallel Processing (ICA3PP2000)
• December 13-15 [New Delhi, India] Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2000)

2001

• February 15-17 [Dresden, Germany] Symposium on Theoretical Aspects of Computer Science (STACS'2001)
• March 7-9 [Waseda University, Tokyo, Japan] Fifth International Symposium on Functional and Logic Programming (FLOPS 2001)
• March 12-16 [Berlin, Germany] Formal Methods Europe (FME 2001)
• March 21-23 [Munic, Germany] Formal Design of Safety Critical Embedded Systems (FEmSys '01)
• April 2-6 [Genova, Italy] European Joint Conferences on Theory and Practice of Software (ETAPS 2001):
  Encompassing
  • ESOP, FOSSACS, FASE, TACAS, and CC
    and Workshops (AVIS etc.)
• April 16-19 [Phoenix, Arizona, USA] 21st International Conference on Distributed Computing Systems (ICDCS-21)
• April 19-20 [Oxford, UK] Workshop on Automated Verification of Critical Systems (AVoCS'01)
• April, 23-27 [Hyatt Regency, San Francisco, USA] 6th International Workshop on Formal Methods for Parallel Programming: Theory and Applications (FMPPTA'2001)
• April 27 [San Francisco, California, USA] First International Workshop on Scheduling and Telecommunications (in conjunction with IPDPS - 23.04.01-27.04.01)
• May 19-21 [Toronto, Canada] The 8th International SPIN Workshop on Model Checking of Software (SPIN'2001)
• June 6-7 [Austin, Texas, USA] Microprocessor Test and Verification (MTV'02)
• June 11-13 [University of Skövde, Sweden] Seventh IEEE International Conference onEngineering of Complex Computer Systems (ICECCS 2001)
• June 16-19 [Boston, Massachusetts, USA] Sixteenth Annual IEEE Symposium on Logic in Computer Science (LICS'2001)
• June 18-22 [Eötvös Loránd University, Budapest, Hungary] Specification, Implementation and Validation of Object-oriented Embedded Systems (SIVOES'2001)
• June 18-23 [Siena, Italy] International Joint Conference on Automated Reasoning (IJCAR 2001)
  (Joint conference, formerly CADE, TABLEAUX, FTP)
  • June 18-19 [Sienna, Italy - in connection with IJCAR 2001] VERIFICATION WORKSHOP - What are the verification problems? What are the deduction techniques?
  • June 18 or 19 [Sienna, Italy - in connection with IJCAR 2001] Precise Modelling and Deduction for Object-Oriented Software Development (PMD'01)
  • June 18 or 19 [Sienna, Italy - in connection with IJCAR 2001] 4th International Workshop on Strategies in Automated Deduction (STRATEGIES 2001)
• June 24-26 [Aberystwyth] 3rd SAM (SDL And MSC) Workshop Telecommunication and Beyond The broader applicability of SDL and MSC
• July 6-8 [Crete, Greece] Thirty-Third Annual ACM Symposium on Theory of Computing (STOC 2001)
• July 8-12 [Crete, Greece] Twenty - Eighth International Colloquium on Automata, Languages and Programming (ICALP 2001)
• July 16-18 [La Sorbonne, Paris, France] 8th International Static Analysis Symposium
• July 18-22 [Paris, France] Conference on Computer Aided Verification (CAV'01)
  • July 16-17 [Paris, France] 6th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2001)
• August 21-24 [Aalborg, Denmark] 12th International Conference on Concurrency Theory (CONCUR 2001)
• August 20-22 [Guilin, China] 7th Annual International Computing and Combinatorics Conference (COCOON'01)
• August 27-28 [Ĺrhus, Denmark] Workshop on Modelling of Objects, Components, and Agents (MOCA'01)
• September 3-6 [Edinburgh, Scotland] The 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2001)
• September 3-7 [Lyon, France] Forum on Design Languages (FDL'01)
• September 4-7 [Livingston, Scotland] 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME 2001)
• September 10 [Imperial College London] 1st U.K. ACM SIGDA Workshop on Electronic Design Automation
• September 10-13 [Paris, France] 15th Annual Conference of the European Association for Computer Science Logic (CSL 2001)
• October 1-5 [Toronto, Ontario, Canada] Fourth International Conference on the Unified Modeling Language (<<UML>> 2001)
• October 7-9 [Grenoble, France] 2nd Workshops on Embedded Software (EMSOFT'02)
• October 10-12 [DTU Lyngby] 13th Nordic Workshop on Programming Theory (NWPT'01)
• October 24-25 [Ĺrhus, Denmark] Theories of Computer-Mediated Work (after NordiCHI 2002)
• October 28-31 [Tohoku University, Sendai, Japan] International Symposium on Theoretical Aspects of Computer Software (TACS2001)
• November 26 - December 1 [Paphos, Cyprus] Seventeenth International Conference on Logic Programming (ICLP'01)
  Affiliated Workshops:
  • December 1 Constraint Logic Programming and Software Engineering (CLPSE'01)
• November 28-30 [Hong Kong, China] 12th International Symposium on Software Reliability Engineering (ISSRE'2001)
• November 29-30 [University of Amsterdam, Netherlands] Methods for Modalities 2 (M4M-2)
• December 4-7 [Orlando, Florida] 40th IEEE Conference on Decision and Control (CDC'01)
• December 17-19 [Seoul, Korea] International Workshop on Application of Reliable Computing and Communication (WARCC)(held along with IEEE 2001 Pacific Rim International Symposium on Dependable Computing (PRDC))

2002

• January 21-22 [Austin, Texas, USA] Microprocessor Test and Verification (MTV'02)
• March 14-16 [Antibes Juan-les-Pins, France] 19th International Symposium on Theoretical Aspects of Computer Science(STACS 2002)
• March 18-20 [Keio University, Mita Campus Tokyo, Japan] The 8th International Conference on Real-Time Computing Systems and Applications (RTCSA 2002)
• March 20-22 [Twente, Netherlands] Fifth IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'2002)
• April 6-14 [Grenoble, France] European Joint Conferences on Theory and Practice of Software (ETAPS'2002)
  Featuring
  • April 6 - 14 Fundamental Approaches to Software Engineering (FASE 2002)
  • April 8 - 12 International Conference on Compiler Construction (CC'2001)
  • April 6 - 14 Eighth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2002)
  • April 6 - 14 Foundations of Software Science and Computation Structures (FOSSACS'2002)
  • April 11-13 9th International SPIN Workshop on Model Checking of Software (SPIN'2002)
  • April 6-7 Theory and Practice of Timed Systems (TPTS'2002)
• April 8-10 [Santa Margherita (near Genova), Italy] Fourth International Workshop ``Frontiers of Combining Systems'' (FroCoS'2002)
• April 15-16 [Birmingham, UK] Second Workshop on Automated Verification of Critical Systems (AVoCS'02)
• May 19-21 [Montreal, Canada] 34th ACM Symposium on Theory of Computing (STOC2002)
• July 1-5 [Marseille, France] 10^th Symposium on the Integration of Symbolic Computation Systems and Mechanized Reasoning (CALCULEMUS 2002)
• 7-9 July [Manchester, UK] 9th International Symposium on Temporal Representation and Reasoning (TIME-2002)
• July 8-13 [Málaga, Spain] 29th annual meeting of the European Association of Theoretical Computer Science (ICALP 2002)
• Julz 12-13 [University of Málag, Spain] 7th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 02) ( Colocated with the 29th ICALP conference)
• July 27-30 [Copenhagen, Denmark] 18th International Conference on Automated Deduction (CADE-18) July 25, 26 and July 31, August 1 2002: workshops and tutorials
  • July 25 4th Workshop on Hybrid Logics (HyLo@LICS)
  • July 25-26 Verification Workshop (VERIFY'02)
• July 20 - August 1 [Copenhagen, Denmark] The 2002 Federated Logic Conference (FLoC'02)
  • July 20-24 [Copenhagen, Denmark] Formal Methods Europe (FME 2002)
  • July 27-31 [Copenhagen, Denmark] Conference on Computer-Aided Verification (CAV'02)
  • July 26 [Copenhagen, Denmark] Second Workshop on Runtime Verification (RV'02)
  • July 26 [Copenhagen, Denmark] Third International Workshop on Logical Frameworks and Meta-Languages (LFM'02)
  • July 27-31 [Copenhagen, Denmark] Conference on Automated Deduction (CADE-18)
• August 20-23 [Hampton, Virginia, USA] The 15th International Conference on Theorem Proving in Higher Order Logics (TPHOLs2002)
• August ?? [Montral, Canada] 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002 ) -- Foundations of Information Technology in the Era of Network and Mobile Computing
• August 20-23 [Brno, Czech Republic] 8th Annual International Computing and Combinatorics Conference (CONCUR'2002)
  Affiliated Workshops:
  • August 19 Parallel and Distributed Model Checking (PDMC 2002)
  • August 24 Second Workshop on Formal Approaches to Testing of Software (FATES'02)
• September 8 [Cornell University, Ithaca, NY, USA] International Workshop On Reformulating Constraint Satisfaction Problems: Towards Systematisation and Automation
• September 8-12 [University of Oldenburg, Germany] 7th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT 2002)
• September 9-13 [University of Essen, Germany] IEEE Joint Conference on Requirements Engineering (ICRE'02 and RE'02)
• September 17-20 [Madrid, Spain] 9th International Static Analysis Symposium (SAS'02)
• September 18-20 [Technical University of Madrid, Spain] International Workshop on Logic Based Program Development and Transformation (LOPSTR'02)
• September 28 [Atlanta, USA] 5th ACM International Workshop on Modeling, Analysis and Simulation of Wireless and Mobile Systems(In conjunction with ACM MobiCom 2002)
• September 30 - October 4 [Dresden, Germany] <<U M L>> 2002
  
  • September 30 [Dresden, Germany] Workshop on Critical Systems Development with UML
• October 5 [Pittsburgh, PA] The Third International Workshop on Verification and Computational Logic (VCL 2002) Held at the PLI 2002 Symposium
• October 11-13 [Barcelona, Spain] International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT '02)
• October 11-13 [Fort Worth, Texas USA] Sixth IEEE* International Workshop on Distributed Simulation and Real Time Applications (IEEE DS-RT '2002)
• October 22-24 [Kissiakoff Convention and Education Center, Laurel, MD] Verification and Validation Research in the Coming Decade (FOUNDATIONS '02) , see also call for tutorials .pdf
• October 27-31 [Irvine, CA] 21st Digital Avionics Systems Conference (DASC)
• November 4 [Seattle, Washington, USA] 2nd Workshop on Domain-Specific Visual Languages(in connection with OOPSLA)
• November 5-8 [Leiden, The Netherlands] First International Symposium on Formal Methods for Objects and Components (FMCO 2002)
• November 6-8 [Portland, Oregon, USA] Fourth International Conference on Formal Methods in Computer-Aided Design (FMCAD'02)
• November 11 -- 14 [Houston, Texas] Formal Methods for Protocol Engineering and Distributed System (FORTE 2002)
• November 12 [Seville, Spain] First Ibero-American Workshop on Automated Deduction and Artificial Intelligence, satellite event of the IBERAMIA 2002 conference
• November 12-15 [Annapolis, Maryland, USA] Thirteenth International Symposium on Software Reliability Engineering (ISSRE 2002)
• November 20-22 [Tallinn, Estonia] The 14th Nordic Workshop on Programming Theory (NWPT'02)

2003

• January 15-17 [New Orleans, Louisiana] 30th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 03)
• January 18 [New Orleans, Louisiana] The Tenth International Workshop on Foundations of Object-Oriented Languages (FOOL 10)
• February 12-14 [Vienna, Austria] International Conference on Computational Intelligence for Modelling, Control and Automation
• February 27 - March 1 [Berlin, Germany] 20th International Symposium on Theoretical Aspects of Computer Science (STACS 2003)
• March 12-14 [Boppard, Germany] First International Conference on Security in Pervasive Computing (SPC-2003)
• April 3-5 [Prague, The Czech Republic] Sixth International Workshop Hybrid Systems: Computation and Control (HSCC 2003)
• April 5-6 [Warsaw, Poland] 6-th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2003)
• April, 5-13 [WARSAW, POLAND] European Joint Conferences on Theory and Practice of Software (ETAPS 2003)
• May 5-8 [S. Margherita Ligure - Portofino, Italy] Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT-2003)
• May 9-10 [Portland, Oregon, USA] 10th International SPIN Workshop on Model Checking of Software (SPIN 2003)
• May 14-16 [Hakodate, Hokkaido, Japan] The 6th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2003)
• May 15-16 [Budapest, Hungary] Symposium on Formal Methods for Railway Operation and Control Systems (FORMS 2003)
• May 19-22 [Providence, Rhode Island, USA] The 23rd International Conference on Distributed Computing Systems (ICDCS 2003)
• June 5-7 [Trondheim, Norway] Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 03)
• June 11-13 [San Diego, California] 10th Annual International Static Analysis Symposium (SAS '03)
• June 22-25 [San Francisco, CA, USA] DSN-2003 Performance and Dependability Symposium (IPDS), the International Conference on Dependable Systems and Networks
• June 24-26 [Mont Saint-Michel, France] IEEE/ACM Methods and Models for Codesign (MEMOCODE 2003)
• June 30 - July 4 [Eindhoven, The Netherlands] Thirtieth International Colloquium on Automata, Languages and Programming (ICALP2003)
• July 8-12 [Boulder, Colorado, USA] 15th Computer-Aided Verification conference (CAV'03)
• July 13 [Boulder, Colorado, USA] Third Workshop on Runtime Verification (RV'03)
• July 14 [Boulder, Colorado, USA] Software Model Checking Workshop (CAV 2003 Satellite Event)
• July 28-August 2 [Miami, USA] The 19th International Conference on Automated Deduction (CADE 19)
  Workshops:
  • Model Computation - Principles, Algorithms, Applications
• September 3-5 [Marseille, France] 14th International Conference on Concurrency Theory (CONCUR 2003)
• September 8-12 [Rome, Italy] 16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003)
• September 22-26 [Almaty, Kazakhstan] International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2003)
• September 22-27 [Brisbane, Australia] International Conference on Software Engineering and Formal Methods
• September 23-26 [Frankfurt, Germany] Forum on Design and Specification Languages (FDL 03)
• September 23-26 [Edinburgh, Scotland] The 22nd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2003)
• September 25-26 [Beijing, China] Third International Conference on Quality Software (QSIC 2003)
• September 29 - October 2 [Berlin, Germany] The 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2003)
• September 30 - October 3 [Hong Kong, China] COMPSAC 2003: Design and Assessment of Trustworthy Software-Based Systems
• October 6 [Montreal, Canada] 3rd Int'l Workshop on Formal Approaches to Testing of Software (FATES 2003)
  In affiliation with the 18th IEEE Int'l Conference on Automated Software Engineering (ASE 2003)
• October 13-15 [Philadelphia, USA] 3rd International Conference on Embedded Software (EMSOFT 2003)
• October 20-24 [San Francisco, USA] <<U M L>> 2003, encompassing
  • October 21 Workshop on Critical Systems Development with UML
• October 21-24 [University of L'Aquila, L'Aquila, Italy] The 12th Advanced Research Working Conference on: Correct Hardware Design and Verification Methods (CHARME 2003)
• November 5-7 National University of Singapore [National University of Singapore] Fifth International Conference on Formal Engineering Methods (ICFEM 2003)
• November 17-20 [Denver, Colorado] Fourteenth International Symposium on Software Reliability Engineering (ISSRE 2003)
• December 3-5 [Cancun, Mexico] The 24th IEEE Real-Time Systems Symposium (RTSS 2003)

2004

• Deadline: January 12 [Journal] IEEE Real-Time and Embedded Technology and Applications Symposium
• January 12-15 [Schloss Dagstuhl, Germany] GI/Dagstuhl Research Seminar: Model-based Testing of Reactive Systems

Interesting Comissions, Schools & Similar

• International Association for Cryptologic Research (ICAR)
• RSA Data Security, Inc.
• August, 9-20 [Utrecht, Netherlands] 11th European Summer School in Logic, Language and Information (ESSLLI'99)
• August, 30-September 10 [Giens, France] Types Summer School'99: Theory and Practice of Formal Proofs
• International Summer School Marktoberdorf '99
• Graduierten-Kollegs in Germany
• 12th European Summer School in Logic, Language and Information (ESSLLI-2000)
• September 3-8, 2000 [Maratea, Italy] International Summer School on Computational Logic
• August 30 - September 7, 2000 [S.Miguel, Azores, Portugal] Summer School: Linear Logic in Computer Science
• 2001 March 4-9 [ Palmse, Estonia] 6th Estonian Winter School in Computer Science (EWSCS'01)
• July 1-14, 2001 [Lipari Island, Sicily] 13th International School for Computer Science Researchers
• July 24 - August 5 [Marktoberdorf, Germany] International Summer School: PROOF AND SYSTEM-RELIABILITY
• 2002 March 3-8 [Palmse, Estonia] 7th Estonian Winter School in Computer Science (EWSCS)
• 2002 June 17-21 [Nantes, France] 5th International Summer School on MOdelling and VErification of Parallel Processes (MOVEP'02)
• 2002 August 19-23 [Stockholm Archipelago] ARTES summerschool at KTH

                           ("`-/")_.-'"``-._
                           . . `; -._    )-;-,_`)
                           (v_,)'  _  )`-.\  ``-'
                            .- _..-_/ / ((.'
                           ((,.-'   ((,/