POP-related conferences (by conference dates)

Jan 3-6, 1996

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

Jan 11, 1996

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

Jan 11-13, 1996

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

Jan 17-19, 1996

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

Jan 17-19, 1996

5th International Workshop on Functional and Logic Programming (FLP-96: cfp), Rauischholzhausen, Germany
ftp://ftp.let.ruu.nl/pub/colibri/logic/general/flp.44-1995

Jan 21-24, 1996

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

Jan 29-30, 1996

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

Jan 29-30, 1996

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

Feb 12-15, 1996

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

Feb 15-18, 1996

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

Feb 17-19, 1996

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

Mar 18-22, 1996

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

Mar 26-29, 1996

1st Int'l Workshop Frontiers of Combining Systems (FROCOS-96: ann, cfp), Munich, Germany
http://ww-lti.informatik.rwth-aachen.de/~stephan/frocos96.html

Mar 27-29, 1996

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

Mar/Apr 29-2, 1996

Linear Logic 96 (LL-96: ann, cfp), Tokyo, Japan
http://abelard.flet.mita.keio.ac.jp/Linear96.html

Apr 1-2, 1996

The Durham Transformation Workshop (DTW-96: cfp), Durham, England
http://www.dur.ac.uk/~dcs1tmb/MA/call_for_papers.html

Apr 1-4, 1996

British Colloquium for Theoretical Computer Science (BCTCS-12: cfp), Canterbury, UK
http://www.ukc.ac.uk/computer_science/Bctcs12/

Apr 14-18, 1996

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

Apr 15, 1996

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

Apr 15-17 1996

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

Apr 15-19 1996

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

Apr 17, 1996

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

Apr 21-23, 1996

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

Apr 22-26, 1996

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

Apr 22-26, 1996

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/

Apr 22-26, 1996

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

Apr 22-26, 1996

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

Apr 23-26, 1996

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

Apr 25, 1996

Workshop on Tree Languages and Term Rewriting (TLTR-96: cfp), Link"oping, Sweden
http://www.cs.tu-berlin.de/~thal/satellite96.html

Apr 26, 1996

Workshop on Compiler Techniques for Application Domain Languages and Extensible Language Models (ALEL-96: cfp), Link"oping, Sweden
http://www.dna.lth.se/Research/CC96-ALEL/about.html

Apr 27, 1996

Mid-Atlantic States Student Workshop on Programming Languages and Systems (MASPLA-96), New Paltz, New York
http://www.mcs.newpaltz.edu/masplas96

May 8-10, 1996

3rd Workshop on Logic, Language, Information and Computation (WoLLIC-96: ann, cfp), Salvador (Bahia), Brazil
http://www.di.ufpe.br/simposios/wollic.html

May 13-15, 1996

9nth International Symposium on Languages for Intensional Programming (ISLIP-96: cfp), Tempe, Arizona
http://lu.eas.asu.edu/islip96.html

May 13-15, 1996

Programmiersprachen und hardware-nahe Programmierung (PHP-96), Bad Honnef, Germany
http://www.informatik.uni-kiel.de/~wg/fg214.html

May 19-20, 1996

2nd International Workshop on Constraint-Based Reasoning (CONSTRAINT-96: cfp), Key West, Florida
http://www.sci.tamucc.edu/constraint96/

May 20-21, 1996

7th Annual NEC Research Symposium Software Architecture for Large Systems (NEC-96: ann), Princeton, New Jersey
http://www.neci.nj.nec.com/symposia/seventh.html

May 21-24, 1996

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

May 22-24, 1996

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

May 24-26, 1996

1996 ACM SIGPLAN International Conference and Functional Programming (ICFP-96: ann), Philadelphia, Pennsylvania, USA
http://www.cs.indiana.edu/icfp96

May 24-26, 1996

1996 ACM SIGPLAN International Conference and Functional Languages in the Introductory Computing Curriculum (ICFP-96: ann), Philadelphia, Pennsylvania, USA
http://www.cs.indiana.edu/icfp96

May 29-31, 1996

7th International Workshop on Persistent Object Systems (POS-96: cfp), Cape May, New Jersey
http://www.cis.upenn.edu/~POS96/home.html

May 30, 1996

International Workshop on Theory of Visual Languages (TVL-96: cfp), Gubbio, Italy
http://www.dis.uniroma1.it/AVI96/info.html

Jun 3-5, 1996

12th Workshop: Mathematical Foundations of Programming (MFPS-96: ann, cfp), Boulder, Colorado
http://www.math.tulane.edu/MFPS.html

Jun 5-7, 1996

2nd French Conference on Logic Programming and Constraint Programming (JFPLC-96: cfp), Clermont-Ferrand, France
http://jfplc96.univ-bpclermont.fr

Jun 6-8, 1996

10th International Workshop on Unification (UNIF-96: ann, cfp), Herrsching (Munich), Germany
http://www.cis.uni-muenchen.de/hot/unif96.html

Jun 10-11, 1996

4th Israeli Symposium on Theory of Computing and Systems (ISTCS-96: ann, cfp), Jerusalem, Israel

Jun 10-14, 1996

International Conference on Reliable Software Technologies (Ada-Europe-96), Montreux, Switzerland
http://lglwww.epfl.ch/Ada-Europe/Conference/1996/

Jun 11-15, 1996

2nd Conference on the Foundations of Information Science (FIS-96: cfp), Vienna, Austria
http://igw.tuwien.ac.at/fis96/welcome.html

Jun 12-13, 1996

Workshop on Software Engineering and Programming Languages (SEPL-96: cfp), Boston, Massachusets

Jun 19-22, 1996

8th International Conference of Computing and Information (ICCI-96: cfp), Waterloo, Ontario Canada

Jun 24-26, 1996

5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages (AVMSL-96), Stockholm, Sweden
http://www.daimi.aau.dk/~bra8130/LOMAPS.html

Jun 24-29, 1996

GULP Summer School on Advances in Logic Programming (GULP-96: ann), Alghero, Italy

Jun 25-28, 1996

Andrei Ershov Second International Memorial Conference, Perspectives of System Informatics (PSI-96: ann, cfp), Novosibirsk, Russia

Jul 1-5, 1996

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

Jul 8, 1996

ECOOP'96 Workshop on Proof Theory of Concurrent Object-Oriented Programming (PTCOOP-96: cfp), Linz, Austria

Jul 8-12, 1996

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

Jul 8-12, 1996

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

Jul 9-15, 1996

Logic Colloquium'96 (LC-96: cfp), Donostia - San Sebastian, Spain
http://www.sc.ehu.es/scrwwwil/lc-96.html

Jul 15-19, 1996

Foundation of Mathematics and Computer Science (FMCS-96: cfp), Satellite Conference of the 2nd ECM, Kosice, Slovak Republic

Jul 18-21, 1996

2nd Conference on Information-Theoretic Approaches to Logic, Language, and Computation (ITALLC-96: cfp), London, England
http://www.etl.go.jp:8080/etl/captain/ITALLC96

Jul 24-25, 1996

3rd International Workshop on Foundations of Object-Oriented Languages (FOOL-96: ann, cfp), New Brunswick, New Jersey
http://www.cs.williams.edu/~kim/FOOL

Jul 24-26, 1996

International Symposium on Symbolic and Algebraic Computation (ISSAC-96: cfp), Zurich, Switzerland
http://www.inf.ethz.ch/ISSAC96/ISSAC96.html

Jul 25-26, 1996

DIMACS Workshop on Computational Complexity and Programming Languages (CCPL-96), New Brunswick, New Jersey

Jul 27-30, 1996

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

Jul 27-30, 1996

7th International Conference on Rewriting Techniques and Applications (RTA-96: cfp, papers), Rutgers University, New Jersey
http://www.research.att.com/lics/FLoC/

Jul/Aug 27-3, 1996

1996 Federated Logic Conference (FLoC-96: ann, cfp), Rutgers University, New Jersey
http://www.research.att.com/lics/FLoC/

Jul 30, 1996

CADE-13 Workshop on Empirical Studies in Logic Algorithms (ESLA-96: cfp), New Brunswick, New Jersey

Jul 30, 1996

CADE-13 Workshop on Proof Search in Type-Theoretic Languages (PSTTL-96: cfp), New Brunswick, New Jersey
http://www.loria.fr/~galmiche/cade96-wp6.html

Jul 30, 1996

CADE-13 Workshop on Mechanization of Partial Functions (MPF-96: cfp), New Brunswick, New Jersey
http://www.cs.bham.ac.uk/~mmk/cade96-partiality

Jul/Aug 30-3, 1996

13th International Conference on Automated Deduction (CADE-96: ann, cfp, competition), New Brunswick, New Jersey
http://www.research.att.com/lics/FLoC/cade13

Jul/Aug 31-3, 1996

Conference on Computer-Aided Verification (CAV-96: cfp), New Brunswick, New Jersey
http://www.cs.cornell.edu/Info/People/tah/cav96.html

Aug 12-23, 1996

3rd International Workshop on Agent Theories, Architectures, and Languages (ATAL-96: cfp), Budapest, Hungary
http://www.dfki.uni-sb.de/~jpm/atal96.html

Aug 12-13, 1996

8th European Summer School in Logic, Language, and Information (ESSLLI-96: ann), Prague, Czech Republic
http://ufal.ms.mff.cuni.cz

Aug 12-16, 1996

ESSLLI'96 Workshop on Logic and Computation: Observational Equivalence and Logical Equivalence (OELE-96: cfp), Prague, Czech Republic
http://www.dcs.warwick.ac.uk/~mdr/ESSLLI96-Workshop.html/

Aug 18-20, 1996

7th Scandinavian Logic Symposium (SCANLOG-96: cfp), Uppsala, Sweden
http://www.mat.uu.se/logik/scanlog/

Aug 12-23, 1996

Workshop on High Performance Logic Programming Systems (HPLPS-96: cfp), Prague, Czech Republic
http://www.cos.ufrj.br/vitor/

Aug 19 , 1996

CP96 Workshop on Set Constraints (CP-SC-96), Cambridge, Massachusetts

Aug 19-22, 1996

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

Aug 21-23, 1996

20th Annual International Computer Software and Application Conference (COMPSAC-96: cfp), Seoul, Korea

Aug 25-29, 1996

LOGICAL FOUNDATIONS OF MATHEMATICS, COMPUTER SCIENCE AND PHYSICS -- Kurt Goedel's Legacy (GOEDEL-96: ann, cfp), Brno, Czech Republic
http://www.fi.muni.cz/~zlatuska/goedel96.html

Aug 26-29, 1996

7th International Conference on Concurrency Theory (CONCUR-96: cfp, papers), Pisa, Italy

Aug 27-30, 1996

The 1996 International Conference on Theorem Proving in Higher Order Logics (TPHOL-96: ann, cfp), Turku, Finland

Aug 28-30, 1996

6th International Workshop on Logic Program Synthesis and Transformation (LOPSTR-96: cfp), Stockholm, Sweden
http://www.cs.bris.ac.uk/~john/lopstr96.html

Aug 29-31, 1996

1st Workshop on Implementing Automata (WIA-96: cfp), London, Ontario, Canada
http://www.csd.uwo.ca/staff/drraymon/wia.html

Sep 2-6, 1996

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

Sep 2-6, 1996

21st International Symposium on Mathematical Foundations of Computer Science (MFCS-96: cfp), Cracow, Poland
http:\\www.ipipan.waw.pl\conferences\mfcs96

Sep 2-6, 1996

JICSLP'96 Postconference Workshop on Non-Monotonic Extensions of Logic Programming: Theory, Applications and Implementations (NMELP-96: cfp), Bonn, Germany

Sep 2-6, 1996

JICSLP'96 Postconference Workshop on Logic Programming and Soft Computing: Theory and Applications (LPSC: 96.cfp), Bonn, Germany

Sep 3-6, 1996

1996 IEEE Symposium on Visual Languages (VL-96: cfp), Boulder, Colorado
http://soglio.colorado.edu/Web/vl96.html

Sep 3-6, 1996

1st International Workshop on Rewriting Logic and its Applications (RWL-96: cfp), Pacific Grove, California
http://www.csl.sri.com/RWLW96

Sep 4-6, 1996

I Brazilian Symposium on Programming Languages (SBLP-96), Belo Horizonte, Brazil
http://www.dcc.ufmg.br/~sblp96/sblp.html

Sep 5-6, 1996

JICSLP'96 Post-Conference Workshop: What Can Logic Programmers Learn From Functional Programmers? (WCLPLFFP-96: cfp), Bonn, Germany
http://www-i2.informatik.rwth-aachen.de/~herbert/JICSLP96WS.html

Sep 5-6, 1996

JICSLP'96 Post-Conference Workshop on Multi-Paradigm Logic Programming (MPLP-96: cfp), Bonn, Germany

Sep 5-6, 1996

Post-JICSLP'96 Workshop and 1996 Compulog Net Area Meeting on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages (PARIMP-96: cfp), Bonn, Germany

Sep 5-6, 1996

1st Workshop on Logic Programming Tools for INTERNET Applications (LPNET-96: cfp), Bonn, Germany
http://clement.info.umoncton.ca/~lpnet

Sep 9-12, 1996

1st Workshop on Functional Programming, 25 Jornadas Argentinas de Informatica e Investigacion Operativa (JAIIO-FP-96: cfp), Buenos Aires. Argentina
http://www-lifia.info.unlp.edu.ar/ingles/jaiio-fp.htm

Sep 10, 1996

Workshop on Teaching Functional Programming, Opportunities & Difficulties (TFP-96: cfp), Kingston, England

Sep 10, 1996

1st Workshop of Functional Programming (WFP-96: ann), Buenos Aires, Argentina
http://www-lifia.info.unlp.edu.ar/ingles/jaiio-fp.htm

Sep 12-13, 1996

Softwaretechnik (ST-96: cfp), Koblenz, Germany
http://www.wi.leidenuniv.nl/home/zamper/st96.html

Sep 18-20, 1996

International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO-96: cfp), Karlsruhe, Germany
http://iaks-www.ira.uka.de/iaks-calmet/conf/disco.html

Sep 21-27, 1996

Annual Conference of the European Association for Computer Science Logic (CSL-96: cfp), Utrecht, The Netherlands

Sep 24-26, 1996

International Static Analysis Symposium (SAS-96: cfp), Aachen, Germany
http://www-i2.informatik.rwth-aachen.de/aachen96/

Sep 25-27, 1996

5th International Conference on Algebraic and Logic Programming and 8th International Symposium on Programming Languages, Implementations, Logics, and Programs (ALP-PLILP-96: cfp), Aachen, Germany
http://www-i2.informatik.rwth-aachen.de/aachen96/

Oct 16-19, 1996

9th Symposium and Exhibition on Industrial Applications of Prolog (INAP-96: cfp, papers), Hino, Tokyo, Japan
http://www.biz.isar.de/ifcomputer/inap96/

Oct 21-23, 1996

International Conference on Parallel Architectures and Compilation Techniques (PACT-96: cfp), Boston, Massachusetts
http://www.cs.umass.edu/~pact96

Nov 1-4, 1996

2nd Fuji International Workshop on Functional and Logic Programming (FUJI-96: cfp), Shonan Village, Japan
http://www.kurims.kyoto-u.ac.jp/~ohori/fuji96.html

Nov 4-8, 1996

International Conference on Software Maintenance (ICSM-96), Monterey, California
http://www.crim.ca/se/icsm96.html

Nov 13-15, 1996

XVI International Conference of the Chilean Computer Science Society (SCCC-96), Chile
ftp://ftp.let.ruu.nl/pub/colibri/logic/general/sccc.19-1996

Nov 23-30, 1996

23rd Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM-96: cfp), Milovy, Czech Republic

Dec 2-5, 1996

Asian Computing Science Conference (ASIAN-96: cfp), Singapore
http://www.iscs.nus.sg/~asian96

Dec 4-6, 1996

8th Nordic Workshop on Programming Theory (NWPT-96: cfp), Oslo, Norway
http://www.ifi.uio.no/~nwpt96/

Dec 16-18, 1996

7th Annual International Symposium on Algorithms and Computation (ISAAC-96: cfp), Osaka, Japan
http://www.osaka-cu.ac.jp/STAFF/isaac96

Dec 18-20, 1996

16th Conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS-96: cfp), Hyderabad, India
http://www.csa.iisc.ernet.in/fsttcs

Dec 25-27, 1996

2nd Annual CSI Computer Conference (CSICC-96: cfp), Tehran, Iran

Jan 15-17, 1997

The 24th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL-97: cfp), Paris, France
http://www.diku.dk/popl97/

Feb 3-4, 1997

The Australasian Theory Symposium (CATS-97: cfp), Sydney, Australia
http://www.mq.edu.au/acsw97

Feb/Mar 27-1, 1997

14th Symposium on Theoretical Aspects of Computer Science (STACS-97: cfp), L"ubeck, Germany
http://www.itheoi.mu-luebeck.de/stacs97

Mar 17-19, 1997

1st Euromicro Working Conference on Software Maintenance and Reengineering (CSMR-97: cfp), Berlin, Germany
http://www.isst.fhg.de/csmr

Apr 2-4, 1997

3rd International Conference on Typed Lambda Calculi and Applications (TLCA-97: cfp), Nancy, France

Apr 2-4, 1997

3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-97: cfp), Enschede, The Netherlands
http://wwwtios.cs.utwente.nl/~tacas97/

Apr 14-18, 1997

7th International Joint Conference on the Theory and Practice of Software Development (TAPSOFT-97: cfp), Lille, France
http://www.lifl.fr/tapsoft97

Jun 9-11, 1997

2nd ACM SIGPLAN International Conference on Functional Programming (ICFP-97: cfp), Amsterdam, The Netherlands
http://www/research/func/icfp97.html

Jun 12-13, 1997

ACM SIGPLAN Conference on Partial Evaluation and Semantics-Based Program Manipulation (PEPM-97: cfp), Amsterdam, The Netherlands
http://www.irisa.fr/pepm97

Jul 28-31, 1997

4th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR-97: cfp), Dagstuhl, Germany
http://www.uni-koblenz.de/~lpnmr97/

Sep 15-19, 1997

Formal Methods Europe (FME-97: cfp), Graz, Austria