[Prev][Next][Index][Thread]

ELP'96: Call for Participation




[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]

[Linear logic is among the subjects treated at this conference.
-- Philip Wadler, moderator, Types Forum.]



                       %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
                       %%   Call for participation    %%
                       %%        ELP'96 workshop      %%
                       %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


                         5th International Workshop on
                        Extensions of Logic Programming
                                Leipzig (Germany)
                                March 28-30, 1996


The registration fee is 200 DM for non-students and 100 DM for students,
payable in cash upon arrival. It includes the proceedings volume (Springer
LNAI), which will be available at the beginning of the conference.

Further information concerning the scientific program, travel and
accomodation, as well as the registration form can be obtained through the
WWW:

http://www-theory.dcs.st-and.ac.uk/elp96.html

or by e-mail from:

elp96@informatik.uni-leipzig.de


Roy Dyckhoff      Heinrich Herre       Peter Schroeder-Heister