CFP: Programming Language Semantics

[ Expired calls | Outdated calls | Main index ]

Active calls

12th Workshop on the Mathematical Foundations of Programming Semantics

MFPS 12

Date: 3/6/1996

Place: Boulder, CO, USA

URL: http://www.math.tulane.edu/mfps12.html

Local: Local/cfp32f789e7.call

Inserted by nickie@softlab.ntua.gr on Tuesday February 4 1997, 21:11 EET

8th International Symposium on Programming Languages, Implementations, Logics, and Programs

PLILP '96

Date: 25/9/1996

Place: Aachen, Germany

Deadline: 6/5/1996

URL: http://www-i2.informatik.rwth-aachen.de/aachen96/

Local: Local/cfp32f78caa.call

Inserted by nickie@softlab.ntua.gr on Tuesday February 4 1997, 21:23 EET

International Static Analysis Symposium

SAS '96

Date: 24/9/1996

Place: Aachen, Germany

Deadline: 6/5/1996

URL: http://www-i2.informatik.rwth-aachen.de/aachen96/

Local: Local/cfp32f78f11.call

Inserted by nickie@softlab.ntua.gr on Tuesday February 4 1997, 21:33 EET

24th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

POPL '97

Date: 15/1/1997

Place: Paris, France

Deadline: 12/7/1996

URL: http://www.diku.dk/popl97/

Local: Local/cfp32f78d9b.call

Inserted by nickie@softlab.ntua.gr on Tuesday February 4 1997, 21:27 EET

4th International Workshop on Foundations of Object-Oriented Languages

FOOL '97

Date: 18/1/1997

Place: Paris, France

Deadline: 30/9/1996

URL: http://www.cs.williams.edu/~kim/FOOL/

Local: Local/cfp32f78e3b.call

Comments:
In conjunction with POPL '97.

Inserted by nickie@softlab.ntua.gr on Tuesday February 4 1997, 21:30 EET

7th International Joint Conference on the Theory and Practice of Software Development

TAPSOFT '97

Date: 14/4/1997

Place: Lille, France

Deadline: 13/10/1996

URL: http://www.lifl.fr/tapsoft97/

Local: Local/cfp32f77abf.call

Inserted by nickie@softlab.ntua.gr on Tuesday February 4 1997, 20:6 EET

ACM SIGPLAN 1997 Conference on Programming Language Design and Implementation

PLDI '97

Date: 15/6/1997

Place: Las Vegas, NV, USA

Deadline: 8/11/1996

URL: http://cs-www.bu.edu/pub/pldi97/

Local: Local/cfp32f78bae.call

Inserted by nickie@softlab.ntua.gr on Tuesday February 4 1997, 21:19 EET

ACM SIGPLAN Conference on Partial Evaluation and Semantics-Based Program Manipulation

PEPM '97

Date: 12/6/1997

Place: Amsterdam, The Netherlands

Deadline: 18/11/1996

URL: http://www.irisa.fr/pepm97/

Local: Local/cfp32f78b46.call

Inserted by nickie@softlab.ntua.gr on Tuesday February 4 1997, 21:17 EET

14th International Conference on Logic Programming

ICLP '97

Date: 8/7/1997

Place: Leuven, Belgium

Deadline: 1/12/1996

URL: http://www.cs.kuleuven.ac.be/~iclp97/

Local: Local/cfp331d85b2.call

Inserted by nickie@softlab.ntua.gr on Wednesday March 5 1997, 16:39 EET

ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications

OOPSLA '97

Date: 5/10/1997

Place: Atlanta, GA, USA

Deadline: 14/2/1997

URL: http://www.acm.org/sigplan/oopsla/

Local: Local/cfp32f779cb.call

Restrictions:
18 pages, double spaced.

Inserted by nickie@softlab.ntua.gr on Tuesday February 4 1997, 20:2 EET

7th Conference on Category Theory and Computer Science

CTCS '97

Date: 4/9/1997

Place: Santa Margherita Ligure, Genova, Italy

Deadline: 4/3/1997

URL: http://www.disi.unige.it/conferences/ctcs97/

Local: Local/cfp32f7818f.call

Inserted by nickie@softlab.ntua.gr on Tuesday February 4 1997, 20:35 EET

Special Session in Logic, Algebra and Formal Aspects of Computer Science

LAFACS '97

Date: 26/6/1997

Place: Pretoria, South Africa

Deadline: 15/3/1997

URL: http://www.mth.uct.ac.za/lafacs.ht

Local: Local/cfp337f3923.call

Inserted by nickie@softlab.ntua.gr on Sunday May 18 1997, 20:15 EET DST

9th International Symposium on Programming Languages, Implementations, Logics and Programs

PLILP '97

Date: 1/9/1997

Place: Southampton, UK

Deadline: 1/4/1997

URL: http://www.ecs.soton.ac.uk/southampton1997/

Local: Local/cfp332821d5.call

Comments:
Organized together with: 6th International Conference on Algebraic and Logic Programming (ALP '97), 1st International Conference on Declarative Programming Languages in Education (DPLE '97), and 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting (HOA '97).

Inserted by nickie@softlab.ntua.gr on Thursday March 13 1997, 17:48 EET

International Static Analysis Symposium

SAS '97

Date: 8/9/1997

Place: Paris, France

Deadline: 7/4/1997

URL: http://lix.polytechnique.fr/~radhia/sas97/

Local: Local/cfp32ffb7f.call

Inserted by nickie@softlab.ntua.gr on Monday February 10 1997, 13:50 EET

Conference on Domain-Specific Languages

DSL '97

Date: 15/10/1997

Place: Santa Barbara, CA, USA

Deadline: 13/6/1997

URL: http://www.usenix.org/dsl/

Local: Local/cfp337f2f4a.call

Inserted by nickie@softlab.ntua.gr on Sunday May 18 1997, 19:33 EET DST

Asian Computing Science Conference

ASIAN '97

Date: 9/12/1997

Place: Kathmandu, Nepal

Deadline: 16/6/1997

URL: http://tcs.tifr.res.in/~asian97

Local: Local/cfp33281f44.call

Inserted by nickie@softlab.ntua.gr on Thursday March 13 1997, 17:37 EET

2nd Latin-American Conference on Functional Programming

CLaPF '97

Date: 3/10/1997

Place: La Plata, Argentina

Deadline: 1/7/1997

URL: http://www-lifia.info.unlp.edu.ar/~lambda/

Local: Local/cfp332822cb.call

Inserted by nickie@softlab.ntua.gr on Thursday March 13 1997, 17:52 EET

25th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

POPL '98

Date: 19/1/1998

Place: San Diego, CA, USA

Deadline: 19/7/1997

URL: http://cm.bell-labs.com/cm/cs/who/dbm/POPL98/

Local: Local/cfp337f36ab.call

Restrictions:
Deadline for postal submissions: 11/7/1997.

Inserted by nickie@softlab.ntua.gr on Sunday May 18 1997, 20:4 EET DST

9th International Workshop on the Implementation of Functional Languages

IFL '97

Date: 10/9/1997

Place: St. Andrews, Scotland

Deadline: 28/8/1997

URL: http://www.dcs.st-and.ac.uk/~ifl97/

Local: Local/cfp337f31b8.call

Inserted by nickie@softlab.ntua.gr on Sunday May 18 1997, 19:43 EET DST

2nd Workshop on Formal Methods in Software Practice

FMSP '98

Date: 4/3/1998

Place: Clearwater Beach, FL, USA

Deadline: 29/8/1997

URL: http://www.bell-labs.com/user/maa/fmsp98/

Local: Local/cfp340a7111.call

Inserted by nickie@softlab.ntua.gr on Monday September 1 1997, 10:38 EET DST

9th International Conference on Rewriting Techniques and Applications

RTA '98

Date: 30/3/1998

Place: Tsukuba, Japan

Deadline: 28/9/1997

URL: http://www4.informatik.tu-muenchen.de/~rta98/

Local: Local/cfp337f3282.call

Inserted by nickie@softlab.ntua.gr on Sunday May 18 1997, 19:46 EET DST

International Conference on Computer Languages

ICCL '98

Date: 14/5/1998

Place: Chicago, IL, USA

Deadline: 1/10/1997

URL: http://www.math.luc.edu/iccl98/

Local: Local/cfp337f3622.call

Inserted by nickie@softlab.ntua.gr on Sunday May 18 1997, 20:2 EET DST

European Joint Conferences on Theory and Practice of Software

ETAPS '98

Date: 30/3/1998

Place: Lisbon, Portugal

Deadline: 6/10/1997

URL: http://www.di.fc.ul.pt/~llf/etaps98/

Local: Local/cfp32f784dd.call

Inserted by nickie@softlab.ntua.gr on Tuesday February 4 1997, 20:50 EET

ACM SIGPLAN 1998 Conference on Programming Language Design and Implementation

PLDI '98

Date: 14/6/1998

Place: Montreal, Canada

Deadline: 7/11/1997

URL: http://www.cs.virginia.edu/pldi98/

Inserted by nickie@softlab.ntua.gr on Monday September 1 1997, 17:21 EET DST

12th European Conference on Object-Oriented Programming

ECOOP '98

Date: 20/7/1998

Place: Brussels, Belgium

Deadline: 1/12/1997

URL: http://ecoop98.vub.ac.be/

Local: Local/cfp3456702f.call

Restrictions:
Deadline for abstract submission: 24/11/1997.

Inserted by nickie@softlab.ntua.gr on Wednesday October 29 1997, 1:7 EET

4th USENIX Conference on Object-Oriented Technologies and Systems

COOTS '98

Date: 27/4/1998

Place: Santa Fe, NM, USA

Deadline: 2/12/1997

URL: http://www.usenix.org/events/coots98/

Inserted by nickie@softlab.ntua.gr on Thursday October 30 1997, 13:38 EET

2nd International Workshop on Types in Compilation

TIC '98

Date: 25/3/1998

Place: Kyoto, Japan

Deadline: 8/12/1997

URL: http://pauillac.inria.fr/TIC98/

Local: Local/cfp34566fbe.call

Inserted by nickie@softlab.ntua.gr on Wednesday October 29 1997, 1:5 EET

4th International Conference on Mathematics of Program Construction

MPC '98

Date: 15/6/1998

Place: Marstrand, Sweden

Deadline: 15/12/1997

URL: http://www.md.chalmers.se/Conf/MPC98/

Local: Local/cfp337f38bc.call

Inserted by nickie@softlab.ntua.gr on Sunday May 18 1997, 20:13 EET DST

International Colloquium on Automata, Languages, and Programming

ICALP '98

Date: 13/7/1998

Place: Aalborg, Denmark

Deadline: 14/1/1998

URL: http://www.cs.auc.dk/icalp98/

Local: Local/cfp34577064.call

Inserted by nickie@softlab.ntua.gr on Wednesday October 29 1997, 19:20 EET

2nd Workshop on Rigorous Object Oriented Methods

ROOM 2

Date: 29/5/1998

Place: Bradford, UK

Deadline: 27/2/1998

URL: http://www.comp.brad.ac.uk/research/room/

Local: Local/cfp34ae5aba.call

Inserted by nickie@softlab.ntua.gr on Saturday January 3 1998, 17:35 EET

11th International Conference on Theorem Proving in Higher Order Logics

TPHOLs '98

Date: 28/9/1998

Place: Canberra, Australia

Deadline: 20/3/1998

URL: http://cs.anu.edu.au/TPHOLs98/

Local: Local/cfp34566e22.call

Comments:
Deadline is 12/6/1998 for progress paper submissions.

Inserted by nickie@softlab.ntua.gr on Wednesday October 29 1997, 0:58 EET

Workshop on Industrial-Strength Formal specification Techniques

WIFT '98

Date: 21/10/1998

Place: Boca Raton, FL, USA

Deadline: 30/3/1998

Local: Local/cfp34ff3254.call

Inserted by nickie@softlab.ntua.gr on Friday March 6 1998, 1:16 EET

13th Annual Conference on Object-Oriented Programming Systems, Languages and Applications

OOPSLA '98

Date: 18/10/1998

Place: Vancouver, Canada

Deadline: 13/4/1998

URL: http://www.acm.org/sigplan/oopsla/

Local: Local/cfp34ff4808.call

Inserted by nickie@softlab.ntua.gr on Friday March 6 1998, 2:49 EET

3rd ACM SIGPLAN International Conference on Functional Programming

ICFP '98

Date: 27/9/1998

Place: Baltimore, MD, USA

Deadline: 15/4/1998

URL: http://www.cs.rice.edu/~matthias/ICFP98/

Local: Local/cfp34566da0.call

Inserted by nickie@softlab.ntua.gr on Wednesday October 29 1997, 0:56 EET

26th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

POPL '99

Date: 20/1/1999

Place: San Antonio, TX, USA

Deadline: 24/7/1998

URL: http://www.cs.princeton.edu/~appel/popl99/

Restrictions:
Deadline for abstrac submissions: 17/7/1998

Inserted by nickie@softlab.ntua.gr on Friday March 6 1998, 3:17 EET

World Congress on Formal Methods

FM '99

Date: 20/9/1999

Place: Toulouse, France

Deadline: 14/2/1999

URL: http://www.it.dtu.dk/~db/fm99/fm99/fm99.html

Inserted by nickie@softlab.ntua.gr on Friday March 6 1998, 3:11 EET

Older calls

	Calls for which the deadline has expired.
	Calls for events that have already passed.

This page is maintained by Nikos Papaspyrou (nickie@softlab.ntua.gr).
Many thanks to Antonis Kavarnos (akav@softlab.ntua.gr).
Please, feel free to send your comments, thoughts or suggestions.

Last updated: Wednesday April 5 100, 16:46 EET.