POP-related conferences (by submission deadline)

Jan 9, 1995

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

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: ann, cfp), Darmstadt, Germany

Jan 20, 1995

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

Jan 23, 1995

ACM SIGPLAN Workshop on Languages, Compilers and Tools for Real-Time Systems (LCTRTS-95: ann, 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 1, 1995

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

Feb 1, 1995

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

Feb 10, 1995

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

Feb 10, 1995

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

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

Feb 17, 1995

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

Feb 20, 1995

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

Feb 20, 1995

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

Feb 24, 1995

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

Feb 28, 1995

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

Mar 1, 1995

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

Mar 1, 1995

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

Mar 1, 1995

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

Mar 1, 1995

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

Mar 1, 1995

The Journal of Logic Programming, Special Issue on High Performance Implementations of Logic Programming Systems (JLP-HPILP: cfp)

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: ann, cfp), Utrecht, the Netherlands

Mar 13, 1995

Minitrack on Optimization in Parallelizing Compilers (HICSS-OPC-96: cfp), Maui, Hawaii

Mar 13, 1995

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

Mar 15, 1995

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

Mar 15, 1995

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

Mar 15, 1995

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

Apr 1, 1995

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

Apr 1, 1995

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

Apr 10, 1995

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

Apr 15, 1995

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

Apr 15, 1995

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

Apr 18, 1995

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

Apr 21, 1995

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

Apr 24, 1995

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

Apr 26, 1995

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

Apr 30, 1995

Logic Colloquium 1995 (LC-95: ann, 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
http://www.cwi.nl/~gipe/announcements.html

May 1, 1995

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

May 1, 1995

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

May 1, 1995

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

May 15, 1995

3rd Int'l Workshop on Deontic Logic in Computer Science (DEON-96: cfp), Lisbon, Portugal

May 15, 1995

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

May 17, 1995

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

May 22, 1995

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

May 25, 1995

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

May 31, 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

May 31, 1995

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

Jun 1, 1995

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

Jun 1, 1995

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

Jun 15, 1995

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

Jun 30, 1995

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

Jun 30, 1995

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

Jul 3, 1995

11. Workshop Logische Programmierung (WLP-95: cfp), Wien, Austria

Jul 9, 1995

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

Jul 15, 1995

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

Jul 15, 1995

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

Jul 19, 1995

Principles of Programming Languages (POPL-96), St.Petersburg Beach, Florida

Aug 14, 1995

1st Workshop on Formal Methods in Software Practice (FMSP-96: cfp), San Diego, California
http://xenon.stanford.edu/~sankar/fmw.html

Aug 18, 1995

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

Aug 28, 1995

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

Aug 29, 1995

Computing: The Australasian Theory Symposium (CATS-96: cfp), Melbourne, Australia
http://www.cs.mu.oz.au/conferences96/

Sep 1, 1995

ACM Symposium on Applied Computing [ACM SAC '96], Special Track on Programming Languages (SAC-PL-96: cfp), Philadelphia, Pennsylvania

Sep 1, 1995

1996 ACM Computer Science Conference (CSC-96: cfp), Philadelphia, Pennsylvania
http://www.acm.org/conferences/computing_week/cw96.html

Sep 4, 1995

4th International Conference on Software Reuse (ICSR-96: cfp), Orlando, Florida
http://www.cis.ohio-state.edu/icsr4

Sep 11, 1995

Industrial Benefit and Advances in Formal Methods (FME-96: cfp), Oxford, UK
ftp:lri.lri.fr/LRI/conferences/FME-96/CFP.ps Philadelphia, Pennsylvania

Sep 15, 1995

Journées Francophones des Langages Applicatifs (JFLA-96: cfp), Québec, Canada.
http://www.iro.umontreal.ca/labs/incognito/JFLA-96/annonce.html

Sep 15, 1995

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

Sep 18, 1995

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

Sep 19, 1995

International Conference on Compiler Construction + European Symposium on Programming + Colloquium on Trees in Algebra and Programming (CAAP+CC+ESOP-96), Linkoeping, Sweden
http://www.ida.liu.se/activities/conferences/CAAP-CC-ESOP96/

Sep 21, 1995

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

Sep 25, 1995

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

Sep 29, 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

Sep 30, 1995

Special Issue of the Scientific Programming Journal on Languages, Compilers and Run-Time Systems for Scalable Computers (LCRTSSC: 95.ann, 95.cfp, cfp)

Oct 2, 1995

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

Oct 15, 1995

Tools and Algorithms for the Construction and Analysis of Systems (TACAS-96: cfp), Passau, Germany
http://www.uni-passau.de/fmi/lehrstuehle/steffen/cfp/tacas.html

Oct 15, 1995

4th Maghrebian Conference on Software Engineering and Artificial Intelligence (MCSEAI-96: cfp), Oued-Smar, Algiers

Oct 15, 1995

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

Oct 16, 1995

1st Int'l Workshop Frontiers of Combining Systems (FROCOS-96: cfp), Munich, Germany
http://www.cis.uni-muenchen.de/

Oct 20, 1995

ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI-96: cfp), Philadelphia, Pennsylvania
http://www.cs.wisc.edu/pldi96

Oct 30, 1995

1st International Conference on Coordination Models and Languages (COORDINATION-96: cfp), Cesena, Italy

Oct 30, 1995

California Software Symposium (CSS-96: cfp), Irvine, California

Oct 31, 1995

Workshop on Functional-Logic Programming (WFLP-96: ann, cfp), Marburg, Germany
http://www.mathematik.uni-marburg.de/~loogen/wflp96.html

Nov 8, 1995

28th ACM Symposium on Theory of Computing (STOC-96: cfp), Philadelphia, Pennsylvania
http://sigact.acm.org/stoc96

Nov 8, 1995

3rd Workshop on Abstract Machine Models for Parallel and Distributed Computing (AMW-96: cfp), Leeds, UK
http://agora.leeds.ac.uk/amw96/workshop.html

Nov 15, 1995

23rd International Colloquium on Automata, Languages, and Programming (ICALP-96: cfp), Paderborn, Germany
http://www.uni-paderborn.de/~icalp96/

Nov 15, 1995

5th International Conference on Algebraic Methodology and Software Technology (AMAST-96: cfp), Munich, Germany
http://www.pst.informatik.uni-muenchen.de/konferenzen

Nov 15, 1995

Special Issue of Science of Computer Programming on Industrially relevant applications of formal analysis techniques (SCP-IRAFAT: cfp)

Nov 15, 1995

International Workshop on Formal methods for parallel programming: theory and applications (FMPPTA-96: cfp), Honolulu, Hawaii
http://www.usc.edu/dept/ceng/prasanna/meetings/ipps/ipps96/ippshome.html

Nov 15, 1995

1st International Workshop on High-Level Programming Models and Supportive Environments (HIPS-96: cfp), Honolulu, Hawaii
http://wwwbode.informatik.tu-muenchen.de/~hackenbe/hips96.html

Nov 17, 1995

Conference on the Practical Application of Prolog (PAP-96: cfp), London, UK
http://www.demon.co.uk/ar/PAP96/index.html

Nov 17, 1995

Conference on the Practical Application of Constraint Technology (PACT-96: cfp), London, UK
http://www.demon.co.uk/ar/PACT96/index.html

Dec 1, 1995

10th European Conference on Object-Oriented Programming (ECOOP-96: cfp), Linz, Austria
http://www.ifs.uni-linz.ac.at/ecoop96

Dec 1, 1995

3rd Massey Functional Programming Workshop and 2nd New Zealand Formal Program Development Colloquium (MFPW+NZFPDC-96), Massey University, New Zealand

Dec 1, 1995

Reflection'96 Conference (Refelection-96), San Francisco, California
http://www.xerox.com/PARC/spl/eca/reflection96.html

Dec 13, 1995

11th Annual IEEE Symposium on Logic in Computer Science (LICS-96: cfp), New Brunswick, New Jersey
http://www.research.att.com/lics/FLoC/

Dec 15, 1995

2nd International Conference on Principles and Practice of Constraint Programming (CP-96: cfp), Cambridge, Massachusetts