POP-related conferences (by conference dates)

Jan 3-6, 1995

28th Hawaii International Conference on System Sciences (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: ann, cfp), Nashville, Tennessee

Mar 2-4, 1995

12th Symposium on Theoretical Aspects of Computer Science (STACS-95: ann, cfp), 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: ann, 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: ann, 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: ann, 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: ann, cfp), Denver, Colorado

Apr 10-12, 1995

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

Apr 18-28, 1995

BRICS Workshop on Full Abstraction of PCF and Related Languages (FA-95: ann), Aarhus, Denmark

May 1-4, 1995

Conference on Symbolic Rewriting Techniques (SRT-95: ann, cfp), Monte Verita, Ticino, Switzerland

May 3-5, 1995

8th Int'l Symposium on Languages for Intensional Programming (ISLIP-95: cfp), Sydney, Australia
http://www.cs.utwente.nl/data/amast/links/v01/i03/full/ISLIPc.txt

May 11-12, 1995

Workshop on Generating Tools from Algebraic Specifications (ASF+SDF-95), Amsterdam, The Netherlands
http://www.cwi.nl/~gipe/asf+sdf95/

May 17-19, 1995

Journees Francophones de Programmation en Logique (JFPL-95: ann), Dijon, France

May 19-20, 1995

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

May 22-24, 1995

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

May 22-26, 1995

6th International Joint Conference on Theory and Practice of Software Development (TAPSOFT-95: ann, cfp), Aarhus, Denmark
http://www.brics.aau.dk/tapsoft/

May 24-27, 1995

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

May 24-27, 1995

1st International Spring School on Advanced Functional Programming Techniques (AFPT-95: ann), B\aastad, Sweden
http://www.cs.ruu.nl/people/erik/springschool.html

May 26-27, 1995

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

May 29-31, 1995

2nd International Workshop on Termination (WOT-95: cfp), La Bresse, France

May 29-31, 1995

1st International Workshop on Concurrent Constraint Programming (CCP-95: ann), Venice, Italy

May/Jun 29-1, 1995

ACM Symposium on Theory of Computing (STOC-95: ann), Las Vegas, Nevada

Jun 2-4, 1995

Foundational Methods in Computer Science (FMCS-95: cfp), Alberta, Canada

Jun 13-16, 1995

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

Jun 15-18, 1995

2nd Workshop on Non-Standard Logic and Logical Aspects of Computer Science (NSL-95: cfp), Irkutsk, Russia

Jun 17/18, 1995

Post-ICLP'95 Workshop on Abstract Interpretation of Logic Languages (AILL-95: cfp), Kanagawa, Japan

Jun 18-19, 1995

Special Workshop on Abstract Interpretation of Logic Languages (SWAILL-95: cfp), Eilat, Israel

Jun 21-22, 1995

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

Jun 21-23, 1995

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

Jun 21-23, 1995

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

Jun 26-28, 1995

ACM SIGPLAN'95 Conference on Functional Programming Languages and Computer Architecture (FPCA-95: ann, 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: ann, 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: ann, cfp), Liege, Belgium

Jul 3-7, 1995

4th International Conference on Algebraic Methodology and Software Technology (AMAST-95: ann, cfp), Montreal, Canada
http://www.cs.utwente.nl/data/amast/amast95

Jul 3-7, 1995

Summer School on Partial Evaluation (SSPE-95: ann), Rennes, France

Jul 5-8, 1995

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

Jul 10-12, 1995

International Symposium on Symbolic and Algebraic Computation (ISSAC-95: ann), Montreal, Canada

Jul 10-14, 1995

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

Jul 17-21, 1995

Fuji International Workshop on Functional and Logic Programming (Fuji-95: cfp), Fuji Susono, Japan

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 17-21, 1995

Themes in the Semantics of Computation (TSC-95: ann), Cambridge, UK

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

Jul 26-28, 1995

2nd Workshop on Logic, Language, Information and Computation (WoLLIC-95: cfp), Recife, Brazil

Jul/Aug 31-3, 1995

Syntactic Control of Interference and Linear Logic (SCILL-95), Glasgow, Scotland

Jul/Aug 31-4, 1995

Technology of Object-Oriented Languages and Systems (TOOLS-95: cfp), Santa Barbara, California
http://tools.fiu.edu/tools.html

Aug 7-10, 1995

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

Aug 7-10, 1995

European Conference on Object-Oriented Programming (ECOOP-95: ann), Aarhus, Denmark

Aug 10-17, 1995

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

Aug 14-18, 1995

Advances in Type Systems for Computing (ATSC-95: cfp), Cambridge, UK

Aug 16-18, 1995

4th Workshop on Algorithms and Data Structures (WADS-95: cfp), Kingston, Ontario, Canada

Aug 19-21, 1995

Workshop on Executable Temporal Logics (ETL-95: cfp), Montreal, Canada
http://www.doc.mmu.ac.uk/RESEARCH/extol95.html

Aug 20-23, 1995

14th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC-95: ann, 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: ann, cfp), Philadelphia, Pennsylvania

Aug 21-24, 1995

Constraint Based Formalisms and Grammar Writing (CBFGW-95: cfp), Barcelona, Spain

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: ann, cfp), Prague, Czech Republic

Aug/Sep 28-1, 1995

Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA-95: ann, cfp), Volterra, Italy

Sep 2-3, 1995

5th Eurographics Workshop on Programming Paradigms in Graphics (PPG-95: cfp), Maastricht, The Netherlands

Sep 4-6, 1995

2nd Conference on the Mathematics of Dependable Systems (MDS-95: cfp), York, England

Sep 11-14, 1995

Workshop: Computational Propositional Logic (CPL-95: cfp), Bielefeld, Germany

Sep 11-14, 1995

8th International Workshop on Higher Order Logic: Theorem Proving and its Applications (HOL-95: cfp), Aspen Grove, Utah

Sep 13-15, 1995

Workshop on the Implementation of Functional Languages (IFL-95: cfp), G\"oteborg, Sweden

Sep 18-21, 1995

1995 Joint Conference on Declarative Programming (GULP-PRODE-95: ann, cfp), Marina di Vietri, Italy

Sep 19-22, 1995

International Conference on Principles and Practice of Constraint Programming (CP-95: ann, 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: ann, cfp), Utrecht, the Netherlands

Sep 20-22, 1995

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

Sep 21-22, 1995

2nd International Workshop on Higher-Order Algebra, Logic and Term Rewriting (HOA-95: cfp), Paderborn, Germany
http://www.cwi.nl/~gipe/announcements.html

Sep 21-23, 1995

Workshop on Model Theory and Complexity (MTC-95: cfp), Sevilla, Spain

Sep 22-29, 1995

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

Sep 23, 1995

1995 COMPULOG-NET Workshop and Area Meeting on Parallelism and Implementation Technology (PIT-95: ann, cfp), Utrecht, the Netherlands

Sep 25-27, 1995

International Static Analysis Symposium (SAS-95: ann, cfp), Glasgow, Scotland
http:/www.cl.cam.ac.uk/users/am/sas-95

Sep 25-29, 1995

A Newton Institute Summer School: Semantics and Logics of Computation (SLC-95: ann), Cambridge, UK

Sep 27-29, 1995

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

Sep 27-29, 1995

11. Workshop Logische Programmierung (WLP-95: cfp) [English version in (LPW-95: ann, cfp)], Wien, Austria

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

Oct 19-20, 1995

8th Symposium and Exhibition on Industrial Applications of Prolog (INAP-95: ann, cfp), Tokyo, Japan

Oct 19-22, 1995

The Tbilisi Symposium on Language, Logic and Computation (TSLLC-95: ann, cfp), Tbilisi, Republic of Georgia
ftp:ftp.cogsci.ed.ac.uk/pub/tbilisi

Oct 22-23, 1995

IEEE Symposium on Foundations of Computer Science (FOCS-95: cfp), Milwaukee
http://www.cs.uwm.edu/public/focs95/index.html

Oct 28, 1995

Midwest Society for Prog. Lang. and Systems Fall 1995 Workshop (MSPLAS-95: cfp), Chicago, Illinois
http://www.math.luc.edu/~laufer/mspls/

Nov 1-3, 1995

7th Nordic Workshop on Programming Theory (NWPT-95: cfp), Goteborg, Sweden

Nov 6-10, 1995

A Newton Institute Workshop: Games, Processes and Logic (GPL-95: ann), Cambridge, UK

Nov 20-24, 1995

Workshop on New Connections between Mathematics and Computer Science (NCMCS-95: cfp), Cambridge, UK

Nov/Dec 25-2, 1995

XXII. International Winter School on Theoretical and Practical Aspects of Computer Science (SOFSEM-95: cfp), Milovy, Czech Republic

Nov/Dec 29-1, 1995

International Workshop on Oz Programming (WOz-95: cfp), Martigny, Valais, Switzerland

Dec 4-6, 1995

Symposium on Functional Programming Languages in Education (FPLE-95: ann, cfp), Nijmegen-Plasmolen, The Netherlands

Dec 4-7, 1995

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

Dec 7, 1995

Visions for the Future of Logic Programming: Laying the Foundation for a Modern Successor to Prolog (VISIONS-95: cfp), Portland, Oregon
http://www.cs.waikato.ac.nz/~dsmith/visions.html

Dec 8, 1995

Post-Conference Workshop on Constraints, Databases and Logic Programming (CDLP-95: cfp), Portland, Oregon

Dec 8, 1995

Post-Conference Workshop on Parallel Logic Programming Systems (PLPS-95: cfp), Portland, Oregon

Dec 8, 1995

Workshop on Sequential Implementation Technologies for Logic Programming Languages (SITLPL-95: cfp), Portland, Oregon

Dec 8, 1995

Operational & Denotational Semantics of Logic Programming: Extending Proof- and Model-theoretic Analyses (ODSLPEPMA-95: ann, cfp), Portland, Oregon

Dec 8, 1995

7th Workshop on Logic Programming Environments (WLPE-95: ann, cfp), Portland, Oregon
http://www.cs.usask.ca/projects/envlop/wlpe-95.html

Dec 6-8, 1995

1st AMAST Workshop on Language Processing: Algebraic Methods in Language Processing (AMLP-95: ann), Enschede, the Netherlands

Dec 11-13, 1995

1995 Asian Computing Science Conference (ACSC-95: cfp), Pathumthani, Thailand

Dec 18-20, 1995

15th Conference on the Foundations of Software Technology and Theoretical Computer Science (FST+TCS-95), Bangalore, India

Dec 25-28, 1995

1st Annual CSI Computer Conference (CSICC-95: cfp), Tehran, Iran