POP-related conferences (by submission deadline)

Jan 5, 1994

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

Jan 5, 1994

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

Jan 10, 1994

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

Jan 10, 1994

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

Jan 12, 1994

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

Jan 14, 1994

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

Jan 14, 1994

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

Jan 14, 1994

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

Jan 15, 1994

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

Jan 15, 1994

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

Jan 17, 1994

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

Jan 17, 1994

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

Jan 21, 1994

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

Feb 4, 1994

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

Feb 4, 1994

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

Feb 7, 1994

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

Feb 14, 1994

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

Feb 15, 1994

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

Feb 15, 1994

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

Feb 15, 1994

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

Feb 21, 1994

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

Feb 21, 1994

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

Feb 25, 1994

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

Feb 25, 1994

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

Feb 25, 1994

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

Feb 25, 1994

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

Feb 28, 1994

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

Feb 28, 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

Feb 28, 1994

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

Feb 28, 1994

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

Mar 1, 1994

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

Mar 1, 1994

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

Mar 4, 1994

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

Mar 4, 1994

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

Mar 11, 1994

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

Mar 15, 1994

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

Mar 15, 1994

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

Mar 15, 1994

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

Mar 15, 1994

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

Mar 21, 1994

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

Mar 25, 1994

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

Mar 25, 1994

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

Mar 25, 1994

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

Mar 28, 1994

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

Mar 28, 1994

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

Mar 28, 1994

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

Mar 31, 1994

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

Mar 31, 1994

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

Apr 2, 1994

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

Apr 8, 1994

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

Apr 8, 1994

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

Apr 8, 1994

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

Apr 8, 1994

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

Apr 14, 1994

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

Apr 15, 1994

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

Apr 15, 1994

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

Apr 15, 1994

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

May 1, 1994

Journal of Computer & Software Engineering Special Issue on Parallel Algorithms & Architectures (JCSE-PAA: CFP)

May 3, 1994

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

May 6, 1994

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

May 6, 1994

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

May 8, 1994

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

May 13, 1994

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

May 15, 1994

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

May 15, 1994

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

May 16, 1994

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

May 16, 1994

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

May 20, 1994

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

Jun 6, 1994

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

Jun 17, 1994

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

Jun 30, 1994

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

Jun 30, 1994

Journal of Functional Programming Special issue on state-of-the-art applications of pure functional programming languages (JFP-AFP: cfp)

Jul 1, 1994

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

Jul 8, 1994

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

Jul 15, 1994

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

Jul 15, 1994

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

Jul 22, 1994

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

Jul 30, 1994

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

Aug 1, 1994

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

Aug 15, 1994

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

Aug 26, 1994

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

Aug ??, 1994

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

Sep 1, 1994

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

Sep 1, 1994

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

Sep 5, 1994

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

Sep 5, 1994

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

Sep 8, 1994

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

Sep 30, 1994

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

Sep 30, 1994

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

Oct 1, 1994

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

Oct 5, 1994

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

Oct 7, 1994

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

Oct 10, 1994

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

Oct 10, 1994

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

Oct 15, 1994

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

Nov 1, 1994

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

Nov 4, 1994

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

Nov 10, 1994

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

Nov 15, 1994

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

Nov 15, 1994

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

Nov 16, 1994

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

Dec 1, 1994

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

Dec 1, 1994

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

Dec 1, 1994

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

Dec 7, 1994

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

Dec 14, 1994

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

Dec 16, 1994

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

Dec 19, 1994

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

Dec 31, 1994

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

Jan 9, 1995

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

Jan 10, 1995

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

Jan 15, 1995

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

Jan 15, 1995

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

Jan 20, 1995

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

Jan 23, 1995

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

Jan 27, 1995

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

Feb 1, 1995

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

Feb 1, 1995

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

Feb 1, 1995

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

Feb 10, 1995

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

Feb 10, 1995

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

Feb 13, 1995

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

Mar 1, 1995

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

Mar 1, 1995

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

Mar 1, 1995

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

Mar 6, 1995

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

Mar 6, 1995

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

Mar 15, 1995

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

Apr 1, 1995

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

Apr 24, 1995

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

Apr 30, 1995

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

Apr 30, 1995

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

May 1, 1995

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

May 1, 1995

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

May 25, 1995

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

Jan , 1996

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