POP-related conferences (by submission deadline)

Jan , 1996

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

Jan 1, 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

Jan 4, 1996

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

Jan 5, 1996

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

Jan 8, 1996

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

Jan 10, 1996

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

Jan 12, 1996

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

Jan 12, 1996

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

Jan 14, 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

Jan 15, 1996

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

Jan 15, 1996

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

Jan 15, 1996

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

Jan 19, 1996

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

Jan 26, 1996

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

Jan 31, 1996

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

Jan 31, 1996

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

Jan 31, 1996

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

Jan 31, 1996

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

Jan 31, 1996

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

Feb 5, 1996

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

Feb 12, 1996

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

Feb 15, 1996

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

Feb 16, 1996

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

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

Feb 23, 1996

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

Mar 1, 1996

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

Mar 4, 1996

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

Mar 8, 1996

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

Mar 15, 1996

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

Mar 20, 1996

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

Mar 27, 1996

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

Mar 27, 1996

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

Apr 1, 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

Apr 5, 1996

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

Apr 11, 1996

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

Apr 11, 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 15, 1996

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

Apr 15, 1996

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

Apr 15, 1996

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

May 1, 1996

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

May 1, 1996

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

May 6, 1996

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

May 6, 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/

May 6, 1996

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

May 10, 1996

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

May 10, 1996

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

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

May 15, 1996

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

May 15, 1996

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

May 15, 1996

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

May 15, 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/

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

May 17, 1996

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

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

May 23, 1996

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

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

Jun 1, 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

Jun 7, 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

Jun 14, 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

Jun 14, 1996

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

Jun 14, 1996

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

Jun 15, 1996

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

Jun 15, 1996

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

Jun 20, 1996

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

Jun 21, 1996

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

Jul 5, 1996

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

Jul 12, 1996

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

Jul 21, 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

Aug 30, 1996

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

Aug 30, 1996

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

Sep 13, 1996

The Journal of Logic Programming Special Issue on Constraint Logic Programming (JLP-CLP: cfp)
http://www.itheoi.mu-luebeck.de/stacs97

Sep 15, 1996

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

Oct 13, 1996

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

Oct 18, 1996

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/

Oct 28, 1996

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

Nov 18, 1996

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

Nov 18, 1996

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

Jan 10, 1997

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

Jan 17, 1997

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