POP-related conferences (by conference dates)

Jan 4-7, 1994

27th Hawaii International Conference on System Sciences (HICSS-27: cfp), Maui, Hawaii

Jan 5-7, 1994

7th SEI Conference on Software Engineering Education (SEI-94: cfp), San Antonio, Texas

Jan 5-7, 1994

6th Refinement Workshop Theory and Practice of Formal Software Development (FACS-94: ann, cfp), London, U.K.

Jan 12-14, 1994

Massey Functional Programming Workshop 1994 (MFPW-94: cfp), Palmerston North, New Zealand

Jan 14, 1994

Groningen Computer Science Conference for Students (GRONICS-94: cfp), Groningen, the Netherlands.

Jan 16-19, 1994

21st Annual ACM SIGPLAN--SIGACT Symposium on Principles Of Programming Languages (POPL-94: ann, cfp), Portland, Oregon

Jan 19-21, 1994

17th Annual Computer Science Conference (ACSC-17: cfp), Christchurch, New Zealand

Jan 26, 1994

3. Danske Seminar om Anvendt Matematisk Logik (ALM-94: cfp), Datalogisk Institut ved Københavns Universitet

Feb 17-18, 1994

mini-workshop on Constraints for Program Analysis (CPA-94: ann, cfp), Aarhus, Denmark

Feb 24-26, 1994

11th Symposium on Theoretical Aspects of Computer Science (STACS-94: cfp), Caen, France

Mar 2-4, 1994

Conference on Programming Languages and System Architectures (PLSA-94: ann, cfp), Zurich, Switzerland

Mar 5-8, 1994

Association For Symbolic Logic Annual Meeting (ASL-94: ann), University of Florida

Mar 6-8, 1994

Symposium on Applied Computing (SAC-94: cfp), Phoenix, Arizona

Mar 6-8, 1994

SAC-94 Special Track on Programming Languages (SAC-PL-94: ann, cfp), Phoenix, Arizona

Mar 7-10, 1994

International Conference on Interval and Computer-Algebraic Methods in Science and Engineering (INTERVAL-94: cfp), St.Petersburg, Russia

Mar 7-11, 1994

Technology of Object-Oriented Languages and Systems (TOOLS-94: cfp), Versailles, France

Mar 8-10, 1994

ACM 1994 Computer Science Conference (CSC-94: ann, cfp), Phoenix, Arizona

Mar 10-11, 1994

Semantikgest"utzte Analyse, Entwicklung und Generierung von Programmen (SAEGP-94: cfp), Marburg, Germany

Mar 20-23, 1994

10th Workshop on the Mathematical Foundations of Programming Semantics (MFPS-94: cfp), Manhattan, Kansas

Mar 20-24, 1994

International Conference on Proof Theory, Provability Logic, and Computation (PPC-94: cfp), Berne, Switzerland

Mar 28-30, 1994

10th anniversary meeting of the British Colloquium for Theoretical Computer Science (BCTCS-10: cfp) Bristol, UK

Mar 28-30, 1994

Erlangen/Leipzig Workshop on Logic and Combinatorics of Unary Functions and Related Structures (LCUFRS-94: cfp), Leipzig, Germany

Mar 28-30, 1994

IEEE/USP International Workshop on High Performance Computing, Compilers And Tools (WHPC-94: ann), Sao Paulo, Brazil

Apr 5-8, 1994

Workshop on Proof Theory, Complexity, Metamathematics (PTCM-94: ann, cfp), Vienna, Austria

Apr 7-13, 1994

Colloquium on Trees in Algebra and Programming (CAAP-94: ann, cfp) European Symposium on Pprogramming (ESOP-94: ann, cfp) International Conference on Compiler Construction (CC-94: ann, cfp) Edinburgh, Scotland

Apr 11-12, 1994

Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice (AISB-94: cfp), Leeds, England

Apr 11-14, 1994

Third Maghrebian Conference on Software Engineering and Artificial Intelligence (MCSEAI-94: ann, cfp), Rabat, Morocco

Apr 14, 1994

1st International Workshop on Action Semantics (AS-94: ann, cfp), Edinburgh, Scotland

Apr 19-21, 1994

International Symposium on Theoretical Aspects of Computer Software (TACS-94: ann, cfp), Sendai, Japan

Apr 20-22, 1994

Data Parallel Languages and Compilers for Portable Parallel Computing (DPLCPPC-94: ann), Villeneuve d'Ascq, France

Apr 23, 1994

30th Midwest Theory Day at Butler University (WTC-94: ann), Indianapolis Indiana

Apr 25-30, 1994

IFIP WG10.3 Working Conference on Programming Environments for Massively Parallel Distributed Systems (PEMPDS-94: cfp), Monte Verita, Ascona, Switzerland

Apr 26-29, 1994

8th International Parallel Processing Symposium (IPPS-94: ann, cfp), Cancun, Mexico

Apr 26-29, 1994

2nd International Conference on The Practical Applications of PROLOG (PAP-94: cfp), London, England

Apr 26-30, 1994

International Conference on Logic and Algebra dedicated to Roberto Magari, on his 60th Birthday (MAGCONF-94: cfp), Pontignano [Siena], Italy

May 2-4, 1994

2nd Workshop on Principles and Practice of Constraint Programming (PPCP-94: cfp), Orcas Island, Washington

May 4-6, 1994

3rd Workshop on Theorem Proving with Analytic Tableaux and Related Methods (TPAT-94: cfp), Abingdon, U.K.

May 16-17, 1994

Workshop on Algebra of Communicating Processes (ACP-94: cfp), Utrecht, The Netherlands

May 16-19, 1994

IEEE International Conference on Computer Languages (ICCL-94: ann, cfp), Tolouse, France

May 17, 1994

Workshop on Programming Paradigms for Artificial Intelligence (PPAI-94: cfp), Banff, Alberta, Canada

May 23-25, 1994

26th Symposium on Theory Of Computing (STOC-94: cfp, papers), Montreal, Canada

May 25-27, 1994

Workshop Logik in der Informatik (WLI-94: ann), Paderborn, Germany

May 26-28, 1994

6th International Conference on Computing and Information (ICCI-94: ann, cfp), Peterborough, Canada

May 31, 1994

Workshop Complexity Theory, Data Structures, and Eff. Algorithms (KDEA-94: cfp), Paderborn, Germany

Jun 1-3, 1994

Nordic Workshop on Programming Environment Research (NWPER-94: cfp), Lund, Sweden

Jun 5-8, 1994

Combinatorial Pattern Matching (CPM-94: cfp, papers), Asilomar, California

Jun 5-17, 1994

International Summer School on Distributed Algorithms, (SSDA-94: ann), Siena, Italy

Jun 6-10, 1994

IFIP Working Conference on Programming Concepts, Methods and Calculi (PROCOMET-94: cfp), San Miniato, Italy

Jun 10-11, 1994

Important Results and Trends in Theoretical Computer Science (IRTTCS-94: ann), Graz, Austria

Jun 12-15, 1994

Conference on Information-Oriented Approaches to Logic, Language and Computation (STA-94: cfp), Moraga, California

Jun 13-17, 1994

Parallel Architectures and Languages Europe (PARLE-94: cfp), Athens, Greece

Jun 13-18, 1994

International Conference on Logic Programming (ICLP-94: ann, cfp), Santa Margherita Ligure, Italy

Jun 13-23, 1994

Summer course in Finite Model Theory (FMT-94: ann), Wienna, Austria

Jun 17, 1994

ICLP-Workshop on Proof-Theoretical Extensions to Logic Programming (ICLP-PTELP-94: cfp), Santa Margherita Ligure, Italy

Jun 17-18, 1994

ICLP-Workshop on Deductive Databases and Logic Programming (ICLP-DDLP-94: cfp), Santa Margherita Ligure, Italy

Jun 17-18, 1994

ICLP-Workshop on Integration of Declarative Paradigms (ICLP-IDP-94: ann, cfp), Santa Margherita Ligure, Italy

Jun 17-18, 1994

ICLP-Workshop on Non-monotonic Extensions of Logic Programming (ICLP-NMELP-94: cfp), Santa Margherita Ligure, Italy

Jun 17-18, 1994

ICLP-Workshop on Applications of Logic Programming to Software Engineering (ICLP-ALPSE: cfp), Santa Margherita Ligure, Italy

Jun 16-18, 1994

20th International Workshop on Graph-Theoretic Concepts in Computer Science (WG-94: cfp, papers), Herrsching, Germany

Jun 19-21, 1994

4th International Workshop on Meta-Programming in Logic (META-94: ann, cfp), Pisa, Italy

Jun 20-21, 1994

Workshop Meta Programming in Logic (META-94: ann, cfp) and Workshop on Logic Program Synthesis ond Transformation (LOPSTR-94: ann), Pisa, Italy.

Jun 20-24, 1994

ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI-94: ann, cfp), Orlando, Florida

Jun 21, 1994

ACM SIGPLAN Workshop on Language, Compiler and Tool Support for Real-Time Systems (LCTSRTS-94: ann, cfp), Orlando, Florida

Jun 21-24, 1994

Conference on Computer-Aided Verification (CAV-94: ann, cfp), Stanford CA, USA

Jun 25, 1994

ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM-94: ann, cfp), Orlando, Florida

Jun 25, 1994

8th International Workshop on Unification (UNIF-94: cfp), Val d'Ajol France

Jun 25-26, 1994

ACM SIGPLAN Workshop on ML and its Applications (ML-94: ann, cfp), Orlando, Florida

Jun 26, 1994

Workshop on Proof Search in Type-Theoretic Languages (PSTTL-94: cfp), Nancy, France

Jun 27, 1994

Workshop on Theory Reasoning in Automated Deduction (TRIAD-94: cfp), Nancy, France

Jun 27, 1994

Workshop on Automation of Proof by Mathematical Induction (APMI-94: cfp), Nancy, France

Jun 27, 1994

Workshop on Evaluation of Automated Theorem Proving Systems(EATPS-94: cfp), Nancy, France

Jun 27-29, 1994

ACM Conference on Lisp and Functional Programming (LFP-94: ann, cfp), Orlando, Florida

Jun 27-29, 1994

6th Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA-94: cfp), Cape May, New Jersey

Jun/Jul 27-1, 1994

Logic and Computer Science (LACS-94: cfp), Luminy, France

Jun/Jul 27-1, 1994

Colloquium: Logic and Computer Science Around the 42nd Parallel (LCA42P-94: ann), Marseilles, France

Jun/Jul 28-1, 1994

12th International Conference on Automated Deduction (CADE-94: cfp), Nancy, France

Jul 4, 1994

Workshop on Logical Foundations of ObjectOriented Programming in connection with ECOOP'94 (LFOOP-94: cfp), Bologna, Italy

Jul 4-7, 1994

9th Annual IEEE Symposium on Logic In Computer Science (LICS-94: ann, cfp), Paris, France

Jul 4-8, 1994

Workshop on Orders, Algorithms and Applications (ORDAL-94: ann, cfp), Lyon, France

Jul 4-8, 1994

8th European Conference on Object-Oriented Programming (ECOOP-94: ann, cfp), Bologna, Italy

Jul 4-15, 1994

2nd International Summer School in Logic for Computer Science, Automated Deduction (AD-94: ann), Chamb\'ery, France

Jul 5-9, 1994

Summer School on Partial Evaluation (PE-94: ann), Pittsburgh, Pennsylvania

Jul 6-7, 1994

Advanced Course on Languages, Compilers, and Programming Environments for Scalable Parallel Computers (LCPESPC-94: ann), Vienna, Austria

Jul 6-8, 1994

4th Scandinavian Workshop on Algorithm Theory (SWAT-94: ann, cfp), Aarhus, Denmark

Jul 11-13, 1994

Introduction to Theorem Proving, using "Isabelle" (Isabelle-94: ann), Cambridge, UK

Jul 11-14, 1994

Symposium on Logical Foundations of Computer Science (LFCS-94: cfp), St. Petersburg, Russia

Jul 11-17, 1994

ALgebraic Logic and the Methodology Of Applying It (ALMOAI-94: ann), Budapest, Hungary

Jul 13-15, 1994

4th International Workshop on Conditional (and Typed) Term Rewriting Systems (CTRS-94: cfp), Jerusalem, Israel

Jul 16-21, 1994

5th International Conference on Logic Programming and Automated Reasoning (LPAR-94: ann, cfp), Kiev, Ukraine

Jul 19, 1994

A# Programming Language Workshop (A#-94: ann), Oxford, UK

Jul 20-22, 1994

International Symposium on Symbolic and Algebraic Computation (ISSAC-94: cfp), Oxford, UK

Jul 21-30, 1994

Logic Colloquium '94 (LC-94: ann), Clermont-Ferrand, France

Jul 28-30, 1994

Workshop on Logic, Language, Information and Computation (WoLLIC-94: ann, cfp), Recife, Brazil

Aug 8, 1994

Workshop on Constraint Processing (WCP-94: cfp), Amsterdam, The Netherlands

Aug 8-19 1994

6th European Summer School in Logic, Language and Information (LLI-94: ann), Copenhagen, Denmark

Aug 14-17, 1994

ACM Symposium on Principles of Distributed Computing (PODC-94: ann, cfp), Los Angeles, USA

Aug 15-18, 1994

Complexity Theory: Present and Future (COMPLEXITY-94: ann), Aarhus, Denmark

Aug 15-19, 1994

4th International Lisp Users and Vendors Conference (LUV-94: ann), Berkeley, California

Aug 20-28, 1994

Algorithms in Fundamental Mathematics (AFM-94: cfp), Nizhny Novgorod, Russia

Aug 22-25, 1994

5th International Conference on Concurrency Theory (CONCUR-94: ann, cfp), Uppsala, Sweden

Aug 22-26, 1994

19th International Symposium on Mathematical Foundations of Computer Science (MFCS-94: ann, cfp), Kosice, Slovakia

Aug 24-26, 1994

Working Conference on Parallel Architectures and Compilation Techniques (PACT-94: cfp), Montreal, Canada

Aug 24-26, 1994

Nordic Seminar on Dependable Computing Systems (NSDCS-94: ann, cfp), Lyngby, Denmark

Aug 25-27, 1994

5th Annual International Symposium on Algorithms and Computation (ISAAC-94: cfp), Beijing, China

Aug/Sep 28-2, 1994

13th World Computer Congress, IFIP 94, Track 4: Foundations of Computer Science (WCC-T4-94: cfp), Hamburg, Germany

Sep 5-8, 1994

4th European Workshop on Logics in AI (JELIA-94: ann, cfp), York, England

Sep 6-8, 1994

International Conferences on Parallel Processing CONPAR 94 - VAPP VI (CONPAR-94: ann, cfp), Linz, Austria

Sep 7-9, 1994

1st International Conference on Constraints in Computational Logics (CCL-94: ann, cfp), Munich, Germany

Sep 7-9, 1994

Implementation of Functional Languages 94, 6th International Workshop (IFL-94: ann), Norwich, UK

Sep 14-16, 1994

4th International Conference on Algebraic and Logic Programming (ALP-94: ann, cfp) and 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP-94: ann, cfp), Madrid, Spain

Sep 14-17, 1994

EC Workshop on Proof Theory and Computation (WPTC-94: ann), Leeds, UK

Sep 15-17, 1994

The Foundational Debate, Complexity and Constructivity in Mathematics and Physics (FD-94: ann), Vienna, Austria

Sep 19-22, 1994

7th International Workshop on Higher Order Logic Theorem Proving and its Applications (HOLTPA-94: cfp), Valetta, Malta

Sep 19-23, 1994

International Conference on Software Maintenance and Tools Fair (ICSM-94: cfp), Victoria, British Columbia, Canada

Sep 19-23, 1994

3rd International School and Symposium, Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFTS-94: cfp), Luebeck, Germany

Sep 19-30, 1994

Advanced School on Typed Lambda Calculus and Functional Programming (TLCFP-94: ann), Udine, Italy

Sep 26-27, 1994

7th International Symposium on Lucid and Intensional Programming (ISLIP-94: ann, cfp), Menlo Park, California

Sep 26-28, 1994

2nd Annual European Symposium on Algorithms (ESA-94: ann, cfp), Utrecht, The Netherlands

Sep 26-28, 1994

1st International Symposium on Parallel Symbolic Computation (PASCO-94: ann, cfp), Linz, Austria

Sep 26-28, 1994

Workshop on Logic, Structures and Syntax (LSS-94: ann), Amsterdam, The Netherlands

Sep 26-30, 1994

1994 Annual Conference of the European Association for Computer Science Logic (CSL-94: cfp), Kazimierz, Poland

Sep/Oct 27-3, 1994

7th BANFF Higher Order Workshop, Logics for Concurrency: Structure vs Automata (BANFF-94: ann), Alberta, Canada

Sep 28-30, 1994

Joint Modular Languages Conference (JMLC-94: ann, cfp), Ulm, Germany

Sep 28-30, 1994

1st International Static Analysis Symposium (SAS-94: ann, cfp), Namur, Belgium

Oct 4-7, 1994

7th International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (FORTE-94: ann, cfp), Berne, Switzerland

Oct 5-7, 1994

10th Logic Programming Workshop (WLP-94: ann, cfp), Zurich, Switzerland

Oct 17-19, 1994

6th Nordic Workshop on Programming Theory (NWPT-94: cfp), Aarhus, Denmark

Oct 24-28, 1994

FME'94 Symposium: Industrial Benefit of Formal Methods (FME-94: ann, cfp), Barcelona, Spain

Oct 26-28, 1994

Usenix Symposium on Very High Level Languages (VHLL-94: cfp), Santa Fe, New Mexico

Oct 26-29, 1994

6th IEEE Symposium on Parallel and Distributed Processing (SPDP-94: cfp), Dallas, Texas

Oct 31-Nov 4, 1994

XIV International Conference of the Chilean Computer Science Society (SCCC-94: cfp), Concepcion, Chile

Nov 13-16, 1994

Joint Conference on Information Sciences (JCIS-94: cfp), Pinehurst, North Carolina

Nov 13-17, 1994

International Logic Programming Symposium (ILPS-94: ann, cfp), Ithaca, NY

Nov ?, 1994

Workshop on Constraint Languages/Systems and Their Use in Problem Modelling (ILPS-CL-94: cfp), Ithaca, NY

Nov ?, 1994

ILPS'94 Postconference Workshop on Implementation Techniques for Logic Programming Languages (ILPS-ITLPL-94: ann, cfp), Ithaca, NY

Nov 13-18, 1994

5th International Workshop on Graph Grammars and Their Application to Computer Science (GGTACS-94: cfp), Williamsburg, Virginia

Nov 20-25, 1994

1994 Symposium on Foundations of Computer Science (FOCS-94: ann, cfp), Santa Fe, New Mexico

Nov/Dec 27-9, 1994

XXI-st International Winter School on theoretical and practical aspects of computer science (SOFSEM-94: cfp), Milovy, Czech Republic

Dec 3-4, 1994

56th Peripatetic Seminar on Sheaves and Logic (PSSL-94: ann), Aarhus, Denmark

Dec 5-8, 1994

Workshop on Non-Standard Logics and Logical Aspects of Computer Science (NSL-94: cfp), Kanazawa, Japan

Dec 12-15, 1994

1994 International Computer Symposium (ICS-94: cfp), Hsinchu, Taiwan, Republic of China

Dec 15-17, 1994

14th Conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS-94: cfp), Madras, India

Jan 3-6, 1995

Parallel and Distributed Computing: Theory, Systems, and Applications (HICSS-28: cfp), Maui, Hawaii

Jan 4-6, 1995

3rd Israel Symposium on Theory of Computing and Systems (ISTCS-95: cfp), Tel Aviv, Israel

Jan 15-18, 1995

2nd International Conference on Electronic Hardware Description Languages (ICEHDL-95: cfp), Las Vegas, Nevada

Jan 22, 1995

2nd ACM SIGPLAN Workshop on State in Programming Languages (SIPL-95: ann, cfp), San Francisco, California

Jan 22, 1995

ACM SIGPLAN Workshop on Intermediate Representations (IR-95: cfp), San Francisco, California

Jan 23-25, 1995

22nd Annual ACM SIGPLAN-SIGACT Symposium on Principles Of Programming Languages (POPL-95: ann, cfp), San Francisco, California

Feb 26-28, 1995

1995 Symposium on Applied Computing, Special Track on Programming Languages (SAC-PL-95: cfp), Nashville, Tennessee

Mar 2-4, 1995

12th Symposium on Theoretical Aspects of Computer Science (STACS-95: cfp, papers), M\"unchen, Germany

Mar 15-17, 1995

Aizu International Symposium on Parallel Algorithm/Architecture Synthesis (pAs-95: cfp), Aizu-Wakamatsu, Japan

Mar 29-31, 1995

Machines et Calculs Universels [Universal Machines and Computations] (MCU-95: ann), Paris, France

Mar/Apr 29-1, 1995

11th Conference on the Mathematical Foundations of Programming Semantics (MFPS-95: cfp), New Orleans, Louisiana

Apr 2-3, 1995

9th International Workshop on Unification (UNIF-95: cfp), Sitges [Barcelona], Spain

Apr 2-5, 1995

British Colloquium on Theoretical Computer Science (BCTCS-11: cfp), Swansea, Wales, UK

Apr 3-7, 1995

2nd International Symposium Latin American Theoretical INformatics (LATIN-95: ann, cfp), Valpara'iso/Vi~na del Mar, Chile

Apr 5-7, 1995

6th International Conference on Rewriting Techniques and Applications (RTA-95: cfp), Kaiserslautern, Germany

Apr 5-7, 1995

Workshop on Industrial-strength Formal specification Techniques (WIFT-95: cfp), Boca Raton, Florida

Apr 9-11, 1995

Conference on High Performance Functional Computing (HPFC-95: cfp), Denver, Colorado

Apr 10-12, 1995

International Conference on Typed Lambda Calculi and Applications (TLCA-95: ann, cfp), Edinburgh, Scotland

May 19-20, 1995

Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-95: cfp), Aarhus, Denmark

May 22-24, 1995

3rd Workshop on Languages, Compilers, and Run-Time Systems for Scalable Computers (LCRTSSC-95: cfp), Troy, New York

May 22-26, 1995

6th International Joint Conference on Theory and Practice of Software Development (TAPSOFT-95: cfp), Aarhus, Denmark

May 24-27, 1995

Workshop on Logic, Domains, and Programming Languages (LDPL-95: cfp), Darmstadt, Germany

May 26-27, 1995

Workshop on Types for Program Analysis (TPA-95: cfp), Aarhus, Denmark

Jun 13-16, 1995

12th International Conference on Logic Programming (ICLP-95: cfp), Tokyo, Japan

Jun 19-23, 1995

ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM-95: cfp), La Jolla, California

Jun 21-22, 1995

ACM SIGPLAN Workshop on Languages, Compilers and Tools for Real-Time Systems (LCTRTS-95: cfp), La Jolla, California

Jun 21-23, 1995

ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI-95: cfp), La Jolla, California

Jun 26-28, 1995

ACM SIGPLAN'95 Conference on Functional Programming Languages and Computer Architecture (FPCA-95: cfp), La Jolla, California

Jun 26-28, 1995

3rd Logic Programming and Non-Monotonic Reasoning Conference (LP&NMR-95), Lexington, Kentucky

Jun 26-29, 1995

Conference on Object-Oriented Technologies (COOTS-95: cfp), Monterey, California

Jun 26-29, 1995

10th Annual IEEE Symposium on Logic In Computer Science (LICS-95: cfp), San Diego, California

Jun 27-29, 1995

International Conference on Parallel Architectures and Compilation Techniques (PACT-95: cfp), Limassol, Cyprus

Jul 3-6, 1995

Conference on Computer-Aided Verification (CAV-95: cfp), Liege, Belgium

Jul 3-7, 1995

4th International Conference on Algebraic Methodology and Software Technology (AMAST-95: cfp), Montreal, Canada

Jul 5-8, 1995

7th International Conference on Computing and Information (ICCI-95: cfp), Peterborough, Ontario, Canada

Jul 10-14, 1995

22nd International Colloquium on Automata, Languages, and Programming (ICALP-95: cfp), Szeged, Hungary

Jul 17-21, 1995

International Conference on The Mathematics of Program Construction (MPC-95: cfp), Kloster Irsee, Germany

Jul 17-21, 1995

2nd International Conference on Developments in Language Theory (DILT-95: cfp), Magdeburg, Germany

Jul 19-21, 1995

Symposium on Principles and Practice of Parallel Programming (PPoPP-95: cfp), Santa Barbara, California

Jul 19-21, 1995

4th International Conference for Young Computer Scientists (ICYCS-95: cfp), Beijing, P. R. China

Aug 7-10, 1995

Category Theory and Computer Science (CTCS-95: cfp), Cambridge, UK

Aug 10-17, 1995

Logic Colloquium 1995 (LC-95: cfp), [Haifa or Jerusalem], Israel

Aug 20-23, 1995

14th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC-95: cfp), Ottawa, Ontario, Canada

Aug 21-24, 1995

KGS-AILA Joint Meeting on Model Theory (KGS-AILA-95: cfp), Florence, Italy

Aug 21-24, 1995

6th International Conference on Concurrency Theory (CONCUR-95: cfp), Philadelphia, Pennsylvania

Aug 22-25, 1995

Fundamentals of Computation Theory (FCT-95: cfp), Dresden, Germany

Aug/Sep 25-6, 1995

International Summer School on Logic of Computation (Marktoberdorf-95: ann), Marktoberdorf, Germany

Aug/Sep 28-1, 1995

Mathematical Foundations of Computer Science (MFCS-95: cfp), Prague, Czech Republic

Sep 19-22, 1995

International Conference on Principles and Practice of Constraint Programming (CP-95: cfp), Marseille, France

Sep 19-23, 1995

11th ADT Workshop and 8th General Compass Meeting (ADT-95: cfp), Oslo, Norway

Sep 20-22, 1995

5th International Workshop on Logic Program Synthesis and Transformation (LOPSTR-95: cfp), Utrecht, the Netherlands

Sep 20-22, 1995

7th International Symposium on Programming Languages, Implementations, Logics and Programs (PLILP-95: cfp), Utrecht, the Netherlands

Sep 21-22, 1995

2nd International Workshop on Higher-Order Algebra, Logic and Term Rewriting (HOA-95: cfp), Paderborn, Germany

Sep 22-29, 1995

1995 Annual Conference of the European Association for Computer Science Logic (CSL-95: cfp), Paderborn, Germany

Sep 27-29, 1995

International Workshop on Memory Management (IWMM-95: cfp), Kinross, Scotland

Oct 9-12, 1995

Working Conference on Massively Parallel Programming Models (MPPM-95: cfp), Berlin, Germany

Oct 17-20, 1995

8th International IFIP Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (FORTE-95: cfp), Montre'al [Que'bec], Canada

Dec 4-7, 1995

International Logic Programming Symposium (ILPS-95: cfp), Portland, Oregon

Sep 2-6, 1996

IFIP 14th World Computer Congress (IFIP-96: cfp), Canberra, Australia